RTRTS

Keyphrases

Publications

2010

Mu Sun, José Meseguer
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control RTRTS (2010)
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS (2010)
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS (2010)
Peter Csaba Ölveczky, José Meseguer
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family RTRTS (2010)
Kyungmin Bae, Peter Csaba Ölveczky
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS (2010)
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
Lightweight Time Modeling in Timed Creol RTRTS (2010)
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS (2010)
Michael Katelman, José Meseguer
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures RTRTS (2010)
Musab AlTurki, José Meseguer
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis RTRTS (2010)

volume 36, 2010

Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. RTRTS 36 (2010)