Concepedia

Eduard Paul Enoiu

EP

2

Publications

50

Citations

2

H-Index

2012

Active since

Affiliations

Mälardalen University(Current)

Eduard Paul Enoiu is an author at Mälardalen University specializing in formal verification, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationModeling And SimulationSoftware DesignComputer ScienceEmbedded SystemsProgram AnalysisSignal Integrity

Publications per year

2012–2013

2

Publications

2

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

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–2 of 2