Skip to content

Iulian Ober

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

9

Active years

1999–2022

Best venue rank

A

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2022FMICSFormal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.Guillaume Vidot, Mlanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober
2022MODELSModel-checking of space systems designed with TASTE/SDL.Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2021MODELSSummary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21).Saad bin Abid, Raquel Arajo de Oliveira, Iulian Ober
2020SACModeling and verification method for an early evaluation of systems of systems interactions.Ronan Baduel, Iulian Ober, Jean-Michel Bruel
2018FMICSRevisiting Bounded Reachability Analysis of Timed Automata Based on MILP.Iulian Ober
2017ICCSOn Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns.Ileana Ober, Iulian Ober
2015MODELSIntroduction to ACES-MB 2015.Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
2014SOFSEMSafety Contracts for Timed Reactive Components in SysML.Iulia Dragomir, Iulian Ober, Christian Percebois
2013MODELSIntegrating verifiable Assume/Guarantee contracts in UML/SysML.Iulia Dragomir, Iulian Ober, Christian Percebois
2013SIMULTECHEarly Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
2012ICECCSA Case Study in Formal System Engineering with SysML.Iulia Dragomir, Iulian Ober, David Lesens
2012MODELSSeeing Errors: Model Driven Simulation Trace Visualization.El Arbi Aboussoror, Ileana Ober, Iulian Ober
2011MODELSModel Based Architecting and Construction of Embedded Systems (ACES-MB 2011).Stefan Van Baelen, Sbastien Grard, Ileana Ober, Thomas Weigert, Huscar Espinoza, Iulian Ober
2011SOFSEMUnambiguous UML Composite Structures: The OMEGA2 Experience.Iulian Ober, Iulia Dragomir
2010ICECCSOMEGA2: A New Version of the Profile and the Tools.Iulian Ober, Iulia Dragomir
2010MODELSModel Based Architecting and Construction of Embedded Systems (ACES-MB 2010).Stefan Van Baelen, Iulian Ober, Huscar Espinoza, Thomas Weigert, Ileana Ober, Sbastien Grard
2009MODELSModel Based Architecting and Construction of Embedded Systems (ACES-MB 2009).Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huscar Espinoza, Iulian Ober
2008MODELSMODELS Research Projects Symposium.Iulian Ober
2008MODELSModel Based Architecting and Construction of Embedded Systems.Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sbastien Grard
2008MODELSBehavioral Modelling and Composition of Object Slices Using Event Observation.Iulian Ober, Bernard Coulette, Younes Lakhrissi
2006MODELSModelling and Analysis of Real Time and Embedded Systems - Using UML.Susanne Graf, Sbastien Grard, ystein Haugen, Iulian Ober, Bran Selic
1999EuroParOn the Concurrent Object Model of UML.Iulian Ober, Ileana Stan
1999FORTESpecification and execution of tests using tMsc.Iulian Ober, Alain Kerbrat