Nombre de documents

32

CV de Louis-Marie Traonouez


Communication dans un congrès22 documents

  • Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Rare Events for Statistical Model Checking: An Overview. Reachability Problems, Sep 2016, Aalborg, Denmark. 9899, pp.23 - 35, 2016. <hal-01387406>
  • Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. <10.1007/978-3-319-47166-2_6>. <hal-01387435>
  • Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, et al.. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS, Sep 2016, Pise, Italy. Springer, 9933, pp.133 - 141, Critical Systems: Formal Methods and Automated Verification. <10.1007/978-3-319-45943-1_9>. <hal-01241681v2>
  • Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang. A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems. Symposium on Applied Computing, Apr 2016, Pise, Italy. ACM, pp.1562 - 1565, 2016, Proceedings of the 31st Annual Symposium on Applied Computing. <10.1145/2851613.2851977>. <hal-01241673v2>
  • Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, et al.. A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.806 - 820, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. <10.1007/978-3-319-47166-2_56>. <hal-01387429>
  • Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Distributed Verification of Rare Properties using Importance Splitting Observers. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom. 72. <hal-01238982>
  • Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Estimating Rewards & Rare Events in Nondeterministic Systems. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom. 72, <10.14279/tuj.eceasst.72.1023>. <hal-01239051>
  • Axel Legay, Louis-Marie Traonouez. Statistical Model Checking of Simulink Models with Plasma Lab. Fourth International Workshop on Formal Techniques for Safety-Critical Systems, Nov 2015, Paris, France. <hal-01241249>
  • Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez. Compositionality for Quantitative Specifications. FACS, Sep 2014, Bertinoro, Italy. 2014. <hal-01087320>
  • Benoît Boyer, Axel Legay, Louis-Marie Traonouez. A Formalism for Stochastic Adaptive Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Oct 2014, Corfu, Greece. Springer, 8803, pp.160 - 176, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-45231-8_12>. <hal-01087327>
  • Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez. Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS, Apr 2014, Grenoble, France. 2014, <10.1007/978-3-642-54848-2_7>. <hal-01087364>
  • Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez. Structural Refinement for the Modal nu-Calculus. ICTAC, Sep 2014, Bucarest, Romania. pp.169 - 187, 2014, <10.1007/978-3-319-10882-7_11>. <hal-01087295>
  • Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay. Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change., Oct 2014, Corfu, Greece. Springer, 8802, pp.481 - 498, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-45234-9_33>. <hal-01087322>
  • Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez. Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS, Apr 2014, Grenoble, France. 2014, <10.1007/978-3-642-54848-2_6>. <hal-01087363>
  • Axel Legay, Louis-Marie Traonouez. PyEcdar: Towards Open Source Implementation for Timed Systems. 11th International Symposium on Automated Technology for Verification and Analysis, Oct 2013, Hanoi, France. Springer, 8172, pp.460 - 463, 2013, Lecture Notes in Computer Science. <10.1007/978-3-319-02444-8_35>. <hal-01087318>
  • Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez. A framework for the rigorous design of highly adaptive timed systems. 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. IEEE, pp.64 - 70, 2013, <10.1109/FormaliSE.2013.6612279>. <hal-01087810>
  • Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. QUAIL: A Quantitative Security Analyzer for Imperative Code. Natasha Sharygina; Helmut Veith. CAV 2013 - 25th International Conference on Computer Aided Verification, Jul 2013, Saint Petersburg, Russia. Springer, 8044, pp.702-707, 2013, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-39799-8_49>. <hal-01242615>
  • Louis-Marie Traonouez. A Parametric Counterexample Refinement Approach for Robust Timed Specifications. Proceedings Fourth Workshop on Foundations of Interface Technologies (FIT 2012), Mar 2012, Tallinn, Estonia. 87, pp.17 - 33, 2012, EPTCS. <10.4204/EPTCS.87.3>. <hal-01088011>
  • Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. Robust Specification of Real Time Components. 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), Sep 2011, Aalborg, Denmark. Springer, 6919, pp.129 - 144, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-24310-3_10>. <hal-01088002>
  • Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier Henri Roux. Diagnosis using unfoldings of parametric time Petri nets. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. Springer, 6246, pp.137-151, 2010, Lecture Notes in Computer Science. <hal-00523597>
  • Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier Henri Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. Springer, 6252, pp.291-305, 2010, Lecture Notes in Computer Science. <hal-00523593>
  • Louis-Marie Traonouez, Didier Lime, Olivier Henri Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. Springer, 5215, pp.280-294, 2008, Lecture Notes in Computer Science. <hal-00523613>

Thèse1 document

  • Louis-Marie Traonouez. Vérification et dépliages de réseaux de Petri temporels paramétrés. Génie logiciel [cs.SE]. Université de Nantes, 2009. Français. <tel-00466429>

Article dans une revue7 documents

  • Axel Legay, Louis-Marie Traonouez. Statistical Model Checking with Change Detection. Foundations for Mastering Change, Springer, 2016, Transactions on Foundations for Mastering Change I. <hal-01242138>
  • Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, et al.. Optimizing the Resource Requirements of Hierarchical Scheduling Systems. ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, 13 (3), pp.41-48. <10.1145/2983185.2983192>. <hal-01406459>
  • Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, et al.. Real-Time Specifications. Software Tools for Technology Transfer (STTT), Springer, 2015, 17 (1), pp.29. <10.1007/s10009-013-0286-x>. <hal-01087799>
  • Pedro D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Smart Sampling for Lightweight Verification of Markov Decision Processes. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (4), pp.469-484. <10.1007/s10009-015-0383-0>. <hal-01088633v2>
  • Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski. Robust Synthesis for Real Time Systems. Journal of Theoretical Computer Science (TCS), Elsevier, 2014, 515, pp.96 - 122. <10.1016/j.tcs.2013.08.015>. <hal-01087778>
  • Claude Jard, Didier Lime, Olivier Henri Roux, Louis-Marie Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. <10.1007/s10703-013-0188-2>. <hal-00840368>
  • Louis-Marie Traonouez, Didier Lime, Olivier Henri Roux. Parametric Model-Checking of Stopwatch Petri Nets. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, 15 (17), pp.3273-3304. <10.3217/jucs-015-17-3273>. <hal-00489033>

Pré-publication, Document de travail2 documents

  • Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, et al.. Verification of interlocking systems using statistical model checking. 2016. <hal-01398649>
  • Benoît Boyer, Kevin Corre, Axel Legay, Louis-Marie Traonouez. Statistical Model Checking with Changes and Simulink. 2014. <hal-01087821>