Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RTRTS"( http://dblp.L3S.de/Venues/RTRTS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2010 (10)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
RTRTS(10)
Authors
Peter Csaba Ölveczky(5) José Meseguer 0001(4) Daniela Lepri(2) Erika Ábrahám(2) Andreas Schroeder 0001(1) Einar Broch Johnsen(1) Joakim Bjørk(1) Kyungmin Bae(1) Martin Wirsing(1) Michael Katelman(1) Mu Sun(1) Muhammad Fadlisyah(1) Musab AlTurki(1) Olaf Owe(1) Rudolf Schlatte(1) Sebastian S. Bauer(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mu Sun, José Meseguer 0001 Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder 0001 Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky A Rewriting-Logic-Based Technique for Modeling Thermal Systems Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Csaba Ölveczky, José Meseguer 0001 Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Peter Csaba Ölveczky Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Csaba Ölveczky (eds.) Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte Lightweight Time Modeling in Timed Creol Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Katelman, José Meseguer 0001 Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Musab AlTurki, José Meseguer 0001 Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license