| Publication | Date of Publication | Type |
|---|
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
Nonlinear Analysis. Hybrid Systems | 2024-11-26 | Paper |
A computable and compositional semantics for hybrid systems
Information and Computation | 2024-10-08 | Paper |
Dynamic controllability of temporal networks with instantaneous reaction
Information Sciences | 2024-04-11 | Paper |
Efficient Hardware Operations for the Residue Number System by Boolean Minimization
Advanced Boolean Techniques | 2024-01-23 | Paper |
| Mining Significant Temporal Networks Is Polynomial | 2023-11-02 | Paper |
Equivalence checking and intersection of deterministic timed finite state machines
Formal Methods in System Design | 2023-06-29 | Paper |
Generation of synchronizing state machines from a transition system: a region-based approach
International Journal of Applied Mathematics and Computer Science | 2023-06-21 | Paper |
A higher order method for input-affine uncertain systems
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis
IEEE Transactions on Computers | 2022-03-24 | Paper |
| scientific article; zbMATH DE number 7455750 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455750 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Mining CSTNUDs significant for a set of traces is polynomial
Information and Computation | 2021-11-25 | Paper |
| Deterministic timed finite state machines: equivalence checking and expressive power | 2021-06-24 | Paper |
Deterministic timed finite state machines: equivalence checking and expressive power
(available as arXiv preprint) | 2021-06-24 | Paper |
Automated Synthesis of Protocol Converters with BALM-II
Software Engineering and Formal Methods | 2021-05-18 | Paper |
A computable and compositional semantics for hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Boolean Minimization of Projected Sums of Products via Boolean Relations
IEEE Transactions on Computers | 2019-08-13 | Paper |
Formal Verification Applied to Robotic Surgery
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
An introduction to the verification of hybrid systems using \textsc{Ariadne}
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
Exact minimization of binary decision diagrams using implicit techniques
IEEE Transactions on Computers | 2018-07-09 | Paper |
Using Flexibility in P-Circuits by Boolean Relations
IEEE Transactions on Computers | 2017-05-16 | Paper |
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
International Journal of Robust and Nonlinear Control | 2014-04-08 | Paper |
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
Lecture Notes in Computer Science | 2013-01-07 | Paper |
| The Unknown Component Problem | 2012-02-02 | Paper |
| Synthesis of multilevel Boolean networks | 2011-03-09 | Paper |
| Hardware equivalence and property verification | 2011-03-09 | Paper |
Compositionally progressive solutions of synchronous FSM equations
Discrete Event Dynamic Systems | 2009-05-29 | Paper |
FSM Encoding for BDD Representations
International Journal of Applied Mathematics and Computer Science | 2007-10-30 | Paper |
Controller synthesis for hybrid systems with a lower bound on event separation
International Journal of Control | 2004-08-17 | Paper |
| scientific article; zbMATH DE number 1423226 (Why is no real title available?) | 2003-11-20 | Paper |
Model matching for finite-state machines
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
| scientific article; zbMATH DE number 1444340 (Why is no real title available?) | 2001-06-18 | Paper |
| scientific article; zbMATH DE number 1014082 (Why is no real title available?) | 1997-05-27 | Paper |
| scientific article; zbMATH DE number 978906 (Why is no real title available?) | 1997-02-17 | Paper |
