Segui
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
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
1272018
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1232007
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
1032017
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
92*2021
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
722019
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
692016
Monitoring conversational web services
D Bianculli, C Ghezzi
2nd international workshop on Service oriented software engineering: in …, 2007
682007
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
542012
A model checking approach to verify BPEL4WS workflows
D Bianculli, C Ghezzi, P Spoletini
IEEE International Conference on Service-Oriented Computing and Applications …, 2007
542007
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
462014
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
452007
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
442007
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
412008
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
402015
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
382018
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
382012
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
352017
Security slicing for auditing common injection vulnerabilities
J Thomé, LK Shar, D Bianculli, L Briand
Journal of Systems and Software 137, 766-783, 2018
332018
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
322018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20