| * | 2009 |
|---|
| 10 | EE | Alin Stefanescu,
Sebastian Wieczorek,
Andrei Kirshin:
MBT4Chor: A Model-Based Testing Approach for Service Choreographies.
ECMDA-FA 2009: 313-324 |
| 9 | EE | Sebastian Wieczorek,
Andreas Roth,
Alin Stefanescu,
Vitaly Kozyura,
Anis Charfi,
Frank Michael Kraft,
Ina Schieferdecker:
Viewpoints for modeling choreographies in service-oriented architectures.
WICSA/ECSA 2009: 11-20 |
| 2008 |
|---|
| 8 | EE | Sebastian Wieczorek,
Alin Stefanescu,
Ina Schieferdecker:
Test Data Provision for ERP Systems.
ICST 2008: 396-403 |
| 7 | EE | Sebastian Wieczorek,
Andreas Roth,
Alin Stefanescu,
Anis Charfi:
Precise Steps for Choreography Modeling for SOA Validation and Verification.
SOSE 2008: 148-153 |
| 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 |
