by years

• Synchrone by years ; by kinds
• Tempo by years ; by kinds
• Pacss by years ; by kinds
• RSD by years ; by kinds
• Verimag by years ; by kinds

2017

Conference Articles

1. 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]

2016

Journal Articles

2. 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

3. 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]
4. 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]
5. 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]
6. 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]
7. 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]
8. Some Thoughts on Runtime Verification. Oded Maler - Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings - [bibtex]
9. 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, ETA - [bibtex]

2015

Journal Articles

10. Learning Regular Languages over Large Ordered Alphabets. Irini-Eleftheria Mens, Oded Maler - Logical Methods in Computer Science - [bibtex]

Conference Articles

11. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. Tommaso Dreossi, Thao Dang, Alexandre Donz\' e, 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]
12. 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]
13. 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]
14. 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]
15. 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]
16. 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]
17. 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]
18. 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]
19. 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]
20. 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]
21. 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]
22. 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]

2014

Book Chapters

23. The Unmet Challenge of Timed Systems. Oded Maler - From Programs to Systems - [bibtex]
24. 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

25. 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]
26. 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]
27. 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]
28. 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]
29. 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]
30. 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]
31. 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]
32. 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]
33. 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]
34. 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]
35. Formal and Informal Methods for Multi-Core Design Space Exploration. Jean-Francois Kempf, Olivier Lebeltel, Oded Maler - QAPL - [bibtex]

2013

Journal Articles

36. 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]
37. 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

38. 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

39. Flowpipe Approximation and Clustering in Space-Time. Goran Frehse, Colas Le Guernic, Rajat Kateja - HSCC - [bibtex]
40. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Jean-Francois Kempf, Marius Bozga, Oded Maler - TACAS - PDF - [bibtex]
41. Efficient Robust Monitoring for STL. Alexandre Donzé, Thomas Ferrére, Oded Maler - CAV - [bibtex]
42. Verification of embedded control programs. Thao Dang, Bertrand Jeannet, Romain Testylier - Proceedings of European Conrol Conference ECC - [bibtex]
43. Exploring the Dynamics of Mass Action Systems. Oded Maler, Adam M. Halasz, Olivier Lebeltel, Ouri Maler - Hybrid Systems Biology - PDF - [bibtex]
44. 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]
45. 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]
46. Algorithmic Analysis of Continuous and Hybrid Systems. Oded Maler - Infinity - [bibtex]
47. Modular, hierarchical models of control systems in SpaceEx. Alexandre Donzé, Goran Frehse - Control Conference (ECC), 2013 European - [bibtex]
48. Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. Pranav Tendulkar, Peter Poplavko, Oded Maler - FORMATS - [bibtex]
49. 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

50. 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]
51. Monitoring Properties of Analog and Mixed-Signal Designs,. Oded Maler, Dejan Nickovic - Software Tools for Technology Transfer - [bibtex]
52. Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Thao Dang, Romain Testylier - Reliable Computing Journal - [bibtex]

Conference Articles

53. 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]
54. 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]
55. Flowpipe-Guard Intersection for Reachability Computations with Support Functions. Goran Frehse, Rajarshi Ray - IFAC Conf. Analysis and Design of Hybrid Systems (ADHS) - [bibtex]
56. Analysis of parametric biological models with non-linear dynamics. Romain Testylier, Thao Dang - HSB - [bibtex]
57. On Temporal Logic and Signal Processing. Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka - ATVA - PDF - [bibtex]
58. 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]
59. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. Thao Dang, Noa Shalev - ICTSS - [bibtex]

PhD Thesis and HDR

60. On Computer-Aided Design-Space Exploration for Multi-Cores. Jean-Francois Kempf - [bibtex]
61. Optimizing DMA Data Transfers for Embedded Multi-Cores. Selma Saidi - [bibtex]
62. Reachability Analysis of Hybrid Systems using Support Functions. Rajarshi Ray - [bibtex]

2011

Journal Articles

63. Computing reachable states for nonlinear biological models. Thao Dang, Colas Le Guernic, Oded Maler - Theoretical Computer Science - [bibtex]
64. 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)

65. Model-Based Testing for Embedded Systems. Thao Dang - [bibtex]

Book Chapters

66. Efficient Bounded Reachability Computation for Rectangular Automata. Xin Chen, Erika Abraham, Goran Frehse - Reachability Problems - [bibtex]

Conference Articles

67. Hybridization Domain Construction using Curvature Estimation. Thao Dang, Romain Testylier - Proceedings HSCC 2011 - PDF - [bibtex]
68. On Universal Search Strategies for Multi-criteria Optimization Using Weighted Sums. Julien Legriel, Scott Cotton, Oded Maler - CEC - PDF - [bibtex]
69. Meeting Deadlines Cheaply. Julien Legriel, Oded Maler - ECRTS - PDF - [bibtex]
70. 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]
71. On Under-Determined Dynamical Systems. Oded Maler - EMSOFT - PDF - [bibtex]
72. Performance Evaluation of Schedulers in a Probabilistic Setting. Jean-Francois Kempf, Marius Bozga, Oded Maler - FORMATS - [bibtex]
73. Monitoring Dynamical Signals While Testing Timed Aspects of a System. Goran Frehse, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen - ICTSS - [bibtex]
74. 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]
75. 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]
76. Multi-criteria optimization for mapping programs to multi-processors. Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi - SIES - [bibtex]

PhD Thesis and HDR

77. Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems. Julien Legriel - [bibtex]

2010

Journal Articles

78. On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits. Edmund M. Clarke, Alexandre Donzé, Axel Legay - Formal Methods in System Design - [bibtex]
79. Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. Alexandre Donzé, Gilles Clermont, Christopher James Langmead - Journal of Computational Biology - [bibtex]

Conference Articles

80. 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]
81. On the Krohn-Rhodes Cascaded Decomposition Theorem. Oded Maler - Time for Verification, Essays in Memory of Amir Pnueli - PDF - [bibtex]
82. 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]
83. 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]
84. 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]
85. 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]
86. 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]
87. Accurate hybridization of nonlinear systems. Thao Dang, Oded Maler, Romain Testylier - Proceedings of HSCC 2010 - PDF - [bibtex]
88. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. Alexandre Donzé - CAV - [bibtex]

2009

Journal Articles

89. Coverage-Guided Test Generation for Continuous and Hybrid Systems. Thao Dang, Tarik Nahhal - Formal Methods in System Design - [bibtex]

Book Chapters (inbook)

90. Model-based Design of Heterogeneous Systems. Stavros Tripakis, Thao Dang - [bibtex]

Book Chapters

91. Tools for the verification of linear hybrid automata models. Goran Frehse - Handbook of Hybrid Systems Control, Theory -- Tools -- Applications - [bibtex]

Conference Articles

92. Volume and Entropy of Regular Timed Languages: Discretization Approach. Eugene Asarin, Aldric Degorre - CONCUR - [bibtex]
93. Image computation for polynomial dynamical systems using the Bernstein expansion. Thao Dang, David Salinas - Computer Aided Verification CAV'09 - [bibtex]
94. 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]
95. 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]
96. Reachability Analysis of Hybrid Systems using Support Functions. Colas Le Guernic, Antoine Girard - CAV - [bibtex]
97. 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]
98. Reachability for Continuous and Hybrid Systems. Oded Maler - Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings - [bibtex]
99. On Omega-Languages Defined by Mean-Payoff Conditions. Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss - FOSSACS - PDF - [bibtex]
100. 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]
101. 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]
102. Compositional Timing Analysis. Ramzi Ben Salah, Marius Bozga, Oded Maler - EMSOFT - [bibtex]
103. Volume and Entropy of Regular Timed Languages: Analytic Approach. Eugene Asarin, Aldric Degorre - FORMATS - [bibtex]

PhD Thesis and HDR

104. On Some Problems in Satisfiability Solving. Scott Cotton - [bibtex]
105. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. Colas Le Guernic - [bibtex]
106. On some Quantitative Aspects of Formal Languages. Aldric Degorre - [bibtex]

2008

Journal Articles

107. PHAVer: Algorithmic Verification of Hybrid Systems past HyTech. Goran Frehse - International Journal on Software Tools for Technology Transfer - [bibtex]

Conference Articles

108. Sensitive State Space Exploration. Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev - IEEE Conference on Decision and Control (CDC) - [bibtex]
109. 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]
110. Using Disparity to Enhance Test Generation for Hybrid Systems. Thao Dang, Tarik Nahhal - TestCom/FATES 2008 - [bibtex]
111. 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]
112. On Scheduling Policies for Streams of Structured Jobs. Aldric Degorre, Oded Maler - FORMATS - [bibtex]
113. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh - HSCC - [bibtex]
114. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. Antoine Girard, Colas Le Guernic - HSCC - [bibtex]
115. Efficient Reachability Analysis for Linear Systems Using Support Functions. Antoine Girard, Colas Le Guernic - IFAC World Congress - [bibtex]
116. 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]
117. Approximating Continuous Systems by Timed Automata. Oded Maler, Grégory Batt - FMSB - [bibtex]
118. A Policy Iteration Technique for Time Elapse over Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'08 - [bibtex]
119. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - TACAS'08 - [bibtex]
120. 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

121. Checking Timed and Hybrid Properties: Theory and Applications. Dejan Nickovic - [bibtex]

2007

Journal Articles

122. Hybridization methods for the analysis of nonlinear systems. Eugene Asarin, Thao Dang, Antoine Girard - Acta Inf. - [bibtex]
123. On optimal and reasonable control in the presence of adversaries. Oded Maler - Annual Reviews in Control - [bibtex]

Conference Articles

124. On Synthesizing Controllers from Bounded-Response Properties. Oded Maler, Dejan Nickovic, Amir Pnueli - CAV - [bibtex]
125. Test Coverage for Continuous and Hybrid Systems. Tarik Nahhal, Thao Dang - CAV - [bibtex]
126. On Timed Models of Gene Networks. Grégory Batt, Ramzi Ben Salah, Oded Maler - FORMATS - [bibtex]
127. AMT: A Property-Based Monitoring Tool for Analog Systems. Dejan Nickovic, Oded Maler - FORMATS - [bibtex]
128. Reachability Analysis of a Switched Buffer Network. Goran Frehse, Oded Maler - HSCC - [bibtex]
129. Guided Randomized Simulation. Tarik Nahhal, Thao Dang - HSCC - [bibtex]
130. Systematic Simulation Using Sensitivity Analysis. Alexandre Donzé, Oded Maler - HSCC - [bibtex]
131. 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

132. Trajectoires pour la Vérification et la Commande de Systèmes Continus et Hybrides. Alexandre Donzé - [bibtex]
133. Model Based Testing for Real-Time Systems. Moez Krichen - [bibtex]
134. Model-Based Testing of Hybrid Systems. Tarik Nahhal - [bibtex]
135. On Timing Analysis of Large Systems. Ramzi Ben Salah - [bibtex]

2006

Journal Articles

136. Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Theoretical Computer Science (TCS) - [bibtex]
137. Reachability Analysis of Hybrid Systems via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - ACM transactions on embedded computing systems (TECS) - [bibtex]
138. Scheduling with timed automata. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler - Theor. Comput. Sci. - [bibtex]

Conference Articles

139. Recent Progress in Continuous and Hybrid Reachability Analysis. Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler - CACSD 2006 - [bibtex]
140. Approximate Reachability Computation for Polynomial Systems. Thao Dang - HSCC 2006 - [bibtex]
141. 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]
142. Simulation of Hybrid Systems For Circuit Validation. Thao Dang, Tarik Nahhal - FDL 2006 - [bibtex]
143. On Timed Simulation Relations for Hybrid Systems and Compositionality. Goran Frehse - FORMATS 2006 - [bibtex]
144. From MITL to Timed Automata. Oded Maler, Dejan Nickovic, Amir Pnueli - FORMATS 2006 - [bibtex]
145. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. Antoine Girard, Colas Le Guernic, Oded Maler - HSCC 2006 - [bibtex]
146. Fast and Flexible Difference Constraint Propagation for DPLL(T). Scott Cotton, Oded Maler - SAT 2006 - [bibtex]
147. Randomized simulation of hybrid systems for circuit validation. Thao Dang, Tarik Nahhal - Proceedings of FDL06 - Forum on specification and Design Languages - [bibtex]
148. 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]
149. On Interleaving in Timed Automata. Ramzi Ben Salah, Marius Bozga, Oded Maler - CONCUR 2006 - [bibtex]

PhD Thesis and HDR

150. Conditional Scheduling Strategies using Timed Automata. Abdelkarim Kerbaa - [bibtex]

2005

Book Chapters

151. From Control Loops to Real-Time Programs. Paul Caspi, Oded Maler - Handbook of Networked and Embedded Computing Systems - [bibtex]

Conference Articles

152. Real Time Temporal Logic: Past, Present, Future. Oded Maler, Dejan Nickovic, Amir Pnueli - FORMATS 2005 - [bibtex]
153. On temporal difference algorithms for continuous systems. Alexandre Donzé - ICINCO - [bibtex]

PhD Thesis and HDR

154. Implementing Lustre Programs on Distributed Platforms with Real-time Constraints. Adrian Curic - [bibtex]

2004

Conference Articles

155. 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]
156. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. Thao Dang, Alexandre Donzé, Oded Maler - FMCAD - [bibtex]
157. 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

158. Modélisation et Analyse de Systèmes Temps Réel avec Préemption, Incertitude et Dépendance. Marcelo Zanconi - [bibtex]

2003

Conference Articles

159. 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]
160. 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

161. Modélisation et résolution de problèmes d'ordonnancement à l'aide d'automates temporisés. Yasmina Abdeddaïm - [bibtex]

2002

Journal Articles

162. Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]

Conference Articles

163. Tools for Controller Synthesis of Timed Systems. Karine Altisen, Stavros Tripakis - 2nd Workshop on Real-Time Tools (RT-TOOLS'2002) - [bibtex]
164. The d/dt Tool for Verification of Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - Computer Aided Verification CAV'02 - [bibtex]
165. Reachability Analysis Via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'02 - [bibtex]

PhD Thesis and HDR

166. Analyse Algorithmique de Systèmes Hybrides Polygonaux. Gerardo Schneider - [bibtex]

2001

Conference Articles

167. 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]
168. 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]
169. d/dt: A Verification Tool for Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - CDC'01 - Conference on Decision and Control - [bibtex]
170. 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

171. Théorie algébrique des langages formels temps réel. Catalin Dima - [bibtex]
172. Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel. Karine Altisen - [bibtex]

2000

Conference Articles

173. 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]
174. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. Eugene Asarin, Oded Maler - Hybrid Systems: Computation and Control HSCC'00 - [bibtex]

PhD Thesis and HDR

175. V'erification et synth`ese des syst`emes hybrides. Thao Dang - [bibtex]

1999

Conference Articles

176. A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
177. 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

178. Complexité Algorithmique des Systèmes Dynamiques Continus et Hybrides. Olivier Bournez - [bibtex]

1998

Conference Articles

179. Reachability Analysis via Face Lifting. Thao Dang, Oded Maler - Hybrid Systems: Computation and Control HSCC'98 - [bibtex]

PhD Thesis and HDR

180. De la composition de systèmes temporisés. Sébastien Bornot - [bibtex]
181. Méthodes d'analyse de systèmes temporisés : de la théorie à la pratique. Conrado Daws - [bibtex]
182. L'Analyse Formelle de Systèmes Temporisés en Pratique. Stavros Tripakis - [bibtex]

1995

PhD Thesis and HDR

183. Spécification et Vérification de Systèmes Hybrides. Riadh Robbana - [bibtex]

1994

PhD Thesis and HDR

184. Modélisation et analyse de systèmes temporisés et hybrides. Alfredo Olivero - [bibtex]

1993

PhD Thesis and HDR

185. Méthodes et outils pour la vérification symbolique de systèmes temporisés. Sergio Yovine - [bibtex]

1992

PhD Thesis and HDR

186. ATP: une algèbre pour la spécification et l'analyse des systèmes temps reel. Xavier Nicollin - [bibtex]