Follow
Iulian Ober
Iulian Ober
Professor of software and systems engineering, ISAE-Supaero, Toulouse University, France
Verified email at isae-supaero.fr
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
2622004
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
1432006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer 8, 113-127, 2006
852006
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
662004
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
572001
Timed annotations in UML
S Graf, I Ober, I Ober
Workshop on Specification and Validation of UML models for Real Time and …, 2003
452003
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
422008
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
402000
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
312010
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
272018
Unambiguous UML composite structures: the OMEGA2 experience
I Ober, I Dragomir
International Conference on Current Trends in Theory and Practice of …, 2011
272011
Contract-based modeling and verification of timed safety requirements within SysML
I Dragomir, I Ober, C Percebois
Software & Systems Modeling 16, 587-624, 2017
262017
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
Model Driven Engineering Languages and Systems: 15th International …, 2012
202012
Certification of embedded systems based on Machine Learning: A survey
G Vidot, C Gabreau, I Ober, I Ober
arXiv preprint arXiv:2106.07221, 2021
172021
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
172006
On the concurrent object model of UML
I Ober, I Stan
Euro-Par’99 Parallel Processing: 5th International Euro-Par Conference …, 1999
171999
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
152012
Model checking of UML models via a mapping to communicating extended timed automata
S Graf, I Ober, I Ober
Proc. SPIN 4, 2004
152004
Modeling and analysis of real-time and embedded systems
S Graf, S Gérard, Ĝ Haugen, I Ober, B Selic
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International …, 2006
132006
Verification of quantitative temporal properties of SDL specifications
I Ober, A Kerbrat
International SDL Forum, 182-202, 2001
132001
The system can't perform the operation now. Try again later.
Articles 1–20