| 2008 |
|---|
| 7 | EE | Sebastian Wieczorek,
Alin Stefanescu,
Ina Schieferdecker:
Test Data Provision for ERP Systems.
ICST 2008: 396-403 |
| 6 | EE | Stefan Leue,
Alin Stefanescu,
Wei Wei:
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.
SPIN 2008: 176-195 |
| 5 | EE | Stefan Leue,
Alin Stefanescu,
Wei Wei:
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.
TOOLS (46) 2008: 238-257 |
| 2006 |
|---|
| 4 | EE | Stefan Leue,
Alin Stefanescu,
Wei Wei:
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.
CONCUR 2006: 79-94 |
| 2005 |
|---|
| 3 | EE | Keijo Heljanko,
Alin Stefanescu:
Complexity Results for Checking Distributed Implementability.
ACSD 2005: 78-87 |
| 2003 |
|---|
| 2 | EE | Alin Stefanescu,
Javier Esparza,
Anca Muscholl:
Synthesis of Distributed Algorithms Using Asynchronous Automata.
CONCUR 2003: 27-41 |
| 2002 |
|---|
| 1 | EE | Alin Stefanescu:
Automatic Synthesis of Distributed Systems.
ASE 2002: 315 |
