Publications of
Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski, Iulian Ober
Modèles système, modèles logiciel et modèles de code dans les applications spatiales
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, pp. 9-15, June 2011.
Iulian Ober, Ileana Ober, Susanne Graf, David Lesens
Projet OMEGA : un profil UML et un outil pour la modélisation et la validation de systèmes temps réel
In : Génie Logiciel, GL & SI, 8, rue du parc – 92190 Meudon, Vol. 73, pp. 33-38, June 2005.
Iulia Dragomir, Iulian Ober, David Lesens
A Case Study in Formal System Engineering with SysML (regular paper)
In : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2012), Paris, 18/07/12-20/07/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 189-198, 2013.
Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, Piotr Nienaltowski, Iulian Ober
Formal Model Driven Engineering for Space Onboard Software (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, Society of Automobile Engineers (SAE), (electronic medium), January 2012.
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
cheduling Dependent Periodic Tasks Without Synchronization Mechanisms (regular paper)
In : Real-Time and embedded Technology and Applications symposium, Stockholm, Sweden, 12/04/10-15/04/10, Marco Caccamo (Eds.), IEEE Computer Society, pp. 301-310, April 2010.
Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti
Implantation multitâche de programmes synchrones multipériodiques (regular paper)
In : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/09-18/11/09, Vol. 43, Oliver H. Roux, Didier Lime (Eds.), Journal Européen des Systèmes Automatisés (JESA), pp. 741-755, November 2009.
Xavier Dumas, Tristan Faure, Maurice Heitz, Iulian Ober, David Lesens
Supporting a Multi-formalism Model Driven Development Process with Model Transformation,a TOPCASED Implementation
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 30/01/08-01/02/08, SIA/3AF/SEE, (electronic medium), January 2008.
Iulian Ober, Susanne Graf, David Lesens
Modeling and validation of a software architecture for the Ariane-5 launcher
In : Formal Methods for Open Object-Based Distributed Systems – 8th IFIP WG 6.1 International Conference (FMOODS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4037 , Roberto Gorrieri, Heike Warheim (Eds.), Springer-Verlag, LNCS, pp. 48-62, 2006.