Alin Stefanescu
Alin Stefanescu
Professor of Computer Science, University of Bucharest, Romania
Verified email at fmi.unibuc.ro - Homepage
TitleCited byYear
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
P Mohagheghi, W Gilani, A Stefanescu, MA Fernandez
Empirical Software Engineering 18 (1), 89-116, 2013
1032013
Formal approach to the deployment of distributed robotic teams
Y Chen, XC Ding, A Stefanescu, C Belta
IEEE Transactions on Robotics 28 (1), 158-171, 2011
1012011
Where does model-driven engineering help? Experiences from three industrial cases
P Mohagheghi, W Gilani, A Stefanescu, MA Fernandez, B Nordmoen, ...
Software & Systems Modeling 12 (3), 619-639, 2013
642013
Synthesis of distributed algorithms using asynchronous automata
A Ştefănescu, J Esparza, A Muscholl
International Conference on Concurrency Theory, 27-41, 2003
532003
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
European Conference on Model Driven Architecture-Foundations and …, 2009
312009
Automatic synthesis of distributed transition systems
A Stefanescu
262006
A formal approach to deployment of robotic teams in an urban-like environment
Y Chen, XC Ding, A Stefanescu, C Belta
Distributed Autonomous Robotic Systems, 313-327, 2013
252013
Test data provision for ERP systems
S Wieczorek, A Stefanescu, I Schieferdecker
2008 1st International Conference on Software Testing, Verification, and …, 2008
242008
Improving testing of enterprise systems by model-based testing on graphical user interfaces
S Wieczorek, A Stefanescu
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
232010
Precise steps for choreography modeling for SOA validation and verification
S Wieczorek, A Roth, A Stefanescu, A Charfi
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
232008
Viewpoints for modeling choreographies in service-oriented architectures
S Wieczorek, A Roth, A Stefanescu, V Kozyura, A Charfi, FM Kraft, ...
2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009
172009
Learn and test for Event-B–a Rodin plugin
I Dinca, F Ipate, L Mierla, A Stefanescu
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
162012
Using the UML testing profile for enterprise service choreographies
A Stefanescu, MF Wendland, S Wieczorek
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
162010
A livelock freedom analysis for infinite state asynchronous reactive systems
S Leue, A Ştefănescu, W Wei
International Conference on Concurrency Theory, 79-94, 2006
162006
Enhancing test driven development with model based testing and performance analysis
S Wieczorek, A Stefanescu, M Fritzsche, J Schnitter
Testing: Academic & Industrial Conference-Practice and Research Techniques …, 2008
152008
Dependency analysis for control flow cycles in reactive communicating processes
S Leue, A Ştefănescu, W Wei
International SPIN Workshop on Model Checking of Software, 176-195, 2008
142008
Model-driven service integration testing-a case study
S Wieczorek, A Stefanescu, A Roth
2010 Seventh International Conference on the Quality of Information and …, 2010
122010
On distributed and parameterized supervisor synthesis problems
L Lin, A Stefanescu, R Su
IEEE Transactions on Automatic Control 61 (3), 777-782, 2015
102015
An AsmL semantics for dynamic structures and run time schedulability in UML-RT
S Leue, A Ştefănescu, W Wei
International Conference on Objects, Components, Models and Patterns, 238-257, 2008
102008
Towards decentralized synthesis: Decomposable sublanguage and joint observability problems
L Lin, A Stefanescu, R Su, W Wang, AR Shehabinia
2014 American Control Conference, 2047-2052, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20