Thao Dang

Gregor Gössler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Learning Specifications for Labelled Patterns.

[BibT_eX]

[DOI]

Nicolas Basset

José-Ignacio Requeno Jarabo

Akshay Mambakam

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Set-Based Analysis for Biological Modeling.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.

[BibT_eX]

[DOI]

Victor Magron

Alexandre Rocca

IEEE Trans. Computers, 2019

Generation of Signals Under Temporal Constraints for CPS Testing.

[BibT_eX]

[DOI]

Benoît Barbot

Nicolas Basset

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

2018

Stimulus Generator for Circuit Model Generation.

[BibT_eX]

[DOI]

Xavier Avon

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Occupation measure methods for modelling and analysis of biological hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Reachability computation for polynomial dynamical systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Occupation measure methods for modelling and analysis of biological hybrid automata.

[BibT_eX]

[DOI]

CoRR, 2017

Scheduling of Embedded Controllers Under Timing Contracts.

[BibT_eX]

[DOI]

Mohammad Al Khatib

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.

[BibT_eX]

[DOI]

Arvind S. Adimoolam

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Temporal specification testing of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Template complex zonotopes for stability and invariant verification.

[BibT_eX]

[DOI]

Arvind S. Adimoolam

Proceedings of the 2017 American Control Conference, 2017

2016

Verification and Synthesis of Timing Contracts for Embedded Controllers.

[BibT_eX]

[DOI]

Mohammad Al Khatib

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Parallelotope Bundles for Polynomial Reachability.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Application of the Reachability Analysis for the Iron Homeostasis Study.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2016

Using complex zonotopes for stability verification.

[BibT_eX]

[DOI]

Arvind S. Adimoolam

Proceedings of the 2016 American Control Conference, 2016

2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Parameter Synthesis Through Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.

[BibT_eX]

[DOI]

Mohammad Al Khatib

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Trajectory planning for Bertha - A local, continuous method.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

Parameter synthesis for polynomial biological models.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.

[BibT_eX]

[DOI]

Alexandre Rocca

Eric Fanchon

Proceedings of the Hybrid Systems Biology, 2014

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology, 2014

Test Coverage Estimation Using Threshold Accepting.

[BibT_eX]

[DOI]

Noa Shalev

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Falsifying Oscillation Properties of Parametric Biological Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Verification of embedded control programs.

[BibT_eX]

[DOI]

Bertrand Jeannet

Proceedings of the 12th European Control Conference, 2013

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Tools for the Analysis of Hybrid Models.

[BibT_eX]

[DOI]

Proceedings of the Communicating Embedded Systems, 2013

2012

Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.

[BibT_eX]

[DOI]

Reliab. Comput., 2012

Analysis of parametric biological models with non-linear dynamics

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

State Estimation and Property-Guided Exploration for Hybrid Systems Testing.

[BibT_eX]

[DOI]

Noa Shalev

Proceedings of the Testing Software and Systems, 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.

[BibT_eX]

[DOI]

Mohamed Amin Ben Sassi

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Computing reachable states for nonlinear biological models.

[BibT_eX]

[DOI]

Colas Le Guernic

Theor. Comput. Sci., 2011

Hybridization domain construction using curvature estimation.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

SpaceEx: Scalable Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Discretizing Affine Hybrid Automata with Uncertainty.

[BibT_eX]

[DOI]

Thomas Martin Gawlitza

Proceedings of the Automated Technology for Verification and Analysis, 2011

Template-Based Unbounded Time Verification of Affine Hybrid Automata.

[BibT_eX]

[DOI]

Thomas Martin Gawlitza

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

Model-Based Testing of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Accurate hybridization of nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Using Redundant Constraints for Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Continuous Stereo Self-Calibration by Camera Parameter Tracking.

[BibT_eX]

[DOI]

Christoph Stiller

IEEE Trans. Image Process., 2009

Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2009

Coverage-guided test generation for continuous and hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion.

[BibT_eX]

[DOI]

David Salinas

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Using Disparity to Enhance Test Generation for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Sensitive state-space exploration.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

GPS- und Kamera-basierte Fahrzeugführung durchs Gelände - ION im Grand Challenge (GPS- and Camera-based Off-Road Vehicle Control - ION in the Grand Challenge).

[BibT_eX]

[DOI]

Autom., 2007

Hybridization methods for the analysis of nonlinear systems.

[BibT_eX]

[DOI]

Acta Informatica, 2007

Guided Randomized Simulation.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Test Coverage for Continuous and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Predicate abstraction for reachability analysis of hybrid systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2006

Counterexample-guided predicate abstraction of hybrid systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Approximate Reachability Computation for Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Randomized Simulation of Hybrid Systems For Circuit Validation.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

Scheduling for multi-threaded real-time programs via path planning.

[BibT_eX]

[DOI]

Philippe Gerner

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Tracking Camera Parameters of an Active Stereo Rig.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition, 2006

2005

A Reachability-Based Technique for Idle Speed Control Synthesis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2005

Fast Object Hypotheses Generation Using 3D Position and 3D Motion.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2005

2004

Abstraction by Projection and Application to Multi-affine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Computing Schedules for Multithreaded Real-Time Programs Using Geometry.

[BibT_eX]

[DOI]

Philippe Gerner

Proceedings of the Formal Techniques, 2004

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.

[BibT_eX]

[DOI]

Alexandre Donzé

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Hierarchical modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Counter-Example Guided Predicate Abstraction of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Reachability Analysis of Nonlinear Systems Using Conservative Approximation .

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

2002

Reachability Analysis of Hybrid Systems via Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

The d/dt Tool for Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

On Hybrid Control of Under-Actuated Mechanical Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Hybrid Modeling of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

d/dt: a verification tool for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Effective synthesis of switching controllers for linear systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2000

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1998

Reachability Analysis via Face Lifting.

[BibT_eX]

[DOI]