Domenico Bianculli
Domenico Bianculli
Research Scientist, University of Luxembourg, Luxembourg
Verified email at uni.lu - Homepage
TitleCited byYear
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1092007
Monitoring conversational web services
D Bianculli, C Ghezzi
2nd international workshop on Service oriented software engineering: in …, 2007
602007
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
54*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
502007
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
392007
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
362007
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
352012
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
302014
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
302008
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
292017
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
252016
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
242012
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
232015
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
W Dou, D Bianculli, L Briand
SnT Centre-University of Luxembourg, 2014
202014
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
182014
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
182010
Interface decomposition for service compositions
D Bianculli, D Giannakopoulou, CS Pasareanu
2011 33rd International Conference on Software Engineering (ICSE), 501-510, 2011
172011
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
152017
Syntactic-semantic incrementality for agile verification
D Bianculli, A Filieri, C Ghezzi, D Mandrioli
Science of Computer Programming 97, 47-54, 2015
152015
A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions
D Bianculli, C Ghezzi, P Spoletini, L Baresi, S Guinea
Advances in Software Engineering, 131-160, 2008
142008
The system can't perform the operation now. Try again later.
Articles 1–20