Publications 2010

Academic Journals

1. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Information and Computation, 208(10):1154-1168, 2010. download download
2. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Information and Computation, 208(10):1154-1168, 2010.
3. E. M. Clarke, A. Donzé, A. Legay. On Simulation-Based Probabilistic Model Checking of Mixed-Analog Circuits. Formal Methods in System Design, (0):97-113, 2010.
4. Jeremy Dubreil, Philippe Darondeau, Herve Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.
5. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.

International Conferences

1. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca (eds.), Lecture Notes in Computer Science, Volume 6117, Pages 32-46, 2010.
2. Ananda Basu, Marius Bozga, Saddek Bensalem, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. Verification of an AFDX Infrastructure using Simulations and Probabilities. In Proc. 1st International Conference on Runtime Verification, Malta, Lecture Notes in Computer Science, Volume, Pages 0-0, 2010.
3. Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010.
4. Timothy Bourke, Arcot Sowmya. Delays in Esterel. In 09481 Abstracts Collection - SYNCHRON 2009, Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, Reinhard von Hanxleden (eds.), Dagstuhl Seminar Proceedings, Pages 55-84, Dagstuhl, Germany, 2010. download
5. Laura Bozzelli, Sophie Pinchinat, Axel Legay. Hardness of preorder checking for basic formalisms. In Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Lecture Notes in Articifial Intellingence, Volume 6355, Dakar, Senegal, 2010.
6. Benoît Caillaud, Benoît Delahaye, Kim G. G. Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski. Compositional design methodology with constraint Markov chains. In Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 2010. download
7. R. Chadha, A. Legay, P. Prabhakar, M. Viswanathan. Complexity bounds for the verification of real-time software. In Proc. 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Madrid, Lecture Notes in Computer Science, Volume 5944, Pages 95-111, 2010.
8. A. Classen, P. Heymans, A. Legay, J-F Raskin, P-Y Schobbens. Model Checking lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. 32nd International Conference on Software Engineering, ACM, Cap Town,, Pages 335-344, 2010.
9. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. In Proc. 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, Singapore, Lecture Notes in Computer Science, Volume 6252, Pages 365-370, 2010.
10. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems. In Proc. 13th International Conference on Hybrid Systems, ACM, Stockholm,, Pages 91-100, 2010.
11. Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. In Proc. 8th Symposium on Automated Technology for Verification and Analysis, Singapore, Lecture Notes in Computer Science, Pages 0-0, 2010.
12. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. In Proc. 10th International Conference on Application of Concurrency to System Design (ACSD), Braga, Portugal, 2010. download
13. Hans van Ditmarsch, Tim French, Sophie Pinchinat. Future Event Logic - axioms and complexity. In Proceedings of Advances in Modal Logic, Moscow. Russia (ed.), Lecture Notes in Computer Science, 2010.
14. Eike Best, Philippe Darondeau, Roberto Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, August 2010.
15. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010.
16. Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246-266, Braga, Portugal, June 2010.

Misc

1. Saddek Bensalem, Benoît Delahaye, Axel Legay. Statistical Model Checking: Present and Future: a tutorial. Proc. 1th International Conference on Runtime Verification, Malta, pp. 0-0, 2010.
2. Lois Vahne, Sophie Pinchinat. Computing the winning coalitions of a turn-based game with reachability objectives. Paris, France, 2010.

Thesis

1. Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010.
2. Bernard Talla Fotsing. Les grammaires attribuées pour la conception et l'assemblage de langages dédiés. PhD Thesis Université de Rennes I et Université de Yaoundé I, December 2010.

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.