Publications de
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, p. 301-308, août 2008.
Software and architecture modelling with Omega-UML and validation with IF
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 80, p. 21-26, 2007.
Iulian Ober, Susanne Graf, Ileana Ober
Validating timed UML models by simulation and verification
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, p. 128-145, 2006.
Susanne Graf, Ileana Ober, Iulian Ober
A real-time profile for UML
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, p. 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
Dans : Génie Logiciel, GL & SI, 8, rue du parc – 92190 Meudon, Vol. 73, p. 33-38, juin 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)
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.
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.
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert
Model Based Architecting and Construction of Embedded Systems
Dans : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.) , Springer, p. 1-4, Vol. 5421, LNCS, avril 2009.
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
Modeling and Verification of Real-Time Systems using the IF Toolbox
Dans : Modeling and Verification of Real-time Systems. Nicolas Navet, Stefan Merz (Eds.) , Wiley, 10, p. 319-352, janvier 2008.
Accès : 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
Dans : MoDELS’2006 Workshops. Thomas Kühne (Eds.) , Springer-Verlag, p. 126-130, Vol. 4364, LNCS, janvier 2007.
Susanne Graf, Sébastien Gérard, Oystein Haugen, Iulian Ober, Bran Selic
Workshop synthesis: Modeling and analysis of real-time embedded systems
Dans : Satellite Events at the MoDELS 2005 Conference. Jean-Michel Bruel (Eds.) , Springer-Verlag, p. 58-66, Vol. 3844, LNCS, 2006.
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
La boîte à outils IF
Dans : Systèmes Temps Réel: Techniques de description et de vérification. Nicolas Navet (Eds.) , Hermès, 9, p. 293-326, Vol. I, 2006.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis
The IF toolset
Dans : 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, p. 237-267, Vol. 3185, LNCS, juin 2004.
Susanne Graf, Haugen Øystein , Ileana Ober, Selic Bran
SVERTS – Specification and Validation of Real-Time and Embedded Systems
Dans : UML 2004 Satellite Activities. N.J. Nuntes (Eds.) , Springer-Verlag, p. 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, septembre 2013.
Accès : 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, septembre 2009.