1 PhD graduated 2009

2002-2013 Publications

• 2013
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Elements for the Design of Embedded Computer Systems”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. 3-27, (Wiley) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Eléments pour la conception des systèmes embarqués”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 21-44, (Hermes) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Embedded Systems, analysis and modeling with SysML, UML and AADL”, (Wiley), (ISBN: 978-1-84821-500-9) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. xix-xxii, (Wiley) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction générale”, chapitre de Modélisation et analyse de systèmes embarqués, pp. 15-18, (Hermes) (2013)
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Modélisation et analyse des systèmes embarqués”, (Collection SEE - Hermes), (ISBN: 978-2-7462-3900-5) (2013)
• 2010
  • X. Renault, J. Hugues : “Définition d’une famille de patrons de transformation pour l’analyse de modèles AADL”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 12-16, (Génie industriel multimédia) (2010)
• 2009
  • X. Renault, F. Kordon, J. Hugues : “Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets”, Proceedings of the 20^th International Workshop on Rapid System Prototyping, Paris, France, pp. 26-33, (IEEE) (2009)
  • X. Renault, F. Kordon, J. Hugues : “From AADL architectural models to Petri Nets: Checking model viability”, 12^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 313-320, (IEEE Computer Society) (2009)
• 2008
  • F. Kordon, J. Hugues, X. Renault : “From Model Driven Engineering to Verification Driven Engineering”, 6^th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), vol. 5287, Lecture Notes in Computer Science, Capri, Italy, pp. 381-393, (Springer-Verlag) (2008)
  • J. Hugues, B. Zalila, L. Pautet, F. Kordon : “From the prototype to the final embedded system using the Ocarina AADL tool suite”, ACM Transactions on Embedded Computing Systems (TECS), vol. 7 (4), pp. 42, (ACM) (2008)
  • X. Renault, J. Hugues, F. Kordon : “Formal Modeling of a Generic Middleware to Ensure Invariant Properties”, 10^th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), vol. 5051, Lecture Notes in Computer Science, Oslo, Norway, pp. 185-200, (Springer-Verlag) (2008)
• 2007
  • J. Hugues, B. Zalila, L. Pautet, F. Kordon : “Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina”, 18^th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 106-112, (IEEE Computer Society) (2007)
  • J. Hugues, F. Kordon, L. Pautet, Th. Vergnaud : “A Factory To Design and Build Tailorable and Verifiable Middleware”, Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12^th edition, 2005), vol. 4322, Lecture Notes in Computer Science, University of California, Irvine, United States, pp. 121-142, (Springer-Verlag) (2007)
• 2006
  • J. Hugues, F. Kordon, L. Pautet : “A Framework for DRE Middleware, an Application to DDS”, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Gyeongju, Korea, Republic of, pp. 224-231, (IEEE Computer Society) (2006)
  • J. Hugues, F. Kordon, L. Pautet : “Construction d’un intergiciel vérifié”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, pp. 265-287, (Hermes), (ISBN: 2-7462-1447-4) (2006)
• 2005
  • Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “Rapid Development Methodology for Customized Middleware”, 16^th IEEE International Workshop on Rapid System Prototyping (RSP'05), Montreal, Canada, pp. 111-117, (IEEE Computer Society) (2005)
  • J. Hugues, L. Pautet, F. Kordon : “Revisiting COTS Middleware for DRE System”, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), Seattle, United States, pp. 72-79, (IEEE) (2005)
  • J. Hugues, F. Kordon, L. Pautet : “Towards Proof-Based Real-Time Distribution Middleware”, 13^th International Conference On Real-Time Systems (RTS '05), Paris, France, pp. 51-70, (BIRP) (2005)
• 2004
  • J. Hugues, Y. Thierry‑Mieg, F. Kordon, L. Pautet, S. Baarir, Th. Vergnaud : “On the Formal Verification of Middleware Behavioral Properties”, 9^th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Linz, Austria, pp. 139-157, (Elsevier) (2004)
  • Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications”, 9^th International Conference on Reliable Software Technologies - Ada-Europe 2004, vol. 3063, Lecture Notes in Computer Science, Palma de Mallorca, Spain, pp. 106-119, (Springer-Verlag) (2004)
• 2003
  • J. Hugues, F. Kordon, L. Pautet : “Refining Middleware Functions for Verification Purpose”, Workshop on Software Engineering for Embedded Systems, Chicago, United States (2003)
  • J. Hugues, L. Pautet, F. Kordon : “Contributions to middleware architectures to prototype distribution infrastructures”, 14^th IEEE International Workshop on Rapid System Prototyping (RSP'03), San Diego, CA, United States, pp. 124-131, (IEEE) (2003)
• 2002
  • J. Hugues, F. Kordon, L. Pautet, Th. Quinot : “A case study of Middleware to Middleware: MOM and ORB interoperability”, 4^th International Symposium on Distributed Objects and Applications (DOA'02), Irvine, CA, United States, (University of California, Irvine) (2002)