On the Concurrent Object Model of UML. - Iulian Ober; Ileana Stan (Euro-Par, 1999)

Specification and execution of tests using tMsc. - Iulian Ober; Alain Kerbrat (FORTE, 1999)

SDL for Real-Time: What is Missing? - Marius Bozga; Susanne Graf; Alain Kerbrat; Laurent Mounier; Iulian Ober; Daniel Vincent (SAM, 2000)

Timed Extensions for SDL. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober; Jean-Luc Roux; Daniel Vincent (SDL Forum, 2001)

Verification of Quantitative Temporal Properties of SDL Specifications. - Iulian Ober; Alain Kerbrat (SDL Forum, 2001)

The IF Toolset. - Marius Bozga; Susanne Graf; Ileana Ober; Iulian Ober; Joseph Sifakis (SFM, 2004)

IF Validation Environment Tutorial. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober (SPIN, 2004)

Validation of UML Models via a Mapping to Communicating Extended Timed Automata. - Iulian Ober; Susanne Graf; Ileana Ober (SPIN, 2004)

Modeling and Analysis of Real-Time and Embedded Systems. - Susanne Graf; Sébastien Gérard; Øystein Haugen; Iulian Ober; Bran Selic (MoDELS (Satellite Events), 2005)

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. - Iulian Ober; Susanne Graf; David Lesens (FMOODS, 2006)

Using an UML profile for timing analysis with the IF validation tool-set. - Iulian Ober; Susanne Graf; Yuri Yushtein (MBEES, 2006)

Modelling and Analysis of Real Time and Embedded Systems - Using UML. - Susanne Graf; Sébastien Gérard; Øystein Haugen; Iulian Ober; Bran Selic (MoDELS (Workshops), 2006)

A real-time profile for UML. - Susanne Graf; Ileana Ober; Iulian Ober (Int. J. Softw. Tools Technol. Transf., 2006)

Validating timed UML models by simulation and verification. - Iulian Ober; Susanne Graf; Ileana Ober (Int. J. Softw. Tools Technol. Transf., 2006)

On the Timed Automata-Based Verification of Ravenscar Systems. - Iulian Ober; Nicolas Halbwachs (Ada-Europe, 2008)

MODELS Research Projects Symposium. - Iulian Ober (MoDELS (Workshops), 2008)

Model Based Architecting and Construction of Embedded Systems. - Iulian Ober; Stefan Van Baelen; Susanne Graf; Mamoun Filali; Thomas Weigert; Sébastien Gérard (MoDELS (Workshops), 2008)

Behavioral Modelling and Composition of Object Slices Using Event Observation. - Iulian Ober; Bernard Coulette; Younes Lakhrissi (MoDELS, 2008)

Timing analysis and validation with UML: the case of the embedded MARS bus manager. - Iulian Ober; Susanne Graf; Yuri Yushtein; Ileana Ober (Innov. Syst. Softw. Eng., 2008)

Supporting UML-based development of embedded systems by formal techniques. - Jozef Hooman; Hillel Kugler; Iulian Ober; Anjelika Votintseva; Yuri Yushtein (Softw. Syst. Model., 2008)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). - Stefan Van Baelen; Thomas Weigert; Ileana Ober; Huáscar Espinoza; Iulian Ober (MoDELS (Workshops), 2009)

OMEGA2: A New Version of the Profile and the Tools. - Iulian Ober; Iulia Dragomir (ICECCS, 2010)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). - Stefan Van Baelen; Iulian Ober; Huáscar Espinoza; Thomas Weigert; Ileana Ober; Sébastien Gérard (MoDELS (Workshops), 2010)

Well-formedness and typing rules for UML Composite Structures - Iulia Dragomir; Iulian Ober (CoRR, 2010)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). - Stefan Van Baelen; Sébastien Gérard; Ileana Ober; Thomas Weigert; Huáscar Espinoza; Iulian Ober (MoDELS (Workshops), 2011)

Unambiguous UML Composite Structures: The OMEGA2 Experience. - Iulian Ober; Iulia Dragomir (SOFSEM, 2011)

UML/SysML semantic tunings. - Ileana Ober; Iulian Ober; Iulia Dragomir; El Arbi Aboussoror (Innov. Syst. Softw. Eng., 2011)

A Case Study in Formal System Engineering with SysML. - Iulia Dragomir; Iulian Ober; David Lesens (ICECCS, 2012)

Seeing Errors: Model Driven Simulation Trace Visualization. - El Arbi Aboussoror; Ileana Ober; Iulian Ober (MoDELS, 2012)

Integrating verifiable Assume/Guarantee contracts in UML/SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (ACES-MB@MoDELS, 2013)

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. - El Arbi Aboussoror; Ileana Ober; Iulian Ober (SDL Forum, 2013)

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. - Manzoor Ahmad; Iulia Dragomir; Jean-Michel Bruel; Iulian Ober; Nicolas Belloir (SIMULTECH, 2013)

Safety Contracts for Timed Reactive Components in SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (SOFSEM, 2014)

Introduction to ACES-MB 2015. - Iulia Dragomir; Susanne Graf; Gabor Karsai; Florian Noyrit; Iulian Ober (ACES-MB&WUCOR@MoDELS, 2015)

On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns. - Ileana Ober; Iulian Ober (ICCS, 2017)

Contract-based modeling and verification of timed safety requirements within SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (Softw. Syst. Model., 2017)

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. - Ronan Baduel; Mohammad Chami; Jean-Michel Bruel; Iulian Ober (ECMFA, 2018)

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. - Iulian Ober (FMICS, 2018)

Modeling and verification method for an early validation of a train system. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (CoRR, 2019)

Modeling and verification method for an early evaluation of systems of systems interactions. - Ronan Baduel; Iulian Ober; Jean-Michel Bruel (SAC, 2020)

Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21). - Saad bin Abid; Raquel Araújo de Oliveira; Iulian Ober (MoDELS (Companion), 2021)

Certification of embedded systems based on Machine Learning: A survey. - Guillaume Vidot; Christophe Gabreau; Ileana Ober; Iulian Ober (CoRR, 2021)

Formal verification of space systems designed with TASTE. - Iulia Dragomir; Marius Bozga; Iulian Ober; D. Silveira; Tiago Jorge; E. Alaña; Maxime Perrotin (CoRR, 2021)

Applying MDE to ROS Systems: A Comparative Analysis. - Mickaël Trezzy; Ileana Ober; Iulian Ober; Raquel Araújo de Oliveira (Sci. Ann. Comput. Sci., 2021)

Formal Verification of Emergent Properties. - Kamal Boumaza; Chérif Tolba; Iulian Ober (Informatica (Slovenia), 2021)

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. - Guillaume Vidot; Mélanie Ducoffe; Christophe Gabreau; Ileana Ober; Iulian Ober (FMICS, 2022)

Model-checking of space systems designed with TASTE/SDL. - Iulia Dragomir; Carlos Redondo; Tiago Jorge; Laura Gouveia; Iulian Ober; Ivan Kolesnikov; Marius Bozga; Maxime Perrotin (MoDELS (Companion), 2022)

Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains. - Guillaume Vidot; Christophe Gabreau; Ileana Ober; Iulian Ober (J. Aerosp. Inf. Syst., 2024)

Certification of avionic software based on machine learning: the case for formal monotony analysis. - Mélanie Ducoffe; Christophe Gabreau; Ileana Ober; Iulian Ober; Guillaume Vidot (Int. J. Softw. Tools Technol. Transf., 2024)

Preface to the special issue on model-driven engineering and system analysis and modelling. - Iulian Ober; Pierre de Saqui-Sannes; Peter Herrmann; Stein Erik Ellevseth (Innov. Syst. Softw. Eng., 2024)