Étienne André – Publications

Articles in international journals

2011

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

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. [PDF (published version) | PDF (author version) | BibTeX]

Articles in international conferences

2012

14. É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.
13. 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.
12. É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. [BibTeX]
11. É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. [PDF (author version) | PDF (long author version) | BibTeX]
10. É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. [PDF (author version) | PDF (long author version) | BibTeX]
9. É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. [BibTeX]

2011

8. 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. [PDF (author version) | PDF (long author version) | BibTeX | Slides]
7. É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. [PDF (author version) | PDF (long author version) | BibTeX | Slides]

2010

6. É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. [PDF (published version) | BibTeX | Slides]
5. É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. [PDF (published version) | PDF (author version) | BibTeX | Slides]

2009

4. É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. [PDF (published version) | BibTeX | Slides]
3. É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. [PDF (published version) | BibTeX | Slides]
2. É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. [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. [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. [PDF (author version) | BibTeX | Slides]

Theses

2010

2. É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. [PDF | BibTeX | Slides]

2007

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

Posters

2012

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

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. [PDF]

Other publications

2012

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

2009

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

Research reports

2012

13. É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. [PDF]

2011

12. É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. [PDF | BibTeX]
11. 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. [PDF | BibTeX | Slides]
10. É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. [PDF | BibTeX | Slides]
9. É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. [PDF | BibTeX]

2010

8. É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. [PDF | BibTeX]
7. É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. [PDF | BibTeX]
6. Étienne André. IMITATOR II User Manual. Research report LSV-10-20, Laboratoire Spécification et Vérification, ENS Cachan, France, November 2010. 31 pages. [PDF | BibTeX]

2009

5. É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. [PDF | BibTeX]
4. É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. [PDF | BibTeX]

2007

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

2006

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

Co-authors

• Laurent Fribourg (8)
• Sun Jun (4)
• Dong Jin Song (4)
• Liu Yang (刘洋) (4)
• Romain Soulat (3)
• Thomas Chatain (3)
• Emmanuelle Encrenaz (2)
• Kaïs Klaï (2)
• Lin Shang-Wei (林尚威) (2)
• Olivier De Smet (1)
• Silvain Ruel (1)
• Ulrich Kühne (1)
• Jeremy Sproston (1)
• Shi Ling (1)
• Hanen Ochi (1)
• Laure Petrucci (1)
• Liu Yan (1)
• Christine Choppy (1)