• General info

• Publications

• Teaching

• External links

(Publications list at DBLP)
(Publications list from the IRIT database -- only since 2005)

Publications

International Journals (reviewed):

• Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober Timing analysis and validation with UML: the case of the embedded MARS bus manager. Dans / In : Innovations in Systems and Software Engineering, Vol. 4 N. 3, p. 301-308, august 2008, Springer-Verlag.
  [contact me]
• Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein. Supporting UML-based Development of Embedded Systems by Formal Techniques. Dans / In International Journal of Software and Systems Modeling (SoSym), Vol. 7 No. 2, p. 131-155, may 2008. Springer-Verlag.
  [DOI.10.1007/s10270-006-0043-7]
• I. Ober, S. Graf and I. Ober. Validating timed UML models by simulation and verification. International Journal of Software Tools for Technology Transfer (STTT), Volume 8, Number 2, pages 128-145, April, 2006. Springer Verlag.
  (initial version appeared in SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems, satellite of UML'2003.)
  [[DOI.10.1007/s10009-005-0205-x]
• S. Graf, I. Ober and I. Ober. A real-time profile for UML. International Journal of Software Tools for Technology Transfer (STTT), Volume 8, Number 2, pages 113-127, April, 2006. Springer Verlag.
  (initial version appeared in SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems, satellite of UML'2003.)
  [DOI.10.1007/s10009-005-0213-x]

National Journals (reviewed):

• Xavier Dumas, Sébastien Gabel, Julien Honore, Maurice Heitz, Iulian Ober, David Lesens. Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles. Dans / In : Revue de l'Electricité et de l'Electronique, SEE, Vol. 2009, N. 2, p. 29-35, février / february 2009.
  [contact me]
• Susanne Graf, Iulian Ober. Software and architecture modelling with Omega-UML and validation with IF. Génie Logiciel (ISSN: 0295-6322), Number 80, pages 21-26, March 2007.
  [contact me]
• I. Ober, I. Ober, D. Lesens, S. Graf. Un profil UML et un outil pour la modélisation et la validation de systèmes temps-réel. Génie Logiciel (ISSN 0295-6322), special issue for the Journée NEPTUNE : Ingénierie des Modèles – vérification de modèles. Mai, 2005.
  [full text (in French)]
• V. M. Scuturici, I. Ober, M. Scuturici, D. M. Suciu. Specification of Active Objects Behavior Using Statecharts. Studia Universitatis "Babes-Bolyai", Informatica, Vol. XLII, No. 1, 1997, pp. 19-30.
• D. Bozga, D. Chiorean et I. Ober. A Compiler for an Algebraic Specification Language. Studia Universitatis "Babes-Bolyai", Informatica, Vol. XLI, No. 1, 1996, pp  59 – 70.

Monograph chapters

• Iulian Ober. UML-based modelling and verification of real-time systems. Ecole d'Ete Temps Réel ETR'2009. Laurent Pautet, Béatrice Berard, Serge Haddad (Eds.), Télécom ParisTech, p. 113-126, september 2009.
• Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. 10. Modeling and Verification of Real-Time Systems using the IF Toolbox. In Modeling and Verification of Real-time Systems, Nicolas Navet and Stephan Merz (Eds.), Wiley-ISTE, 2008.
• Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. La boîte à outils IF. In Systèmes Temps Réel, Nicolas Navet (Ed.), Editions Hermes, 2006 (in French).
• Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis. The IF toolset. In SFM-04:RT Lecture Notes of the 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, June 2004. LNCS 3185, Springer Verlag.
  [full text]
  

Reviewed conference and workshop articles

• Iulian Ober, Iulia Dragomir. Unambiguous UML composite structures: the OMEGA2 experience. In SOFSEM 2011 - International Conference on Current Trends in Theory and Practice of Computer Science , Novy Smokovec (Slovakia), Jan 22-28, 2011. Springer, LNCS 6543, p418-430.
  [DOI.10.1007/978-3-642-18381-2_35]
• Iulian Ober, Iulia Dragomir. OMEGA2: A new version of the profile and the tools. In UML&AADL'2010 - 14th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, UK, March 2010. p373-378., 2010. IEEE.
  [DOI.10.1109/ICECCS.2010.41]
• Iulian Ober, Bernard Coulette, Younes Lakhrissi. Behavioral Modelling and Composition of Object Slices Using Event Observation. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/2008-03/10/2008, Jean-Michel Bruel, Krzysztof Czarnecki, Ileana Ober (Eds.), Springer, LNCS 5301, p. 219-233, september 2008.
  [contact me for full paper]
• Iulian Ober, Younes Lakhrissi. Observation-based interaction and concurrent aspect-oriented programming. In International Conference on Software Engineering Research, Management and Applications (SERA 2008), Prague, Rép. Tcheque, 20/08/2008-22/08/2008, Roger Lee (Eds.), Springer, SCI 150, p. 141-156, august 2008.
  [contact me for full paper]
• Iulian Ober, Nicolas Halbwachs. On the timed automata-based verification of Ravenscar systems.In 13th International Conference on Reliable Software Technologies - Ada-Europe 2008. Venise, Italy, 16 - 20 June, 2008. LNCS 5026, Springer-Verlag, 2008.
  [contact me for full paper]
  
• Xavier Dumas,Tristan FAURE, Sébastien Gabel, Julien Honoré, Maurice Heitz, Iulian Ober, David Lesens. Supporting a Multi-formalism Model Driven Development Process with Model Transformation,a TOPCASED Implementation. In 4th European Congress Embedded Real Time Software (ERTS). Toulouse, France, January 30th - February 1st, 2008.
  [contact me for full paper]
  
• Iulian Ober, Susanne Graf, David Lesens. Modeling and validation of a software architecture for the Ariane-5 launcher.In 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Bologna, Italy, 14 - 16 June, 2006. LNCS 4037, Springer-Verlag, 2006.
  [full paper]
  
• Iulian Ober, Susanne Graf, Yuri Yushtein. Using an UML profile for timing analysis with the IF validation tool-set. In Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme.January, 2006.
  [full paper]
  
• Iulian Ober, Susanne Graf, Yuri Yushtein. Timing analysis and validation of the embedded MARS bus manager. In MARTES'2005: Modeling and Analysis of Real-Time and Embedded Systems. Satellite workshop of MoDELS Intl. Conference, Jamaica, October 2005.
  [full paper]
  
• I. Ober, S. Graf et I. Ober. Model checking of UML models via a mapping to communicating extended timed automata. Model Checking Software: 11th International SPIN Workshop, Barcelone, avril 2004. LNCS 2989, Springer Verlag, 2004
  [full text]
• Iulian Ober, Susanne Graf and Ileana Ober. Validating timed UML models by simulation and verification. In Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003), Satellite Workshop of UML 2003, San Francisco, October 2003.
• I. Ober and A. Kerbrat. Verification of quantitative temporal properties of SDL specifications. Proceedings of the 10th SDL Forum, Copenhagen, 2001. LNCS 2078 p. 182-202, Springer-Verlag.
  [full text]
• M. Bozga, S. Graf, L. Mounier, I. Ober, J-L Roux, D. Vincent. Timed Extensions for SDL. Proceedings of the 10th SDL Forum, Copenhagen, 2001. LNCS 2078 p. 223-240, Springer-Verlag.
  [full text]
• M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober and D. Vincent. SDL for Real-Time: What is Missing? The 2nd Workshop on SDL and MSC, Grenoble, June 2000.
  [full text]
• A. Kerbrat and I. Ober. Automated test generation from SDL/UML specifications. The 12th International Software Quality Week , San Jose, California, May 1999.
  [full text]
• I. Ober and A. Kerbrat. Specification and execution of tests using tMSC. Proceedings of FORTE/PSTV'99, pages 453-468. Kluwer Academic Publishers, 1999.
  [full text]
• I. Ober and I. Stan. On the concurrent object model of UML. Proceedings of EUROPAR'99, LNCS 1685. Springer Verlag, 1999.
  [full text]

Tutorials

• I.Ober, M. Bozga, S. Graf et L. Mounier. IF: a validation environment for real-time UML and SDL models. Tutorial at 12th International Conference « SDL Forum », Grimstad, Norway, June 2005.
  [slides]
  
• I.Ober, M. Bozga et L. Mounier. The IF Validation Environment. Tutorial at 11th International SPIN Workshop, Barcelona, April 2004. Abstract published in LNCS 2989, Springer Verlag, 2004.
  [abstract]
  

Other book chapters

• Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert. Model Based Architecting and Construction of Embedded Systems. Dans / In : MODELS 2008 Workshops. Michel Chaudron (Eds.), Springer LNCS 5421, 2009 (à paraître).
• Iulian Ober. MODELS Research Projects Symposium. Dans / In : MODELS 2008 Workshops. Michel Chaudron (Eds.), Springer LNCS 5421, 2009 (à paraître).
• S. Graf, S. Gérard, O. Haugen , I. Ober and B. Selic. Modeling and Analysis of Real-time and Embedded Systems - Using UML. Workshop synthesis, in MoDELS'2006 Workshops, LNCS 4364, pages 126-130. Springer Verlag, 2007.
• S. Graf, S. Gérard, O. Haugen, I. Ober and B. Selic. Modeling and analysis of real-time embedded systems. Workshop synthesis, in Satellite Events at the MoDELS 2005 Conference (LNCS 3844), pages 61-71. Springer Verlag, 2006.

Co-edited proceedings :

• Gerard, S., S. Graf, Ø. Haugen, I. Ober, B. Selic. International Workshop on Modeling and Analysis of Real-Time and Embedded Systems. ISBN 82-7368-299-4. Oslo University research report #343. September 2006.
  [download]

PhD Thesis

I. Ober Specification and Validation of Timed Systems using Formal Description Languages. Institute National Polytechnique de Toulouse, France. September 21, 2001
[extended abstract (in French)] [full text (in English)]