Bibliography

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, n^o 1, p. 1:1-1:52. [ DOI : 10.1145/2108242.2108243 ]

http://hal.inria.fr/hal-00743907
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, n^o 4:8, p. 1-33.

http://hal.inria.fr/hal-00744074
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, n^o 8, p. 558-574.
4J. Dubreil, P. Darondeau, H. Marchand.

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

http://hal.inria.fr/inria-00483891
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, n^o 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, n^o 1, 1:52 p. [ DOI : 10.1145/2108242.2108243 ]

http://hal.inria.fr/hal-00743907
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, n^o 4:8, p. 1-33.

http://hal.inria.fr/hal-00744074
8N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.

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

http://hal.inria.fr/hal-00752449
9F. Cassez, J. Dubreil, H. Marchand.

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

http://hal.inria.fr/hal-00662539
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, n^o 4:9, p. 1-28. [ DOI : 10.2168/LMCS-8(4:9)2012 ]

http://hal.inria.fr/hal-00743935
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, n^o 4, p. 407-437. [ DOI : 10.1007/s10009-011-0220-z ]

http://hal.inria.fr/hal-00743981
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, n^o 2, p. 121-161. [ DOI : 10.1007/s10626-011-0101-3 ]

http://hal.inria.fr/inria-00586169

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 ]

http://hal.inria.fr/hal-00752446
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 ]

http://hal.inria.fr/hal-00752445
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 ]

http://hal.inria.fr/hal-00752440
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.

http://hal.inria.fr/hal-00744100
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.

http://hal.inria.fr/hal-00743941
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.

http://hal.inria.fr/hal-00743196
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.

http://hal.inria.fr/hal-00743270
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.

http://hal.inria.fr/hal-00744081

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, n^o 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, n^o 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.

http://www.irisa.fr/vertecs/Publis/Ps/tacas05.pdf
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, n^o 4, p. 347-368.

http://www.irisa.fr/vertecs/Publis/Ps/2000-J-DEDS.pdf
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, n^o 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, n^o 3, p. 103-120.

Previous |

Home