Follow
Domenico Bianculli
Domenico Bianculli
Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg
Verified email at uni.lu - Homepage
Title
Cited by
Cited by
Year
A search-based approach for accurate identification of log message formats
S Messaoudi, A Panichella, D Bianculli, L Briand, R Sasnauskas
Proceedings of the 26th Conference on Program Comprehension, 167-177, 2018
2002018
Empirical standards for software engineering research
P Ralph, N bin Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, ...
arXiv preprint arXiv:2010.03525, 2021
173*2021
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
1422017
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1252007
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design, 1-57, 2019
1172019
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
752016
Monitoring conversational web services
D Bianculli, C Ghezzi
2nd international workshop on Service oriented software engineering: in …, 2007
672007
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
64*2010
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
612012
A model checking approach to verify BPEL4WS workflows
D Bianculli, C Ghezzi, P Spoletini
IEEE International Conference on Service-Oriented Computing and Applications …, 2007
552007
Guidelines for assessing the accuracy of log message template identification techniques
ZA Khan, D Shin, D Bianculli, L Briand
Proceedings of the 44th International Conference on Software Engineering …, 2022
522022
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact
V Basili, L Briand, D Bianculli, S Nejati, F Pastore, M Sabetzadeh
IEEE Software 35 (5), 44-49, 2018
512018
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
502014
Automated dynamic maintenance of composite services based on service reputation
D Bianculli, R Jurca, W Binder, C Ghezzi, B Faltings
Service-Oriented Computing–ICSOC 2007: Fifth International Conference …, 2007
462007
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
452017
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
452015
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
452007
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
422008
An integrated approach for effective injection vulnerability analysis of web applications through security slicing and hybrid constraint solving
J Thome, LK Shar, D Bianculli, L Briand
IEEE Transactions on Software Engineering 46 (2), 163-195, 2018
412018
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
412012
The system can't perform the operation now. Try again later.
Articles 1–20