Verimag

by kinds

Journal Articles

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 Göessler, 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. Timed Pattern Matching. Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler - Formal Modeling and Analysis of Timed Systems (FORMATS) - [bibtex]
  2. 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]
  3. 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

2014

  1. Formal and Informal Methods for Multi-Core Design Space Exploration. Jean-Francois Kempf, Olivier Lebeltel, Oded Maler - QAPL - [bibtex]
  2. 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. Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. Pranav Tendulkar, Peter Poplavko, Oded Maler - FORMATS - [bibtex]
  2. Modular, hierarchical models of control systems in SpaceEx. Alexandre Donzé, Goran Frehse - Control Conference (ECC), 2013 European - [bibtex]
  3. Algorithmic Analysis of Continuous and Hybrid Systems. Oded Maler - Infinity - [bibtex]
  4. 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]
  5. 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]
  6. Exploring the Dynamics of Mass Action Systems. Oded Maler, Adam M. Halasz, Olivier Lebeltel, Ouri Maler - Hybrid Systems Biology - PDF - [bibtex]
  7. Verification of embedded control programs. Thao Dang, Bertrand Jeannet, Romain Testylier - Proceedings of European Conrol Conference ECC - [bibtex]
  8. Efficient Robust Monitoring for STL. Alexandre Donzé, Thomas Ferrére, Oded Maler - CAV - [bibtex]
  9. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Jean-Francois Kempf, Marius Bozga, Oded Maler - TACAS - PDF - [bibtex]
  10. 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. Volume and Entropy of Regular Timed Languages: Analytic Approach. Eugene Asarin, Aldric Degorre - FORMATS - [bibtex]
  2. 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]
  3. Automatic Verification of Integer Array Programs. Marius Bozga, Peter Habermehl, Radu Iosif, Filip Kone\vcn\'y, Tomás Vojnar - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  4. Compositional Timing Analysis. Ramzi Ben Salah, Marius Bozga, Oded Maler - EMSOFT - [bibtex]
  5. 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]
  6. D-Finder: A Tool for Compositional Deadlock Detection and Verification. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  7. 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]
  8. 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]
  9. 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]
  10. On Omega-Languages Defined by Mean-Payoff Conditions. Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss - FOSSACS - PDF - [bibtex]
  11. Reachability for Continuous and Hybrid Systems. Oded Maler - Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings - [bibtex]
  12. Image computation for polynomial dynamical systems using the Bernstein expansion. Thao Dang, David Salinas - Computer Aided Verification CAV'09 - [bibtex]
  13. 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]
  14. 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]
  15. Reachability Analysis of Hybrid Systems using Support Functions. Colas Le Guernic, Antoine Girard - CAV - [bibtex]
  16. 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]
  17. 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 Synthesizing Controllers from Bounded-Response Properties. Oded Maler, Dejan Nickovic, Amir Pnueli - CAV - [bibtex]
  2. Test Coverage for Continuous and Hybrid Systems. Tarik Nahhal, Thao Dang - CAV - [bibtex]
  3. On Timed Models of Gene Networks. Grégory Batt, Ramzi Ben Salah, Oded Maler - FORMATS - [bibtex]
  4. AMT: A Property-Based Monitoring Tool for Analog Systems. Dejan Nickovic, Oded Maler - FORMATS - [bibtex]
  5. Reachability Analysis of a Switched Buffer Network. Goran Frehse, Oded Maler - HSCC - [bibtex]
  6. Guided Randomized Simulation. Tarik Nahhal, Thao Dang - HSCC - [bibtex]
  7. Systematic Simulation Using Sensitivity Analysis. Alexandre Donzé, Oded Maler - HSCC - [bibtex]
  8. 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]

2006

  1. 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]
  2. Randomized simulation of hybrid systems for circuit validation. Thao Dang, Tarik Nahhal - Proceedings of FDL06 - Forum on specification and Design Languages - [bibtex]
  3. Approximate Reachability Computation for Polynomial Systems. Thao Dang - HSCC 2006 - [bibtex]
  4. 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]
  5. Simulation of Hybrid Systems For Circuit Validation. Thao Dang, Tarik Nahhal - FDL 2006 - [bibtex]
  6. On Interleaving in Timed Automata. Ramzi Ben Salah, Marius Bozga, Oded Maler - CONCUR 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 Göessler, 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 Göessler, 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 created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 2 ; visits: 438048