Lăcrămioara Aştefănoaei

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Centrum Wiskunde & Informatica(Current)

Graz University of Technology

Lăcrămioara Aştefănoaei is an author at Centrum Wiskunde & Informatica specializing in formal methods, systems engineering, and design for testability.

Publications per year

2008–2011

Publications

Connectors as designs: Modeling, refinement and test case generation

Farhad Arbab, Bernhard K. Aichernig, Lăcrămioara Aştefănoaei et al. · Science of Computer Programming · 2011 · 27 citations

Engineering, Computer Engineering, Systems Engineering +8

Fault-Based Test Case Generation for Component Connectors

Bernhard K. Aichernig, Farhad Arbab, Lăcrămioara Aştefănoaei et al. · 2009 · 21 citations · Full text

Engineering, Computer Engineering, Systems Engineering +17

On the Semantics and Verification of Normative Multi-Agent Systems

Lăcrămioara Aştefănoaei, Mehdi Dastani, John‐Jules Ch. Meyer et al. · Data Archiving and Networked Services (DANS) · 2009 · 20 citations · Full text

Computing, Computer Science, Systems Engineering +14

Model-checking agent refinement

Lăcrămioara Aştefănoaei, Frank S. de Boer · Adaptive Agents and Multi-Agents Systems · 2008 · 11 citations

Computing, Computer Science, Formal Methods +15

1–4 of 4