Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dragomir Iulia, Dragomir
90  Ergebnisse:
Personensuche X
?
1

Model-based design of resilient systems using quantitative ..:

Mediouni, Braham Lotfi ; Dragomir, Iulia ; Nouri, Ayoub.
Innovations in Systems and Software Engineering.  , 2023
Link: https://doi.org/10.1007/..
 
?
2

The refinement calculus of reactive systems:

Preoteasa, Viorel ; Dragomir, Iulia ; Tripakis, Stavros
Information and Computation.  285 (2022)  - p. 104819 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Model-checking of space systems designed with TASTE/SDL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Dragomir, Iulia ; Redondo, Carlos ; Jorge, Tiago... - p. 237-246 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

The Refinement Calculus of Reactive Systems Toolset:

Dragomir, Iulia ; Preoteasa, Viorel ; Tripakis, Stavros
International Journal on Software Tools for Technology Transfer.  22 (2020)  6 - p. 689-708 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Model-Based Design of Resilient Systems Using Quantitative ..:

, In: Lecture Notes in Computer Science; Verification and Evaluation of Computer and Communication Systems,
Mediouni, Braham Lotfi ; Dragomir, Iulia ; Nouri, Ayoub. - p. 149-164 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Mechanically Proving Determinacy of Hierarchical Block Diag..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Preoteasa, Viorel ; Dragomir, Iulia ; Tripakis, Stavros - p. 577-600 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Designing Systems with Detection and Reconfiguration Capabi..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,
Dragomir, Iulia ; Iosti, Simon ; Bozga, Marius. - p. 155-171 , 2018
Link: https://doi.org/10.1007/..
 
?
8

The Refinement Calculus of Reactive Systems Toolset:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Dragomir, Iulia ; Preoteasa, Viorel ; Tripakis, Stavros - p. 201-208 , 2018
Link: https://doi.org/10.1007/..
 
?
9

Contract-based modeling and verification of timed safety re..:

Dragomir, Iulia ; Ober, Iulian ; Percebois, Christian
Software & Systems Modeling.  16 (2015)  2 - p. 587-624 , 2015
Link: https://doi.org/10.1007/..
 
?
10

A Case Study in Formal System Engineering with SysML:

, In: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems,
Dragomir, Iulia ; Ober, Iulian ; Lesens, David - p. 189-198 , 2012
Link: https://doi.org/10.1109/..
 
?
11

UML/SysML semantic tunings:

Ober, Ileana ; Ober, Iulian ; Dragomir, Iulia.
Innovations in Systems and Software Engineering.  7 (2011)  4 - p. 257-264 , 2011
Link: https://doi.org/10.1007/..
 
?
12

Interpolation Method Consistency Analysis in the Creation o..:

Suba, N.-Sz. ; Bydłosz, J. ; Sturza, Amalia Ana.
Journal of Applied Engineering Sciences.  14 (2024)  1 - p. 161-166 , 2024
Link: https://doi.org/10.2478/..
 
?
13

COROB-X: DEMONSTRATION OF A COOPERATIVE ROBOT TEAM IN EXTEN..:

Vögele, Thomas ; Ocón, Jorge ; Germa, Thierry...
insu-04471397.  , 2023
Link: https://insu.hal.science..
 
?
14

COROB-X: A Cooperative robot team for the exploration of lu..:

Dettmann, Alexander ; Voegele, Thomas ; Ocón, Jorge...
insu-03751549.  , 2022
Link: https://insu.hal.science..
 
?
15

COROB-X: A Cooperative robot team for the exploration of lu..:

Dettmann, Alexander ; Voegele, Thomas ; Ocón, Jorge...
insu-03751549.  , 2022
Link: https://insu.hal.science..
 
1-15