EPTCS 36 - RTRTS 2010
Peter Csaba Ölveczky (Ed.): Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems. 2010 EPTCS 36 [ contents ]- Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. ... 1-25
- Musab AlTurki, José Meseguer: Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis. ... 26-45
- Kyungmin Bae, Peter Csaba Ölveczky: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. ... 46-66
- Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte: Lightweight Time Modeling in Timed Creol. ... 67-81
- Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky: A Rewriting-Logic-Based Technique for Modeling Thermal Systems. ... 82-100
- 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. ... 101-116
- Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám: Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. ... 117-136
- Peter Csaba Ölveczky, José Meseguer: Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. ... 137-157
- Mu Sun, José Meseguer: Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control. ... 158-177
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team