ResearcherID Thomson Reuters  

Stefanescu, Alin
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: B-8580-2012
URL: http://www.researcherid.com/rid/B-8580-2012
Subject: Computer Science; Robotics
Keywords: model-based testing; formal methods; software engineering (model-driven development, software quality); formal verification; formal specifications
ORCID: http://orcid.org/0000-0002-8418-2643
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Faculty of Mathematics and Computer Science
Role:
Past Institutions: University of Pitesti; University of Bucharest; Technical University of Munich (TUM); University of Edinburgh; Stuttgart University; University of Konstanz; SAP Research
My URLs: http://alin.stefanescu.eu
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: On Distributed and Parameterized Supervisor Synthesis Problems
 Author(s): Lin, L. Y.; Stefanescu, A.; Su, R.
 Source: Ieee Transactions on Automatic Control Volume: 61 Issue: 3 Pages: 777-782 Published: 2016
 Times Cited: 0
 DOI: 10.1109/tac.2015.2447193
added
17-Jul-16
2.  Title: Model Learning and Test Generation Using Cover Automata
 Author(s): Ipate, F.; Stefanescu, A.; Dinca, I.
 Source: Computer Journal Volume: 58 Issue: 5 Pages: 1140-1159 Published: 2015
 Times Cited: 0
 DOI: 10.1093/comjnl/bxu032
added
03-Nov-15
3.  Title: Message choreography modeling A domain-specific language for consistent enterprise service integration
 Author(s): Stefanescu, A.; Wieczorek, S.; Schur, M.
 Source: Software and Systems Modeling Volume: 13 Issue: 1 Pages: 9-33 Published: 2014
 Times Cited: 2
 DOI: 10.1007/s10270-012-0272-x
added
25-Sep-14
4.  Title: A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment
 Author(s): Chen, Y. S.; Ding, X. C.; Stefanescu, A.; et al.
 Source: Distributed Autonomous Robotic Systems Volume: 83 Pages: 313-327 Published: 2013
 Times Cited: 2
added
23-Apr-13
5.  Title: An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
 Author(s): Mohagheghi, P.; Gilani, W.; Stefanescu, A.; et al.
 Source: Empirical Software Engineering Volume: 18 Issue: 1 Pages: 89-116 Published: 2013
 Times Cited: 23
 DOI: 10.1007/s10664-012-9196-x
added
14-Feb-13
6.  Title: Where does model-driven engineering help? Experiences from three industrial cases
 Author(s): Mohagheghi, P.; Gilani, W.; Stefanescu, A.; et al.
 Source: Software and Systems Modeling Volume: 12 Issue: 3 Pages: 619-639 Published: 2013
 Times Cited: 10
 DOI: 10.1007/s10270-011-0219-7
added
07-Nov-13
7.  Title: Formal Approach to the Deployment of Distributed Robotic Teams
 Author(s): Chen, Yushan; Ding, Xu Chu; Stefanescu, Alin; et al.
 Source: Ieee Transactions on Robotics Volume: 28 Issue: 1 Pages: 158-171 Published: 2012
 Times Cited: 27
 DOI: 10.1109/tro.2011.2163434
added
17-Mar-12
8.  Title: Remarks on the Difficulty of Top-Down Supervisor Synthesis
 Author(s): Lin, L. Y.; Su, R.; Stefanescu, A.; et al.
 Source: 2012 12th International Conference on Control, Automation, Robotics & Vision Pages: 270-275 Published: 2012
 Times Cited: 1
added
07-Nov-13
9.  Title: Test Data Generation for Event-B Models Using Genetic Algorithms
 Author(s): Dinca, I.; Stefanescu, A.; Ipate, F.; et al.
 Source: Software Engineering and Computer Systems, Pt 3 Volume: 181 Pages: 76-90 Published: 2011
added
15-Jan-13
10.  Title: A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints
 Author(s): Chen, Yushan; Birch, Samuel; Stefanescu, Alin; et al.
 Source: Ieee/Rsj 2010 International Conference on Intelligent Robots and Systems Pages: 5079-5084 Published: 2010
 Times Cited: 2
added
17-Mar-12
publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: