Major publications by the team in recent years
  • 1C. Baier, N. Bertrand, M. Groesser.

    Probabilistic omega-automata, in: Journal of the Association for Computing Machinery, 2012, vol. 59, no 1, p. 1:1-1:52. [ DOI : 10.1145/2108242.2108243 ]

  • 2N. Bertrand, T. Jéron, A. Stainer, M. Krichen.

    Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata, in: Logical Methods in Computer Science, October 2012, vol. 8, no 4:8, p. 1-33.

  • 3C. Constant, T. Jéron, H. Marchand, V. Rusu.

    Integrating formal verification and conformance testing for reactive systems, in: IEEE Transactions on Software Engineering, August 2007, vol. 33, no 8, p. 558-574.
  • 4J. Dubreil, P. Darondeau, H. Marchand.

    Supervisory Control for Opacity, in: IEEE Transactions on Automatic Control, May 2010, vol. 55, no 5, p. 1089-1100. [ DOI : 10.1109/TAC.2010.2042008 ]

  • 5B. Gaudin, H. Marchand.

    An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach, in: Discrete Event Dynamic System, 2007, vol. 17, no 2, p. 179-209.
Publications of the year

Articles in International Peer-Reviewed Journals

  • 6C. Baier, N. Bertrand, M. Groesser.

    Probabilistic omega-automata, in: Journal of the Association for Computing Machinery, 2012, vol. 59, no 1, 1:52 p. [ DOI : 10.1145/2108242.2108243 ]

  • 7N. Bertrand, T. Jéron, A. Stainer, M. Krichen.

    Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata, in: Logical Methods in Computer Science, October 2012, vol. 8, no 4:8, p. 1-33.

  • 8N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.

    Modal event-clock specifications for timed component-based design, in: Science of Computer Programming, 2012, no 77, p. 1212-1234. [ DOI : 10.1016/j.scico.2011.01.007 ]

  • 9F. Cassez, J. Dubreil, H. Marchand.

    Synthesis of opaque systems with static and dynamic masks, in: Formal Methods in System Design, 2012, vol. 40, no 1, p. 88-115. [ DOI : 10.1007/s10703-012-0141-9 ]

  • 10P. Darondeau, S. Demri, R. Meyer, C. Morvan.

    Petri Net Reachability Graphs: Decidability Status of First Order Properties, in: Logical Methods in Computer Science, October 2012, vol. 8, no 4:9, p. 1-28. [ DOI : 10.2168/LMCS-8(4:9)2012 ]

  • 11Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier.

    More testable properties, in: International Journal on Software Tools for Technology Transfer, 2012, vol. 14, no 4, p. 407-437. [ DOI : 10.1007/s10009-011-0220-z ]

  • 12G. Kalyon, T. Le Gall, H. Marchand, T. Massart.

    Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation, in: Discrete Event Dynamic Systems, 2012, vol. 22, no 2, p. 121-161. [ DOI : 10.1007/s10626-011-0101-3 ]


International Conferences with Proceedings

  • 13N. Bertrand, G. Delzanno, B. König, A. Sangnier, J. Stückrath.

    On the Decidability Status of Reachability and Coverability in Graph Transformation Systems, in: RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, Nagoya, Japan, LIPIcs, 2012, vol. 15, p. 101-116. [ DOI : 10.4230/LIPIcs.RTA.2012.101 ]

  • 14N. Bertrand, J. Fearnley, S. Schewe.

    Bounded Satisfiability for PCTL, in: CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Fontainebleau, France, 2012, vol. 16, p. 92-106. [ DOI : 10.4230/LIPIcs.CSL.2012.92 ]

  • 15N. Bertrand, S. Schewe.

    Playing Optimally on Timed Automata with Random Delays, in: Formats - 10th International Conference on Formal Modeling and Analysis of Timed Systems - 2012, London, United Kingdom, Lecture Notes in Computer Science, September 2012, vol. 7595, p. 43-58. [ DOI : 10.1007/978-3-642-33365-1_5 ]

  • 16P. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li, D. Bogsten Poulsen, A. Stainer.

    Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic, in: Logic for Programming, Artificial Intelligence, and Reasoning, Merida, Venezuela, A. V. Nikolaj Bjørner (editor), Lecture Notes in Computer Science, Springer, 2012, vol. 7180, p. 168-182.

  • 17S. Chédor, T. Jéron, C. Morvan.

    Test generation from recursive tiles systems, in: TAP - 6th International Conference on Tests & Proofs - 2012, Prague, Czech Republic, A. D. Brucker, J. Julliand (editors), LNCS, Springer, May 2012, vol. 7305, p. 99-114.

  • 18S. Chédor, C. Morvan, S. Pinchinat, H. Marchand.

    Analysis of partially observed recursive tile systems, in: 11th Int. Workshop on Discrete Event Systems, Guadalajara, Mexico, October 2012, p. 265-271.

  • 19S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. L. Nguena Timo.

    Runtime Enforcement of Timed Properties, in: 3rd International Conference on Runtime Verification, Istanbul, Turkey, October 2012.

  • 20A. Stainer.

    Frequencies in Forgetful Timed Automata, in: Formal Modeling and Analysis of Timed Systems, London, United Kingdom, M. Jurdzinski, D. Nickovic (editors), Lecture notes in computer science, Springer, September 2012, vol. 7595, p. 236-251.

References in notes
  • 21Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1 : General Concept - Part 2 : Abstract Test Suite Specification - Part 3 : The Tree and Tabular Combined Notation (TTCN), 1992, no International Standard ISO/IEC 9646-1/2/3.
  • 22R. Alur, D. L. Dill.

    A Theory of Timed Automata, in: Theor. Comput. Sci., 1994, vol. 126, no 2, p. 183-235.
  • 23L. Besnard, H. Marchand, É. Rutten.

    The Sigali Tool Box Environment, in: Workshop on Discrete Event Systems, WODES'06 (Tool Paper), Ann-Arbor (MI, USA), July 2006, p. 465-466.
  • 24P. Cousot, R. Cousot.

    Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Conference Record of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles (CA, USA), January 1977, p. 238-252.
  • 25C. Jard, T. Jéron.

    TGV: theory, principles and algorithms, A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, in: Software Tools for Technology Transfer (STTT), October 2004, vol. 6.
  • 26B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva.

    Symbolic Test Selection based on Approximate Analysis, in: 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Edinburgh (Scottland), April 2005, p. 349-364.

  • 27H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.

    Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamic System : Theory and Applications, Octobre 2000, vol. 10, no 4, p. 347-368.

  • 28P. J. Ramadge, W. M. Wonham.

    The Control of Discrete Event Systems, in: Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 1989, vol. 77, no 1, p. 81-98.
  • 29V. Rusu, L. du Bousquet, T. Jéron.

    An approach to symbolic test generation, in: International Conference on Integrating Formal Methods (IFM'00), Lecture Notes in Computer Science, 2000, vol. 1945, p. 338-357.
  • 30J. Tretmans.

    Test Generation with Inputs, Outputs and Repetitive Quiescence, in: Software - Concepts and Tools, 1996, vol. 17, no 3, p. 103-120.