Iulian Ober

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1198	181
indeks-h	16	7
indeks-i10	24	4

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420253 15 21 26 41 58 90 70 88 63 69 67 58 84 48 53 27 30 36 38 37 40 36 37 27 4

Akses publik

Lihat semua

1 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Susanne GrafResearch Director, CNRS, Grenoble University, VerimagEmail yang diverifikasi di imag.fr
Ileana OberUniversity of ToulouseEmail yang diverifikasi di irit.Fr
Iulia DragomirGMV Aerospace and DefenceEmail yang diverifikasi di gmv.com
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleEmail yang diverifikasi di imag.fr
Laurent MounierVERIMAG University of Grenoble AlpesEmail yang diverifikasi di univ-grenoble-alpes.fr
Joseph SifakisReseracher at Verimag laboratory, GrenobleEmail yang diverifikasi di imag.fr
Jean-Michel BruelProfessor of Computer Science, Toulouse University, FranceEmail yang diverifikasi di irit.fr
Sebastien GerardCEA ListEmail yang diverifikasi di cea.fr
Bran SelicMalina Software Corp.Email yang diverifikasi di acm.org
Hillel KuglerBar-Ilan UniversityEmail yang diverifikasi di biu.ac.il
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenEmail yang diverifikasi di cs.ru.nl
Bernard CouletteProfessor of Computer Science, Toulouse UniversityEmail yang diverifikasi di univ-tlse2.fr
Stefan Van BaelenFunded Project Manager, IMECEmail yang diverifikasi di imec.be
Mohammad ChamiCEO & MBSE Consultant at SysDICE GmbHEmail yang diverifikasi di sysdice.com
Huascar EspinozaChips JUEmail yang diverifikasi di chips-ju.europa.eu
Gabor KarsaiVanderbilt UniversityEmail yang diverifikasi di vanderbilt.edu
Belloir NicolasAssociate professor, Military Academy of St Cyr - Coëtquidan , France. IRISA labs. CREC St-CyrEmail yang diverifikasi di irisa.fr
Nicolas HalbwachsCNRS / VerimagEmail yang diverifikasi di imag.fr

Ikuti

Iulian Ober

Professor of software and systems engineering, ISAE-Supaero, Toulouse University, France

Email yang diverifikasi di isae-supaero.fr

software and system engineering formal modeling simulation verification


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004	264	2004
Validating timed UML models by simulation and verification I Ober, S Graf, I Ober International Journal on Software Tools for Technology Transfer 8 (2), 128-145, 2006	146	2006
A real-time profile for UML S Graf, I Ober, I Ober International Journal on Software Tools for Technology Transfer, 2006	87	2006
Validation of UML models via a mapping to communicating extended timed automata I Ober, S Graf, I Ober International SPIN Workshop on Model Checking of Software, 127-145, 2004	66	2004
Timed extensions for SDL M Bozga, S Graf, L Mounier, I Ober, JL Roux, D Vincent SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001	57	2001
Timed annotations in UML S Graf, I Ober, I Ober Workshop on Specification and Validation of UML models for Real Time and …, 2003	45	2003
Supporting UML-based development of embedded systems by formal techniques J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein Software & Systems Modeling 7, 131-155, 2008	42	2008
SDL for Real-Time: What is missing? M Bozga, S Graf, L Mounier, A Kerbrat, I Ober, D Vincent 2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, 108-122, 2000	40	2000
SysML models verification and validation in an industrial context: Challenges and experimentation R Baduel, M Chami, JM Bruel, I Ober Modelling Foundations and Applications: 14th European Conference, ECMFA 2018 …, 2018	34	2018
OMEGA2: A new version of the profile and the tools I Ober, I Dragomir 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010	30	2010
Contract-based modeling and verification of timed safety requirements within SysML I Dragomir, I Ober, C Percebois Software & Systems Modeling 16, 587-624, 2017	29	2017
Unambiguous UML composite structures: the OMEGA2 experience I Ober, I Dragomir International Conference on Current Trends in Theory and Practice of …, 2011	28	2011
Seeing errors: model driven simulation trace visualization EA Aboussoror, I Ober, I Ober Model Driven Engineering Languages and Systems: 15th International …, 2012	20	2012
Modeling and validation of a software architecture for the ariane-5 launcher I Ober, S Graf, D Lesens International Conference on Formal Methods for Open Object-Based Distributed …, 2006	18	2006
On the concurrent object model of UML I Ober, I Stan European Conference on Parallel Processing, 1377-1384, 1999	17	1999
Certification of embedded systems based on Machine Learning: A survey G Vidot, C Gabreau, I Ober, I Ober arXiv preprint arXiv:2106.07221, 2021	16	2021
Model checking of UML models via a mapping to communicating extended timed automata S Graf, I Ober, I Ober Proc. SPIN 4, 2004	16	2004
A case study in formal system engineering with SysML I Dragomir, I Ober, D Lesens 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012	15	2012
Verification of quantitative temporal properties of SDL specifications I Ober, A Kerbrat International SDL Forum, 182-202, 2001	13	2001
Early analysis of ambient systems sysml properties using omega2-ifx M Ahmad, I Dragomir, JM Bruel, I Ober, N Belloir SIMULTECH 2013, 2013	12	2013

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama