Verimag

by kinds

Journal Articles

2016

  1. Guided search for hybrid systems based on coarse-grained space abstractions. Sergiy Bogomolov, Alexandre Donz\' e, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle - STTT - [bibtex]

2015

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

2014

  1. Making Bertha Drive - An Autonomous Journey on a Historic Route. Julius Ziegler, Philipp Bender, Markus Schreiber, Henning Lategahn, Tobias Strauss, Christoph Stiller, Thao Dang, Uwe Franke, Nils Appenrodt, Christoph Gustav Keller, Eberhard Kaus, Ralf G. Herrtwich, Clemens Rabe, David Pfeiffer, Frank Lindner, Fridtjof Stein, Friedrich Erbs, Markus Enzweiler, Carsten Kn o, Jochen Hipp, Martin Haueis, Maximilian Trepte, Carsten Brenk, Andreas Tamke, Mohammad Ghanaat, Markus Braun, Armin Joos, Hans Fritz, Horst Mock, Martin Hein, Eberhard Zeeb - IEEE Intell. Transport. Syst. Mag. - [bibtex]

2013

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

2012

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

2011

  1. Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks. Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui - PLOS One - [bibtex]
  2. Computing reachable states for nonlinear biological models. Thao Dang, Colas Le Guernic, Oded Maler - Theoretical Computer Science - [bibtex]

2010

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

2009

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

2008

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

2007

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

2006

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

2002

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

Book Chapters (inbook)

2011

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

2009

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

Book Chapters

2014

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

2013

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

2011

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

2009

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

2005

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

Conference Articles

2016

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

2015

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Current Challenges in the Verification of Hybrid Systems. Stefan Schupp, Erika \'Abrah\' a, 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]
  8. 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]
  9. 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]
  10. A Benchmark Suite for Hybrid Systems Reachability Analysis. Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika \'Abrah\' a, Goran Frehse, Stefan Kowalewski - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
  11. 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]
  12. 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]

2014

  1. Formal and Informal Methods for Multi-Core Design Space Exploration. Jean-Francois Kempf, Olivier Lebeltel, Oded Maler - QAPL - [bibtex]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Trajectory planning for Bertha - A local, continuous method. Julius Ziegler, Philipp Bender, Thao Dang, Christoph Stiller - 2014 IEEE Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, June 8-11, 2014 - [bibtex]
  10. 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]
  11. 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]
  12. 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]

2013

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

2012

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

2011

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

2010

  1. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. Alexandre Donzé - CAV - [bibtex]
  2. Accurate hybridization of nonlinear systems. Thao Dang, Oded Maler, Romain Testylier - Proceedings of HSCC 2010 - PDF - [bibtex]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. On the Krohn-Rhodes Cascaded Decomposition Theorem. Oded Maler - Time for Verification, Essays in Memory of Amir Pnueli - PDF - [bibtex]
  9. 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]

2009

  1. Priority Scheduling of Distributed Systems Based on Model Checking. Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  2. Component-Based Construction of Real-Time Systems in BIP. Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  3. Volume and Entropy of Regular Timed Languages: Analytic Approach. Eugene Asarin, Aldric Degorre - FORMATS - [bibtex]
  4. Better Quality in Synthesis through Quantitative Objectives. Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  5. Automatic Verification of Integer Array Programs. Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn\'y, Tomás Vojnar - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  6. Compositional Timing Analysis. Ramzi Ben Salah, Marius Bozga, Oded Maler - EMSOFT - [bibtex]
  7. 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]
  8. 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]
  9. On Omega-Languages Defined by Mean-Payoff Conditions. Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss - FOSSACS - PDF - [bibtex]
  10. Reachability for Continuous and Hybrid Systems. Oded Maler - Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings - [bibtex]
  11. Image computation for polynomial dynamical systems using the Bernstein expansion. Thao Dang, David Salinas - Computer Aided Verification CAV'09 - [bibtex]
  12. 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]
  13. 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]
  14. Reachability Analysis of Hybrid Systems using Support Functions. Colas Le Guernic, Antoine Girard - CAV - [bibtex]
  15. 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]
  16. Volume and Entropy of Regular Timed Languages: Discretization Approach. Eugene Asarin, Aldric Degorre - CONCUR - [bibtex]

2008

  1. Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Oded Maler, Dejan Nickovic, Amir Pnueli - Pillars of Computer Science - PDF - [bibtex]
  2. A Policy Iteration Technique for Time Elapse over Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'08 - [bibtex]
  3. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - TACAS'08 - [bibtex]
  4. Sensitive State Space Exploration. Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev - IEEE Conference on Decision and Control (CDC) - [bibtex]
  5. 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]
  6. Using Disparity to Enhance Test Generation for Hybrid Systems. Thao Dang, Tarik Nahhal - TestCom/FATES 2008 - [bibtex]
  7. 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]
  8. On Scheduling Policies for Streams of Structured Jobs. Aldric Degorre, Oded Maler - FORMATS - [bibtex]
  9. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh - HSCC - [bibtex]
  10. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. Antoine Girard, Colas Le Guernic - HSCC - [bibtex]
  11. Efficient Reachability Analysis for Linear Systems Using Support Functions. Antoine Girard, Colas Le Guernic - IFAC World Congress - [bibtex]
  12. 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]
  13. Approximating Continuous Systems by Timed Automata. Oded Maler, Grégory Batt - FMSB - [bibtex]

2007

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

2006

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

2005

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

2004

  1. Abstraction by projection and application to multi-affine systems. Eugene Asarin, Thao Dang - Hybrid Systems: Control and Computation HSCC'04 - [bibtex]
  2. 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]
  3. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. Thao Dang, Alexandre Donzé, Oded Maler - FMCAD - [bibtex]

2003

  1. Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Control and Computation HSCC'03 - [bibtex]
  2. 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]

2002

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

2001

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

2000

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

1999

  1. A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
  2. On-the-fly controller synthesis for discrete and dense time systems. Stavros Tripakis, Karine Altisen - Formal Methods 1999 (FM'99) - [bibtex]

1998

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

PhD Thesis and HDR

2012

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

2011

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

2009

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

2008

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

2007

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

2006

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

2005

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

2004

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

2003

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

2002

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

2001

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

2000

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

1999

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

1998

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

1995

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

1994

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

1993

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

1992

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

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 729817