Étienne André – Publications

Articles in international journals

2011

  1. Sun Jun, Liu Yang (刘洋), Dong Jin Song, Liu Yan, Shi Ling and Étienne André. Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology, 2011. To appear. Flag United Kingdom

2009

  1. Étienne André, Thomas Chatain, Emmanuelle Encrenaz and Laurent Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science 20(5), pages 819–836, 2009. Flag United Kingdom [PDF (published version) | PDF (author version) | BibTeX]

Articles in international conferences

2012

  1. Étienne André, Laurent Fribourg, Ulrich Kühne and Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM’12, LNCS, Springer, August 2012. Acceptance rate: 27%. To appear. Flag United Kingdom
  2. Lin Shang-Wei (林尚威), Liu Yang (刘洋), Sun Jun, Dong Jin Song and Étienne André. Automatic Compositional Verification of Timed Systems. FM’12, LNCS, Springer, August 2012. Acceptance rate: 27%. To appear. Flag United Kingdom
  3. Étienne André, Christine Choppy and Kaïs Klaï. Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets. In Isabelle Perseil et al. (eds.), UML&FM’12, August 2012. To appear. Flag United Kingdom [BibTeX]
  4. Étienne André, Liu Yang (刘洋), Sun Jun and Dong Jin Song. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. In Karin Breitman, Isabelle Perseil, Marc Pouzet (eds.), ICECCS’12, July 2012. To appear. Flag United Kingdom [PDF (author version) | PDF (long author version) | BibTeX]
  5. Étienne André, Laurent Fribourg and Romain Soulat. Enhancing the Inverse Method with State Merging. In Alwyn Goodloe and Suzette Person (eds.), NFM’12, LNCS 7226, Springer, pages 100–105, April 2012. Flag United Kingdom [PDF (author version) | PDF (long author version) | BibTeX]
  6. Étienne André, Kaïs Klaï, Hanen Ochi and Laure Petrucci. A Counterexample­‐Based Incremental and Modular Verification Approach. In Radu Calinescu and David Garlan (eds.), Monterey’12, LNCS, Springer, March 2012. To appear. Flag United Kingdom [BibTeX]

2011

  1. Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song, Sun Jun and Liu Yang (刘洋). An Efficient Algorithm for Learning Event-Recording Automata. In Tevfik Bultan and Pao-Ann Hsiung (eds.), ATVA’11, LNCS 6996, Springer, pages 463–472, 2011. Flag United Kingdom [PDF (author version) | PDF (long author version) | BibTeX | Slides]
  2. Étienne André and Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties. In Giorgio Delzanno and Igor Potapov (eds.), RP’11, LNCS 6945, Springer, pages 31–44, 2011. Flag United Kingdom [PDF (author version) | PDF (long author version) | BibTeX | Slides]

2010

  1. Étienne André. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. In Yu-Fang Chen and Ahmed Rezine (eds.), INFINITY’10, Electronic Proceedings in Theoretical Computer Science 39, pages 91–99, 2010. Flag United Kingdom [PDF (published version) | BibTeX | Slides]
  2. Étienne André and Laurent Fribourg. Behavioral Cartography of Timed Automata. In Antonín Kučera and Igor Potapov (eds.), RP’10, LNCS 6227, Springer, pages 76–90, September 2010. Flag United Kingdom [PDF (published version) | PDF (author version) | BibTeX | Slides]

2009

  1. Étienne André and Laurent Fribourg. An Inverse Method for Policy-Iteration Based Algorithms. In Azadeh Farzan and Axel Legay (eds.), INFINITY’09, Electronic Proceedings in Theoretical Computer Science 10, pages 44–61, 2009. Flag United Kingdom [PDF (published version) | BibTeX | Slides]
  2. Étienne André, Laurent Fribourg and Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. In Markus Roggenbach (eds.), AVoCS’09, Electronic Communications of the EASST 23, European Association of Software Science and Technology, 2009. Flag United Kingdom [PDF (published version) | BibTeX | Slides]
  3. Étienne André. IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. In Martin Leucker and Carroll Morgan (eds.), ICTAC’09, LNCS 5684, Springer, pages 336–342, August 2009. Flag United Kingdom [PDF (published version) | PDF (author version) | BibTeX | Slides]

2008

  1. Étienne André, Thomas Chatain, Emmanuelle Encrenaz and Laurent Fribourg. An Inverse Method for Parametric Timed Automata. In Vesa Halava and Igor Potapov (eds.), RP’08, ENTCS 223, Elsevier Science Publishers, pages 29–46, September 2008. Flag United Kingdom [PDF (author version) | BibTeX | Slides]

Articles in national conferences

2009

  1. Étienne André, Thomas Chatain, Olivier De Smet, Laurent Fribourg and Silvain Ruel. Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau. In Didier Lime and Olivier H. Roux (eds.), MSR’09, Journal Européen des Systèmes Automatisés 43(7-9), Hermès, pages 1049–1064, 2009. Flag France [PDF (author version) | BibTeX | Slides]

Theses

2010

  1. Étienne André. An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems. Ph.D. thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2010. 268 pages. Flag United Kingdom [PDF | BibTeX | Slides]

2007

  1. Étienne André. Handling Theories in Logic Functors for Recomposing Description Logics. Master thesis, IRISA, Rennes, France, June 2007. Flag United Kingdom [PDF | BibTeX | Slides]

Posters

2012

  1. Étienne André and Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. In Mazzanti Franco and Gianluca Trentanni (eds.), iFM’12, June 2012. To appear. Flag United Kingdom

2009

  1. Étienne André, Pirouz Bazargan-Sabet, Rémy Chevallier, Emmanuelle Encrenaz, Laurent Fribourg, Dominique Le Dû and Patricia Renault. Project VALMEM: Functional and Timed Validation of Embedded Memories Using Formal Methods. Grand colloque ANR STIC’10, December 2009. Flag United Kingdom [PDF]

Other publications

2012

  1. Étienne André and Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. In Mazzanti Franco and Gianluca Trentanni (eds.), iFM’12, June 2012. To appear. Flag United Kingdom

2009

  1. Étienne André. Une méthode inverse pour les plus courts chemins. ETR’09, 2009. Flag France [PDF | BibTeX | Slides]

Research reports

2012

  1. Étienne André, Liu Yang (刘洋), Sun Jun and Dong Jin Song. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (Report Version). Research report, National University of Singapore, April 2012. 35 pages. Flag United Kingdom [PDF]

2011

  1. Étienne André, Laurent Fribourg and Romain Soulat. Enhancing the Inverse Method with State Merging. Research report LSV-11-26, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2011. 7 pages. Flag United Kingdom [PDF | BibTeX]
  2. Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song, Sun Jun and Liu Yang (刘洋). An Efficient Algorithm for Learning Event-Recording Automata (full version). Research report, National University of Singapore, July 2011. 15 pages. Flag United Kingdom [PDF | BibTeX | Slides]
  3. Étienne André and Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties (full version). Research report LSV-11-13, Laboratoire Spécification et Vérification, ENS Cachan, France, May 2011. 31 pages. Flag United Kingdom [PDF | BibTeX | Slides]
  4. Étienne André, Abdelrezzak Bara, Pirouz Bazargan-Sabet, Rémy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Laurent Fribourg and Patricia Renault. Compte-rendu de fin du projet ANR VALMEM. Research report, January 2011. 14 pages. Flag France [PDF | BibTeX]

2010

  1. Étienne André. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR II. Research report LSV-10-21, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2010. 66 pages. Flag United Kingdom [PDF | BibTeX]
  2. Étienne André, Abdelrezzak Bara, Pirouz Bazargan-Sabet, Rémy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Laurent Fribourg and Patricia Renault. Experiments of Prototype Tools on Case Studies, Comparison of obtained results and Conclusion. Research report, 2010. 31 pages. Flag United Kingdom [PDF | BibTeX]
  3. Étienne André. IMITATOR II User Manual. Research report LSV-10-20, Laboratoire Spécification et Vérification, ENS Cachan, France, November 2010. 31 pages. Flag United Kingdom [PDF | BibTeX]

2009

  1. Étienne André. Everything You Always Wanted to Know About IMITATOR (But Were Afraid to Ask). Research report LSV-09-20, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2009. 11 pages. Flag United Kingdom [PDF | BibTeX]
  2. Étienne André, Emmanuelle Encrenaz and Laurent Fribourg. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR. Research report LSV-09-13, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2009. 18 pages. Flag United Kingdom [PDF | BibTeX]

2007

  1. Étienne André. Construction et utilisation des logiques dans les systèmes d’information. Research report, IRISA, Rennes, France, February 2007. Flag France [PDF]

2006

  1. Étienne André. Mise en œuvre et évaluation d’analyses de bytecode Java spécifiées avec Datalog. Research report, IRISA, Rennes, France, July 2006. Flag France [PDF]
  2. Étienne André. Metamodeling and Language Engineering. Research report, Fakultät für Theoretische Informatik, Technische Universität Dresden, February 2006. Flag United Kingdom [PDF | Slides]

Co-authors

See also

This page makes use of valid HTML 5 and valid CSS.