| Publication | Date of Publication | Type |
|---|
| Parallel composition and modular verification of computer controlled systems in differential dynamic logic | 2024-03-14 | Paper |
A denotational semantics of simulink with higher-order UTP
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
Verified functional programming of an abstract interpreter
(available as arXiv preprint) | 2022-06-17 | Paper |
A mechanically verified theory of contracts
(available as arXiv preprint) | 2022-03-31 | Paper |
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
Theoretical Computer Science | 2022-02-01 | Paper |
An abstraction technique for parameterized model checking of leader election protocols: application to FTSP
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow | 2020-02-18 | Paper |
Formal verification of synchronous data-flow program transformations toward certified compilers
Frontiers of Computer Science | 2019-05-28 | Paper |
Constructive polychronous systems
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Compositional design of isochronous systems
Science of Computer Programming | 2012-10-24 | Paper |
From concurrent multi-clock programs to deterministic asynchronous implementations
Fundamenta Informaticae | 2012-07-04 | Paper |
On the polychronous approach to embedded software design
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
A metamodel for the design of polychronous systems
The Journal of Logic and Algebraic Programming | 2009-04-29 | Paper |
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design | 2006-09-28 | Paper |
A compositional behavioral modeling framework for embedded system design and conformance checking
International Journal of Parallel Programming | 2006-09-28 | Paper |
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
The Journal of Logic and Algebraic Programming | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2112983 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 2017355 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1760146 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1670753 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1361139 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1302026 (Why is no real title available?) | 1999-10-05 | Paper |
Region-based memory management
Information and Computation | 1997-11-12 | Paper |
Polymorphic type, region and effect inference
Journal of Functional Programming | 1995-05-04 | Paper |
The type and effect discipline
Information and Computation | 1994-06-19 | Paper |
