
Iulia Dragomir
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j4]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22(6): 689-708 (2020) - [c13]Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS 2020: 149-164
2010 – 2019
- 2019
- [j3]Iulia Dragomir, Saddek Bensalem:
Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [c12]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI 2019: 577-600 - 2018
- [c11]Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) 2018: 155-171 - [c10]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
:
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) 2018: 201-208 - 2017
- [j2]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) - [c9]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE 2017: 194-209 - [i6]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The Refinement Calculus of Reactive Systems. CoRR abs/1710.03979 (2017) - [i5]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. CoRR abs/1710.08195 (2017) - 2016
- [c8]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN 2016: 38-56 - [i4]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337 (2016) - [i3]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494 (2016) - 2015
- [c7]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober:
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS 2015: 1-2 - [e2]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] - [i2]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873 (2015) - 2014
- [c6]Iulia Dragomir, Iulian Ober, Christian Percebois:
Safety Contracts for Timed Reactive Components in SysML. SOFSEM 2014: 211-222 - [e1]Florian Noyrit, Susanne Graf, Iulia Dragomir:
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014. CEUR Workshop Proceedings 1250, CEUR-WS.org 2014 [contents] - 2013
- [c5]Iulia Dragomir, Iulian Ober, Christian Percebois:
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACESMB@MoDELS 2013 - [c4]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 - 2012
- [c3]Iulia Dragomir, Iulian Ober, David Lesens:
A Case Study in Formal System Engineering with SysML. ICECCS 2012: 189-198 - 2011
- [j1]Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror:
UML/SysML semantic tunings. Innov. Syst. Softw. Eng. 7(4): 257-264 (2011) - [c2]Iulian Ober, Iulia Dragomir:
Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM 2011: 418-430 - 2010
- [c1]Iulian Ober, Iulia Dragomir:
OMEGA2: A New Version of the Profile and the Tools. ICECCS 2010: 373-378 - [i1]Iulia Dragomir, Iulian Ober:
Well-formedness and typing rules for UML Composite Structures. CoRR abs/1010.6155 (2010)
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-12-22 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint