Publications 2006
Books
- Science of Computer Programming - Special Issue on Foundations of Aspect-Oriented Programming. Pascal Fradet, Ralf Lämmel (eds.), Elsevier, December 2006.
Academic Journals
- T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques, 25(3), 2006.
- Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationale of Non-Classical Programming Languages. International Journal of Unconventional Computing, 2(4):337-347, 2006.
- Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser. Safe Design Methodology for an Intelligent Cruise Control System with GPS. IEEE Intelligent Transportation Systems Society Newsletter, 8(4):16-23, December 2006.
- A. Girault. System-Level Design of Fault-Tolerant Embedded Systems. ERCIM News, Special Theme: Embedded Intelligence, 67:25-26, October 2006.
download
- Pascal Fradet, Stéphane Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. L'Objet - Logiciel, bases de données, réseaux, 12(2):183-210, September 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Generalised multisets for chemical programming. Mathematical Structures in Computer Science, 16(4):557-580, August 2006.
- A. Girault, X. Nicollin, M. Pouzet. Automatic Rate Desynchronization of Embedded Reactive Programs. ACM Trans.\ Embedd.\ Comput.\ Syst, 5(3):687-717, August 2006.
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Chemical Programming of Self-Organizing Systems. ERCIM News, Special Theme: Emergent Computing, 64, January 2006.
download
Book Chapters
- D. Simon, O. Sename, D. Robert. Systèmes Temps Réel Tome II : Ordonnancement, Réseaux, Qualité de Service. Vol. 2, Chap. 0, Hermes, 2006.
International Conferences
- 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.
- 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.
- G. Goessler. Compositional Reachability Analysis of Genetic Networks. In CMSB'06, C. Priami (ed.), LNBI, Volume 4210, Pages 212-226, 2006.
- 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.
- 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.
- L. Besnard, H. Marchand, E. Rutten. The Sigali Tool Box Environment. Ann-Arbor (MI, USA), July 2006.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
Research Reports
- G. Goessler. Componend-based Design of Heterogeneous Reactive Systems in \textscPrometheus. Research Report INRIA, No 6057, 2006.
- Martin Törngren, Dan Henriksson, Ola Redell, Christoph Kirsch, Jad El-Khoury, Daniel Simon, Yves Sorel, Hanzalek Zdenek, Karl-Erik Årzén. Co-design of Control Systems and their real-time implementation - A Tool Survey. Research Report Royal Institute of Technology, KTH, No 0, 2006.
- T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. Research Report INRIA, No 5919, May 2006.
Misc
- Rémi Douence, Simplice Djoko Djoko, Pascal Fradet, Didier Le Botlan. Towards a Common Aspect Semantic Base (CASB). August 2006.
- D. Robert, O. Sename, D. Simon. Co-design commande/ordonnancement pour le contrôle sous contraintes de ressources. Poster - Colloque EmSoC-Recherche, Villars de Lans, June 2006.
Thesis
- A. Girault. Contributions à la Conception Sûre des Systèmes Embarqués Sûrs. Habilitation à diriger des recherches INPG, Grenoble, France, September 2006.
Master's thesis
- A.M. Khan. Connection of Compositional Verification Tools for Embedded Systems. Master Thesis UJF Grenoble, 2006.
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.