Alin Stefanescu

Citat de

	Toate	Din 2020
Referințe bibliografice	1225	454
h-index	18	11
i10-index	31	12

120

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 8 8 5 15 25 28 40 52 82 58 82 85 84 88 77 63 80 86 94 116 13

Acces public

Afișați-le pe toate

12 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Ciprian PaduraruUniversity Of BucharestAdresă de e-mail confirmată pe fmi.unibuc.ro
Florentin IpateProfessor of Computer Science, University of BucharestAdresă de e-mail confirmată pe fmi.unibuc.ro
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandAdresă de e-mail confirmată pe bu.edu
Yushan ChenBoston UniversityAdresă de e-mail confirmată pe bu.edu
Andreas RothSAP SEAdresă de e-mail confirmată pe sap.com
Ionut DincaUniversitatea din PitestiAdresă de e-mail confirmată pe upit.ro
Ina SchieferdeckerTU BerlinAdresă de e-mail confirmată pe tu-berlin.de
Anis CharfiAssociate Teaching Professor, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
Liyong LinElectrical and Electronic Engineering, Nanyang Technological UniversityAdresă de e-mail confirmată pe e.ntu.edu.sg
Rong SuNanyang Technological UniversityAdresă de e-mail confirmată pe ntu.edu.sg
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyAdresă de e-mail confirmată pe uni-konstanz.de
Javier EsparzaProfessor of Computer Science, Technical University of MunichAdresă de e-mail confirmată pe in.tum.de
Anca MuschollLaBRI, Univ. of BordeauxAdresă de e-mail confirmată pe labri.fr
Andrei KirshinFacebookAdresă de e-mail confirmată pe fb.com
Weilin WangMonash UniversityAdresă de e-mail confirmată pe monash.edu
Predut Sorina-NicoletaAssistant Professor, University of BucharestAdresă de e-mail confirmată pe my.fmi.unibuc.ro
Jürgen GroßmannFraunhofer FOKUSAdresă de e-mail confirmată pe fokus.fraunhofer.de
Marc-Florian WendlandFraunhofer Institut FOKUSAdresă de e-mail confirmată pe fokus.fraunhofer.de
Raluca LefticaruAssociate Professor, University of BradfordAdresă de e-mail confirmată pe bradford.ac.uk
Ahmad Reza ShehabiniaPhD studentAdresă de e-mail confirmată pe ntu.edu.sg

Urmăriți

Alin Stefanescu

Professor of Computer Science, University of Bucharest, Romania

Adresă de e-mail confirmată pe fmi.unibuc.ro - Pagina de pornire

formal methods security software engineering industrial research


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	181	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	168	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	120	2013
Synthesis of distributed algorithms using asynchronous automata A Ştefănescu, J Esparza, A Muscholl CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	59	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
Identity Management on Blockchain--Privacy and Security Aspects AE Panait, RF Olimid, A Stefanescu arXiv preprint arXiv:2004.13107, 2020	31	2020
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	30	2020
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	30	2013
Automatic synthesis of distributed transition systems A Ştefănescu Stuttgart, Univ., Diss., 2006, 2006	30	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	29	2008
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	27	2010
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	24	2022
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	24	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	24	2009
On distributed and parameterized supervisor synthesis problems L Lin, A Stefanescu, R Su IEEE Transactions on Automatic Control 61 (3), 777-782, 2015	19	2015
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
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	19	2008
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	18	2012
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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori