| Publication | Date of Publication | Type |
|---|
| Simulator semantics for system level formal verification | 2021-12-03 | Paper |
Simulator semantics for system level formal verification
(available as arXiv preprint) | 2021-12-03 | Paper |
On checking equivalence of simulation scripts
Journal of Logical and Algebraic Methods in Programming | 2021-06-25 | Paper |
MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
Fundamenta Informaticae | 2020-12-14 | Paper |
Linearizing Discrete-Time Hybrid Systems
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
SyLVaaS: system level formal verification as a service
Fundamenta Informaticae | 2017-11-09 | Paper |
On minimising the maximum expected verification time
Information Processing Letters | 2017-11-03 | Paper |
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
European Journal of Control | 2014-08-12 | Paper |
Synchronized regular expressions
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Formal models of timing attacks on web privacy
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Undecidability of quantized state feedback control for discrete time linear hybrid systems
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Flexible plan verification: feasibility results
Fundamenta Informaticae | 2011-11-22 | Paper |
| scientific article; zbMATH DE number 5887274 (Why is no real title available?) | 2011-05-11 | Paper |
Automated generation of optimal controllers through model checking techniques
Informatics in Control Automation and Robotics | 2010-06-02 | Paper |
Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Finite horizon analysis of Markov chains with the Mur\(\varphi \) verifier
Lecture Notes in Computer Science | 2010-02-05 | Paper |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Information and Communications Security
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 1979552 (Why is no real title available?) | 2003-09-14 | Paper |
Synchronized regular expressions
Acta Informatica | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1956627 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1852163 (Why is no real title available?) | 2003-01-09 | Paper |
Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
Theoretical Computer Science | 1997-02-27 | Paper |
Equational programming in \(\lambda\)-calculus via SL-systems. Part 2
Theoretical Computer Science | 1997-02-27 | Paper |
Defining data structures via Böhm-out
Journal of Functional Programming | 1995-06-08 | Paper |
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS
International Journal of Foundations of Computer Science | 1992-06-25 | Paper |
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
Information and Computation | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4123701 (Why is no real title available?) | 1989-01-01 | Paper |
