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
1212007
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
812018
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
792017
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
66*2010
Monitoring conversational web services
D Bianculli, C Ghezzi
2nd international workshop on Service oriented software engineering: in …, 2007
662007
A model checking approach to verify BPEL4WS workflows
D Bianculli, C Ghezzi, P Spoletini
IEEE International Conference on Service-Oriented Computing and Applications …, 2007
562007
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
552016
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
502012
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
462007
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
442014
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
432007
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
402008
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
372012
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
342019
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
332015
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
W Dou, D Bianculli, L Briand
SnT Centre-University of Luxembourg, 2014
312014
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
292017
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
282018
Security slicing for auditing common injection vulnerabilities
J Thomé, LK Shar, D Bianculli, L Briand
Journal of Systems and Software 137, 766-783, 2018
272018
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
262014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20