OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Dragomir, Iulia"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.


Dragomir, Iulia and Ober, Iulian and Percebois, Christian. Contract-based modeling and verification of timed safety requirements within SysML. (2015) Software and Systems Modeling, 16 (2). 587-624. ISSN 1619-1366

Conference or Workshop Item

Muñoz Arancón, M. and Montano, G. and Wirkus, M. and Hoeflinger, K. and Silveira, D. and Tsiogkas, N. and Hugues, Jérôme and Bruyninckx, H. and Dragomir, Iulia and Muhammad, A.. ESROCOS: a robotic operating system for space and terrestrial applications. (2017) In: 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), 20 June 2017 - 21 June 2017 (Scheltema, Netherlands).

Dragomir, Iulia and Ober, Iulian and Percebois, Christian. Safety contracts for timed reactive components. (2014) In: International Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM 2014, 25 January 2014 - 30 January 2014 (Nový Smokovec, Slovakia).

Dragomir, Iulia and Ober, Iulian and Lesens, David. A Case Study in Formal System Engineering with SysML. (2013) In: IEEE International Conference on Engineering Complex Computer Systems - ICECCS 2012, 18 July 2012 - 20 July 2012 (Paris, France).

Ahmad, Manzoor and Dragomir, Iulia and Bruel, Jean-Michel and Ober, Iulian and Belloir, Nicolas. Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. (2013) In: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 29 July 2013 - 31 July 2013 (Reykjavik, Iceland).

Dragomir, Iulia and Ober, Iulian and Percebois, Christian. Integrating verifiable Assume/Guarantee contracts in UML/SysML. (2013) In: International Workshop on Model Based Architecting and Construction of Embedded Systems - ACESMB 2013, 29 September 2013 - 29 September 2013 (Miami, United States).

This list was generated on Tue Jul 7 15:27:17 2020 CEST.