Publications 2004
Books
- Unconventional Programming Paradigms, pre-proceeding of UPP'04, Le Mont Saint Michel. Jean-Pierre Banâtre, Jean-Louis Giavitto, Pascal Fradet, Olivier Michel (eds.), , September 2004.
- International Workshop on Synchronous Languages, Programming, and Applications, SLAP'04. F. Maraninchi, A. Girault, M. Pouzet (eds.), ENTCS, Elsevier Science, Barcelona, Spain, March 2004.
Academic Journals
- A. Girault. Design of an Hybrid Controller for Autonomous Vehicles Driving on Automated Highways. TRC, 12(6):421-452, December 2004.
- A. Girault, H. Kalla, Y. Sorel. A Scheduling Heuristics for Distributed Real-Time Embedded Systems Tolerant to Processor and Communication Media Failures. IJPR, 42(14):2877-2898, July 2004.
International Conferences
- 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.
- 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.
- 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.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Higher-order Chemical Programming Style. In Proceedings of Unconventional Programming Paradigms (UPP'04), September 2004.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Fifth International Workshop on Rule-Based Programming (RULE'04), June 2004.
- 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.
- 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.
Research Reports
- B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection Based on Approximate Analysis. Technical Report IRISA, No 0, October 2004.
- Eric Rutten, Hervé Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Rapport de Recherche INRIA, No 5345, October 2004.
download
- B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. Technical Report University of Wisconsin-Madison, No 0, April 2004.
download
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.