2019
Journal Articles
-
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations.
Victor Magron, Alexandre Rocca, Thao Dang
- IEEE Transactions on Computers
- [bibtex]
Book Chapters
-
Set-Based Analysis for Biological Modelling.
Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca
- Automated Reasoning for Systems Biology and Medicine, Computational Biology Series
- [bibtex]
Conference Articles
-
Specification and Efficient Monitoring Beyond STL.
Alexey Bakhirkin, Nicolas Basset
- Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019
- [bibtex]
-
Generation of Signals Under Temporal Constraints for CPS Testing.
Benoît Barbot, Nicolas Basset, Thao Dang
- Nasa Formal Methods NFM 2019
- [bibtex]
-
ParetoLib: A Python Library for Parameter Synthesis.
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
- Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019
- [bibtex]
2018
Journal Articles
-
Reachability computation for polynomial dynamical systems.
Tommaso Dreossi, Thao Dang, Carla Piazza
- Formal Methods in System Design
- [bibtex]
-
Compositional strategy synthesis for stochastic games with multiple objectives.
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
- Inf. Comput.
- [bibtex]
Book Chapters
-
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
- Lectures on Runtime Verification - Introductory and Advanced Topics
- [bibtex]
-
Timing Contracts for Multi-Core Embedded Control Systems.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- Control Subject to Computational and Communication Constraints: Current Challenges
- [bibtex]
-
Template Complex Zonotope Based Stability Verification.
Arvind S. Adimoolam, Thao Dang
- Control Subject to Computational and Communication Constraints: Current Challenges
- [bibtex]
Conference Articles
-
Efficient Parametric Identification for STL.
Alexey Bakhirkin, Thomas Ferrére, Oded Maler
- Hybrid Systems: Computation and Control (HSCC)
- [bibtex]
-
Specifying Timed Patterns using Temporal Logic.
Dogan Ulus, Oded Maler
- Hybrid Systems: Computation and Control (HSCC)
- [bibtex]
-
Distance on Timed Words and Applications.
Eugene Asarin, Nicolas Basset, Aldric Degorre
- Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
- [bibtex]
-
Beyond Admissibility: Dominance Between Chains of Strategies.
Nicolas Basset, Ismael Jecker, Arno Pauly, Jean-Francois Raskin, Marie van den Bogaard
- 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK
- [bibtex]
-
Occupation measure methods for modelling and analysis of biological hybrid systems.
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
- 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018
- [bibtex]
-
Stimulus Generator for Circuit Model Generation.
Xavier Avon, Thao Dang
- 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018
- [bibtex]
-
Online Timed Pattern Matching using Automata.
Alexey Bakhirkin, Thomas Ferrére, Dejan Nickovic, Oded Maler, Eugene Asarin
- 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
- [bibtex]
-
DejaVu: A Monitoring Tool for First-Order Temporal Logic.
Klaus Havelund, Doron Peled, Dogan Ulus
- Hybrid Systems: Computation and Control (HSCC)
- [bibtex]
-
AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus
- Tools and Algorithms for the Construction and Analysis of Systems
- [bibtex]
-
Space-Time Interpolants.
Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
- Computer Aided Verification
- [bibtex]
-
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
- 2018 Annual American Control Conference (ACC)
- [bibtex]
PhD Thesis and HDR
-
Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process.
Nikolaos Kekatos
- [bibtex]
-
A Calculus of Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.
Arvind S. Adimoolam
- [bibtex]
-
Formal methods for modelling and validation of biological models.
Alexandre Rocca
- [bibtex]
-
Pattern Matching with Time: Theory and Applications.
Dogan Ulus
- [bibtex]
2017
Journal Articles
-
Certified Roundoff Error Bounds Using Semidefinite Programming.
Victor Magron, George A. Constantinides, Alastair F. Donaldson
- ACM Trans. Math. Softw.
- [bibtex]
-
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- Nonlinear Analysis: Hybrid Systems
- [bibtex]
Conference Articles
-
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
- ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
- [bibtex]
-
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
Alexandre Rocca, Victor Magron, Thao Dang
- 24th IEEE Symposium on Computer Arithmetic, ARITH 2017, London, United Kingdom, July 24-26, 2017
- [bibtex]
-
Derivatives of Quantitative Regular Expressions.
Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
- Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
- [bibtex]
-
Montre: A Tool for Monitoring Timed Regular Expressions.
Dogan Ulus
- Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- [bibtex]
-
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
Alexey Bakhirkin, Thomas Ferrére, Oded Maler, Dogan Ulus
- Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
- [bibtex]
-
Template complex zonotopes for stability and invariant verification.
Arvind S. Adimoolam, Thao Dang
- 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017
- [bibtex]
-
A Generic Algorithm for Learning Symbolic Automata from Membership Queries.
Oded Maler, Irini-Eleftheria Mens
- Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
- [bibtex]
-
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
- ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
- [bibtex]
-
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
- ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
- [bibtex]
-
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
- ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
- [bibtex]
-
Scheduling of Embedded Controllers Under Timing Contracts.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017
- [bibtex]
-
First order temporal logic monitoring with BDDs.
Klaus Havelund, Doron Peled, Dogan Ulus
- Formal Methods in Computer Aided Design (FMCAD)
- [bibtex]
-
Temporal specification testing of hybrid systems.
Thao Dang, Tommaso Dreossi
- 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20-23, 2017
- [bibtex]
-
Counterexample-Guided Refinement of Template Polyhedra.
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
- Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software
- [bibtex]
-
Constructing verification models of nonlinear Simulink systems via syntactic hybridization.
Nikolaos Kekatos, Marcelo Forets, Goran Frehse
- Conference on Decision and Control (CDC)
- [bibtex]
-
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.
Arvind S. Adimoolam, Thao Dang
- Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
- [bibtex]
-
Self-Triggered Control for Sampled-data Systems using Reachability Analysis.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- IFAC 2017 - 20th World Congress of the International Federation of Automatic Control
- [bibtex]
-
Classification and Coverage-Based Falsification for Embedded Control Systems.
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin
- Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- [bibtex]
-
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
- Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
- [bibtex]
PhD Thesis and HDR
-
Reachability Analysis of hybrid systems for verification and synthesis of cyber-physical systems.
Mohammad Al Khatib
- [bibtex]
-
On Theoretical and Practical Aspects of Trade-offs in Resource Allocation Problems.
Abhinav Srivastav
- [bibtex]
-
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems.
Tommaso Dreossi
- [bibtex]
-
Learning Regular Languages over Large Alphabets.
Irini-Eleftheria Mens
- [bibtex]
2016
Journal Articles
-
Guided search for hybrid systems based on coarse-grained space abstractions.
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
- STTT
- [bibtex]
Conference Articles
-
Application of the Reachability Analysis for the Iron Homeostasis Study.
Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis
- Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
- [bibtex]
-
Parallelotope Bundles for Polynomial Reachability.
Tommaso Dreossi, Thao Dang, Carla Piazza
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
- [bibtex]
-
Verification and Synthesis of Timing Contracts for Embedded Controllers.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
- [bibtex]
-
SL2SX Translator: From Simulink to SpaceEx Models.
Stefano Minopoli, Goran Frehse
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
- [bibtex]
-
Some Thoughts on Runtime Verification.
Oded Maler
- Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
- [bibtex]
-
Double archive Pareto local search.
Oded Maler, Abhinav Srivastav
- 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016
- [bibtex]
-
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.
Thao Dang, Alie El -, Menouer Boubekeur, Rajesh Kumar, Mark Moulin
- Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016
- [bibtex]
-
Using complex zonotopes for stability verification.
Arvind S. Adimoolam, Thao Dang
- 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016
- [bibtex]
-
Online Timed Pattern Matching Using Derivatives.
Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler
- Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software
- [bibtex]
-
From Simulation Models to Hybrid Automata Using Urgency and Relaxation.
Stefano Minopoli, Goran Frehse
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
- [bibtex]
PhD Thesis and HDR
-
Power Reduction in Digital Circuits.
Jan Láník
- [bibtex]
-
Assertion and Measurements for Mixed-Signal Simulation.
Thomas Ferrére
- [bibtex]
2015
Journal Articles
-
Learning Regular Languages over Large Ordered Alphabets.
Irini-Eleftheria Mens, Oded Maler
- Logical Methods in Computer Science
- [bibtex]
Conference Articles
-
Running SpaceEx on the ARCH14 Benchmarks.
Stefano Minopoli, Goran Frehse
- 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH at CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH at CPSWeek 2015, Seattle, WA, USA, April 13,
- [bibtex]
-
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.
Goran Frehse
- Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
- [bibtex]
-
Stochastic Local Search for Falsification of Hybrid Systems.
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Patrick Kapinski, Oded Maler
- Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
- [bibtex]
-
On Switching Aware Synthesis for Combinational Circuits.
Jan Láník, Oded Maler
- Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
- [bibtex]
-
Reducing power with activity trigger analysis.
Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim
- 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015
- [bibtex]
-
Current Challenges in the Verification of Hybrid Systems.
Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
- Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
- [bibtex]
-
A Benchmark Suite for Hybrid Systems Reachability Analysis.
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski
- NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- [bibtex]
-
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
- NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- [bibtex]
-
Exploring Synthetic Mass Action Models.
Oded Maler, Adam M. Halasz, Olivier Lebeltel, Ouri Maler
- Hybrid Systems Biology: Second International Workshop, HSB 2013
- [bibtex]
-
Trace Diagnostics Using Temporal Implicants.
Thomas Ferrére, Oded Maler, Dejan Nickovic
- Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015
- [bibtex]
-
Eliminating spurious transitions in reachability with support functions.
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
- Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015
- [bibtex]
-
Computing maximizer trajectories of affine dynamics for reachability.
Goran Frehse
- 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015
- [bibtex]
-
Reachability of Hybrid Systems in Space-time.
Goran Frehse
- Proceedings of the 12th International Conference on Embedded Software
- [bibtex]
-
Pipelined Scheduling of Acyclic SDF Graphs using SMT Solvers.
Pranav Tendulkar, Peter Poplavko, Oded Maler
- Investigating Dataflow in Embedded computing Architectures IDEA
- [bibtex]
-
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.
Mohammad Al Khatib, Antoine Girard, Thao Dang
- 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015
- [bibtex]
-
Measuring with Timed Patterns.
Thomas Ferrére, Oded Maler, Dejan Nickovic, Dogan Ulus
- Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
- [bibtex]
-
Parameter Synthesis Through Temporal Logic Specifications.
Thao Dang, Tommaso Dreossi, Carla Piazza
- FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- [bibtex]
2014
Book Chapters
-
The Unmet Challenge of Timed Systems.
Oded Maler
- From Programs to Systems
- [bibtex]
-
Cellular iron regulation in animals: need and use of suitable models.
Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon
- Nutzen-Risiko-Bewertung von Mineralstoffen und Spurenelementen: Biochemische, physiologische und toxikologische Aspekte
- [bibtex]
Conference Articles
-
Learning Regular Languages over Large Alphabets.
Oded Maler, Irini Eleftheria Mens
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014
- [bibtex]
-
Test Coverage Estimation Using Threshold Accepting.
Thao Dang, Noa Shalev
- Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
- [bibtex]
-
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.
Stefano Minopoli, Goran Frehse
- Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
- [bibtex]
-
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models.
Thao Dang, Tommaso Dreossi, Carla Piazza
- Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected
- [bibtex]
-
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.
Alexandre Rocca, Thao Dang, Eric Fanchon
- Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected
- [bibtex]
-
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
- Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
- [bibtex]
-
Parameter synthesis for polynomial biological models.
Tommaso Dreossi, Thao Dang
- 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014
- [bibtex]
-
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
- Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014
- [bibtex]
-
Timed Pattern Matching.
Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler
- Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
- [bibtex]
-
Formal and Informal Methods for Multi-Core Design Space Exploration.
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
- QAPL
- [bibtex]
-
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.
Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler
- 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014
- [bibtex]
PhD Thesis and HDR
-
Mapping and Scheduling on Multi-core Processors using SMT Solvers.
Pranav Tendulkar
- [bibtex]
2013
Journal Articles
-
STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification.
Szymon Stoma, Alexandre Donzé, Francois Bertaux, Oded Maler, Grégory Batt
- PLoS Computational Biology
- [bibtex]
-
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms.
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
- Microprocessors and Microsystems - Embedded Hardware Design
- [bibtex]
Book Chapters
-
Abstraction-Based Guided Search for Hybrid Systems.
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
- Model Checking Software
- [bibtex]
Conference Articles
-
Flowpipe Approximation and Clustering in Space-Time.
Goran Frehse, Colas Le Guernic, Rajat Kateja
- HSCC
- [bibtex]
-
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.
Jean-Francois Kempf, Marius Bozga, Oded Maler
- TACAS
- PDF
- [bibtex]
-
Efficient Robust Monitoring for STL.
Alexandre Donzé, Thomas Ferrére, Oded Maler
- CAV
- [bibtex]
-
Verification of embedded control programs.
Thao Dang, Bertrand Jeannet, Romain Testylier
- Proceedings of European Conrol Conference ECC
- [bibtex]
-
Exploring the Dynamics of Mass Action Systems.
Oded Maler, Adam M. Halasz, Olivier Lebeltel, Ouri Maler
- Hybrid Systems Biology
- PDF
- [bibtex]
-
Falsifying Oscillation Properties of Parametric Biological Models.
Thao Dang, Tommaso Dreossi
- Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013
- [bibtex]
-
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.
Romain Testylier, Thao Dang
- Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
- [bibtex]
-
Algorithmic Analysis of Continuous and Hybrid Systems.
Oded Maler
- Infinity
- [bibtex]
-
Modular, hierarchical models of control systems in SpaceEx.
Alexandre Donzé, Goran Frehse
- Control Conference (ECC), 2013 European
- [bibtex]
-
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores.
Pranav Tendulkar, Peter Poplavko, Oded Maler
- FORMATS
- [bibtex]
-
Flowpipe approximation and clustering in space-time.
Goran Frehse, Rajat Kateja, Colas Le Guernic
- Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA
- [bibtex]
2012
Journal Articles
-
Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture.
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
- ACM Transactions on Architecture and Code Optimization, Vol. V,
- PDF
- [bibtex]
-
Monitoring Properties of Analog and Mixed-Signal Designs,.
Oded Maler, Dejan Nickovic
- Software Tools for Technology Transfer
- [bibtex]
-
Reachability analysis for polynomial dynamical systems using the Bernstein expansion.
Thao Dang, Romain Testylier
- Reliable Computing Journal
- [bibtex]
book
-
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012.
- HSCC
- [bibtex]
Conference Articles
-
Optimal 2D Data Partitioning for DMA Transfers on MPSoCs.
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
- Proceedings of the 15th EUROMICRO Conference on Digital System Design
- [bibtex]
-
Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
Goran Frehse, Rajarshi Ray
- IFAC Conf. Analysis and Design of Hybrid Systems (ADHS)
- [bibtex]
-
Analysis of parametric biological models with non-linear dynamics.
Romain Testylier, Thao Dang
- HSB
- [bibtex]
-
On Temporal Logic and Signal Processing.
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka
- ATVA
- PDF
- [bibtex]
-
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
- Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
- [bibtex]
-
State Estimation and Property-Guided Exploration for Hybrid Systems Testing.
Thao Dang, Noa Shalev
- ICTSS
- [bibtex]
-
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
- Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- [bibtex]
PhD Thesis and HDR
-
On Computer-Aided Design-Space Exploration for Multi-Cores.
Jean-Francois Kempf
- [bibtex]
-
Optimizing DMA Data Transfers for Embedded Multi-Cores.
Selma Saidi
- [bibtex]
-
Reachability Analysis of Hybrid Systems using Support Functions.
Rajarshi Ray
- [bibtex]
2011
Journal Articles
-
Computing reachable states for nonlinear biological models.
Thao Dang, Colas Le Guernic, Oded Maler
- Theoretical Computer Science
- [bibtex]
-
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks.
Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui
- PLOS One
- [bibtex]
Book Chapters (inbook)
-
Model-Based Testing for Embedded Systems.
Thao Dang
- [bibtex]
Book Chapters
-
Efficient Bounded Reachability Computation for Rectangular Automata.
Xin Chen, Erika Abraham, Goran Frehse
- Reachability Problems
- [bibtex]
Conference Articles
-
Hybridization Domain Construction using Curvature Estimation.
Thao Dang, Romain Testylier
- Proceedings HSCC 2011
- PDF
- [bibtex]
-
On Universal Search Strategies for Multi-criteria Optimization Using Weighted Sums.
Julien Legriel, Scott Cotton, Oded Maler
- CEC
- PDF
- [bibtex]
-
Meeting Deadlines Cheaply.
Julien Legriel, Oded Maler
- ECRTS
- PDF
- [bibtex]
-
SpaceEx: Scalable Verification of Hybrid Systems.
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
- Proc. 23rd International Conference on Computer Aided Verification (CAV)
- PDF
- [bibtex]
-
On Under-Determined Dynamical Systems.
Oded Maler
- EMSOFT
- PDF
- [bibtex]
-
Performance Evaluation of Schedulers in a Probabilistic Setting.
Jean-Francois Kempf, Marius Bozga, Oded Maler
- FORMATS
- [bibtex]
-
Monitoring Dynamical Signals While Testing Timed Aspects of a System.
Goran Frehse, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
- ICTSS
- [bibtex]
-
Template-Based Unbounded Time Verification of Affine Hybrid Automata.
Thao Dang, Thomas Gawlitza
- Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
- [bibtex]
-
Discretizing Affine Hybrid Automata with Uncertainty.
Thao Dang, Thomas Gawlitza
- Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
- [bibtex]
-
Multi-criteria optimization for mapping programs to multi-processors.
Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi
- SIES
- [bibtex]
PhD Thesis and HDR
-
Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems.
Julien Legriel
- [bibtex]
2010
Journal Articles
-
On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits.
Edmund M. Clarke, Alexandre Donzé, Axel Legay
- Formal Methods in System Design
- [bibtex]
-
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
Alexandre Donzé, Gilles Clermont, Christopher James Langmead
- Journal of Computational Biology
- [bibtex]
-
Reachability analysis of linear systems using support functions.
Colas Le Guernic, Antoine Girard
- Nonlinear Analysis: Hybrid Systems
- [bibtex]
Conference Articles
-
Property-Based Monitoring of Analog and Mixed-Signal Systems.
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
- Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
- [bibtex]
-
On the Krohn-Rhodes Cascaded Decomposition Theorem.
Oded Maler
- Time for Verification, Essays in Memory of Amir Pnueli
- PDF
- [bibtex]
-
Robust Satisfaction of Temporal Logic over Real-Valued Signals.
Alexandre Donzé, Oded Maler
- Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
- PDF
- [bibtex]
-
Amir Pnueli and the dawn of hybrid systems.
Oded Maler
- Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010
- PDF
- [bibtex]
-
On Zone-Based Analysis of Duration Probabilistic Automata.
Oded Maler, Kim Guldstrand Larsen, Bruce H. Krogh
- Proceedings 12th International Workshop on Verification of Infinite-State Systems
- PDF
- [bibtex]
-
Using Redundant Constraints for Refinement.
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
- Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
- [bibtex]
-
Approximating the Pareto Front of Multi-criteria Optimization Problems.
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
- Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2
- PDF
- [bibtex]
-
Accurate hybridization of nonlinear systems.
Thao Dang, Oded Maler, Romain Testylier
- Proceedings of HSCC 2010
- PDF
- [bibtex]
-
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems.
Alexandre Donzé
- CAV
- [bibtex]
2009
Journal Articles
-
Coverage-Guided Test Generation for Continuous and Hybrid Systems.
Thao Dang, Tarik Nahhal
- Formal Methods in System Design
- [bibtex]
Book Chapters (inbook)
-
Model-based Design of Heterogeneous Systems.
Stavros Tripakis, Thao Dang
- [bibtex]
Book Chapters
-
Tools for the verification of linear hybrid automata models.
Goran Frehse
- Handbook of Hybrid Systems Control, Theory -- Tools -- Applications
- [bibtex]
Conference Articles
-
Volume and Entropy of Regular Timed Languages: Discretization Approach.
Eugene Asarin, Aldric Degorre
- CONCUR
- [bibtex]
-
Image computation for polynomial dynamical systems using the Bernstein expansion.
Thao Dang, David Salinas
- Computer Aided Verification CAV'09
- [bibtex]
-
Parameter synthesis for hybrid systems with an application to simulink models.
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
- Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09)
- [bibtex]
-
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
Alexandre Donzé, Gilles Clermont, Christopher James Langmead, Axel Legay
- Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology RECOMB'09
- [bibtex]
-
Reachability Analysis of Hybrid Systems using Support Functions.
Colas Le Guernic, Antoine Girard
- CAV
- [bibtex]
-
Polyhedral Domains and Widening for Verification of Numerical Programs.
Hitashyam Maka, Goran Frehse, Bruce H. Krogh
- NSV-II: Second International Workshop on Numerical Software Verification
- [bibtex]
-
Reachability for Continuous and Hybrid Systems.
Oded Maler
- Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
- [bibtex]
-
On Omega-Languages Defined by Mean-Payoff Conditions.
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
- FOSSACS
- PDF
- [bibtex]
-
Computing Reachable States for Nonlinear Biological Models.
Thao Dang, Colas Le Guernic, Oded Maler
- Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
- [bibtex]
-
Design Principles for an Extendable Verification Tool for Hybrid Systems.
Goran Frehse, Rajarshi Ray
- Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009)
- [bibtex]
-
Compositional Timing Analysis.
Ramzi Ben Salah, Marius Bozga, Oded Maler
- EMSOFT
- [bibtex]
-
Volume and Entropy of Regular Timed Languages: Analytic Approach.
Eugene Asarin, Aldric Degorre
- FORMATS
- [bibtex]
PhD Thesis and HDR
-
On Some Problems in Satisfiability Solving.
Scott Cotton
- [bibtex]
-
Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics.
Colas Le Guernic
- [bibtex]
-
On some Quantitative Aspects of Formal Languages.
Aldric Degorre
- [bibtex]
2008
Journal Articles
-
PHAVer: Algorithmic Verification of Hybrid Systems past HyTech.
Goran Frehse
- International Journal on Software Tools for Technology Transfer
- [bibtex]
Conference Articles
-
Sensitive State Space Exploration.
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
- IEEE Conference on Decision and Control (CDC)
- [bibtex]
-
Outils pour l'analyse des modèles hybrides.
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
- Approches formelles des systèmes embarqué communicants
- [bibtex]
-
Using Disparity to Enhance Test Generation for Hybrid Systems.
Thao Dang, Tarik Nahhal
- TestCom/FATES 2008
- [bibtex]
-
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
Edmund M. Clarke, Alexandre Donzé, Axel Legay
- Haifa Verification Conference
- [bibtex]
-
On Scheduling Policies for Streams of Structured Jobs.
Aldric Degorre, Oded Maler
- FORMATS
- [bibtex]
-
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.
Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
- HSCC
- [bibtex]
-
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
Antoine Girard, Colas Le Guernic
- HSCC
- [bibtex]
-
Efficient Reachability Analysis for Linear Systems Using Support Functions.
Antoine Girard, Colas Le Guernic
- IFAC World Congress
- [bibtex]
-
Control software model checking using bisimulation functions for nonlinear systems.
James Patrick Kapinski, Flavio Lerda, Alexandre Donzé, Bruce H. Krogh, Hitashyam Maka, Silke Wagner
- Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08)
- [bibtex]
-
Approximating Continuous Systems by Timed Automata.
Oded Maler, Grégory Batt
- FMSB
- [bibtex]
-
A Policy Iteration Technique for Time Elapse over Template Polyhedra.
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
- Hybrid Systems: Computation and Control HSCC'08
- [bibtex]
-
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
- TACAS'08
- [bibtex]
-
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Oded Maler, Dejan Nickovic, Amir Pnueli
- Pillars of Computer Science
- PDF
- [bibtex]
PhD Thesis and HDR
-
Checking Timed and Hybrid Properties: Theory and Applications.
Dejan Nickovic
- [bibtex]
2007
Journal Articles
-
Hybridization methods for the analysis of nonlinear systems.
Eugene Asarin, Thao Dang, Antoine Girard
- Acta Inf.
- [bibtex]
-
On optimal and reasonable control in the presence of adversaries.
Oded Maler
- Annual Reviews in Control
- [bibtex]
Conference Articles
-
On Synthesizing Controllers from Bounded-Response Properties.
Oded Maler, Dejan Nickovic, Amir Pnueli
- CAV
- [bibtex]
-
Test Coverage for Continuous and Hybrid Systems.
Tarik Nahhal, Thao Dang
- CAV
- [bibtex]
-
On Timed Models of Gene Networks.
Grégory Batt, Ramzi Ben Salah, Oded Maler
- FORMATS
- [bibtex]
-
AMT: A Property-Based Monitoring Tool for Analog Systems.
Dejan Nickovic, Oded Maler
- FORMATS
- [bibtex]
-
Reachability Analysis of a Switched Buffer Network.
Goran Frehse, Oded Maler
- HSCC
- [bibtex]
-
Guided Randomized Simulation.
Tarik Nahhal, Thao Dang
- HSCC
- [bibtex]
-
Systematic Simulation Using Sensitivity Analysis.
Alexandre Donzé, Oded Maler
- HSCC
- [bibtex]
-
On timed components and their abstraction.
Ramzi Ben Salah, Marius Bozga, Oded Maler
- SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems
- [bibtex]
PhD Thesis and HDR
-
Trajectoires pour la Vérification et la Commande de Systèmes Continus et Hybrides.
Alexandre Donzé
- [bibtex]
-
Model Based Testing for Real-Time Systems.
Moez Krichen
- [bibtex]
-
Model-Based Testing of Hybrid Systems.
Tarik Nahhal
- [bibtex]
-
On Timing Analysis of Large Systems.
Ramzi Ben Salah
- [bibtex]
2006
Journal Articles
-
Counter-example Guided Predicate Abstraction of Hybrid Systems.
Rajeev Alur, Thao Dang, Franjo Ivancic
- Theoretical Computer Science (TCS)
- [bibtex]
-
Reachability Analysis of Hybrid Systems via Predicate Abstraction.
Rajeev Alur, Thao Dang, Franjo Ivancic
- ACM transactions on embedded computing systems (TECS)
- [bibtex]
-
Scheduling with timed automata.
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
- Theor. Comput. Sci.
- [bibtex]
Conference Articles
-
Recent Progress in Continuous and Hybrid Reachability Analysis.
Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
- CACSD 2006
- [bibtex]
-
Approximate Reachability Computation for Polynomial Systems.
Thao Dang
- HSCC 2006
- [bibtex]
-
Scheduling for multi-threaded real-time programs via path planning.
Thao Dang, Philippe Gerner
- Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006
- [bibtex]
-
Simulation of Hybrid Systems For Circuit Validation.
Thao Dang, Tarik Nahhal
- FDL 2006
- [bibtex]
-
On Timed Simulation Relations for Hybrid Systems and Compositionality.
Goran Frehse
- FORMATS 2006
- [bibtex]
-
From MITL to Timed Automata.
Oded Maler, Dejan Nickovic, Amir Pnueli
- FORMATS 2006
- [bibtex]
-
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
Antoine Girard, Colas Le Guernic, Oded Maler
- HSCC 2006
- [bibtex]
-
Fast and Flexible Difference Constraint Propagation for DPLL(T).
Scott Cotton, Oded Maler
- SAT 2006
- [bibtex]
-
Randomized simulation of hybrid systems for circuit validation.
Thao Dang, Tarik Nahhal
- Proceedings of FDL06 - Forum on specification and Design Languages
- [bibtex]
-
Time Domain Verification of Oscillator Circuit Properties.
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
- Proc. Workshop on Formal Verification of Analog Circuits
- [bibtex]
-
On Interleaving in Timed Automata.
Ramzi Ben Salah, Marius Bozga, Oded Maler
- CONCUR 2006
- [bibtex]
PhD Thesis and HDR
-
Conditional Scheduling Strategies using Timed Automata.
Abdelkarim Kerbaa
- [bibtex]
2005
Book Chapters
-
From Control Loops to Real-Time Programs.
Paul Caspi, Oded Maler
- Handbook of Networked and Embedded Computing Systems
- [bibtex]
Conference Articles
-
Real Time Temporal Logic: Past, Present, Future.
Oded Maler, Dejan Nickovic, Amir Pnueli
- FORMATS 2005
- [bibtex]
-
On temporal difference algorithms for continuous systems.
Alexandre Donzé
- ICINCO
- [bibtex]
PhD Thesis and HDR
-
Implementing Lustre Programs on Distributed Platforms with Real-time Constraints.
Adrian Curic
- [bibtex]
2004
Conference Articles
-
Monitoring Temporal Properties of Continuous Signals.
Oded Maler, Dejan Nickovic
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques i
- [bibtex]
-
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
Thao Dang, Alexandre Donzé, Oded Maler
- FMCAD
- [bibtex]
-
Abstraction by projection and application to multi-affine systems.
Eugene Asarin, Thao Dang
- Hybrid Systems: Control and Computation HSCC'04
- [bibtex]
PhD Thesis and HDR
-
Modélisation et Analyse de Systèmes Temps Réel avec Préemption, Incertitude et Dépendance.
Marcelo Zanconi
- [bibtex]
2003
Conference Articles
-
Counter-example Guided Predicate Abstraction of Hybrid Systems.
Rajeev Alur, Thao Dang, Franjo Ivancic
- Tools and Algorithms for the Construction and Analysis of Systems TACAS'03
- [bibtex]
-
Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction.
Rajeev Alur, Thao Dang, Franjo Ivancic
- Hybrid Systems: Control and Computation HSCC'03
- [bibtex]
PhD Thesis and HDR
-
Modélisation et résolution de problèmes d'ordonnancement à l'aide d'automates temporisés.
Yasmina Abdeddaïm
- [bibtex]
2002
Journal Articles
-
Scheduler modelling based on the controller synthesis paradigm.
Karine Altisen, Gregor Goessler, Joseph Sifakis
- Journal of Real-Time Systems
- [bibtex]
Conference Articles
-
Tools for Controller Synthesis of Timed Systems.
Karine Altisen, Stavros Tripakis
- 2nd Workshop on Real-Time Tools (RT-TOOLS'2002)
- [bibtex]
-
The d/dt Tool for Verification of Hybrid Systems.
Eugene Asarin, Thao Dang, Oded Maler
- Computer Aided Verification CAV'02
- [bibtex]
-
Reachability Analysis Via Predicate Abstraction.
Rajeev Alur, Thao Dang, Franjo Ivancic
- Hybrid Systems: Computation and Control HSCC'02
- [bibtex]
PhD Thesis and HDR
-
Analyse Algorithmique de Systèmes Hybrides Polygonaux.
Gerardo Schneider
- [bibtex]
2001
Conference Articles
-
On Hybrid Control of Under-actuated Mechanical Systems.
Eugene Asarin, Sorav Bansal, Thao Dang, Bernard Espiau, Oded Maler
- Hybrid Systems: Computation and Control HSCC'01
- [bibtex]
-
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio Fisheri.
Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George Pappas, Harvey Rubin, Paul Dunlap
- CDC'01 - Conference on Decision and Control
- [bibtex]
-
d/dt: A Verification Tool for Hybrid Systems.
Eugene Asarin, Thao Dang, Oded Maler
- CDC'01 - Conference on Decision and Control
- [bibtex]
-
d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems.
Eugene Asarin, Thao Dang, Oded Maler
- 5th IFAC Symposium Nonlinear Control Systems NOLCOS
- [bibtex]
PhD Thesis and HDR
-
Théorie algébrique des langages formels temps réel.
Catalin Dima
- [bibtex]
-
Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel.
Karine Altisen
- [bibtex]
2000
Conference Articles
-
A methodology for the construction of scheduled systems.
Karine Altisen, Gregor Goessler, Joseph Sifakis
- Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00)
- [bibtex]
-
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
Eugene Asarin, Oded Maler
- Hybrid Systems: Computation and Control HSCC'00
- [bibtex]
PhD Thesis and HDR
-
V'erification et synth`ese des syst`emes hybrides.
Thao Dang
- [bibtex]
1999
Conference Articles
-
A Framework for Scheduler Synthesis.
Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
- RTSS'99
- [bibtex]
-
On-the-fly controller synthesis for discrete and dense time systems.
Stavros Tripakis, Karine Altisen
- Formal Methods 1999 (FM'99)
- [bibtex]
PhD Thesis and HDR
-
Complexité Algorithmique des Systèmes Dynamiques Continus et Hybrides.
Olivier Bournez
- [bibtex]
1998
Conference Articles
-
Reachability Analysis via Face Lifting.
Thao Dang, Oded Maler
- Hybrid Systems: Computation and Control HSCC'98
- [bibtex]
PhD Thesis and HDR
-
De la composition de systèmes temporisés.
Sébastien Bornot
- [bibtex]
-
Méthodes d'analyse de systèmes temporisés : de la théorie à la pratique.
Conrado Daws
- [bibtex]
-
L'Analyse Formelle de Systèmes Temporisés en Pratique.
Stavros Tripakis
- [bibtex]
1995
PhD Thesis and HDR
-
Spécification et Vérification de Systèmes Hybrides.
Riadh Robbana
- [bibtex]
1994
PhD Thesis and HDR
-
Modélisation et analyse de systèmes temporisés et hybrides.
Alfredo Olivero
- [bibtex]
1993
PhD Thesis and HDR
-
Méthodes et outils pour la vérification symbolique de systèmes temporisés.
Sergio Yovine
- [bibtex]
1992
PhD Thesis and HDR
-
ATP: une algèbre pour la spécification et l'analyse des systèmes temps reel.
Xavier Nicollin
- [bibtex]
Browsing