Home // SnT // People // Domenico Bianculli

Domenico Bianculli

Domenico Bianculli

Research scientist

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Research Unit SnT
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E01-105
Email
Telephone (+352) 46 66 44 5328

I am a research scientist at the Software Verification and Validation Lab, led by prof. Lionel Briand.

I did my PhD at the Faculty of Informatics of the University of Lugano, Switzerland, under the supervision of prof. Carlo Ghezzi; my PhD dissertation was titled: “Open-world software: Specification, Verification, and Beyond”.

My research area is software engineering, with particular emphasis on the specification, verification and validation of software systems.

More details are available on my personal web page.

Last updated on: Tuesday, 14 August 2018

powered by
orbilu.uni.lu

2018

Full Text
See detailSoftware Engineering Research and Industry: A Symbiotic Relationship to Foster Impact
Basili, Victor; Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2018), 35(5), 44-49

Top of Page

2015

Top of Page

2013

See detailCloud-based systems need multi-level management
Baresi, Luciano; Bianculli, Domenico; Guinea, Sam

in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)

Full Text
See detailA Syntactic-Semantic Approach to Incremental Verification
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

E-print/Working paper (2013)

See detailQASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications
Bianculli, Domenico; Guinea, Sam; Hallé, Sylvain; Polini, Andrea

Book published by ACM (2013)

See detailFrom SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Bianculli, Domenico; Krstic, Srđan; Ghezzi, Carlo; San Pietro, Pierluigi

Report (2013)

See detail5th international workshop on principles of engineering service-oriented systems (PESOS 2013)
Bianculli, Domenico; Lago, Patricia; Lewis, Grace; Paik, Hye-Young

in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)

See detailProceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)
Bianculli, Domenico; Lago, Patricia; Lewis, Grace; Paik, Hye-Young

Book published by IEEE (2013)

See detailReport of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies
Lago, Patricia; Lewis, Grace; Metzger, Andreas; Tosic, Vladimir; Bianculli, Domenico; Di Marco, Antinisca; Polini, Andrea; Plebani, Pierluigi

in SIGSOFT Softw. Eng. Notes (2013), 38(1), 35--38

Top of Page

2012

Full Text
See detailOpen-world Software: Specification, Verification and Beyond
Bianculli, Domenico

Doctoral thesis (2012)

Full Text
See detailSpecification Patterns from Research to Industry: a Case Study in Service-based Applications
Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare; Senti, Patrick

in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012) (2012)

Full Text
See detailThe tale of SOLOIST: a specification language for service compositions interactions
Bianculli, Domenico; Ghezzi, Carlo; San Pietro, Pierluigi

in Păsăreanu, Corina; Salaün, Gwen (Eds.) Formal Aspects of Component Software (2012, September)

See detailMatinée with Carlo Ghezzi - from Programming Languages to Software Engineering
Bianculli, Domenico; Jazayeri, Mehdi; Pezzè, Mauro

Book published by CreateSpace (2012)

Top of Page

2011

Full Text
See detailInterface Decomposition for Service Compositions
Bianculli, Domenico; Giannakopoulou, Dimitra; Pasareanu, Corina

in Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (2011)

See detailQASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Bianculli, Domenico; Guinea, Sam; Metzger, Andrea; Polini, Andrea

Book published by ACM (2011)

Top of Page

2010

Full Text
See detailAutomated Performance Assessment for Service-Oriented Middleware: a Case Study on BPEL engines
Bianculli, Domenico; Binder, Walter; Drago, Mauro Luigi

in Proceedings of the 19th International Conference on World Wide Web (WWW 2010) (2010)

Full Text
See detailSOABench: Performance Evaluation of Service-Oriented Middleware Made Easy
Bianculli, Domenico; Binder, Walter; Drago, Mauro Luigi

in Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010) (2010)

Top of Page

2009

Full Text
See detailKeep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; Bianculli, Domenico; Guinea, Sam; Spoletini, Paola

Report (2009)

Full Text
See detailKeep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; Bianculli, Domenico; Guinea, Sam; Spoletini, Paola

in Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) (2009)

Full Text
See detailReMan: A Pro-active Reputation Management Infrastructure for Composite Web Services
Bianculli, Domenico; Binder, Walter; Drago, Luigi; Ghezzi, Carlo

in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada (2009)

See detailAutomated Performance Assessment for Service-Oriented Middleware
Bianculli, Domenico; Binder, Walter; Drago, Mauro Luigi

Report (2009)

Full Text
See detailEmbedding Continuous Lifelong Verification in Service Life Cycles
Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare

in Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2009), co-located with ICSE 2009, Vancouver, Canada (2009)

Top of Page

2008

Full Text
See detailLifelong Verification of Dynamic Service Compositions
Bianculli, Domenico

in Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08) co-located with ACM SIGSOFT 2008/FSE 16 (2008)

Full Text
See detailTransparent Reputation Management for Composite Web Services
Bianculli, Domenico; Binder, Walter; Drago, Luigi; Ghezzi, Carlo

in Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China (2008)

Full Text
See detailSAVVY-WS at a glance: supporting verifiable dynamic service compositions
Bianculli, Domenico; Ghezzi, Carlo

in Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008), co-located with ASE 2008 (2008)

Full Text
See detailTowards a methodology for lifelong validation of service compositions
Bianculli, Domenico; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008 (2008)

Full Text
See detailA Guided Tour through SAVVY-WS: a Methodology for Specifying and Validating Web Service Compositions
Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola; Baresi, Luciano; Guinea, Sam

in Börger, Egon; Cisternino, Antonio (Eds.) Advances in Software Engineering (2008)

Top of Page

2007

Full Text
See detailValidation of web service compositions
Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; Guinea, Sam; Spoletini, Paola

in IET Software (2007), 1(6), 219--232

Full Text
See detailA Timed extension of WSCoL
Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; Guinea, Sam; Spoletini, Paola

in Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (2007)

Full Text
See detailMonitoring Conversational Web Services
Bianculli, Domenico; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07) co-located with ESEC/FSE 2007 (2007)

Full Text
See detailA model checking approach to verify BPEL4WS workflows
Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola

in Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007) (2007)

Full Text
See detailAutomated Dynamic Maintenance of Composite Services based on Service Reputation
Bianculli, Domenico; Jurca, Radu; Binder, Walter; Ghezzi, Carlo; Faltings, Boi

in Proceedings of ICSOC'07, International Conference on Service-Oriented Computing (2007)

Full Text
See detailTrio2Promela: a Model Checker for Temporal Metric Specifications
Bianculli, Domenico; Morzenti, Angelo; Pradella, Matteo; San Pietro, Pierluigi; Spoletini, Paola

in ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (2007)

Full Text
See detailModel checking temporal metric specification with Trio2Promela
Bianculli, Domenico; Spoletini, Paola; Morzenti, Angelo; Pradella, Matteo; San Pietro, Pierluigi

in Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (2007)

Top of Page