Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Frehse, Goran - Laboratory: VERIMAG, Université Joseph Fourier Grenoble
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
PHAVer: Algorithmic Verification of Hybrid Systems past HyTech
A Counterexample-Guided Approach to Parameter Synthesis
Verifying Analog Oscillator Circuits Using Forward/Backward Abstraction Refinement
Compositional Verification of Hybrid Systems with Discrete Interaction using Simulation Relations
On Timed Simulation Relations for Hybrid Systems and Compositionality
Compositional Verification of Hybrid Systems using Simulation Relations
Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction
