1984 1985 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011

Publications 2010

Academic Journals

  1. Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone. The Clock Constraint Specification Language for building timed causality models. Innovations in Systems and Software Engineering, 6(1):99-106, March 2010. (more) doi

Academic Journals (National audience)

  1. Sébastien Demathieu, Yves Bernard, Laurent Maillet-Contoz, Matteo Bourding, Frédéric Mallet. Mise en oeuvre de l'IDM pour la conception de systèmes embarqués : premiers résultats et perspectives du projet Lambda. Génie Logiciel, 93(90):38-42, June 2010. (more) download
  2. Frédéric Mallet, Charles André, François Lagarde. Un processus automatique pour concevoir les profils UML. Technique et Sciences Informatiques (TSI), 29(4):391-419, May 2010. (more) download

Book Chapters

  1. Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone. The Time Model of Logical Clocks available in the OMG MARTE profile. In Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Chap. 7, pp. 201-227, Springer Science+Business Media, LLC 2010, July 2010. (more) doi download
  2. Julien Boucaron, Anthony Coadou, Robert de Simone. Formal Modeling of Embedded Systems with Explicit Schedules and Routes. In Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Chapter 2, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Chapter 2, pp. 41-78, Springer Science+Business Media, LLC 2010, July 2010. (more)
  3. Frédéric Mallet, Charles André, Robert de Simone. IP-XACT components with Abstract Time Characterization. In Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs, Dominique Borrione (ed.), Vol. 63, Chap. 1, pp. 3-18, LNEE, Springer, July 2010. (more) doi
  4. Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel. From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations. In Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Chapter 8, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Chapter 8, pp. 229-262, Springer Science+Business Media, LLC 2010, July 2010. (more) download

International Conferences

  1. Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon. RT-simex: retro-analysis of execution traces. In Proc. of the 18th ACM SIGSOFT Int. Symp. on Foundations of software engineering, FSE'10, Pages 377-378, New York, NY, USA, 2010. (more) download
  2. Huafeng Yu, Jean-Pierre Talpin, Lo\"\ic Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone. Polychronous Analysis of Timing Constraints in UML MARTE. In IEEE Int. W. on Model-Based Engineering for Real-Time Embedded Systems Design, Pages 145-151, Parador of Carmona, Spain, 2010. (more) doi download
  3. Robert Davis, Laurent George, Pierre Courbin. Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling. In Proc. of 18th Int. Conf. on Real-Time and Network Systems, RTNS'10, Toulouse, France, November 2010. (more) download
  4. Mohamed Marouf, Yves Sorel. Schedulability conditions for non-preemptive hard real-time tasks with strict period. In Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10, Toulouse, France, November 2010. (more) download
  5. Dumitru Potop-Butucaru, Akaramul Azim, Sebastian Fischmeister. Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures. In Proc. of the 8th ACM Int. Conf. on Embedded software, EMSOFT'10, Scottsdale, AZ, USA, October 2010. (more) pdf
  6. Calin Glitia, Julien DeAntoni, Frédéric Mallet. Logical time at work: capturing data dependencies and platform constraints. In Proceedings of International Forum for Design Languages (FDL 2010), Pages 240-246, Southampton, UK, September 2010. (more) download
  7. Charles André, Frédéric Mallet, Julien DeAntoni. VHDL observers for clock constraint checking. In Industrial Embedded Systems (SIES), 2010 Int. Symp. on, Pages 98-107, Trento, Italy, July 2010. (more) doi
  8. Marie-Agnès Peraldi-Frati, Arnaud Albinet. Requirement traceability in safety critical systems. In Proc. of the 8th European Dependable Computing Conference, EDCC'10, Pages 11-14, Valencia, Spain, April 2010. (more)
  9. Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal. A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems. In Proc. of the 15th IEEE Int. Conf. on Engineering of Complex Computer Systems, ICECCS'10, Pages 233-242, Oxford, UK, March 2010. (more)
  10. Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier. An automated process for implementing multilevel domain models. In Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers, Mark van den Brand, Dragan Gasevic, Jeff Gray (eds.), Lecture Notes in Computer Science, Volume 5969, Pages 314-333, Denver, CO, USA, March 2010. (more) doi

Research Reports

  1. Régis Gascon, Frédéric Mallet, Julien DeAntoni. Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL. Research Report INRIA, No 7459, 2010. (more) download
  2. Anthony Coadou, Robert de Simone. Normal Forms and Equivalence of K-periodically Routed Graphs. Research Report INRIA, No 7286, May 2010. (more)
  3. Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal. A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems. Research Report INRIA, No 7292, May 2010. (more) download
  4. Frédéric Mallet, Charles André, François Lagarde. Un profil UML pour la modélisation multiniveau. Research Report INRIA, No 7287, May 2010. (more) download
  5. Charles André. Verification of clock constraints: CCSL Observers in Esterel. Research Report INRIA, No 7211, February 2010. (more) download

Misc

  1. Julien Deantoni, Jean-Philippe Babau. SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles. 2010. (more) download
  2. Marie-Agnès Peraldi-Frati, Frédéric Mallet, Julien DeAntoni. MARTE for modeling and verification of real-time embedded systems. 1er Colloque International Relation Université Nice -Université Danang RUNSUD 2010, pp. 480-489, Nice-Sophia antipolis, France, March 2010. (more) download

Thesis

  1. Anthony Coadou. Réseaux de processus flot de données avec routage pour la modélisation de systèmes embarqués. PhD Thesis Université Nice Sophia Antipolis, December 2010. (more)
  2. Frédéric Mallet. Logical Time in Model Driven Engineering. Habilitation à diriger des recherches Université Nice Sophia-Antipolis, November 2010. (more) download
  3. Aamir Mehmood Khan. Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact. PhD Thesis Université de Nice/Sophia-Antipolis, March 2010. (more)

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.