Étienne André – Publications

Book

2013

  1. Étienne André and Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc. ISBN: 9781848214477. January 2013. (English) [PDF | BibTeX]

Proceedings of international conferences

2015

  1. Étienne André and Goran Frehse. Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015). April 2015. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | BibTeX]

2014

  1. Étienne André and Zhang Lei (张蕾). Proceedings of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014). August 2014. (English) [BibTeX]
  2. Étienne André and Goran Frehse. Proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP 2014). April 2014. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | BibTeX]

Articles in international journals

2017

  1. Étienne André. What’s decidable about parametric timed automata?. International Journal on Software Tools for Technology Transfer, July 2017. To appear. (English) [PDF]

2016

  1. Étienne André, Thomas Chatain and César Rodríguez. ACM DL Author-ize servicePreserving Partial Order Runs in Parametric Time Petri Nets. Transactions on Embedded Computing Systems 16(2), pages 43:1–43:26, December 2016. (English)
  2. Étienne André, Mohamed Mahdi Benmoussa and Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. Formal Aspects of Computing 28(5), pages 805–845, September 2016. (English) [PDF | PDF (author version) | BibTeX]

2014

  1. Étienne André, Liu Yang (刘杨), Sun Jun and Dong Jin Song (董劲松). Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-Time Systems Journal 50(5–6), pages 620–679, September 2014. (English) [PDF | PDF (author version) | BibTeX]
  2. Lin Shang-Wei (林尚威), Étienne André, Liu Yang (刘杨), Sun Jun and Dong Jin Song (董劲松). Learning Assumptions for Compositional Verification of Timed Systems. Transactions on Software Engineering 40(2), pages 137–153, February 2014. (English) [PDF | PDF (author version) | BibTeX]

2013

  1. Étienne André, Laurent Fribourg and Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. Formal Methods in System Design 42(2), pages 119–145, April 2013. (English) [PDF (published version) | PDF (author version) | BibTeX]
  2. Sun Jun, Liu Yang (刘杨), Dong Jin Song (董劲松), Liu Yan (刘燕), Shi Ling and Étienne André. ACM DL Author-ize serviceModeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology 22(1), pages 3.1–3.29, February 2013. [PDF | PDF (author version) | BibTeX]

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

Articles in the proceedings of international conferences

2017

  1. Étienne André, Nguyễn Hoàng Gia and Laure Petrucci. Efficient parameter synthesis using optimized state exploration strategies. In Zhenjiang Hu and Guangdong Bai, (eds.), ICECCS’17, IEEE CPS, November 2017. Acceptance rate: 40%. To appear. (English)
  2. Étienne André. A unified formalism for monoprocessor schedulability analysis under uncertainty. In Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti (eds.), FMICS-AVoCS’17, Springer LNCS 10471, pages 100–115, September 2017. (English) [PDF (author version) | BibTeX | Slides]
  3. Li Jiaying, Sun Jun, Gao Bo (高博) and Étienne André. Classification based Parameter Synthesis for Parametric Timed Automata. In Zhenhua Duan and Luke Ong (eds.), ICFEM’17, Springer LNCS, November 2017. To appear. (English)
  4. Étienne André and Lin Shang-Wei (林尚威). Learning-based compositional parameter synthesis for event-recording automata. In Ahmed Bouajjani and Alexandra Silva (eds.), FORTE’17, Springer LNCS 10321, pages 17–32, June 2017. (English) [PDF (author version) | Slides]
  5. Étienne André and Didier Lime. Liveness in L/U-Parametric Timed Automata. In Axel Legay and Klaus Schneider (eds.), ACSD’17, IEEE, pages 9–18, June 2017. To appear. (English)
  6. Étienne André, Nguyễn Hoàng Gia, Laure Petrucci and Sun Jun. Parametric model checking timed automata under non-Zenoness assumption. In Clark Barrett, Misty Davies and Temesghen Kahsai (eds.), NFM’17, Springer LNCS 10227, pages 35–51, May 2017. (English)
  7. Étienne André, Michał Knapik, Wojciech Jamroga, Wojciech Penczek and Laure Petrucci. Timed ATL: Forget Memory, Just Count. In Sanmay Das and Ed Durfee (eds.), AAMAS’17, IFAAMAS, pages 1460–1462, May 2017. Acceptance rate: 48%. (English) [PDF]

2016

  1. Étienne André, Didier Lime and Olivier H. Roux. Decision Problems for Parametric Timed Automata. In Kazuhiro Ogata and Mark Lawford (eds.), ICFEM’16, Springer LNCS, pages 400–416, November 2016. Acceptance rate: 42%. (English) [PDF (author version) | BibTeX | Slides]
  2. Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime and Étienne André. Applying parametric model-checking techniques for reusing real-time critical systems. In Cyrille Artho and Peter Csaba Ölveczky (eds.), FTSCS’16, Springer CCIS 694, pages 129–144, November 2016. Acceptance rate: 39%. (English) [PDF (author version)]
  3. Étienne André. Parametric Deadlock-Freeness Checking Timed Automata. In Augusto Cesar Alves Sampaio and Farn Wang (eds.), ICTAC’16, LNCS 9965, Springer, pages 469–478, October 2016. Acceptance rate: 43%. (English) [PDF | PDF (author version) | BibTeX | Slides]
  4. Étienne André and Benoît Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. In Curtis Dyreson, Michael R. Hansen and Luke Hunsberger (eds.), TIME’16, IEEE, pages 110–119, October 2016. Acceptance rate: 47%. (English)
  5. Étienne André, Didier Lime and Olivier H. Roux. On the Expressiveness of Parametric Timed Automata. In Martin Fränzle and Nicolas Markey (eds.), FORMATS’16, LNCS 9884, Springer, pages 19–34, August 2016. Acceptance rate: 44%. (English) [PDF (author version) | BibTeX | Slides]
  6. Étienne André, Michał Knapik, Wojciech Penczek and Laure Petrucci. Controlling Actions and Time in Parametric Timed Automata. In Jörg Desel and Alex Yakovlev (eds.), ACSD’16, IEEE, June 2016. Acceptance rate: 47%. (English) [PDF (author version)]
  7. Tan Tian Huat (陈天发), Chen Manman (陈曼曼), Sun Jun, Liu Yang (刘杨), Étienne André, Dong Jin Song (董劲松) and Xue Yinxing. ACM DL Author-ize serviceOptimizing Selection of Competing Services with Probabilistic Hierarchical Refinement. In Willem Visser and Laurie Williams (eds.), ICSE’16, IEEE, pages 85–95, June 2016. Acceptance rate: 19%. (English) [PDF]
  8. Étienne André. What’s decidable about parametric timed automata?. In Cyrille Artho and Peter Csaba Ölveczky (eds.), FTSCS’15, Springer CCIS 596, pages 1–17, January 2016. Acceptance rate: 37%. (English) [PDF (author version) | Slides]

2015

  1. Étienne André, Didier Lime and Olivier H. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In Mikołaj Bojańczyk, Sławomir Lasota and Igor Potapov (eds.), RP’15, LNCS 9328, Springer, pages 7–19, September 2015. (English) [PDF (author version) | Slides]
  2. Étienne André, Camille Coti and Nguyễn Hoàng Gia. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. In Michael Butler, Sylvain Conchon and Fatiha Zaïdi (eds.), ICFEM’15, Springer LNCS 9407, pages 319–335, November 2015. Acceptance rate: 33%. (English) [PDF | PDF (author version) | Slides]
  3. Étienne André and Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. In Sriram Sankaranarayanan and Enrico Vicario (eds.), FORMATS’15, Springer LNCS 9268, pages 27–43, September 2015. Acceptance rate: 45%. (English) [PDF | PDF (author version) | PDF (long author version) | BibTeX | Slides]
  4. Étienne André and Laure Petrucci. Unifying Patterns for Modelling Timed Relationships in Systems and Properties. In Daniel Moldt, Heiko Rölke and Harald Störrle (eds.), PNSE’15, CEUR-WS volume 1372, pages 25–40, June 2015. (English) [PDF]
  5. Étienne André, Thomas Chatain and César Rodríguez. Preserving Partial Order Runs in Parametric Time Petri Nets. In Stefan Haar and Roland Meyer (eds.), ACSD’15, IEEE, pages 120–129, June 2015. (English) [PDF | PDF (author version)]
  6. Étienne André and Laure Petrucci. Decrypting Cryptography. In Anikó Costa and Robin Braun (eds.), ITHET’15, IEEE, pages 1–5, June 2015. (English)
  7. Étienne André, Giuseppe Lipari, Nguyễn Hoàng Gia and Sun Youcheng (孙有程). Reachability Preservation Based Parameter Synthesis for Timed Automata. In Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.), NFM’15, LNCS 9058, Springer, pages 50–65, April 2015. Acceptance rate: 31%. (English) [PDF | PDF (author version) | BibTeX | Slides]

2014

  1. Lê Đình Thuận, Nguyễn Hữu Vũ, Nguyễn Van Tinh, Mai Phuong Nam, Pham-Duy Bao-Trung, Quản Thành Thơ, Étienne André, Laure Petrucci and Liu Yang (刘杨). PeCAn: Compositional Verification of Petri Nets Made Easy. In Franck Cassez and Jean-François Raskin (eds.), ATVA’14, Springer LNCS, pages 242–247, November 2014. (English) [PDF | PDF (author version) | BibTeX]
  2. Étienne André, Mohamed Mahdi Benmoussa and Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. In Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (eds.), KSE’14, Springer Advances in Intelligent Systems and Computing, pages 473–486, November 2014. (English) [PDF (author version) | BibTeX | Slides]
  3. Étienne André, Christine Choppy and Thierry Noulamo. Modelling Timed Concurrent Systems Using Activity Diagram Patterns. In Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (eds.), KSE’14, Springer Advances in Intelligent Systems and Computing, November 2014. (English) [PDF (author version) | BibTeX | Slides]
  4. Étienne André, Camille Coti and Sami Evangelista. ACM DL Author-ize serviceDistributed Behavioral Cartography of Timed Automata. In Jack Dongarra, Yutaka Ishikawa, and Atsushi Hori (eds.), EUROMPI/ASIA’14, ACM, September 2014. Acceptance rate: 46%. (English) [PDF | PDF (author version) | BibTeX | Slides]
  5. Étienne André, Fabrice Kordon and Laure Petrucci. Teaching Formal Methods: Experience at UPMC and UP13 with CosyVerif. In Bahar Karaoglan (eds.), EAEEIE’14, IEEE, pages 31–34, May 2014. (English) [PDF (author version)]
  6. Étienne André, Mohamed Mahdi Benmoussa and Christine Choppy. Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. In Liu Yang and Pang Jun (eds.), ESSS’14, EPTCS 150, pages 1–7, May 2014. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | PDF (author version) | BibTeX | Slides]
  7. Giuseppe Lipari, Sun Youcheng (孙有程), Étienne André and Laurent Fribourg. Toward Parametric Timed Interfaces for Real-Time Components. In Étienne André and Goran Frehse (eds.), SynCoP’14, EPTCS 145, pages 49–64, April 2014. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | BibTeX]
  8. Tan Tian Huat (陈天发), Chen Manman (陈曼曼), Étienne André, Sun Jun, Liu Yang (刘杨) and Dong Jin Song (董劲松). ACM DL Author-ize serviceAutomated Runtime Recovery for QoS-based Service Composition. In Andreid Broder, Kyuseok Shim and Torsten Suel (eds.), WWW’14, ACM, pages 563–574, May 2014. Acceptance rate: 13%. (English) [PDF]

2013

  1. Sun Youcheng (孙有程), Romain Soulat, Giuseppe Lipari, Étienne André and Laurent Fribourg. Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. In Cyrille Artho and Peter Ölveczky (eds.), FTSCS’13, Volume 419 of Communications in Computer and Information Science, Springer, pages 212–228, October 2013. (English) [PDF (author version) | Slides]
  2. Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard and Laure Petrucci. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. In Lindsay Groves and Jing Sun (eds.), ICFEM’13, Springer LNCS, pages 199–214, October 2013. Acceptance rate: 32%. (English) [PDF (author version) | BibTeX | Slides]
  3. Étienne André, Laurent Fribourg and Romain Soulat. Merge and Conquer: State Merging in Parametric Timed Automata. In Hung Dang-Van and Mizuhito Ogawa (eds.), ATVA’13, LNCS 8172, Springer, pages 381–396, October 2013. Acceptance rate: 37%. (English) [PDF (author version) | PDF (long author version) | BibTeX | Slides]
  4. Étienne André. Dynamic Clock Elimination in Parametric Timed Automata. In Christine Choppy and Jun Sun (eds.), FSFMA’13, OASIcs (volume 31), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, pages 18–31, July 2013. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | BibTeX | Slides]
  5. Étienne André, Giuseppe Pellegrino and Laure Petrucci. Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. In Víctor Braberman and Laurent Fribourg (eds.), FORMATS’13, LNCS 8053, Springer, pages 1–15, August 2013. Acceptance rate: 44%. (English) [PDF (author version) | BibTeX | Slides]
  6. Étienne André, Christine Choppy and Gianna Reggio. Activity Diagrams Patterns for Modeling Business Processes. In Roger Lee (eds.), SERA’13, Volume 496 of Studies in Computational Intelligence, Springer, pages 197–213, August 2013. Acceptance rate: 41%. (English) [PDF (author version) | BibTeX | Slides]
  7. Étienne André, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard and Laure Petrucci. CosyVerif: An Open Source Extensible Verification Environment. In Yang Liu and Andrew Martin (eds.), ICECCS’13, pages 33–36, July 2013. Acceptance rate: 45%. (English) [PDF (author version) | BibTeX | Slides]
  8. Étienne André. Observer Patterns for Real-Time Systems. In Yang Liu and Andrew Martin (eds.), ICECCS’13, pages 125–134, July 2013. Acceptance rate: 45%. (English) [PDF (author version) | BibTeX | Slides]
  9. Étienne André, Liu Yang (刘杨), Sun Jun, Dong Jin Song (董劲松) and Lin Shang-Wei (林尚威). PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. In Natasha Sharygina and Helmut Veith (eds.), CAV’13, LNCS 8044, Springer, pages 984–989, July 2013. Acceptance rate: 33%. (English) [PDF (author version) | BibTeX | Slides]
  10. Liu Shuang, Liu Yang (刘杨), Étienne André, Christine Choppy, Sun Jun, Bimlesh Wadhwa and Dong Jin Song (董劲松). A Formal Semantics for the Complete Syntax of UML State Machines with Communications. In Luigia Petre and Einar Broch Johnsen (eds.), iFM’13, LNCS 7940, Springer, pages 331–346, June 2013. (English) [PDF | PDF (author version) | PDF (long author version) | BibTeX]
  11. Tan Tian Huat (陈天发), Étienne André, Sun Jun, Liu Yang (刘杨), Dong Jin Song (董劲松) and Chen Manman (陈曼曼). Dynamic Synthesis of Local Time Requirement for Service Composition. In Betty H.C. Cheng and Klaus Pohl (eds.), ICSE’13, IEEE Press, pages 542–551, May 2013. Acceptance rate: 18%. (English) [PDF | BibTeX]

2012

  1. Étienne André, Laurent Fribourg, Ulrich Kühne and Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. In Dimitra Giannakopoulou and Dominique Méry (eds.), FM’12, LNCS 7436, Springer, pages 33–36, August 2012. Acceptance rate: 27%. (English) [PDF | PDF (author version) | BibTeX]
  2. Lin Shang-Wei (林尚威), Liu Yang (刘杨), Sun Jun, Dong Jin Song (董劲松) and Étienne André. Automatic Compositional Verification of Timed Systems. In Dimitra Giannakopoulou and Dominique Méry (eds.), FM’12, LNCS 7436, Springer, pages 272–276, August 2012. Acceptance rate: 27%. (English) [PDF | PDF (author version) | BibTeX]
  3. Étienne André, Christine Choppy and Kaïs Klaï. ACM DL Author-ize serviceFormalizing Non-Concurrent UML State Machines Using Colored Petri Nets. In Isabelle Perseil (eds.), UML&FM’12, pages 1–8, August 2012. (English) [PDF | PDF (author version) | BibTeX | Slides]
  4. Étienne André, Liu Yang (刘杨), Sun Jun and Dong Jin Song (董劲松). Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. In Isabelle Perseil, Marc Pouzet and Karin Breitman (eds.), ICECCS’12, IEEE Computer Society, pages 253–262, July 2012. Acceptance rate: 29%. (English) [PDF | PDF (author version) | BibTeX | Slides]
  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. Acceptance rate: 39%. (English) [PDF | PDF (author version) | PDF (long author version) | BibTeX | Slides]
  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 7539, Springer, pages 283–302, August 2012. (English) [PDF | PDF (author version) | BibTeX | Slides]

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. Acceptance rate: 48%. (English) [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. (English) [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. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [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. (English) [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. (English) [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. (English) [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. Acceptance rate: 25%. (English) [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. (English) [PDF (author version) | BibTeX | Slides]

Articles in the proceedings of national conferences

2014

  1. Étienne André and Laure Petrucci. La cryptographie décryptée. In ? (eds.), WPRT’14, ?, November 2014. (Français) [PDF (author version)]

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. (Français) [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. (English) [PDF | BibTeX | Slides]

Posters

2015

  1. Étienne André, Giuseppe Lipari and Sun Youcheng (孙有程). IMITATOR: Formal Verification of Real-Time Systems Under Uncertainty. In Steve Goddard and Harini Ramaprasad (eds.), ECRTS’15, July 2015. Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) (English) [PDF]

2012

  1. Étienne André and Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. In Franco Mazzanti and Gianluca Trentanni (eds.), iFM’12, CNR and ISTI e-book, pages 20, June 2012. (English) [PDF | PDF (author version)]

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

Other publications

2015

  1. Sun Youcheng (孙有程), Étienne André and Giuseppe Lipari. Verification of Two Real-Time Systems Using Parametric Timed Automata. In Sophie Quinton and Tullio Vardanega (eds.), WATERS’15, July 2015. (English) [PDF (author version)]

2014

  1. Étienne André, Fabrice Kordon, Alban Linard and Laure Petrucci. IOP: Tool Integration in the CosyVerif Platform. In Catherine Dubois, Laurence Duchien, and Nicole Levy (eds.), GDR GPL’14, Conservatoire National des Arts et Métiers, pages 143–146, June 2014. Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) (English) [PDF | PDF (author version) | Slides]
  2. Étienne André, Benoît Delahaye, Peter Habermehl, Claude Jard, Didier Lime, Laure Petrucci, Olivier H. Roux and Tayssir Touili. Beyond Model Checking: Parameters Everywhere. In Catherine Dubois, Laurence Duchien, and Nicole Levy (eds.), GDR GPL’14, Conservatoire National des Arts et Métiers, pages 171–175, June 2014. Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) (English) [PDF | PDF (author version) | Slides]

2013

  1. Étienne André, Mohamed Mahdi Benmoussa and Christine Choppy. Formalisation des diagrammes états-transitions UML concurrents. MSR’13, Actes posters de MSR 2013, pages 1–3, November 2013. (Français) [PDF]

2012

  1. Étienne André and Shweta Garg (श्वॆता). Robustness Analysis of Time Petri Nets. In Yngve Lamo and Uwe Egbert Wolter (eds.), NWPT’12, pages 1–3, October 2012. (English) [PDF | PDF (author version) | BibTeX | Slides]
  2. Étienne André and Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. In Franco Mazzanti and Gianluca Trentanni (eds.), iFM’12, CNR and ISTI e-book, pages 16–19, June 2012. (English) [PDF | PDF (author version)]

2009

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

Research reports

2013

  1. Liu Shuang, Liu Yang (刘杨), Étienne André, Christine Choppy, Sun Jun, Bimlesh Wadhwa and Dong Jin Song (董劲松). A Formal Semantics for the Complete Syntax of UML State Machines with Communications (Report Version). Research report, National University of Singapore, April 2013. (English) [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. (English) [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. (English) [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. (English) [PDF | BibTeX | Slides]

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. (English) [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. (English) [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. (English) [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. (English) [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. (English) [PDF | BibTeX]