Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alin Stefanescu
2010 – today
- 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
2000 – 2009
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-11 18:41 CEST by the dblp team