ติดตาม
Iulian Ober
Iulian Ober
Professor of software and systems engineering, ISAE-Supaero, Toulouse University, France
ยืนยันอีเมลแล้วที่ isae-supaero.fr
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
2642004
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
1462006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer, 2006
872006
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
562001
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
392000
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
342018
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
302010
Contract-based modeling and verification of timed safety requirements within SysML
I Dragomir, I Ober, C Percebois
Software & Systems Modeling 16, 587-624, 2017
292017
Unambiguous UML composite structures: the OMEGA2 experience
I Ober, I Dragomir
International Conference on Current Trends in Theory and Practice of …, 2011
282011
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
Model Driven Engineering Languages and Systems: 15th International …, 2012
202012
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
182006
On the concurrent object model of UML
I Ober, I Stan
European Conference on Parallel Processing, 1377-1384, 1999
171999
Certification of embedded systems based on Machine Learning: A survey
G Vidot, C Gabreau, I Ober, I Ober
arXiv preprint arXiv:2106.07221, 2021
162021
Model checking of UML models via a mapping to communicating extended timed automata
S Graf, I Ober, I Ober
Proc. SPIN 4, 2004
162004
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
Verification of quantitative temporal properties of SDL specifications
I Ober, A Kerbrat
International SDL Forum, 182-202, 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
122013
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20