default search action

combined dblp search
author search
venue search
publication search

ask others

1st RTRTS 2010: Longyearbyen, Norway

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-3982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-3982
Peter Csaba Ölveczky:
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. EPTCS 36, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4259
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder:
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4260
Musab AlTurki, José Meseguer:
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis. 26-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4261
Kyungmin Bae, Peter Csaba Ölveczky:
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. 46-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4262
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte:
Lightweight Time Modeling in Timed Creol. 67-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4263
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4263
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky:
A Rewriting-Logic-Based Technique for Modeling Thermal Systems. 82-100
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4601
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4601
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4264
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4264
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám:
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. 117-136
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4265
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4265
Peter Csaba Ölveczky, José Meseguer:
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. 137-157
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-4266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-4266
Mu Sun, José Meseguer:
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control. 158-177

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.