Alin Stefanescu

Citado por

	Total	Desde 2019
Citas	1112	422
Índice h	17	9
Índice i10	28	9

100

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 9 7 5 15 25 22 34 53 82 59 78 90 82 91 77 64 79 90 87 23

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ciprian PaduraruUniversity Of BucharestDirección de correo verificada de fmi.unibuc.ro
Florentin IpateProfessor of Computer Science, University of BucharestDirección de correo verificada de fmi.unibuc.ro
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandDirección de correo verificada de bu.edu
Yushan ChenBoston UniversityDirección de correo verificada de bu.edu
Andreas RothSAP SEDirección de correo verificada de sap.com
Ionut DincaUniversitatea din PitestiDirección de correo verificada de upit.ro
Ina SchieferdeckerBMBFDirección de correo verificada de bmbf.de
Anis CharfiAssociate Teaching Professor, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Liyong LinElectrical and Electronic Engineering, Nanyang Technological UniversityDirección de correo verificada de e.ntu.edu.sg
Rong SuNanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyDirección de correo verificada de uni-konstanz.de
Javier EsparzaProfessor of Computer Science, Technical University of MunichDirección de correo verificada de in.tum.de
Anca MuschollLaBRI, Univ. of BordeauxDirección de correo verificada de labri.fr
Andrei KirshinFacebookDirección de correo verificada de fb.com
Weilin WangMonash UniversityDirección de correo verificada de monash.edu
Predut Sorina-NicoletaAssistant Professor, University of BucharestDirección de correo verificada de my.fmi.unibuc.ro
Jürgen GroßmannFraunhofer FOKUSDirección de correo verificada de fokus.fraunhofer.de
Marc-Florian WendlandFraunhofer Institut FOKUSDirección de correo verificada de fokus.fraunhofer.de
Raluca LefticaruAssociate Professor, University of BradfordDirección de correo verificada de bradford.ac.uk
Ahmad Reza ShehabiniaPhD studentDirección de correo verificada de ntu.edu.sg

Seguir

Alin Stefanescu

Professor of Computer Science, University of Bucharest, Romania

Dirección de correo verificada de fmi.unibuc.ro - Página principal

formal methods security software engineering industrial research


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	174	2013
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	161	2011
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	109	2013
Synthesis of distributed algorithms using asynchronous automata A Ştefănescu, J Esparza, A Muscholl CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	58	2003
MBT4Chor: A model-based testing approach for service choreographies A Stefanescu, S Wieczorek, A Kirshin Model Driven Architecture-Foundations and Applications: 5th European …, 2009	34	2009
Test data provision for ERP systems S Wieczorek, A Stefanescu, I Schieferdecker 2008 1st International Conference on Software Testing, Verification, and …, 2008	33	2008
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	29	2013
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	28	2010
Automatic synthesis of distributed transition systems A Stefanescu	28	2006
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	27	2008
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	23	2020
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	23	2017
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	23	2009
Identity Management on Blockchain--Privacy and Security Aspects AE Panait, RF Olimid, A Stefanescu arXiv preprint arXiv:2004.13107, 2020	22	2020
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	19	2012
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	19	2010
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	18	2006
On distributed and parameterized supervisor synthesis problems L Lin, A Stefanescu, R Su IEEE Transactions on Automatic Control 61 (3), 777-782, 2015	17	2015
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	17	2008
Towards automated testing of RPA implementations M Cernat, AN Staicu, A Stefanescu Proceedings of the 11th ACM SIGSOFT International Workshop on Automating …, 2020	14	2020

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores