Publications 2007

Books

1. Modelling and Control of Reactive Systems. H. Alla, René Boel, E. Rutten (eds.), Special issue of the journal of Discrete Event Dynamic System, May 2007.
2. International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS'07. A. Girault, R. de Simone (eds.), ENTCS, No 1, Elsevier Science, New-York, Nice, France, May 2007.

Academic Journals

1. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Programming Self-Organizing Systems with the Higher-Order Chemical Language. International Journal of Unconventional Computing, 3(3):161-177, 2007.
2. Gwenaël Delaval, Éric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP Journal on Embedded Systems, 2007:0-17, 2007. download
3. Rémi Douence, Pascal Fradet. The next 700 Krivine Machines. Higher-Order and Symbolic Computation, 20(3), 2007.

Book Chapters

1. Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Eric Rutten. UML2 profile for modelling controlled data parallel applications. In Advances in Design and Specification Languages for Embedded Systems, Sorin A. Huss (ed.), Springer Verlag, September 2007.

International Conferences

1. C. Bryce, M.A.C. Dekker, S. Etalle, D. Le Métayer, F. Le Mouël, M. Minier, J. Moret-Bailly, S. Ubéda. Ubiquitous privacy protection. In 5th International Workshop on Privacy in UbiComp (UbiPriv'07), 2007.
2. Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Optimal discrete controller synthesis for modeling of fault-tolerant distributed systems. In 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, 2007.
3. Alain Girault, Hervé Marchand, Éric Rutten Emil Dumitrescu. Synthèse optimale de contrôleurs discrets pour des systèmes distribués tolérants aux fautes. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'07, 2007.
4. G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. Ensuring Properties of Interaction Systems by Construction. In Program Analysis and Compilation, Theory and Practice, T. Reps, M. Sagiv, J. Bauer (eds.), LNCS, Volume 4444, Pages 201-224, 2007.
5. G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. An Approach to Modelling and Verification of Component Based Systems. In proc. SOFSEM'07, LNCS, Volume 4362, Pages 295-308, 2007.
6. B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects, FMCO'06, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Lecture Notes in Computer Science, Volume 4709, Pages 47-69, 2007.
7. D. Le Métayer. IT security analysis: best practices and formal approaches. In proc. Foundations of Security Analysis and Design IV (FOSAD), LNCS, Volume 4677, 2007.
8. M. Tivoli, P. Fradet, A. Girault, G. Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Volume 4424, Pages 185-200, 2007.
9. Huafeng Yu, Abdoulaye Gamatié, Eric Rutten. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. In Forum on specification and Design Languages, FDL'07, 2007.
10. Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of Availability. In Proc. of the Sixth International Conference on Generative Programming and Component Engineering (GPCE'07), Pages 165-174, October 2007.
11. T. Le Gall, B. Jeannet. Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification. In Static Analysis Symposium, SAS'07, LNCS, Volume 4634, August 2007.
12. C. Constant, B. Jeannet, T. Jeron. Automatic Test Generation from Interprocedural Specifications. In Testing of Communicating Systems and Formal Approaches to Testing of Software, TESTCOM/FATES'07, LNCS, Volume 4581, July 2007.

Research Reports

1. Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. Rapport de Recherche INRIA, No 6291, September 2007.
2. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007.
3. Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Rapport de Recherche INRIA, No 6137, March 2007.
4. T. Le gall, B. Jeannet. Analysis of Communicating Infinite State Machines using Lattice Automata. Research Report IRISA, No 1839, March 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.