• Home
• People
• Publications

Publications 2013

Books

1. Modélisation des systèmes réactifs. H. Marchand, L. Hélouet (eds.), Journal Européen des systèmes automatisés 47(1-2-3), Rennes France, November 2013.
2. Symbolic methods in testing. T. Jéron, B. Wolff (eds.), Dagstuhl Reports (3)1, January 2013. download

Academic Journals

1. Eric Badouel, Rodrigue Tchougong, Célestin Nkuimi-Jugnia, Bernard Fotsing. Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition. Theoretical Computer Science, 480:1-25, 2013.
2. S. Chédor, T. Jéron, C. Morvan. Test Generation from Recursive Tile Systems. Journal on Software Testing, Verification & Reliability, Accepted for publication, 2013.
3. L. Hélouet, H. Marchand, B. Genest, T. Gazagnaire. Diagnosis from Scenarios, and applications. Discrete Event Dynamic Systems : Theory and Applications, (To appear), 2013.
4. D. Biswas, B. Genest. Minimal Observability and Privacy Preserving Compensation for Transactional Services.. Discrete Event Dynamic Systems, December 2013.
5. G Delaval, E. Rutten, H. Marchand. Integrating Discrete Controller Synthesis in a Reactive Programming Language Compiler. Discrete Event Dynamic Systems : Theory and Applications, 23(4):385-418, December 2013.
6. N. Bertrand, Ph. Schnoebelen. Computable fixpoints in well-structured symbolic model checking. Formal Methods in System Design, 43(2):223-267, October 2013.

International Conferences

1. S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu. Implementing Realistic Asynchronous Automata.. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, LIPIcs, Volume 24, Pages 213-224, Guwahati, Inde, December 2013.
2. N. Bertrand, P. Fournier. Parameterized verification of many identical probabilistic timed processes. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS'13, LIPIcs, Volume 24, Pages 501-513, IIT Guwahati, India, December 2013.
3. Y. Falcone, H. Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control, Pages 7271-7278, Florence, Italy, December 2013.
4. Anne Bouillard, Aurore Junier, Benoit Ronot. Impact of Rare Alarms on Event Correlation. In CNSM - 9th international Conference on Network and Service Management, Zürich, Suisse, October 2013.
5. S. Akshay, L. Hélouet, C. Jard, D. Lime, O-H. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, Marcin Jurdzinski, Dejan Nickovic (eds.), LNCS, Volume 7595, Pages 11-26, Warwik, United Kingdom, September 2013.
6. S Akshay, N. Bertrand, Haddad S, L. Hélouet. The steady-state control problem for Markov decision processes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 390-304, Buenos Aires, Argentina, August 2013.
7. P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri, E. Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 355-371, Buenos Aires, Argentina, August 2013.
8. Anne Bouillard, Claude Jard, Aurore Junier. Some Synchronization Issues in OSPF Routing. In DCNET - 10th International Joint Conference on e-Business and Telecommunications., Reykjav\'\ik, Islande, July 2013.
9. G. Delaval, N. De palma, S. Gueye, H. Marchand, E. Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. In Euopean Control Conference, Pages 117-124, Zurich. Switzerland, July 2013.
10. B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz. Asynchronous Games over Tree Architectures. In 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Springer (ed.), LNCS, Volume 7966, Pages 275-286, Riga, Latvia, July 2013.
11. L. Ricker, H. Marchand. A parity-based architecture for decentralized discrete-event control. In American Control Conference, Pages 5678-5684, Washington, DC, USA, June 2013.
12. B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick. Dynamic Communicating Automata and Branching High-Level MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\in-Vide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177-189, bilbao, Spain, April 2013.
13. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario Realizability with Constraint Optimization. In Fundamental Approaches to Software Engineering, LNCS, Volume 7793, Pages 194-209, March 2013.
14. N. Bertrand, Ph. Schnoebelen. Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor. In 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13), Open Publishing Association (ed.), Volume 117, Roma, Italia, March 2013.
15. L. Clemente, F. Herbreteau, G. Sutre, A. Stainer. Reachability of Communicating Timed Processes. In proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'13), Springer (ed.), LNCS, Volume 7794, Rome, Italy, March 2013.

Research Reports

1. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013.
2. S. Chédor, T. Jéron, C. Morvan. Test Generation from Recursive Tile Systems. Rapport de recherche INRIA, No 0, January 2013.

Thesis

1. Aurore Junier. Analyse de performance et de stabilité des réseaux de télécommunication. PhD Thesis École normale supérieure de Cachan - ENS Cachan, December 2013.
2. Amélie Stainer. Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates. PhD Thesis Université Rennes 1, November 2013.
3. Rouwaida Abdallah. Implementability of distributed systems described with scenarios. PhD Thesis École normale supérieure de Cachan - ENS Cachan, July 2013.
4. Carole Hounkonnou. Auto-diagnostic actif dans les réseaux de télécommunications. PhD Thesis Université Rennes 1, July 2013.
5. L. Hélouet. Automates d'ordres : Théorie et Applications. Habilitation à diriger des recherches Université de Rennes 1, May 2013.

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