1

A Two-Way Path between Formal and Informal Design of Embedded Systems
It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it …
PDF Cite Code Slides DOI
A Two-Way Path between Formal and Informal Design of Embedded Systems
Validated Simulation-Based Verification of Delayed Differential Dynamics
Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial …
PDF Cite Code Poster Slides DOI
Validated Simulation-Based Verification of Delayed Differential Dynamics
Computing Reachable Sets of Linear Vector Fields Revisited
The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable …
PDF Cite Code Slides DOI
Computing Reachable Sets of Linear Vector Fields Revisited
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and …
PDF Cite Code Slides DOI
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
Decidability of the Reachability for a Family of Linear Vector Fields
The reachability problem is one of the most important issues in the verification of hybrid systems. Computing the reachable sets of …
PDF Cite Code Slides DOI
Decidability of the Reachability for a Family of Linear Vector Fields