- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu, Miguel A. Fernández: An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empirical Software Engineering 18(1): 89-116 (2013) |
| 2012 | ||
| j1 | | Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta: Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Transactions on Robotics 28(1): 158-171 (2012) |
| c19 | | Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu: Learn and Test for Event-B - A Rodin Plugin. ABZ 2012: 361-364 |
| c18 | | Liyong Lin, Rong Su, Alin Stefanescu: Remarks on the difficulty of top-down supervisor synthesis. ICARCV 2012: 270-275 |
| c17 | | Ionut Dinca, Florentin Ipate, Alin Stefanescu: Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) 2012: 539-553 |
| 2011 | ||
| c16 | | Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) 2011: 76-90 |
| c15 | | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Towards Search-Based Testing for Event-B Models. ICST Workshops 2011: 194-197 |
| 2010 | ||
| c14 | | Sebastian Wieczorek, Alin Stefanescu: Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. ECBS 2010: 352-357 |
| c13 | | Alin Stefanescu, Sebastian Wieczorek, Marc-Florian Wendland: Using the UML Testing Profile for Enterprise Service Choreographies. EUROMICRO-SEAA 2010: 12-19 |
| c12 | | Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta: A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS 2010: 5079-5084 |
| c11 | | Sebastian Wieczorek, Alin Stefanescu, Andreas Roth: Model-Driven Service Integration Testing - A Case Study. QUATIC 2010: 292-297 |
| 2009 | ||
| c10 | | Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin: MBT4Chor: A Model-Based Testing Approach for Service Choreographies. ECMDA-FA 2009: 313-324 |
| c9 | | 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 | ||
| c8 | | Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker: Test Data Provision for ERP Systems. ICST 2008: 396-403 |
| c7 | | Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi: Precise Steps for Choreography Modeling for SOA Validation and Verification. SOSE 2008: 148-153 |
| c6 | | Stefan Leue, Alin Stefanescu, Wei Wei: Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN 2008: 176-195 |
| c5 | | 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 | ||
| b1 | | Alin Stefanescu: Automatic synthesis of distributed transition systems. University of Stuttgart 2006 |
| c4 | | Stefan Leue, Alin Stefanescu, Wei Wei: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR 2006: 79-94 |
| 2005 | ||
| c3 | | Keijo Heljanko, Alin Stefanescu: Complexity Results for Checking Distributed Implementability. ACSD 2005: 78-87 |
| 2003 | ||
| c2 | | Alin Stefanescu, Javier Esparza, Anca Muscholl: Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR 2003: 27-41 |
| 2002 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sat May 18 21:42:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page