default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIulia Dragomir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]Braham Lotfi Mediouni
, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem:
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20(1): 3-16 (2024)- 2022
- [j5]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The refinement calculus of reactive systems. Inf. Comput. 285(Part): 104819 (2022) - [c14]Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin:
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) 2022: 237-246 - 2021
- [i7]Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin:
Formal verification of space systems designed with TASTE. CoRR abs/2111.10132 (2021) - 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. ACES-MB@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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
