Publications of
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager
In : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, pp. 301-308, August 2008.
Software and architecture modelling with Omega-UML and validation with IF
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 80, pp. 21-26, 2007.
Iulian Ober, Susanne Graf, Ileana Ober
Validating timed UML models by simulation and verification
In : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, pp. 128-145, 2006.
Susanne Graf, Ileana Ober, Iulian Ober
A real-time profile for UML
In : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, pp. 113-127, 2006.
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.
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.
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.
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert
Model Based Architecting and Construction of Embedded Systems
In : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.) , Springer, pp. 1-4, Vol. 5421, LNCS, April 2009.
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
Modeling and Verification of Real-Time Systems using the IF Toolbox
In : Modeling and Verification of Real-time Systems. Nicolas Navet, Stefan Merz (Eds.) , Wiley, 10, pp. 319-352, January 2008.
URL : http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
BibTeXSusanne Graf, Sébastien Gérard, Oystein Haugen, Iulian Ober, Bran Selic
Modeling and Analysis of Real-time and Embedded Systems – Using UML
In : MoDELS’2006 Workshops. Thomas Kühne (Eds.) , Springer-Verlag, pp. 126-130, Vol. 4364, LNCS, January 2007.
Susanne Graf, Sébastien Gérard, Oystein Haugen, Iulian Ober, Bran Selic
Workshop synthesis: Modeling and analysis of real-time embedded systems
In : Satellite Events at the MoDELS 2005 Conference. Jean-Michel Bruel (Eds.) , Springer-Verlag, pp. 58-66, Vol. 3844, LNCS, 2006.
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
La boîte à outils IF
In : Systèmes Temps Réel: Techniques de description et de vérification. Nicolas Navet (Eds.) , Hermès, 9, pp. 293-326, Vol. I, 2006.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis
The IF toolset
In : SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. Marco Bernardo, Flavio Corradini (Eds.) , Springer-Verlag, pp. 237-267, Vol. 3185, LNCS, June 2004.
Susanne Graf, Haugen Øystein , Ileana Ober, Selic Bran
SVERTS – Specification and Validation of Real-Time and Embedded Systems
In : UML 2004 Satellite Activities. N.J. Nuntes (Eds.) , Springer-Verlag, pp. 33-42, Vol. 3297, LNCS, 2004.
Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai
6th International Workshop on Model Based Architecting and Construction of Embedded Systems, Miami, Florida, USA, 29/09/13, CEUR-WS : Workshop proceedings, September 2013.
URL : http://ceur-ws.org/Vol-1084 – https://hal.archives-ouvertes.fr/hal-02943067
BibTeXStefan Van Baelen, Iulian Ober, Susanne Graf, Mamoun Filali, Thomas Weigert
ACESMB 2008 First International Workshop on Model Based Arhictecting and Constructing of Embedded Systems, Toulouse, 29/09/08 – 29/09/08, IRIT Press, September 2009.