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
2552004
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
1412006
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
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain†…, 2004
642004
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
542001
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
402008
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
392000
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
Unambiguous UML composite structures: the OMEGA2 experience
I Ober, I Dragomir
SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on†…, 2011
242011
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
232018
Contract-based modeling and verification of timed safety requirements within SysML
I Dragomir, I Ober, C Percebois
Software & Systems Modeling 16, 587-624, 2017
232017
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
Model Driven Engineering Languages and Systems: 15th International†…, 2012
182012
Modeling and validation of a software architecture for the ariane-5 launcher
I Ober, S Graf, D Lesens
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1†…, 2006
172006
On the concurrent object model of UML
I Ober, I Stan
Euro-Par 99, 1377-1384, 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
Verification of quantitative temporal properties of SDL specifications
I Ober, A Kerbrat
SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark†…, 2001
132001
Early analysis of ambient systems SysML properties using Omega2-IFX
M Ahmad, I Dragomir, JM Bruel, I Ober, N Belloir
SIMULTECH 2013, 2013
112013
Certification of embedded systems based on Machine Learning: A survey
G Vidot, C Gabreau, I Ober, I Ober
arXiv preprint arXiv:2106.07221, 2021
102021
The system can't perform the operation now. Try again later.
Articles 1–20