Iulia Dragomir

Iuliu Hațieganu University of Medicine and Pharmacy — Romania

Computer Science · Physical Sciences

10h-index208citations45works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(24), Advanced Software Engineering Methodologies(15), Model-Driven Software Engineering Techniques(15), Real-Time Systems Scheduling(6), Software Reliability and Analysis Research(6)

Publications45 total

Cooperative robotic exploration of a planetary skylight surface and lava cave
Science Robotics·2025· 8 citedOpen Access
Integration of SystemC with PSpice Simulations Models
2025
Specification and model-checking of space systems in the TASTE toolset
Innovations in Systems and Software Engineering·2025· 1 citedOpen Access
Contrast enhanced endoscopic ultrasound-guided tissue acquisition versus conventional endoscopic ultrasound tissue acquisition in diagnosing solid pancreatic lesions in patients with chronic pancreatitis
Endoscopy·2025
Reliability of Endoscopic Ultrasound compared to Transjugular Measurements of Portal Pressure Gradient in Patients with Clinically Significant Portal Hypertension Undergoing TIPS – a pilot study
Endoscopy·2025
Model-based design of resilient systems using quantitative risk assessment
Innovations in Systems and Software Engineering·2023· 2 cited
Model-checking for TASTE designed space software systems: results and lessons learned
SPIRE - Sciences Po Institutional REpository·2022Open Access
Model-checking of space systems designed with TASTE/SDL
2022· 5 citedOpen Access
COROB-X: A Cooperative robot team for the exploration of lunar skylights
Zenodo (CERN European Organization for Nuclear Research)·2022· 2 citedOpen Access
Ochi de lumina
Editura Universitara eBooks·2022
Formal verification of space systems designed with TASTE
arXiv (Cornell University)·2021Open Access
The refinement calculus of reactive systems
Information and Computation·2021· 7 cited
Formal verification of space systems designed with TASTE
Open Archive Toulouse Archive Ouverte (University of Toulouse)·2021Open Access
The Refinement Calculus of Reactive Systems Toolset
International Journal on Software Tools for Technology Transfer·2020· 20 cited
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment
Lecture notes in computer science·2020
Rigorous Design of FDIR Systems with BIP
Technische Universität Berlin – Universitätsbibliothek·2019Open Access
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Lecture notes in computer science·2019· 6 citedOpen Access
The Refinement Calculus of Reactive Systems Toolset
Lecture notes in computer science·2018· 10 citedOpen Access
The ERGO Framework and its Use in Planetary/Orbital Scenarios
edoc (University of Basel)·2018· 10 cited
The Refinement Calculus of Reactive Systems Toolset - Feb 2018
Figshare·2018· 2 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Iulian Ober(18), Viorel Preoteasa(13), Stavros Tripakis(13), Marius Bozga(6), Christian Percebois(5), Maxime Perrotin(5), Saddek Bensalem(3), Carlos Redondo(3), Tiago Jorge(3), Laura M. Gouveia(3), Jorge Ocón(2), Saddek Bensalem(2), Gonzalo J. Paz-Delgado(2), Thierry Germa(2), Valérie Ciarletti(2), Braham Lotfi Mediouni(2), Ayoub Nouri(2), David Lesens(2), Elena Alaña(2), Cristina Pop(2)