Dr. Domenico Bianculli
|
|
||||
| Fakultät oder Zentrum | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SVV | ||||
| Postadresse |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Büroadresse | JFK Building, E01-105 | ||||
|
|||||
| Telefon | (+352) 46 66 44 5328 | ||||
I am a Chief Scientist II/Associate Professor at the Software Verification and Validation Lab, led by prof. Lionel Briand; previously I held research scientist and research associate positions in the same lab.
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: Freitag, den 29. Mai 2020
In press
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
Trace Diagnostics for Signal-based Temporal Properties; ; ;
in IEEE Transactions on Software Engineering (in press)
2023
Towards Log Slicing; ;
in Dawes, Joshua; Shin, Donghwan; Bianculli, Domenico (Eds.) Towards Log Slicing (2023, April)
2022
Specifying Source Code and Signal-based Behaviour of CPS Components;
in Dawes, Joshua; Bianculli, Domenico (Eds.) Proceedings of the 18th International Conference on Formal Aspects of Component Software (2022, November)
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques; ; ;
in Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (2022, July)
Automated Reverse Engineering of Role-based Access Control Policies of Web Applications; ; ; ;
in Journal of Systems and Software (2022), 184
PRINS: Scalable Model Inference for Component-based System Logs; ;
in Empirical Software Engineering (2022)
2021
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization; ; ; ;
in Journal of Systems and Software (2021), 174
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs;
in Proceedings of the 21st International Conference on Runtime Verification (2021, October)
ThEodorE: a Trace Checker for CPS Properties; ; ;
in Companion Proceedings of the 43rd International Conference on Software Engineering (2021, May)
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap; ; ;
in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (2021, May)
Log-based Slicing for System-level Test Cases; ; ; ;
in Proceedings of ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (2021, July)
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection; ; ;
in Proceedings of the 21st International Conference on Runtime Verification (2021, October)
2020
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach; ; ; ;
in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications through Security Slicing and Hybrid Constraint Solving; ; ;
in IEEE Transactions on Software Engineering (2020), 46(2), 163--195
2019
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations; ;
in Journal of Object Technology (2019, July), 18(2), 151-21
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software); ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Formal Methods in System Design (2019), 54(3), 279-335
2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact; ; ; ; ;
in IEEE Software (2018), 35(5), 44-49
Model-driven Run-time Enforcement of Complex Role-based Access Control Policies; ;
in Proceeding of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18) (2018, September)
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications; ;
in Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) (2018, October)
A Search-based Approach for Accurate Identification of Log Message Formats; ; ; ;
in Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC ’18) (2018)
Security Slicing for Auditing Common Injection Vulnerabilities; ; ;
in Journal of Systems and Software (2018), 137(March, 2018), 766-783
2017
On the Risk of Tool Over-tuning in Runtime Verification Competitions;
in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (2017, December 14)
The Case for Context-Driven Software Engineering Research; ; ; ;
in IEEE Software (2017), 34(5), 72-75
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties; ;
in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (2017, December 14)
A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties; ;
in Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ) (2017, September)
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities; ; ;
in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2017, September)
Search-driven String Constraint Solving for Vulnerability Detection; ; ;
in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)
2016
GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies; ;
in 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016) (2016, June)
A model-driven approach to representing and checking RBAC contextual policies.; ; ;
in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (2016, March)
Efficient Large-scale Trace Checking Using MapReduce; ; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (2016, May)
Testing the Untestable: Model Testing of Complex Software-Intensive Systems; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)
2015
A Comprehensive Modeling Framework for Role-based Access Control Policies; ;
in Journal of Systems and Software (2015), 107(September,2015), 110-126
Syntactic-Semantic Incrementality for Agile Verification; ; ;
in Science of Computer Programming (2015), 97(0), 47-54
Syntax-driven program verification of matching logic properties.; ; ; ;
in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)
2014
Towards the formalization of properties of cloud-based elastic systems; ; ; ; ;
in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)
SMT-based Checking of SOLOIST over Sparse Traces; ; ; ;
in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows; ; ;
in Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014) (2014, October)
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce; ;
in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)
Offline Trace Checking of Quantitative Properties of Service-Based Applications; ; ;
in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract); ; ;
in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)
Revisiting Model-driven Engineering for Run-time Verification of Business Processes; ;
in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL; ;
in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)
2013
Cloud-based systems need multi-level management; ;
in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)
QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications; ; ;
Book published by ACM (2013)
5th international workshop on principles of engineering service-oriented systems (PESOS 2013); ; ;
in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)
Proceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS); ; ;
Book published by IEEE (2013)
Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies; ; ; ; ; ; ;
in ACM SIGSOFT Software Engineering Notes (2013), 38(1), 35--38
2012
Specification Patterns from Research to Industry: a Case Study in Service-based Applications; ; ;
in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012) (2012)
The tale of SOLOIST: a specification language for service compositions interactions; ;
in Păsăreanu, Corina; Salaün, Gwen (Eds.) Formal Aspects of Component Software (2012, September)
Matinée with Carlo Ghezzi - from Programming Languages to Software Engineering; ;
Book published by CreateSpace (2012)
2011
Interface Decomposition for Service Compositions; ;
in Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (2011)
QASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications; ; ;
Book published by ACM (2011)
2010
Automated Performance Assessment for Service-Oriented Middleware: a Case Study on BPEL engines; ;
in Proceedings of the 19th International Conference on World Wide Web (WWW 2010) (2010)
SOABench: Performance Evaluation of Service-Oriented Middleware Made Easy; ;
in Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010) (2010)
2009
Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions; ; ;
in Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) (2009)
ReMan: A Pro-active Reputation Management Infrastructure for Composite Web Services; ; ;
in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada (2009)
Embedding Continuous Lifelong Verification in Service Life Cycles; ;
in Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2009), co-located with ICSE 2009, Vancouver, Canada (2009)
2008
Lifelong Verification of Dynamic Service Compositionsin Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08) co-located with ACM SIGSOFT 2008/FSE 16 (2008)
Transparent Reputation Management for Composite Web Services; ; ;
in Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China (2008)
SAVVY-WS at a glance: supporting verifiable dynamic service compositions;
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)
Towards a methodology for lifelong validation of service compositions;
in Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008 (2008)
A Guided Tour through SAVVY-WS: a Methodology for Specifying and Validating Web Service Compositions; ; ; ;
in Börger, Egon; Cisternino, Antonio (Eds.) Advances in Software Engineering (2008)
2007
A Timed extension of WSCoL; ; ; ;
in Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (2007)
Monitoring Conversational Web Services;
in Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07) co-located with ESEC/FSE 2007 (2007)
A model checking approach to verify BPEL4WS workflows; ;
in Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007) (2007)
Automated Dynamic Maintenance of Composite Services based on Service Reputation; ; ; ;
in Proceedings of ICSOC'07, International Conference on Service-Oriented Computing (2007)
Trio2Promela: a Model Checker for Temporal Metric Specifications; ; ; ;
in ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (2007)
Model checking temporal metric specification with Trio2Promela; ; ; ;
in Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (2007)
