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  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
 Author(s): Lin, L. Y.; Stefanescu, A.; Wang, W. L.; et al.
 Source: Automatica Volume: 87 Pages: 290-300 Published: 2018
 Times Cited: 0
 DOI: 10.1016/j.automatica.2017.10.015
added
06-Apr-18
2.  Title: Binary Analysis based on Symbolic Execution and Reversible x86 Instructions
 Author(s): Stoenescu, T.; Stefanescu, A.; Predut, S.; et al.
 Source: Fundamenta Informaticae Volume: 153 Issue: 1-2 Pages: 105-124 Published: 2017
 Times Cited: 0
 DOI: 10.3233/fi-2017-1533
added
29-Nov-17
3.  Title: Binary Analysis based on Symbolic Execution and Reversible x86 Instructions
 Author(s): Stoenescu, T.; Stefanescu, A.; Predut, S.; et al.
 Source: Fundamenta Informaticae Volume: 153 Issue: 1-2 Pages: 105-124 Published: 2017
 Times Cited: 0
 DOI: 10.3233/fi-2017-1533
added
29-Nov-17
4.  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: 3
 DOI: 10.1109/tac.2015.2447193
added
17-Jul-16
5.  Title: RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
 Author(s): Stoenescu, T.; Stefanescu, A.; Predut, S.; et al.
 Source: Fm 2016: Formal Methods Volume: 9995 Pages: 779-785 Published: 2016
 Times Cited: 1
 DOI: 10.1007/978-3-319-48989-6_50
added
29-Nov-17
6.  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
7.  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
8.  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
9.  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: 26
 DOI: 10.1007/s10664-012-9196-x
added
14-Feb-13
10.  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: 15
 DOI: 10.1007/s10270-011-0219-7
added
07-Nov-13
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: