default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIulian Ober
Person information
- affiliation: University of Toulouse / IRIT, France
- affiliation (former): IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Iulian Ober, Pierre de Saqui-Sannes, Peter Herrmann, Stein Erik Ellevseth:
Preface to the special issue on model-driven engineering and system analysis and modelling. Innov. Syst. Softw. Eng. 20(4): 509 (2024)- [j10]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): 367-379 (2024) - [j9]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): 189-205 (2024) - 2022
- [c35]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: 15-31 - [c34]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: 237-246 - 2021
- [j8]Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Araújo de Oliveira:
Applying MDE to ROS Systems: A Comparative Analysis. Sci. Ann. Comput. Sci. 31(1): 111-144 (2021) - [j7]Kamal Boumaza, Chérif Tolba, Iulian Ober:
Formal Verification of Emergent Properties. Informatica (Slovenia) 45(3) (2021) - [c33]Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober:
Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21). MoDELS (Companion) 2021: 242-243 - [i4]Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober:
Certification of embedded systems based on Machine Learning: A survey. CoRR abs/2106.07221 (2021) - [i3]Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin:
Formal verification of space systems designed with TASTE. CoRR abs/2111.10132 (2021) - 2020
- [c32]Ronan Baduel, Iulian Ober, Jean-Michel Bruel:
Modeling and verification method for an early evaluation of systems of systems interactions. SAC 2020: 1798-1805
2010 – 2019
- 2019
- [i2]Ronan Baduel, Iulian Ober, Jean-Michel Bruel:
Modeling and verification method for an early validation of a train system. CoRR abs/1909.01766 (2019) - 2018
- [c31]Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober:
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. ECMFA 2018: 132-146 - [c30]Iulian Ober:
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. FMICS 2018: 269-283 - [e5]Manuel Mazzara, Iulian Ober, Gwen Salaün:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11176, Springer 2018, ISBN 978-3-030-04770-2 [contents] - 2017
- [j6]Iulia Dragomir, Iulian Ober, Christian Percebois:
Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. 16(2): 587-624 (2017) - [c29]Ileana Ober, Iulian Ober:
On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns. ICCS 2017: 2298-2302 - 2015
- [c28]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober:
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS 2015: 1-2 - [e4]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar:
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. CEUR Workshop Proceedings 1508, CEUR-WS.org 2015 [contents] - 2014
- [c27]Iulia Dragomir, Iulian Ober, Christian Percebois:
Safety Contracts for Timed Reactive Components in SysML. SOFSEM 2014: 211-222 - 2013
- [c26]Iulia Dragomir, Iulian Ober, Christian Percebois:
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS 2013 - [c25]El Arbi Aboussoror, Ileana Ober, Iulian Ober:
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. SDL Forum 2013: 107-123 - [c24]Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir:
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. SIMULTECH 2013: 147-154 - [e3]Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai:
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. CEUR Workshop Proceedings 1084, CEUR-WS.org 2013 [contents] - 2012
- [c23]Iulia Dragomir, Iulian Ober, David Lesens:
A Case Study in Formal System Engineering with SysML. ICECCS 2012: 189-198 - [c22]El Arbi Aboussoror, Ileana Ober, Iulian Ober:
Seeing Errors: Model Driven Simulation Trace Visualization. MoDELS 2012: 480-496 - [e2]Iulian Ober:
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1800-6 [contents] - [e1]Iulian Ober, Ileana Ober:
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083, Springer 2012, ISBN 978-3-642-25263-1 [contents] - 2011
- [j5]Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror:
UML/SysML semantic tunings. Innov. Syst. Softw. Eng. 7(4): 257-264 (2011) - [c21]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: 257-261 - [c20]Iulian Ober, Iulia Dragomir:
Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM 2011: 418-430 - 2010
- [c19]Iulian Ober, Iulia Dragomir:
OMEGA2: A New Version of the Profile and the Tools. ICECCS 2010: 373-378 - [c18]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: 70-74 - [i1]Iulia Dragomir, Iulian Ober:
Well-formedness and typing rules for UML Composite Structures. CoRR abs/1010.6155 (2010)
2000 – 2009
- 2009
- [c17]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: 63-67 - 2008
- [j4]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): 301-308 (2008) - [j3]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): 131-155 (2008) - [c16]Iulian Ober, Nicolas Halbwachs:
On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43 - [c15]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: 1-4 - [c14]Iulian Ober, Bernard Coulette, Younes Lakhrissi:
Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233 - [c13]Iulian Ober:
MODELS Research Projects Symposium. MoDELS (Workshops) 2008: 400-401 - 2006
- [j2]Susanne Graf, Ileana Ober, Iulian Ober:
A real-time profile for UML. Int. J. Softw. Tools Technol. Transf. 8(2): 113-127 (2006) - [j1]Iulian Ober, Susanne Graf, Ileana Ober:
Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transf. 8(2): 128-145 (2006) - [c12]Iulian Ober, Susanne Graf, David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62 - [c11]Iulian Ober, Susanne Graf, Yuri Yushtein:
Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84 - [c10]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: 126-130 - 2005
- [c9]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: 58-66 - 2004
- [c8]Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. SFM 2004: 237-267 - [c7]Iulian Ober, Susanne Graf, Ileana Ober:
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN 2004: 127-145 - [c6]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober:
IF Validation Environment Tutorial. SPIN 2004: 306-307 - 2001
- [c5]Iulian Ober, Alain Kerbrat:
Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202 - [c4]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent:
Timed Extensions for SDL. SDL Forum 2001: 223-240 - 2000
- [c3]Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent:
SDL for Real-Time: What is Missing? SAM 2000: 108-
1990 – 1999
- 1999
- [c2]Iulian Ober, Ileana Stan:
On the Concurrent Object Model of UML. Euro-Par 1999: 1377-1384 - [c1]Iulian Ober, Alain Kerbrat:
Specification and execution of tests using tMsc. FORTE 1999: 453-468
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-03 23:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
