Livre

2013

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

Actes de congrès internationaux

2015

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

2014

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

Articles de revues internationales

2017

  1. Étienne André. What’s decidable about parametric timed automata?. International Journal on Software Tools for Technology Transfer, juillet 2017. À paraître. (English) [PDF]

2016

  1. Étienne André, Thomas Chatain et 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, décembre 2016. (English)
  2. Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. Formal Aspects of Computing 28(5), pages 805–845, septembre 2016. (English) [PDF | PDF (version auteur) | BibTeX]

2014

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

2013

  1. Étienne André, Laurent Fribourg et Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. Formal Methods in System Design 42(2), pages 119–145, avril 2013. (English) [PDF (version publiée) | PDF (version auteur) | BibTeX]
  2. Sun Jun, Liu Yang (刘杨), Dong Jin Song (董劲松), Liu Yan (刘燕), Shi Ling et É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, février 2013. [PDF | PDF (version auteur) | BibTeX]

2009

  1. Étienne André, Thomas Chatain, Emmanuelle Encrenaz et Laurent Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science 20(5), pages 819–836, 2009. (English) [PDF (version publiée) | PDF (version auteur) | BibTeX]

Articles dans les actes de congrès internationaux

2017

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

2016

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

2015

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

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 et Liu Yang (刘杨). PeCAn: Compositional Verification of Petri Nets Made Easy. Sous la direction de Franck Cassez and Jean-François Raskin (éditeurs), ATVA’14, Springer LNCS, pages 242–247, novembre 2014. (English) [PDF | PDF (version auteur) | BibTeX]
  2. Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Formalising Concurrent UML State Machines Using Coloured Petri Nets. Sous la direction de Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (éditeurs), KSE’14, Springer Advances in Intelligent Systems and Computing, pages 473–486, novembre 2014. (English) [PDF (version auteur) | BibTeX | Diapositives]
  3. Étienne André, Christine Choppy et Thierry Noulamo. Modelling Timed Concurrent Systems Using Activity Diagram Patterns. Sous la direction de Nguyen Viet-Ha, Le Anh-Cuong, and Huynh Van-Nam (éditeurs), KSE’14, Springer Advances in Intelligent Systems and Computing, novembre 2014. (English) [PDF (version auteur) | BibTeX | Diapositives]
  4. Étienne André, Camille Coti et Sami Evangelista. ACM DL Author-ize serviceDistributed Behavioral Cartography of Timed Automata. Sous la direction de Jack Dongarra, Yutaka Ishikawa, and Atsushi Hori (éditeurs), EUROMPI/ASIA’14, ACM, septembre 2014. Taux d’acceptation : 46%. (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
  5. Étienne André, Fabrice Kordon et Laure Petrucci. Teaching Formal Methods: Experience at UPMC and UP13 with CosyVerif. Sous la direction de Bahar Karaoglan (éditeurs), EAEEIE’14, IEEE, pages 31–34, mai 2014. (English) [PDF (version auteur)]
  6. Étienne André, Mohamed Mahdi Benmoussa et Christine Choppy. Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. Sous la direction de Liu Yang and Pang Jun (éditeurs), ESSS’14, EPTCS 150, pages 1–7, mai 2014. Creative Commons Attribution 3.0 Unported (CC BY 3.0) (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
  7. Giuseppe Lipari, Sun Youcheng (孙有程), Étienne André et Laurent Fribourg. Toward Parametric Timed Interfaces for Real-Time Components. Sous la direction de Étienne André and Goran Frehse (éditeurs), SynCoP’14, EPTCS 145, pages 49–64, avril 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 (刘杨) et Dong Jin Song (董劲松). ACM DL Author-ize serviceAutomated Runtime Recovery for QoS-based Service Composition. Sous la direction de Andreid Broder, Kyuseok Shim and Torsten Suel (éditeurs), WWW’14, ACM, pages 563–574, mai 2014. Taux d’acceptation : 13%. (English) [PDF]

2013

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

2012

  1. Étienne André, Laurent Fribourg, Ulrich Kühne et Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. Sous la direction de Dimitra Giannakopoulou and Dominique Méry (éditeurs), FM’12, LNCS 7436, Springer, pages 33–36, août 2012. Taux d’acceptation : 27%. (English) [PDF | PDF (version auteur) | BibTeX]
  2. Lin Shang-Wei (林尚威), Liu Yang (刘杨), Sun Jun, Dong Jin Song (董劲松) et Étienne André. Automatic Compositional Verification of Timed Systems. Sous la direction de Dimitra Giannakopoulou and Dominique Méry (éditeurs), FM’12, LNCS 7436, Springer, pages 272–276, août 2012. Taux d’acceptation : 27%. (English) [PDF | PDF (version auteur) | BibTeX]
  3. Étienne André, Christine Choppy et Kaïs Klaï. ACM DL Author-ize serviceFormalizing Non-Concurrent UML State Machines Using Colored Petri Nets. Sous la direction de Isabelle Perseil (éditeurs), UML&FM’12, pages 1–8, août 2012. (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
  4. Étienne André, Liu Yang (刘杨), Sun Jun et Dong Jin Song (董劲松). Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Sous la direction de Isabelle Perseil, Marc Pouzet and Karin Breitman (éditeurs), ICECCS’12, IEEE Computer Society, pages 253–262, juillet 2012. Taux d’acceptation : 29%. (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]
  5. Étienne André, Laurent Fribourg et Romain Soulat. Enhancing the Inverse Method with State Merging. Sous la direction de Alwyn Goodloe and Suzette Person (éditeurs), NFM’12, LNCS 7226, Springer, pages 100–105, avril 2012. Taux d’acceptation : 39%. (English) [PDF | PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]
  6. Étienne André, Kaïs Klaï, Hanen Ochi et Laure Petrucci. A Counterexample­‐Based Incremental and Modular Verification Approach. Sous la direction de Radu Calinescu and David Garlan (éditeurs), Monterey’12, LNCS 7539, Springer, pages 283–302, août 2012. (English) [PDF | PDF (version auteur) | BibTeX | Diapositives]

2011

  1. Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song (董劲松), Sun Jun et Liu Yang (刘杨). An Efficient Algorithm for Learning Event-Recording Automata. Sous la direction de Tevfik Bultan and Pao-Ann Hsiung (éditeurs), ATVA’11, LNCS 6996, Springer, pages 463–472, 2011. Taux d’acceptation : 48%. (English) [PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]
  2. Étienne André et Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties. Sous la direction de Giorgio Delzanno and Igor Potapov (éditeurs), RP’11, LNCS 6945, Springer, pages 31–44, 2011. (English) [PDF (version auteur) | PDF (version auteur longue) | BibTeX | Diapositives]

2010

  1. Étienne André. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. Sous la direction de Yu-Fang Chen and Ahmed Rezine (éditeurs), 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 (version publiée) | BibTeX | Diapositives]
  2. Étienne André et Laurent Fribourg. Behavioral Cartography of Timed Automata. Sous la direction de Antonín Kučera and Igor Potapov (éditeurs), RP’10, LNCS 6227, Springer, pages 76–90, septembre 2010. (English) [PDF (version publiée) | PDF (version auteur) | BibTeX | Diapositives]

2009

  1. Étienne André et Laurent Fribourg. An Inverse Method for Policy-Iteration Based Algorithms. Sous la direction de Azadeh Farzan and Axel Legay (éditeurs), INFINITY’09, Electronic Proceedings in Theoretical Computer Science 10, pages 44–61, 2009. (English) [PDF (version publiée) | BibTeX | Diapositives]
  2. Étienne André, Laurent Fribourg et Jeremy Sproston. An Extension of the Inverse Method to Probabilistic Timed Automata. Sous la direction de Markus Roggenbach (éditeurs), AVoCS’09, Electronic Communications of the EASST 23, European Association of Software Science and Technology, 2009. (English) [PDF (version publiée) | BibTeX | Diapositives]
  3. Étienne André. IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. Sous la direction de Martin Leucker and Carroll Morgan (éditeurs), ICTAC’09, LNCS 5684, Springer, pages 336–342, août 2009. Taux d’acceptation : 25%. (English) [PDF (version publiée) | PDF (version auteur) | BibTeX | Diapositives]

2008

  1. Étienne André, Thomas Chatain, Emmanuelle Encrenaz et Laurent Fribourg. An Inverse Method for Parametric Timed Automata. Sous la direction de Vesa Halava and Igor Potapov (éditeurs), RP’08, ENTCS 223, Elsevier Science Publishers, pages 29–46, septembre 2008. (English) [PDF (version auteur) | BibTeX | Diapositives]

Articles dans les actes de congrès nationaux

2014

  1. Étienne André et Laure Petrucci. La cryptographie décryptée. Sous la direction de ? (éditeurs), WPRT’14, ?, novembre 2014. (Français) [PDF (version auteur)]

2009

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

Posters

2015

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

2012

  1. Étienne André et Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. Sous la direction de Franco Mazzanti and Gianluca Trentanni (éditeurs), iFM’12, CNR and ISTI e-book, pages 20, juin 2012. (English) [PDF | PDF (version auteur)]

2009

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

Autres publications

2015

  1. Sun Youcheng (孙有程), Étienne André et Giuseppe Lipari. Verification of Two Real-Time Systems Using Parametric Timed Automata. Sous la direction de Sophie Quinton and Tullio Vardanega (éditeurs), WATERS’15, juillet 2015. (English) [PDF (version auteur)]

2014

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

2013

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

2012

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

2009

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

Rapports de recherche

2013

  1. Liu Shuang, Liu Yang (刘杨), Étienne André, Christine Choppy, Sun Jun, Bimlesh Wadhwa et Dong Jin Song (董劲松). A Formal Semantics for the Complete Syntax of UML State Machines with Communications (Report Version). Rapport de recherche, Université Nationale de Singapour, avril 2013. (English) [PDF]

2011

  1. Étienne André, Laurent Fribourg et Romain Soulat. Enhancing the Inverse Method with State Merging. Rapport de recherche n°LSV-11-26, Laboratoire Spécification et Vérification, ENS Cachan, France, décembre 2011. 7 pages. (English) [PDF | BibTeX]
  2. Lin Shang-Wei (林尚威), Étienne André, Dong Jin Song (董劲松), Sun Jun et Liu Yang (刘杨). An Efficient Algorithm for Learning Event-Recording Automata (full version). Rapport de recherche, Université Nationale de Singapour, juillet 2011. 15 pages. (English) [PDF | BibTeX | Diapositives]
  3. Étienne André et Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties (full version). Rapport de recherche n°LSV-11-13, Laboratoire Spécification et Vérification, ENS Cachan, France, mai 2011. 31 pages. (English) [PDF | BibTeX | Diapositives]

2010

  1. Étienne André. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR II. Rapport de recherche n°LSV-10-21, Laboratoire Spécification et Vérification, ENS Cachan, France, décembre 2010. 66 pages. (English) [PDF | BibTeX]
  2. Étienne André, Abdelrezzak Bara, Pirouz Bazargan-Sabet, Rémy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Laurent Fribourg et Patricia Renault. Experiments of Prototype Tools on Case Studies, Comparison of obtained results and Conclusion. Rapport de recherche, 2010. 31 pages. (English) [PDF | BibTeX]
  3. Étienne André. IMITATOR II User Manual. Rapport de recherche n°LSV-10-20, Laboratoire Spécification et Vérification, ENS Cachan, France, novembre 2010. 31 pages. (English) [PDF | BibTeX]

2009

  1. Étienne André. Everything You Always Wanted to Know About IMITATOR (But Were Afraid to Ask). Rapport de recherche n°LSV-09-20, Laboratoire Spécification et Vérification, ENS Cachan, France, juillet 2009. 11 pages. (English) [PDF | BibTeX]
  2. Étienne André, Emmanuelle Encrenaz et Laurent Fribourg. Synthesizing Parametric Constraints on Various Case Studies Using IMITATOR. Rapport de recherche n°LSV-09-13, Laboratoire Spécification et Vérification, ENS Cachan, France, juin 2009. 18 pages. (English) [PDF | BibTeX]