Publications de
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
UML/SysML semantic tunings
Dans : Innovations in Systems and Software Engineering, Springer – ISSE NASA, Vol. 7 N. 4, p. 257-264, novembre 2011.
Accès : https://hal.archives-ouvertes.fr/hal-02943101 – https://doi.org/10.1007/s11334-011-0163-2
BibTeXEric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski, Iulian Ober
Modèles système, modèles logiciel et modèles de code dans les applications spatiales
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, p. 9-15, juin 2011.
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety contracts for timed reactive components (regular paper)
Dans : International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2014), Nový Smokovec, Slovakia, 25/01/14-30/01/14, Vol. 8327, Springer, LNCS, p. 211-222, janvier 2014.
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety contracts for timed reactive components (regular paper)
Dans : Journées nationales du GDR CNRS Programmation et Logiciel, Nancy, 03/04/13-05/04/13, Laurence Duchien (Eds.), Université de Lorraine, p. 37-46, avril 2013.
Accès : http://hal.inria.fr/docs/00/82/05/53/PDF/20130322_actes-gdr-gpl.pdf
BibTeXManzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx (regular paper)
Dans : International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, 29/07/13-31/07/13, SciTePress, p. 147-154, septembre 2013.
Accès : http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004483101470154 – https://oatao.univ-toulouse.fr/12709/
BibTeXIulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML (regular paper)
Dans : International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2013), Miami, USA, 29/09/13-29/09/13, Vol. 1084, CEUR-WS : Workshop proceedings, (en ligne), septembre 2013.
Résumé Accès : http://ceur-ws.org/Vol-1084/paper8.pdf – https://oatao.univ-toulouse.fr/12666/
BibTeXIulia Dragomir, Iulian Ober, David Lesens
A Case Study in Formal System Engineering with SysML (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2012), Paris, 18/07/12-20/07/12, IEEE : Institute of Electrical and Electronics Engineers, p. 189-198, 2013.
Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, Piotr Nienaltowski, Iulian Ober
Formal Model Driven Engineering for Space Onboard Software (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, Society of Automobile Engineers (SAE), (support électronique), janvier 2012.
Unambiguous UML composite structures: the OMEGA2 experience (regular paper)
Dans : International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Nový Smokovec (Slovakia), 22/01/11-28/01/11, Královi& Královi&, Rastislav 269; (Eds.), Springer, LNCS, p. 1-12, janvier 2011.
Accès : https://hal.archives-ouvertes.fr/hal-02943115 – https://doi.org/10.1007/978-3-642-18381-2_35
BibTeXSystem to software level model refinement in embedded system design (short paper)
Dans : International Master Class on Model-Driven Engineering, 1st International Master Class on Model-Driven Engineering, 30/09/10-02/10/10, Ileana OBER (Eds.), IRIT, IRIT/RR-2010-20-FR, p. 19-20, septembre 2010.
OMEGA2: A new version of the profile and the tools (regular paper)
Dans : UML&AADL’2009 – 14th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, Royaume Uni, 24/03/10-25/03/10, IEEE : Institute of Electrical and Electronics Engineers, p. 373-378, 2010.
Accès : https://hal.archives-ouvertes.fr/hal-02943118 – https://doi.org/10.1109/ICECCS.2010.41
BibTeX
Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML
Thèse de doctorat, Université Paul Sabatier, décembre 2014.