Publications de
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
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, p. 9-15, juin 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
Dans : Génie Logiciel, GL & SI, 8, rue du parc – 92190 Meudon, Vol. 73, p. 33-38, juin 2005.
Iulia Dragomir, Iulian Ober, David Lesens
A Case Study in Formal System Engineering with SysML (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2012), Paris, 18/07/12-20/07/12, IEEE : Institute of Electrical and Electronics Engineers, p. 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)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, Society of Automobile Engineers (SAE), (support électronique), janvier 2012.
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
cheduling Dependent Periodic Tasks Without Synchronization Mechanisms (regular paper)
Dans : Real-Time and embedded Technology and Applications symposium, Stockholm, Sweden, 12/04/10-15/04/10, Marco Caccamo (Eds.), IEEE Computer Society, p. 301-310, avril 2010.
Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti
Implantation multitâche de programmes synchrones multipériodiques (regular paper)
Dans : 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), p. 741-755, novembre 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
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 30/01/08-01/02/08, SIA/3AF/SEE, (support électronique), janvier 2008.
Iulian Ober, Susanne Graf, David Lesens
Modeling and validation of a software architecture for the Ariane-5 launcher
Dans : 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, p. 48-62, 2006.