Iulian Ober

56 papers A 2B 5C 4Misc 3Journal 16Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Specification and model-checking of space systems in the TASTE toolset.
Innov. Syst. Softw. Eng.
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin
2024 J jnl
Certification of avionic software based on machine learning: the case for formal monotony analysis.
Int. J. Softw. Tools Technol. Transf.
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot
2024 J jnl
Preface to the special issue on model-driven engineering and system analysis and modelling.
Innov. Syst. Softw. Eng.
Iulian Ober, Pierre de Saqui-Sannes, Peter Herrmann, Stein Erik Ellevseth
2024 J jnl
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains.
J. Aerosp. Inf. Syst.
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
2022 C conf
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.
FMICS
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober
2022 — conf
Model-checking of space systems designed with TASTE/SDL.
MoDELS (Companion)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2021 J jnl
Applying MDE to ROS Systems: A Comparative Analysis.
Sci. Ann. Comput. Sci.
Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Araújo de Oliveira
2021 J jnl
Certification of embedded systems based on Machine Learning: A survey.
CoRR
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
2021 J jnl
Formal Verification of Emergent Properties.
Informatica (Slovenia)
Kamal Boumaza, Chérif Tolba, Iulian Ober
2021 J jnl
Formal verification of space systems designed with TASTE.
CoRR
Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin
2021 — conf
Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21).
MoDELS (Companion)
Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober
2020 Misc conf
Modeling and verification method for an early evaluation of systems of systems interactions.
SAC
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
2019 J jnl
Modeling and verification method for an early validation of a train system.
CoRR
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
2018 C conf
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP.
FMICS
Iulian Ober
2018 — ed.
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
STAF Workshops
Manuel Mazzara, Iulian Ober, Gwen Salaün
2018 B conf
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.
ECMFA
Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober
2017 J jnl
Contract-based modeling and verification of timed safety requirements within SysML.
Softw. Syst. Model.
Iulia Dragomir, Iulian Ober, Christian Percebois
2017 Misc conf
On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns.
ICCS
Ileana Ober, Iulian Ober
2015 — conf
Introduction to ACES-MB 2015.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
2015 — ed.
Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
2014 B conf
Safety Contracts for Timed Reactive Components in SysML.
SOFSEM
Iulia Dragomir, Iulian Ober, Christian Percebois
2013 C conf
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.
SIMULTECH
Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
2013 — conf
Integrating verifiable Assume/Guarantee contracts in UML/SysML.
ACES-MB@MoDELS
Iulia Dragomir, Iulian Ober, Christian Percebois
2013 — ed.
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013.
ACES-MB@MoDELS
Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai
2013 — conf
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback.
SDL Forum
El Arbi Aboussoror, Ileana Ober, Iulian Ober
2012 B conf
A Case Study in Formal System Engineering with SysML.
ICECCS
Iulia Dragomir, Iulian Ober, David Lesens
2012 — ed.
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012
ACES-MB@MoDELS
Iulian Ober
2012 — ed.
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL Forum
Iulian Ober, Ileana Ober
2012 A conf
Seeing Errors: Model Driven Simulation Trace Visualization.
MoDELS
El Arbi Aboussoror, Ileana Ober, Iulian Ober
2011 — conf
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).
MoDELS (Workshops)
Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huáscar Espinoza, Iulian Ober
2011 J jnl
UML/SysML semantic tunings.
Innov. Syst. Softw. Eng.
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
2011 B conf
Unambiguous UML Composite Structures: The OMEGA2 Experience.
SOFSEM
Iulian Ober, Iulia Dragomir
2010 — conf
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).
MoDELS (Workshops)
Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
2010 B conf
OMEGA2: A New Version of the Profile and the Tools.
ICECCS
Iulian Ober, Iulia Dragomir
2010 J jnl
Well-formedness and typing rules for UML Composite Structures
CoRR
Iulia Dragomir, Iulian Ober
2009 — conf
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).
MoDELS (Workshops)
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober
2008 A conf
Behavioral Modelling and Composition of Object Slices Using Event Observation.
MoDELS
Iulian Ober, Bernard Coulette, Younes Lakhrissi
2008 — conf
MODELS Research Projects Symposium.
MoDELS (Workshops)
Iulian Ober
2008 — conf
Model Based Architecting and Construction of Embedded Systems.
MoDELS (Workshops)
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
2008 Misc conf
On the Timed Automata-Based Verification of Ravenscar Systems.
Ada-Europe
Iulian Ober, Nicolas Halbwachs
2008 J jnl
Supporting UML-based development of embedded systems by formal techniques.
Softw. Syst. Model.
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein
2008 J jnl
Timing analysis and validation with UML: the case of the embedded MARS bus manager.
Innov. Syst. Softw. Eng.
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
2006 J jnl
A real-time profile for UML.
Int. J. Softw. Tools Technol. Transf.
Susanne Graf, Ileana Ober, Iulian Ober
2006 — conf
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
FMOODS
Iulian Ober, Susanne Graf, David Lesens
2006 — conf
Modelling and Analysis of Real Time and Embedded Systems - Using UML.
MoDELS (Workshops)
Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
2006 — conf
Using an UML profile for timing analysis with the IF validation tool-set.
MBEES
Iulian Ober, Susanne Graf, Yuri Yushtein
2006 J jnl
Validating timed UML models by simulation and verification.
Int. J. Softw. Tools Technol. Transf.
Iulian Ober, Susanne Graf, Ileana Ober
2005 — conf
Modeling and Analysis of Real-Time and Embedded Systems.
MoDELS (Satellite Events)
Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
2004 — conf
IF Validation Environment Tutorial.
SPIN
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
2004 — conf
The IF Toolset.
SFM
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
2004 — conf
Validation of UML Models via a Mapping to Communicating Extended Timed Automata.
SPIN
Iulian Ober, Susanne Graf, Ileana Ober
2001 — conf
Timed Extensions for SDL.
SDL Forum
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
2001 — conf
Verification of Quantitative Temporal Properties of SDL Specifications.
SDL Forum
Iulian Ober, Alain Kerbrat
2000 — conf
SDL for Real-Time: What is Missing?
SAM
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
1999 — conf
On the Concurrent Object Model of UML.
Euro-Par
Iulian Ober, Ileana Stan
1999 C conf
Specification and execution of tests using tMsc.
FORTE
Iulian Ober, Alain Kerbrat