Iulian Ober

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 15

Top Topics

Embedded Systems

Formal Verification

Artifact Centric

Top Venues

MoDELS (Companion)

ACES-MB&WUCOR@MoDELS

Publications

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