International Conferences

2012

1. Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric DataFlow MoC. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12), March 2012.

2011

1. B. Bonakdarpour, M. Bozga, Gregor Gössler. A Theory of Fault Recovery for Component-Based Models. In SRDS, Pages 265-270, 2011.
2. Tayeb Bouhadiba, Quentin Sabah, Gwena\"el Delaval, Éric Rutten. Synchronous Control of Reconfiguration in Fractal Component-based Systems: a Case Study. In Proceedings of the ninth ACM international conference on Embedded software, EMSOFT'11, Pages 309-318, New York, NY, USA, 2011. download download
3. J. C\'amara, A. Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. In HSCC, M. Caccamo, E. Frazzoli, R. Grosu (eds.), Pages 191-200, 2011.
4. J. C\'amara, A. Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. In CDC-ECC, 2011.
5. Gregor Gössler, G. Salaün. Realizability of Choreographies for Services Interacting Asynchronously. In FACS (Formal Aspects of Computer Software), LNCS, 2011.
6. Bertrand Jeannet, Pascal Sotin. Inferring Effective Types for Static Analysis of C Programs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011, ENTCS, Venice (Italy), 2011.
7. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 492-502, Taipei (Taiwan), 2011.
8. Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. In Static Analysis Symposium, SAS'11, LNCS, Volume 6887, Pages 233-248, Venice (Italy), 2011.
9. Pascal Sotin, Bertrand Jeannet, Franck Védrine, É Goubault. Policy Iteration within Logico-Numerical Abstract Domains. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 290-305, 2011.
10. Pascal Sotin, Bertrand Jeannet. Precise Interprocedural Analysis in the Presence of Pointers to the Stack. In European Symposium on Programming, ESOP'11, LNCS, Volume 6602, Pages 459-479, Sarrebrück, 2011.
11. Gwena\"e Delaval, É Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. In Actes du 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), Pages 125-140, Lille, France, November 2011.
12. Ismail Assayad, Alain Girault, Hamoudi Kalla. Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. In International Conference on Computer Safety, Reliability and Security, SAFECOMP'11, LNCS, Volume 6894, Pages 437-451, Napoli, Italy, September 2011.
13. Soufyane Aboubekr, Gwena\"el Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon. Automatic Generation of Discrete Handlers of Real-Time Continuous Control Tasks. In Proceedings of the 18th IFAC World Congress, Volume 18, Milano, Italy, August 2011.
14. Fabienne Boyer, Gwena\"el Delaval, No\"el de Palma, Olivier Gruber, Éric Rutten. Case Studies in Discrete Control of Autonomic Computing Systems. In Proc. of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Karlsruhe, Germany, June 2011.
15. Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs. In International Conference on Application of Concurrency to System Design, ACSD'11, Newcastle, UK, June 2011.
16. S. Andalam, Partha Roop, Alain Girault. Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs. In Design Automation and Test in Europe Conference, DATE'11, Grenoble, France, April 2011.

2010

1. G. Gössler, D. Le Métayer, J.-B. Raclet. Causality Analysis in Contract Violation. In Runtime Verification, RV'10, LNCS, Volume 6418, Pages 270-284, 2010.
2. Bertrand Jeannet. Some Experience on the Software Engineering of Abstract Interpretation Tools. In Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010, ENTCS, Volume 267, Pages 29-42, 2010.
3. Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Int. Workshop on Numerical and Symbolic Abstract Domains, ENTCS, Volume 267, Pages 101-114, 2010.
4. Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 101-114, 2010.
5. Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 139-150, 2010.
6. No\"el De Palma, Gwena\"el Delaval, \'Eric Rutten. QoS and Energy Management Coordination using Discrete Controller Synthesis. In 1st International Workshop on Green Computing Middleware (GCM'2010), Bangalore, India, November 2010.
7. A. Benoit, F. Dufossé, A. Girault, Y. Robert. Reliability and Performance Optimization of Pipelined Real-Time Systems. In International Conference on Parallel Processing, ICPP'10, San Diego (CA), USA, September 2010.
8. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks. In Workshop on Discrete Event Systems, WODES'10, Berlin, Germany, September 2010.
9. D.N. Xu, G. Gössler, A. Girault. Probabilistic Contracts for Component-based Design. In International Symposium on Automated Technology for Verification and Analysis, ATVA'10, A. Bouajjani, W.-N. Chin (eds.), LNCS, Volume 6252, Pages 325-340, Singapore, September 2010.
10. S. Andalam, P.S. Roop, A. Girault. Predictable Multithreading of Embedded Applications Using PRET-C. In International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Grenoble, France, July 2010.
11. P. Fradet, J-L. Giavitto, M. Hoff. Refinement of Chemical Programs using Strategies. In International Workshop on Strategies in Rewriting, Proving, and Programming, IWS'2010, July 2010. download
12. S. Andalam, P.S. Roop, A. Girault. Deterministic, Predictable and Light-Weight Multithreading Using PRET-C. In Design Automation and Test in Europe Conference, DATE'10, Dresden, Germany, April 2010.

2009

1. X. Briand, B. Jeannet. Combining control and data abstraction in the verification of hybrid systems. In Formal Methods and Models for Codesign, MEMOCODE'2009, 2009.
2. G. Gössler. Compositional Strategy Mapping. In Proc. FSEN'09, F. Arbab, M. Sirjani (eds.), LNCS, 2009.
3. G. Gössler, J.-B. Raclet. Modal Contracts for Component-based Design. In Proc. SEFM'09 (accepted), 2009.
4. B. Jeannet, A. Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. In Computer Aided Verification, CAV'2009, LNCS, Volume 5643, Pages 661-667, 2009.
5. N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), 2009.
6. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, R. 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 199-127, 2009.
7. J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. of 9th International Conference on Embedded Software (EMSOFT'09), 2009.
8. P. Roop, A. Girault, R. Sinha, G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In Proc. ACSD'09, S. Edwards, R. Lorenz, W. Vogler (eds.), Pages 148-157, 2009.
9. B. Jeannet. Relational interprocedural verification of concurrent programs. In Software Engineering and Formal Methods, SEFM'09, November 2009.
10. J.-P. Banâtre, P. Fradet, Y. Radenac. Classical Coordination Mechanisms in the Chemical Model. In From Semantics to Computer Science: Essays in Honor of Gilles Kahn, July 2009.
11. M. Alras, P. Caspi, A. Girault, P. Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model. In International Conference on Embedded Systems and Software, ICESS'09, Hangzhou, China, May 2009.
12. N. Bertrand, S. Pinchinat, J.-B. Raclet. Refinement and Consistency of Timed Modal Specifications. In Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS, April 2009.

2008

1. J.-P. Banâtre, P. Fradet, Y. Radenac. The Chemical Reaction Model - Recent Developments and Prospects. In Software-Intensive Systems and New Computing Paradigms, Lecture Notes in Computer Science, Volume 5380, Pages 209-234, 2008.
2. E. Rutten. Reactive control of adaptive embedded systems - a position paper. In 7th Workshop on Adaptive and Reflective Middleware (ARM'08), 2008.
3. H. Yu, A. Gamatié, E. Rutten, J.-L. Dekeyser. Safe Design of High-Performance Embedded Systems in a MDE Framework. In 1th IEEE International workshop UML and Formal Methods, UML&FM'08, 2008.
4. S. Djoko Djoko, R. Douence, P. Fradet. Specialized Aspect Languages Preserving Classes of Properties. In Proc. of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM'08), Pages 227-236, November 2008.
5. A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser. Modeling and Formal Validation of High-Performance Embedded Systems. In 7th International Symposium on Parallel and Distributed Computing, ISPDC '08, July 2008.
6. G. Delaval, A. Girault, M. Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. In International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08, Pages 101-110, Tucson (AZ), USA, June 2008.
7. G. Delaval. Modular Distribution and Application to Discrete Controller Synthesis. In International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08, ENTCS, Budapest, Hungary, March 2008.
8. S. Djoko Djoko, R. Douence, P. Fradet. Aspects Preserving Properties. In Proc. of the ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation (PEPM'08), Pages 135-145, January 2008.

2007

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.

2006

1. T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. In Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06, Pages 205-214, 2006.
2. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F Project. In Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006.
3. G. Goessler. Compositional Reachability Analysis of Genetic Networks. In CMSB'06, C. Priami (ed.), LNBI, Volume 4210, Pages 212-226, 2006.
4. A. Girault, H. Kalla, Y. Sorel. Transient Processor/Bus Fault Tolerance for Embedded Systems. In IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Pages 135-144, Braga, Portugal, October 2006.
5. A. Girault, H. Yu. A Flexible Method to Tolerate Value Sensor Failures. In International Conference on Emerging Technologies and Factory Automation, ETFA'06, Pages 86-93, Prague, Czech Republic, September 2006.
6. L. Besnard, H. Marchand, E. Rutten. The Sigali Tool Box Environment. Ann-Arbor (MI, USA), July 2006.
7. T. Legall, B. Jeannet, T. Jéron. Verification of Communication Protocols Using Abstract Interpretation of FIFO queues. In Algebraic Methodology and Software Technology, AMAST '06, LNCS, Volume 4019, July 2006.
8. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Towards Grid Chemical Coordination (short paper). In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC'06), Pages 445-446, April 2006.
9. G. Delaval, E. Rutten. A Domain-specific Language for Task Handlers Generation, Applying Discrete Controller Synthesis. In ACM Symposium on Applied computing, SAC'06, Pages 901-905, April 2006.
10. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. In Proceedings of 1st International Workshop on New Developments in Computational Models (DCM'05), ENTCS, Volume 135(3), Pages 3-13, March 2006.
11. D. Simon, D. Robert, O. Sename. Control and Real-time Scheduling Co-design : Application to Robust Robot Control. In 3rd Taiwanese-French Conference on Information Technology TFIT'06, Nancy, March 2006.
12. K. Kapellos, D. Simon, R. Pissard-Gibollet, B. Espiau. The Orccad Robot Control Architecture and Tools in Space Applications. In 9th ESA Workshop on Advanced Space Technologies for Robotics and Automation ASTRA'06, Noordwijk, The Netherlands, 2006.
13. D. Robert, O. Sename, D. Simon. Synthesis of a sampling period dependent controller using LPV approach. In 5th IFAC Symposium on Robust Control Design ROCOND'06, Toulouse, France, 2006.
14. D. Simon, R. Pissard-Gibollet, S. Arias. Orccad, a framework for safe robot control design and implementation. In 1st National Workshop on Control Architectures of Robots: software approaches and issues CAR'06, Montpellier, 2006.

2005

1. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Programming Style. In Proceedings of Unconventional Programming Paradigms, LNCS, Volume 3566, Pages 84-98, 2005.
2. T. Le Gall, B. Jeannet, H. Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, December 2005.
3. Pascal Fradet, Stéphane Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. In 2ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2005), Lille, France, September 2005.
4. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Static Analysis Symposium, SAS'05, LNCS, Volume 3672, September 2005.
5. D. Robert, O. Sename, D. Simon. Sampling period dependent RST controller used in control/scheduling co-design. In 16th IFAC 2005 World Conference, Prague, July 2005.
6. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Proceedings of the 5th International Workshop on Rule-Based Programming, S. Abdennadher, C. Ringeissen (eds.), ENTCS, Volume 124(1), Pages 133-147, June 2005.
7. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Model of Computation. In The Grand Challenge in Non-Classical Computation, April 2005.
8. A. Girault. A Survey of Automatic Distribution Method for Synchronous Programs. In International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, F. Maraninchi, M. Pouzet, V. Roy (eds.), ENTCS, Edinburgh, UK, April 2005.
9. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection based on Approximate Analysis. In Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'05, LNCS, Volume 3440, April 2005.
10. Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages. In The Grand Challenge in Non-Classical Computation, April 2005.
11. D. Simon, D. Robert, O. Sename. Robust control/scheduling co-design: application to robot control. In RTAS'05 IEEE Real-Time and Embedded Technology and Applications Symposium, Pages 118-127, San Francisco, March 2005.
12. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Int. Workshop on Numerical and Symbolic Abstract Domains, January 2005.

2004

1. Rémi Douence, Pascal Fradet, Mario Südholt. Trace-Based Aspects. In Aspect-Oriented Software Development, Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert E.Filman (eds.), Pages 201-217, 2004.
2. G. Goessler, J. Sifakis. Priority Systems. In proc. FMCO'03, F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever (eds.), LNCS, Volume 3188, Pages 314-329, 2004.
3. Pascal Fradet, Stéphane Hong Tuan Ha. Network Fusion. In Proc. of Asian Symposium on Programming Languages and Systems (APLAS'04), Pages 21-40, November 2004.
4. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Programming Style. In Proceedings of Unconventional Programming Paradigms (UPP'04), September 2004.
5. J.-L. Cola\cco, A. Girault, G. Hamon, M. Pouzet. Towards a Higher-Order Synchronous Data-Flow Language. In 4th International Conference on Embedded Software, EMSOFT'04, G. Buttazzo (ed.), Pisa, Italy, September 2004.
6. C. Dima, A. Girault, Y. Sorel. Static fault-tolerant scheduling with ``pseudo-topological'' orders. In Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System, FORMATS-FTRTFT'04, LNCS, Volume 3253, Grenoble, France, September 2004.
7. E. Dumitrescu, A. Girault, E. Rutten. Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis. In IFAC Workshop on Discrete Event Systems, WODES'04, Reims, France, September 2004.
8. Alain Girault, Eric Rutten. Discrete Controller Synthesis for Fault-Tolerant Distributed Systems. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04, September 2004.
9. A. Girault, H. Kalla, Y. Sorel. An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. In IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'04, Toulouse, France, August 2004.
10. B Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. In Static Analysis Symposium, SAS'04, LNCS, Volume 3148, Verona (Italy), August 2004.
11. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Chemical Specification of Autonomic Systems. In Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), July 2004.
12. B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. In Int.\ Conf.\ on Algebraic Methodology and Software Technology, AMAST'04, LNCS, Volume 3116, July 2004.
13. I. Assayad, A. Girault, H. Kalla. A Bi-Criteria Scheduling Heuristics for Distributed Embedded Systems Under Reliability and Real-Time Constraints. In International Conference on Dependable Systems and Networks, DSN'04, Firenze, Italy, June 2004.
14. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Fifth International Workshop on Rule-Based Programming (RULE'04), June 2004.
15. Rémi Douence, Pascal Fradet, Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. In Proc. of the 3rd Int' Conf. on Aspect-Oriented Software Development(AOSD'04), Karl Lieberherr (ed.), Pages 141-150, March 2004.
16. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In International Conference on Testing of Communicating Systems, TestCom'04, LNCS, Volume 2978, Oxford (UK), March 2004.

2003

1. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten. Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. In Proceedings of the European Symposium on Programming, ESOP'03, April 7 - 11, 2003,Warsaw, Poland, Lecture Notes in Computer Science (LNCS), 2003.
2. G. Goessler, J. Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). In proc. FSTTCS'03, LNCS, Volume 2914, 2003.
3. A. Girault, X. Nicollin. Clock-Driven Automatic Distribution of Lustre Programs. In International Conference on Embedded Software, EMSOFT'03, R. Alur, I. Lee (eds.), LNCS, Volume 2855, Pages 206-222, Philadelphia (PA), USA, October 2003.
4. A. Girault, H. Kalla, Y. Sorel. Une heuristique d'ordonnancement et de distribution tolérante aux pannes pour systèmes temps-réel embarqués. In Modélisation des Systèmes Réactifs, MSR'03, Pages 145-160, Metz, France, October 2003.
5. F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi. Automatic State Reaching for Debugging Reactive Programs. In Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03, September 2003.
6. A. Girault, H. Kalla, M. Sighireanu, Y. Sorel. An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. In International Conference on Dependable Systems and Networks, DSN'03, San-Francisco (CA), USA, June 2003.

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.