Home // SnT // People // Domenico Bianculli

Domenico Bianculli

Domenico Bianculli

Research scientist

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

I am a research associate 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 services. In the past I worked also on reputation mechanisms for enabling self-tuning in the execution of composite Web services, automated performance assessment of service-oriented middleware, and model checking of temporal metric specifications.

More details are available on my personal web page.

Last updated on: Tuesday, 10 March 2015

powered by
orbilu.uni.lu

In press

Full Text
See detailOn the Risk of Tool Over-tuning in Runtime Verification Competitions
Bianculli, Domenico; Krstic, Srdan

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailSecurity Slicing for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in The Journal of Systems & Software (in press)

Top of Page

2017

Full Text
See detailThe Case for Context-Driven Software Engineering Research
Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2017), 34(5), 72-75

Full Text
See detailA Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ) (2017, September)

Full Text
See detailJoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2017, September)

Full Text
See detailSearch-driven String Constraint Solving for Vulnerability Detection
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)

Top of Page

2016

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016) (2016, June)

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2016)

Full Text
See detailA model-driven approach to representing and checking RBAC contextual policies.
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel; Hourte, Benjamin

in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (2016, March)

Full Text
See detailEfficient Large-scale Trace Checking Using MapReduce
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; San Pietro, Pierluigi

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (2016, May)

Full Text
See detailTesting the Untestable: Model Testing of Complex Software-Intensive Systems
Briand, Lionel; Nejati, Shiva; Sabetzadeh, Mehrdad; Bianculli, Domenico

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)

Top of Page

2015

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in The Journal of Systems & Software (2015), 107(September,2015), 110126

Full Text
See detailSyntactic-Semantic Incrementality for Agile Verification
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Science of Computer Programming (2015), 97(0), 47-54

Full Text
See detailSyntax-driven program verification of matching logic properties.
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, Alessandro Maria

in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)

Top of Page

2014

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailTowards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)

Full Text
See detailSMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)

Full Text
See detailIncremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014) (2014, October)

Full Text
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Full Text
See detailOffline Trace Checking of Quantitative Properties of Service-Based Applications
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)

Full Text
See detailSpecification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract)
Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare; Senti, Patrick

in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)

Full Text
See detailRevisiting Model-driven Engineering for Run-time Verification of Business Processes
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)

Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

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