635 citations
- U. Ebert2 profiles22 · h 43
- R. Hofstad14 · h 40
- S. Kokkelmans2 profiles8 · h 19
- A. Luque6 · h 25
- D. Mizuno2 profiles6 · h 22
- Johan S. H. van Leeuwaarden5
- S. Jabbari-Farouji5 · h 19
- S. J. J. M. F. Kokkelmans5
- T. Briels2 profiles5 · h 7
- Ute Ebert2 profiles5 · h 13
- W. Hundsdorfer2 profiles5 · h 35
- A. Cohen2 profiles4 · h 27
- Centrum Wiskunde & InformaticaNL35 papers
- Delft University of TechnologyNL13 papers
- University of AmsterdamNL11 papers
- Radboud University NijmegenNL9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Leiden UniversityNL8 papers
- Vrije Universiteit AmsterdamNL8 papers
- Philips (Netherlands)NL7 papers
- California Institute of TechnologyUS6 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Max Planck SocietyDE4 papers
- NXP (Netherlands)NL4 papers
7 papers · 2 filters
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…
Hierarchical states in the Compositional Interchange Format
H. Beohar, D. E. Nadales Agut, D. A. van Beek +1
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other lan…
Automated Termination Analysis for Logic Programs with Cut
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder +2
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, wherea…
Testing Reactive Probabilistic Processes
Sonja Georgievska, Suzana Andova
We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random…
Analysis of Boolean Equation Systems through Structure Graphs
Michel A. Reniers, Tim A. C. Willemse
We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our…
Causality in the Semantics of Esterel: Revisited
MohammadReza Mousavi
We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics wi…