Követés
Alin Stefanescu
Alin Stefanescu
Professor of Computer Science, University of Bucharest, Romania
E-mail megerősítve itt: fmi.unibuc.ro - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1512013
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
1482011
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, 619-639, 2013
982013
Synthesis of distributed algorithms using asynchronous automata
A Ştefănescu, J Esparza, A Muscholl
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
592003
Test data provision for ERP systems
S Wieczorek, A Stefanescu, I Schieferdecker
2008 1st International Conference on Software Testing, Verification, and …, 2008
342008
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
Model Driven Architecture-Foundations and Applications: 5th European …, 2009
322009
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
302010
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: The 10th International Symposium …, 2013
292013
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
262008
Automatic synthesis of distributed transition systems
A Stefanescu
262006
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
232009
A distributed implementation using apache spark of a genetic algorithm applied to test data generation
C Paduraru, MC Melemciuc, A Stefanescu
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017
202017
Learn and test for Event-B–a Rodin plugin
I Dinca, F Ipate, L Mierla, A Stefanescu
Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012
192012
A livelock freedom analysis for infinite state asynchronous reactive systems
S Leue
Deutsche Nationalbibliothek, 2006
192006
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
182010
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
172008
Identity Management on Blockchain--Privacy and Security Aspects
AE Panait, RF Olimid, A Stefanescu
arXiv preprint arXiv:2004.13107, 2020
162020
Dependency analysis for control flow cycles in reactive communicating processes
S Leue, A Ştefănescu, W Wei
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008
152008
On distributed and parameterized supervisor synthesis problems
L Lin, A Stefanescu, R Su
IEEE Transactions on Automatic Control 61 (3), 777-782, 2015
142015
Analysis of uPort open, an identity management blockchain-based solution
AE Panait, RF Olimid, A Stefanescu
Trust, Privacy and Security in Digital Business: 17th International …, 2020
132020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20