Iulian Ober
Iulian Ober
Associate Professor of Computer Science, Toulouse University, France
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irit.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems, 237-267, 2004
2472004
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
1362006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer, 2006
812006
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
612004
Timed extensions for SDL
M Bozga, S Graf, L Mounier, I Ober, JL Roux, D Vincent
International SDL Forum, 223-240, 2001
532001
Timed annotations in UML
S Graf, I Ober, I Ober
Workshop on Specification and Validation of UML models for Real Time and …, 2003
452003
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
Supporting UML-based development of embedded systems by formal techniques
J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein
Software & Systems Modeling 7 (2), 131-155, 2008
392008
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
Unambiguous UML composite structures: the OMEGA2 experience
I Ober, I Dragomir
International Conference on Current Trends in Theory and Practice of …, 2011
252011
Contract-based modeling and verification of timed safety requirements within SysML
I Dragomir, I Ober, C Percebois
Software & Systems Modeling 16 (2), 587-624, 2017
202017
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
International Conference on Model Driven Engineering Languages and Systems …, 2012
172012
On the concurrent object model of UML
I Ober, I Stan
European Conference on Parallel Processing, 1377-1384, 1999
171999
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
162006
Model checking of UML models via a mapping to communicating extended timed automata
S Graf, I Ober, I Ober
Proceedings of SPIN 4, 2004
152004
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
132012
Verification of quantitative temporal properties of SDL specifications
I Ober, A Kerbrat
International SDL Forum, 182-202, 2001
132001
SysML models verification and validation in an industrial context: Challenges and experimentation
R Baduel, M Chami, JM Bruel, I Ober
European Conference on Modelling Foundations and Applications, 132-146, 2018
122018
UML/SysML semantic tunings
I Ober, I Ober, I Dragomir, EA Aboussoror
Innovations in Systems and Software Engineering 7 (4), 257-264, 2011
102011
Modeling and analysis of real-time and embedded systems
S Graf, S Gérard, Ø Haugen, I Ober, B Selic
International Conference on Model Driven Engineering Languages and Systems …, 2005
102005
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20