Domenico Bianculli
Domenico Bianculli
Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg
Email verificata su uni.lu - Home page
Titolo
Citata da
Citata da
Anno
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1142007
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
59*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
522007
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
442017
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
412012
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
402007
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
392016
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
382007
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
352014
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
342012
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
332008
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
272015
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
262018
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
W Dou, D Bianculli, L Briand
SnT Centre-University of Luxembourg, 2014
252014
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
222014
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
202017
Interface decomposition for service compositions
D Bianculli, D Giannakopoulou, CS Pasareanu
2011 33rd International Conference on Software Engineering (ICSE), 501-510, 2011
202011
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
202010
Security slicing for auditing common injection vulnerabilities
J Thomé, LK Shar, D Bianculli, L Briand
Journal of Systems and Software 137, 766-783, 2018
152018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20