| Publication | Date of Publication | Type |
|---|
Supervisory control synthesis of timed automata using forcible events
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Correction to: ``Transformational supervisor synthesis for evolving systems
Discrete Event Dynamic Systems | 2024-03-25 | Paper |
Refinement in Interworkings
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Transformational supervisor synthesis for evolving systems
Discrete Event Dynamic Systems | 2022-06-13 | Paper |
Partial-Order Reduction for Supervisory Controller Synthesis
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
Compositional coordinator synthesis of extended finite automata
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
Linearization of CIF through SOS
| 2021-03-10 | Paper |
Robustness of equations under operational extensions
| 2021-02-24 | Paper |
Analysis of Boolean equation systems through structure graphs
| 2021-02-09 | Paper |
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Maximally permissive controlled system synthesis for non-determinism and modal logic
Discrete Event Dynamic Systems | 2017-03-03 | Paper |
Nominal SOS
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Structural operational semantics with first-order logic
Electronic Notes in Theoretical Computer Science | 2016-06-03 | Paper |
Structural analysis of Boolean equation systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Discretization of timed automata in timed \(\mu\)CRL à la regions and zones
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Maximally permissive controlled system synthesis for modal logic
Lecture Notes in Computer Science | 2015-02-20 | Paper |
Model-based engineering of embedded systems using the hybrid process algebra Chi
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A congruence rule format with universal quantification
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Relating hybrid chi to other formalisms
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
A hierarchy of SOS rule formats
| 2013-10-07 | Paper |
Prototyping SOS meta-theory in Maude
| 2013-10-07 | Paper |
Exploiting algebraic laws to improve mechanized axiomatizations
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Topological (bi-)simulation
| 2013-09-09 | Paper |
Rule formats for determinism and idempotence
Science of Computer Programming | 2012-07-13 | Paper |
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
Theoretical Computer Science | 2011-07-07 | Paper |
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
SOFSEM 2011: Theory and Practice of Computer Science | 2011-02-15 | Paper |
Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
Formal Methods for Components and Objects | 2011-01-08 | Paper |
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
| 2010-02-05 | Paper |
scientific article; zbMATH DE number 5604105 (Why is no real title available?)
| 2009-09-15 | Paper |
A syntactic commutativity format for SOS
Information Processing Letters | 2009-08-27 | Paper |
Foundations of a Compositional Interchange Format for Hybrid Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Analysis of distributed systems with mCRL2
| 2009-03-09 | Paper |
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Action Abstraction in Timed Process Algebra
Lecture Notes in Computer Science | 2008-07-01 | Paper |
SOS formats and meta-theory: 20 years after
Theoretical Computer Science | 2007-04-19 | Paper |
Duplication of constants in process algebra
The Journal of Logic and Algebraic Programming | 2007-02-09 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Syntax and consistent equation semantics of hybrid Chi
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Linearization of hybrid processes
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Hybrid process algebra
The Journal of Logic and Algebraic Programming | 2005-02-22 | Paper |
scientific article; zbMATH DE number 1810494 (Why is no real title available?)
| 2003-05-22 | Paper |
Analysis of an industrial system
Formal Methods in System Design | 2003-05-11 | Paper |
A hierarchy of communication models for message sequence charts
Science of Computer Programming | 2002-10-16 | Paper |
Algebraic process verification.
| 2001-01-01 | Paper |
A process algebra for interworkings.
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1307655 (Why is no real title available?)
| 1999-06-23 | Paper |
