Search the dblp DataBase

Publications of Author

1. Keijo Heljanko, Alin Stefanescu
   Complexity Results for Checking Distributed Implementability. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:78-87 [Conf]
   
2. Stefan Leue, Alin Stefanescu, Wei Wei
   A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:79-94 [Conf]
   
3. Alin Stefanescu, Javier Esparza, Anca Muscholl
   Synthesis of Distributed Algorithms Using Asynchronous Automata. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2003, pp:27-41 [Conf]
   
4. Alin Stefanescu
   Automatic Synthesis of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   ASE, 2002, pp:315- [Conf]
   
5. 
   Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. [Citation Graph (, )][DBLP]
   
   
6. 
   MBT4Chor: A Model-Based Testing Approach for Service Choreographies. [Citation Graph (, )][DBLP]
   
   
7. 
   Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. [Citation Graph (, )][DBLP]
   
   
8. 
   Viewpoints for modeling choreographies in service-oriented architectures. [Citation Graph (, )][DBLP]
   
   
9. 
   Precise Steps for Choreography Modeling for SOA Validation and Verification. [Citation Graph (, )][DBLP]
   
   
10. 
    An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. [Citation Graph (, )][DBLP]
    
    
11. 
    Test Data Provision for ERP Systems. [Citation Graph (, )][DBLP]