Component-based Design

Academic Journals

1. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Electr. Notes Theor. Comput. Sci, 229(5):39-56, 2011.
2. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Constraint Markov Chains. Theor. Comput. Sci, 412(34):4373-4404, 2011.
3. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, 38(1):1-32, 2011.
4. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1):119-149, 2011.
5. 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.
6. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay. Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science, 2009.
7. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 8, 2008. download
8. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. download
9. Eric Badouel, Maurice TchoupéYahya Slimani. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 2007. download
10. Guillaume Feuillade, Sophie Pinchinat. Spécifications modales de réseaux de Petri. Journal Européen des Systèmes Automatisés, 39(1), October 2005.

International Conferences

1. Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 213-227, 2012.
2. Philippe Darondeau, Lo\"\i Hélou\"et, Madhavan Mukund. Assembling Sessions. In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Tevfik Bultan, Pao-Ann Hsiung (eds.), Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011.
3. 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.
4. 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.
5. 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
6. 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.
7. 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.
8. 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.
9. 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
10. 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.
11. Albert Benveniste, Benoît Caillaud, Roberto Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design of Heterogeneous Embedded Systems, Pieter Mosterman, Gabriela Nicolescu (eds.), 2009. download
12. A. Legay, M. Viswanathan. Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems (tutorial). In Proc. 6th International Conference on Quantitative Evaluation of Systems, 2009.
13. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09),, Pages 119-127, 2009. download
14. Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. 9th International Conference on Embedded Software (EMSOFT'09), October 2009. download
15. Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Lecture Notes in Computer Science, Volume 5457, Pages 152-163, Tarragona, Spain, April 2009.
16. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute grammars as recursion schemes over cyclic representations of zippers. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Pages 37-54, 2008.
17. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In Foundations of Software Science and Computational Structures, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 4962, Pages 458-473, 2008.
18. Paul Caspi, Albert Benveniste. Time-Robust discrete control over networked Loosely Time-Triggered Architectures. In IEEE Control and Decision Conference, December 2008. download
19. Bernard Fotsing. Interactive editing of tree-structured data. In Proceedings of the 9th African Conference on Research in Computer Science and Applied Mathematics (CARI'08), Abderrahmane Sbihi, Marc Kokou Assogba Eric Badouel (ed.), Pages 711-718, October 2008.
20. Eric Badouel, Maurice Tchoupé. Merging Hierarchically-Structured Documents in Workflow Systems. In Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Elsevier (ed.), Electronic Notes in Theoretical Computer Science, Volume 203, Pages 3-24, June 2008.
21. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Revised Lectures, Lecture Notes in Computer Science, Volume 5382, Amsterdam, The Netherlands, October 2007.
22. Jean-Baptiste Raclet. Residual for Component Specifications. In Proceedings of the 4th International Workshop on Formal Aspects of Component Software, Sophia-Antipolis, France, September 2007.
23. Eric Badouel, Tchoupé Maurice. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, K. Assogba, Eric Badouel, Y. Slimani (eds.), Pages 115-122, 2006. download

Research Reports

1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen. Contracts for System Design. Rapport de recherche INRIA, No 8147, November 2012. download
2. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Compositional Design Methodology with Constraint Markov Chains. Research Report INRIA, No 0, 2009. download
3. Benoît Delahaye, Benoît Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. Research Report INRIA, No 0, 2009. download
4. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Research Report INRIA, No 6899, 2009. download
5. Benoît Delahaye, Benoît Caillaud. A model for Probabilistic Reasoning on Assume/Guarantee Contracts. Research Report INRIA, No 6719, 2008. download
6. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007. download
7. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007. download
8. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007. download
9. Albert Benveniste, Benoît Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. download
10. Jean-Baptiste Raclet. Residual for Component Specifications. Research Report INRIA, No 6196, May 2007. download
11. Guillaume Feuillade. Modal specifications are a syntactic fragment of the Mu-calculus. Research Report INRIA, No 0, June 2005. download

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.

Thesis

1. Benoît Caillaud. Analysis, Control and Synthesis of Concurrent Systems. Habilitation à diriger des recherches University of Rennes 1, March 2011.
2. Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010.
3. 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.
4. Maurice Tchoupé Tchendji. Une approche grammaticale pour la fusion de réplicats partiels d'un document structuré : application à l'édition collaborative asynchrone. PhD Thesis Université de Rennes I et Université de Yaoundé I, August 2009.
5. Jean-Baptiste Raclet. Quotient de spécifications pour la réutilisation de composants. PhD Thesis \'Ecole doctorale Matisse, université de Rennes 1, 2007.

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.