Publications 2012

Academic Journals

1. N. Bertrand, T. Jéron, A. Stainer, M. Krichen. Off-line test selection with test purposes for non-deterministic timed automata. Logical Methods in Computer Scienc, selected papers of TACAS'2011, 2012.
2. N. Bertrand, A. Legay, S. Pinchinat, J.B. Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 2012.
3. F. Cassez, J. Dubreil, H. Marchand. Synthesis of Opaque Systems with Static and Dynamic Masks. Formal Methods in System Design, 40(1):88-115, 2012.
4. Y. Falcone, J-C Fernandez, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. STTT: Software Tools for Technology Transfer, (Extension of the ICTSS'10 paper), 2012.
5. Y. Falcone, L. Mounier, Fernandez J.-C, J.-L. Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, available as online first, 2012.
6. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation. Discrete Event Dynamic Systems : Theory and Applications, 22(2):121-161, June 2012.
7. C. Baier, M. Grösser, N. Bertrand. Probabilistic w-automata. Journal of the ACM, 59(1), February 2012.

International Conferences

1. S. Chédor, T Jéron, C. Morvan. Test generation from recursive tiles systems. In 6th International Conference on Tests & Proofs, LNCS, Volume 7305, Pages 99-114, Prague, Czech Republic, June 2012.
2. N. Bertrand, G. Delzanno, B. König, A. Sangnier, J. Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. In 23rd International Conference on Rewriting Techniques and Applications, Nagoya, Japan, May 2012.
3. P. Bulychev, D. David, K. Larsen, A. Legay, G. Li, D. Poulsen, A. Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. In The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Mérida, Venezuela, March 2012.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic