Concepedia
Statistics
Publications
8
Citations
262
H-Index
Active since
2002
Affiliations
Université Toulouse III - Paul Sabatier(Current)
Institut Polytechnique de Bordeaux
Université Toulouse-I-Capitole
Université Toulouse - Jean Jaurès
Institut de Recherche en Informatique de Toulouse
Iulian Ober is an author at Université Toulouse III - Paul Sabatier specializing in computer science, model checking, and computing.
Publications per year
2002–2021
Validating timed UML models by simulation and verification
Iulian Ober, Susanne Graf, Ileana Ober · International Journal on Software Tools for Technology Transfer · 2005 · 104 citations
Engineering, Computer Science, Model-based Systems Engineering +11
A real-time profile for UML
Susanne Graf, Ileana Ober, Iulian Ober · International Journal on Software Tools for Technology Transfer · 2006 · 48 citations
Computing, Computer Engineering, Computer Science +8
Supporting UML-based development of embedded systems by formal techniques
Jozef Hooman, Hillel Kugler, Iulian Ober et al. · Software & Systems Modeling · 2007 · 28 citations · Full text
Engineering, Computer Science, Systems Engineering +17
Model checking of UML models via a mapping to communicating extended timed automata
Iulian Ober, Susanne Graf, Ileana Ober · FEMS Microbiology Letters · 2003 · 20 citations
Computing, Computer Science, Formal Methods +16
Contract-based modeling and verification of timed safety requirements within SysML
Iulia Dragomir, Iulian Ober, Christian Percebois · Software & Systems Modeling · 2015 · 19 citations · Full text
Engineering, Computer Science, Systems Engineering +14
1–5 of 8