Concepedia

Raluca Marinescu

RM

6

Publications

133

Citations

6

H-Index

2009

Active since

Affiliations

Mälardalen University(Current)

Raluca Marinescu is an author at Mälardalen University specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceSystems EngineeringComputer EngineeringSoftware DesignEmbedded SystemsProgram Analysis

Publications per year

2009–2018

6

Publications

6

A methodology for formal analysis and verification of EAST-ADL models

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu et al. · Reliability Engineering & System Safety · 2013 · 34 citations · Full text

Formal Specification, Engineering, Formal Modeling +8

A Model-Based Testing Framework for Automotive Embedded Systems

Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni et al. · 2014 · 28 citations

Engineering, Verification, Software Engineering +22

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT

Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu et al. · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2012 · 24 citations · Full text

Formal verification of an autonomous wheel loader by model checking

Rong Gu, Raluca Marinescu, Cristina Seceleanu et al. · 2018 · 16 citations

Engineering, Verification, Computer-aided Verification +24

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT

Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu et al. · 2012 · 16 citations

Verification Tool, Engineering, Hardware Verification Language +24

Rows per page

1–5 of 6