| Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007 | 112 | 2007 |
| Monitoring conversational web services D Bianculli, C Ghezzi 2nd international workshop on Service oriented software engineering: in …, 2007 | 60 | 2007 |
| Automated performance assessment for service-oriented middleware: a case study on bpel engines D Bianculli, W Binder, ML Drago Proceedings of the 19th international conference on World wide web, 141-150, 2010 | 55* | 2010 |
| A model checking approach to verify BPEL4WS workflows D Bianculli, C Ghezzi, P Spoletini IEEE International Conference on Service-Oriented Computing and Applications …, 2007 | 51 | 2007 |
| Automated dynamic maintenance of composite services based on service reputation D Bianculli, R Jurca, W Binder, C Ghezzi, B Faltings International Conference on Service-Oriented Computing, 449-455, 2007 | 41 | 2007 |
| Specification patterns from research to industry: a case study in service-based applications D Bianculli, C Ghezzi, C Pautasso, P Senti 2012 34th International Conference on Software Engineering (ICSE), 968-976, 2012 | 40 | 2012 |
| The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated L Briand, D Bianculli, S Nejati, F Pastore, M Sabetzadeh IEEE Software 34 (5), 72-75, 2017 | 38 | 2017 |
| A timed extension of WSCoL L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IEEE International Conference on Web Services (ICWS 2007), 663-670, 2007 | 37 | 2007 |
| Testing the untestable: model testing of complex software-intensive systems L Briand, S Nejati, M Sabetzadeh, D Bianculli Proceedings of the 38th International Conference on Software Engineering …, 2016 | 34 | 2016 |
| Towards the formalization of properties of cloud-based elastic systems MM Bersani, D Bianculli, S Dustdar, A Gambi, C Ghezzi, S Krstić Proceedings of the 6th International Workshop on Principles of Engineering …, 2014 | 33 | 2014 |
| The tale of SOLOIST: a specification language for service compositions interactions D Bianculli, C Ghezzi, P San Pietro Formal Aspects of Component Software, 55-72, 2012 | 30 | 2012 |
| Transparent reputation management for composite web services D Bianculli, W Binder, L Drago, C Ghezzi 2008 IEEE International Conference on Web Services, 621-628, 2008 | 30 | 2008 |
| A comprehensive modeling framework for role-based access control policies AB Fadhel, D Bianculli, L Briand Journal of Systems and Software 107, 110-126, 2015 | 27 | 2015 |
| OCLR: a More Expressive, Pattern-based Temporal Extension of OCL W Dou, D Bianculli, L Briand SnT Centre-University of Luxembourg, 2014 | 23 | 2014 |
| Trace checking of metric temporal logic with aggregating modalities using MapReduce D Bianculli, C Ghezzi, S Krstić International Conference on Software Engineering and Formal Methods, 144-158, 2014 | 20 | 2014 |
| SOABench: performance evaluation of service-oriented middleware made easy D Bianculli, W Binder, ML Drago Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 20 | 2010 |
| Search-driven string constraint solving for vulnerability detection J Thomé, LK Shar, D Bianculli, L Briand 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 19 | 2017 |
| Interface decomposition for service compositions D Bianculli, D Giannakopoulou, CS Pasareanu 2011 33rd International Conference on Software Engineering (ICSE), 501-510, 2011 | 18 | 2011 |
| Syntactic-semantic incrementality for agile verification D Bianculli, A Filieri, C Ghezzi, D Mandrioli Science of Computer Programming 97, 47-54, 2015 | 15 | 2015 |
| Trio2Promela: A model checker for temporal metric specifications D Bianculli, A Morzenti, M Pradella, P San Pietro, P Spoletini 29th International Conference on Software Engineering (ICSE'07 Companion), 61-62, 2007 | 14 | 2007 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoEmail verificata su polimi.it
