Iulian Ober

Cited by

	All	Since 2020
Citations	1198	181
h-index	16	7
i10-index	24	4

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420253 15 21 26 41 58 90 70 88 63 69 67 58 84 48 53 27 30 36 38 37 40 36 37 27 4

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Ileana OberUniversity of ToulouseVerified email at irit.Fr
Iulia DragomirGMV Aerospace and DefenceVerified email at gmv.com
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Laurent MounierVERIMAG University of Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Jean-Michel BruelProfessor of Computer Science, Toulouse University, FranceVerified email at irit.fr
Sebastien GerardCEA ListVerified email at cea.fr
Bran SelicMalina Software Corp.Verified email at acm.org
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Bernard CouletteProfessor of Computer Science, Toulouse UniversityVerified email at univ-tlse2.fr
Stefan Van BaelenFunded Project Manager, IMECVerified email at imec.be
Mohammad ChamiCEO & MBSE Consultant at SysDICE GmbHVerified email at sysdice.com
Huascar EspinozaChips JUVerified email at chips-ju.europa.eu
Gabor KarsaiVanderbilt UniversityVerified email at vanderbilt.edu
Belloir NicolasAssociate professor, Military Academy of St Cyr - Coëtquidan , France. IRISA labs. CREC St-CyrVerified email at irisa.fr
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr

Iulian Ober

Professor of software and systems engineering, ISAE-Supaero, Toulouse University, France

Verified email at isae-supaero.fr

software and system engineering formal modeling simulation verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004	264	2004
Validating timed UML models by simulation and verification I Ober, S Graf, I Ober International Journal on Software Tools for Technology Transfer 8 (2), 128-145, 2006	146	2006
A real-time profile for UML S Graf, I Ober, I Ober International Journal on Software Tools for Technology Transfer, 2006	87	2006
Validation of UML models via a mapping to communicating extended timed automata I Ober, S Graf, I Ober International SPIN Workshop on Model Checking of Software, 127-145, 2004	66	2004
Timed extensions for SDL M Bozga, S Graf, L Mounier, I Ober, JL Roux, D Vincent SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001	57	2001
Timed annotations in UML S Graf, I Ober, I Ober Workshop on Specification and Validation of UML models for Real Time and …, 2003	45	2003
Supporting UML-based development of embedded systems by formal techniques J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein Software & Systems Modeling 7, 131-155, 2008	42	2008
SDL for Real-Time: What is missing? M Bozga, S Graf, L Mounier, A Kerbrat, I Ober, D Vincent 2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, 108-122, 2000	40	2000
SysML models verification and validation in an industrial context: Challenges and experimentation R Baduel, M Chami, JM Bruel, I Ober Modelling Foundations and Applications: 14th European Conference, ECMFA 2018 …, 2018	34	2018
OMEGA2: A new version of the profile and the tools I Ober, I Dragomir 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010	30	2010
Contract-based modeling and verification of timed safety requirements within SysML I Dragomir, I Ober, C Percebois Software & Systems Modeling 16, 587-624, 2017	29	2017
Unambiguous UML composite structures: the OMEGA2 experience I Ober, I Dragomir International Conference on Current Trends in Theory and Practice of …, 2011	28	2011
Seeing errors: model driven simulation trace visualization EA Aboussoror, I Ober, I Ober Model Driven Engineering Languages and Systems: 15th International …, 2012	20	2012
Modeling and validation of a software architecture for the ariane-5 launcher I Ober, S Graf, D Lesens International Conference on Formal Methods for Open Object-Based Distributed …, 2006	18	2006
On the concurrent object model of UML I Ober, I Stan European Conference on Parallel Processing, 1377-1384, 1999	17	1999
Certification of embedded systems based on Machine Learning: A survey G Vidot, C Gabreau, I Ober, I Ober arXiv preprint arXiv:2106.07221, 2021	16	2021
Model checking of UML models via a mapping to communicating extended timed automata S Graf, I Ober, I Ober Proc. SPIN 4, 2004	16	2004
A case study in formal system engineering with SysML I Dragomir, I Ober, D Lesens 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012	15	2012
Verification of quantitative temporal properties of SDL specifications I Ober, A Kerbrat International SDL Forum, 182-202, 2001	13	2001
Early analysis of ambient systems sysml properties using omega2-ifx M Ahmad, I Dragomir, JM Bruel, I Ober, N Belloir SIMULTECH 2013, 2013	12	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors