| Early performance testing of distributed software applications G Denaro, A Polini, W Emmerich Proceedings of the 4th International Workshop on Software and Performance …, 2004 | 222 | 2004 |
| WS-TAXI: a WSDL-based testing tool for Web Services C Bartolini, A Bertolino, E Marchetti, A Polini Software Testing Verification and Validation, 2009. ICST'09. International …, 2009 | 182 | 2009 |
| The audition framework for testing web services interoperability A Bertolino, A Polini 31st EUROMICRO Conference on Software Engineering and Advanced Applications …, 2005 | 136 | 2005 |
| A guidelines framework for understandable BPMN models F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo Data & Knowledge Engineering 113, 129-154, 2018 | 121 | 2018 |
| Model-based generation of testbeds for web services A Bertolino, G De Angelis, L Frantzen, A Polini Testing of Software and Communicating Systems, 266-282, 2008 | 105 | 2008 |
| Audition of web services for testing conformance to open specified protocols A Bertolino, L Frantzen, A Polini, J Tretmans Architecting Systems with Trustworthy Components, 1-25, 2006 | 100 | 2006 |
| Testing software components for integration: a survey of issues and techniques M Jaffar‐ur Rehman, F Jabeen, A Bertolino, A Polini Software Testing, Verification and Reliability 17 (2), 95-133, 2007 | 91 | 2007 |
| Automatic test data generation for XML schema-based partition testing A Bertolino, J Gao, E Marchetti, A Polini Proceedings of the second international workshop on automation of software …, 2007 | 80 | 2007 |
| A framework for component deployment testing A Bertolino, A Polini 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 68 | 2003 |
| Business process flexibility-a systematic literature review with a software systems perspective R Cognini, F Corradini, S Gnesi, A Polini, B Re Information Systems Frontiers 20, 343-371, 2018 | 63 | 2018 |
| A formal approach to modeling and verification of business process collaborations F Corradini, F Fornari, A Polini, B Re, F Tiezzi Science of Computer Programming 166, 35-70, 2018 | 60 | 2018 |
| The plastic framework and tools for testing service-oriented applications A Bertolino, G Angelis, L Frantzen, A Polini Proceedings of the International Summer School on Software Engineering …, 2009 | 55 | 2009 |
| Soa test governance: Enabling service integration testing across organization and technology borders A Bertolino, A Polini 2009 International Conference on Software Testing, Verification, and …, 2009 | 53 | 2009 |
| Towards automated WSDL-based testing of web services C Bartolini, A Bertolino, E Marchetti, A Polini Service-Oriented Computing–ICSOC 2008, 524-529, 2008 | 49 | 2008 |
| TAXI--A Tool for XML-Based Testing A Bertolino, J Gao, E Marchetti, A Polini Software Engineering-Companion, 2007. ICSE 2007 Companion. 29th …, 2007 | 46 | 2007 |
| Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda B Van Loenen, A Zuiderwijk, G Vancau-Wenberghe, FJ Lopez-Pellicer, ... JeDEM-eJournal of eDemocracy and Open Government 13 (2), 1-27, 2021 | 45 | 2021 |
| A formal approach for the analysis of BPMN collaboration models F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin Journal of Systems and Software 180, 111007, 2021 | 43 | 2021 |
| Monitoring architectural properties in dynamic component-based systems H Muccini, A Polini, F Ricci, A Bertolino Component-Based Software Engineering, 124-139, 2007 | 39 | 2007 |
| Engineering trustable choreography-based systems using blockchain F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi Proceedings of the 35th annual ACM symposium on applied computing, 1470-1479, 2020 | 38 | 2020 |
| BProVe: a formal verification framework for business process models F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 38 | 2017 |
Flavio CorradiniProfessore di Informatica, Università di Camerino在 unicam.it 的电子邮件经过验证
