Следене
Alin Stefanescu
Alin Stefanescu
Professor of Computer Science, University of Bucharest, Romania
Потвърден имейл адрес: fmi.unibuc.ro - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
1812013
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
1682011
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
1202013
Synthesis of distributed algorithms using asynchronous automata
A Ştefănescu, J Esparza, A Muscholl
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
592003
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
Model Driven Architecture-Foundations and Applications: 5th European …, 2009
342009
Test data provision for ERP systems
S Wieczorek, A Stefanescu, I Schieferdecker
2008 1st International Conference on Software Testing, Verification, and …, 2008
332008
Identity Management on Blockchain--Privacy and Security Aspects
AE Panait, RF Olimid, A Stefanescu
arXiv preprint arXiv:2004.13107, 2020
312020
Analysis of uPort Open, an identity management blockchain-based solution
AE Panait, RF Olimid, A Stefanescu
International Conference on Trust and Privacy in Digital Business, 3-13, 2020
302020
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
302013
Automatic synthesis of distributed transition systems
A Ştefănescu
Stuttgart, Univ., Diss., 2006, 2006
302006
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
292008
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
272010
RiverGame-a game testing tool using artificial intelligence
C Paduraru, M Paduraru, A Stefanescu
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
242022
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
242017
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
242009
On distributed and parameterized supervisor synthesis problems
L Lin, A Stefanescu, R Su
IEEE Transactions on Automatic Control 61 (3), 777-782, 2015
192015
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
192010
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
192008
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
182012
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
182006
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20