Version Française


- Main positions

- Research

- Bibliography




Iulian Ober



Contact Us

  • Mailing Adress : ober@univ-tlse2.fr
  • Physical Adress :

    Université Toulouse le Mirail
    IUT de Blagnac
    Département Informatique
    1 place Georges Brassens BP 60073
    31703 BLAGNAC CEDEX

  • Telephone : (+33) (0)5 62 74 75 40
  • Fax : (+33) (0)5 62 74 75 76
Chek out my full web page at http://www-verimag.imag.fr/~ober

Main positions Version Française



Research Version Française

Research topics

  • Formalisation of object oriented languages. Analysis and design languages.
  • Computer aided software engineering tools.
  • Design and verification of real-time systems.
Bibliography Version Française

Before 1999

Since 1999
[OGO05a] OberAl-uml2if-stttijournalIulian Ober , Susanne Graf and Ileana Ober. Validating timed UML models by simulation and verification. International Journal of Software Tools for Technology Transfer (To appear). ISSN: 1433-2779, DOI 10.1007/s10009-005-0205-x. . Springer Verlag, 2005. VERIMAG
[OGO05b] OberAl-umlrt-stttijournalIleana Ober , Susanne Graf and Iulian Ober. Timed annotations with UML. International Journal of Software Tools for Technology Transfer (To appear). ISSN: 1433-2779, DOI 10.1007/s10009-005-0205-x. . Springer Verlag, 2005. VERIMAG
[OOLG05a] OberAl-GenieLog05journalIulian Ober , Ileana Ober , David Lesens and Susanne 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 , number 73 , pages 33-38. 5May 2005. VERIMAG
[OGY05] OberEtAl-Martes05iconferenceIulian Ober , Susanne Graf and 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. 10October 2005. VERIMAG
[BGM05] OberEtAl-SDL05iconferenceI.Ober , M. Bozga , S. Graf and L. Mounier. IF: a validation environment for real-time UML and SDL models. In Tutorial at 12th International Conference "SDL Forum" , Grimstad, Norway. 6June 2005. VERIMAG
[BGO+04] BozgaEtAl-SFMRT04iconferenceMarius Bozga , Susanne Graf , Ileana Ober , Iulian Ober and Joseph 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 (LNCS 3185) , pages 237-267 , Bertinoro, Italy. Springer Verlag, 9September 2004. VERIMAG
[OGO04] OberEtAl-SPIN04iconferenceIulian Ober , Susanne Graf and Ileana Ober. Model checking of UML models via a mapping to communicating extended timed automata. In Model Checking Software: 11th International SPIN Workshop (LNCS 2989) , pages 127-145 , Barcelona, Spain. Springer Verlag, 4April 2004. VERIMAG
[OBM04] OberEtAl-tutorial-SPIN04iconferenceIulian Ober , Marius Bozga and Laurent Mounier. The IF Validation Environment. In Tutorial at "Model Checking Software": 11th International SPIN Workshop (LNCS 2989) , pages 306-307 , Barcelona, Spain. Springer Verlag, 4April 2004. VERIMAG
[OK01] OberEtAl-SDL01iconferenceIulian Ober and Alain Kerbrat. Verification of quantitative temporal properties of SDL specifications. In Proceedings of the 10th SDL Forum (LNCS 2078) , pages 182-202 , Copenhagen, DK. Springer Verlag, 6June 2001.
[BGM+01] OberEtAl-SDL01biconferenceM. Bozga , S. Graf , L. Mounier , I. Ober , J-L Roux and D. Vincent. Timed Extensions for SDL. In Proceedings of the 10th SDL Forum (LNCS 2078) , pages 223-240 , Copenhagen, DK. Springer Verlag, 6June 2001.
[Obe01] Ober-thesetheseIulian Ober. Specification and Validation of Timed Systems using Formal Description Languages. PhD Thesis , Institute National Polytechnique de Toulouse. 21 09September 2001.
[BGK+00] OberEtAl-SAM00iconferenceM. Bozga , S. Graf , A. Kerbrat , L. Mounier , I. Ober and D. Vincent. SDL for Real-Time: What is Missing?. In 2nd Workshop on SDL and MSC , Grenoble, France. 6June 2000.
[KO99] OberEtAl-QW99iconferenceA. Kerbrat and I. Ober. Automated test generation from SDL/UML specifications. In 12th International Software Quality Week , San Jose, California. 5May 1999.
[OK99] OberEtAl-FORTE99iconferenceI. Ober and A. Kerbrat. Specification and execution of tests using tMSC. In IFIP TC6/WG6.1 Joint International Conference FORTE/PSTV '99 , pages 453-468 , Beijing, China. Kluwer Academic Publishers, 10October 1999.
[OS99] OberEtAl-EUROPAR99iconferenceI. Ober and I. Stan. On the concurrent object model of UML. In 5th International Euro-Par Conference (LNCS 1685) , pages 1377-1384 , Toulouse, France. Springer Verlag, 9September 1999.
[OOLG05a] OberAl-GenieLog05journalIulian Ober , Ileana Ober , David Lesens and Susanne 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 , number 73 , pages 33-38. 5May 2005. VERIMAG
[GHOS06] GrafHaugenOberSelic-Martes05livreS. Graf , O. Haugen , I. Ober and B. Selic. Modeling and analysis of real-time embedded systems. Satellite Events at the MoDELS 2005 Conference (LNCS 3844) , pages 61-71. Springer Verlag, 2006. GRIMM/ISYCOM
[OGY06] OberEtAl-MBEES06iconferenceI. Ober , S. Graf and Y. Yushtein. Using an UML profile for timing analysis with the IF validation tool-set. In Dagstuhl-Workshop No. 06022 - MBEES 2006 : Model-Based Development of Embedded Systems , Dagstuhl, Germany. GI e.V. (in print), 01January 2006. GRIMM/ISYCOM
maj : 28/03/2006