::BibTeX file::
@inproceedings{spb:quatic2024,
author = {{Seung Yeob} Shin and Fabrizio Pastore and Domenico
Bianculli },
title = {Towards Generating Executable Metamorphic Relations
Using Large Language Models},
booktitle = {Proceedings of the 17th International Conference on
the Quality of Information and Communications
Technology (QUATIC 2024), Pisa, Italy},
year = 2024,
}
@article{ksbb:emse2024,
author = {Khan, Zanis Ali and Shin, Donghwan and Bianculli,
Domenico and Briand, Lionel},
title = {Impact of Log Parsing on Deep Learning-Based Anomaly
Detection},
year = 2024,
journal = {Empir. Softw. Eng.},
month = {August},
doi = {10.1007/s10664-024-10533-w},
volume = 29,
pages = {139:1--139:33}
}
@inproceedings{scabh:modre2024,
title = {A Model Toward Formalizing and Monitoring Compliance
of Investment Funds Activities},
year = 2024,
booktitle = {Proceedings of the 14th International Model-Driven
Requirements Engineering (MoDRE) workshop,
co-located with RE'24, Reykjavik, Iceland},
month = {June},
publisher = {IEEE},
author = {Nicolas Sannier and Marcello Ceci and Sallam
Abualhaija and Domenico Bianculli and Michael
Halling},
notes = {In Press}
}
@inproceedings{cbb:re2024,
author = {Marcello Ceci and Domenico Bianculli and Lionel
Briand},
title = {Defining a Model for Content Requirements from the
Law: an Experience Report},
year = 2024,
month = {June},
publisher = {IEEE},
booktitle = {Proceedings of the 32nd IEEE International
Requirements Engineering Conference (RE'24)},
}
@article{hdsbb:emse2024,
author = {Fatemeh Hadadi and {Joshua Heneage} Dawes and
Donghwan Shin and Domenico Bianculli and Lionel
Briand},
title = {Systematic Evaluation of Deep Learning Models for
Log-based Failure Prediction},
journal = {Empir. Softw. Eng.},
year = 2024,
volume = 29,
number = 5,
pages = {105:1--105:53},
month = {June},
doi = {10.1007/s10664-024-10501-4},
}
@inproceedings{db:fse2024,
title = {Checking Complex Source Code-Level Constraints using
Runtime Verification},
year = 2024,
month = {July},
booktitle = {Companion Proceedings of the 32nd ACM International
Conference on the Foundations of Software
Engineering (FSE Companion '24)},
publisher = {ACM},
author = {Joshua Dawes and Domenico Bianculli},
doi = {10.1145/3663529.3663845},
pages = {255--265}
}
@inproceedings{acsbbzb:re2024,
author = {Sallam Abualhaija and Marcello Ceci and Nicolas
Sannier and Domenico Bianculli and Lionel Briand and
Dirk Zetzsche and Marco Bodellini},
title = {{AI-enabled} Regulatory Change Analysis of Legal
Requirements},
year = 2024,
month = {June},
publisher = {IEEE},
booktitle = {Proceedings of the 32nd IEEE International
Requirements Engineering Conference (RE'24)},
}
@inproceedings{acsbzb:finanse2024,
title = {Toward Automated Change Impact Analysis of Financial
Regulations},
year = 2024,
booktitle = {Proceedings of the 1st Workshop on Software
Engineering Challenges in Financial Firms (FinanSE
2024), co-located with ICSE 2024, Lisbon, Portugal},
month = {August},
publisher = {ACM},
author = {Sallam Abualhaija and Marcello Ceci and Nicolas
Sannier and Domenico Bianculli and Dirk Zetzsche and
Marco Bodellini},
doi = {10.1145/3643665.3648046},
pages = {31--32}
}
@inproceedings{cssabh:finanse2024,
title = {Toward Automated Compliance Checking of Fund
Activities Using Runtime Verification Techniques},
year = 2024,
booktitle = {Proceedings of the 1st Workshop on Software
Engineering Challenges in Financial Firms (FinanSE
2024), co-located with ICSE 2024, Lisbon, Portugal},
month = {August},
publisher = {ACM},
author = {Marcello Ceci and Nicolas Sannier and Donghwan Shin
and Sallam Abualhaija and Domenico Bianculli and
Michael Halling},
doi = {10.1145/3643665.3648045},
pages = {19--20}
}
@inproceedings{sdb:formalise2024,
title = { Diagnosing Violations of Time-based Properties
Captured in {iCFTL}},
year = 2024,
booktitle = {Proceedings of the 2024 International Conference on
Formal Methods in Software Engineering (FormaliSE
2024), co-located with ICSE 2024, Lisbon, Portugal},
month = {June},
publisher = {ACM},
author = {Cristina Stratan and Joshua Dawes and Domenico
Bianculli},
doi = {10.1145/3644033.3644375},
pages = {33--43}
}
@article{blbb:tosem2023,
author = {Hichem Belgacem and Xiaochen Li and Domenico
Bianculli and Lionel Briand},
title = {Learning-Based Relaxation of Completeness
Requirements for Data Entry Forms},
journal = {ACM Transactions on Software Engineering and
Methodology},
year = 2024,
doi = {10.1145/3635708},
month = {March},
volume = 33,
number = 3,
pages = {77:1--77:32}
}
@article{csfb:tosem2024,
author = {Donato Clun and Donghwan Shin and Antonio Filieri
and Domenico Bianculli},
title = {Rigorous Assessment of Model Inference Accuracy
using Language Cardinality},
journal = {ACM Transactions on Software Engineering and
Methodology},
year = 2024,
doi = {10.1145/3640332},
month = {January},
volume = 33,
number = 4,
pages = {95:1--95:39}
}
@article{msmbb:tosem2023,
author = {Claudio Mandrioli and {Seung Yeob} Shin and Martina
Maggio and Domenico Bianculli and Lionel Briand},
title = {Stress Testing Control Loops in Cyber-Physical
Systems},
year = 2023,
url = {https://doi.org/10.1145/3624742},
doi = {10.1145/3624742},
journal = {ACM Transactions on Software Engineering and
Methodology},
volume = 33,
number = 2,
pages = {35:1--35:58},
month = {December}
}
@inproceedings{dsb:fase2023,
title = {Towards Log Slicing},
year = 2023,
booktitle = {Proceedings of the 26th International Conference on
Fundamental Approaches to Software Engineering (FASE
2023), Paris, France},
month = {April},
publisher = {Springer},
doi = {10.1007/978-3-031-30826-0_14},
author = {Joshua Dawes and Donghwan Shin and Domenico
Bianculli},
volume = 13991,
series = {Lectures Notes in Computer Science},
pages = {249--259}
}
@article{bmbb-tse2023,
author = {Chaima Boufaied and Claudio Menghi and Domenico
Bianculli and Lionel Briand},
title = {Trace Diagnostics for Signal-based Temporal
Properties},
journal = {IEEE Transactions on Software Engineering},
year = 2023,
doi = {10.1109/TSE.2023.3242588},
volume = 49,
number = 5,
pages = { 3131 -- 3154},
month = {May}
}
@article{blbb:tosem2022,
author = {Hichem Belgacem and Xiaochen Li and Domenico
Bianculli and Lionel Briand},
title = {A Machine Learning Approach for Automated Filling of
Categorical Fields in Data Entry Forms},
journal = {ACM Transactions on Software Engineering and
Methodology},
year = 2023,
doi = {10.1145/3533021},
volume = 32,
number = 2,
pages = {47:1--47:40 },
month = {April}
}
@inproceedings{db:facs2022,
title = {Specifying Source Code and Signal-based Behaviour of
{CPS} Components},
year = 2022,
booktitle = {Proceedings of the 18th International Conference on
Formal Aspects of Component Software (FACS 2022),
November 10--11, 2022, Virtual Event, Norway},
month = {November},
publisher = {Springer},
doi = {10.1007/978-3-031-20872-0_2},
author = {Joshua Dawes and Domenico Bianculli},
volume = 13712,
series = {Lectures Notes in Computer Science},
pages = {20--38}
}
@article{sbb:emse2022,
author = {Donghwan Shin and Domenico Bianculli and Lionel
Briand},
title = {{PRINS}: Scalable Model Inference for
Component-based System Logs},
journal = {Empirical Software Engineering},
year = 2022,
doi = {10.1007/s10664-021-10111-4},
volume = 27,
number = 4,
pages = {87/1--32},
month = {April}
}
@inproceedings{dkbb:icse2022,
author = {{Zanis Ali} Khan and Donghwan Shin and Domenico
Bianculli and Lionel Briand},
title = {Guidelines for Assessing the Accuracy of Log Message
Template Identification Techniques},
booktitle = {Proceedings of the 44th International Conference on
Software Engineering (ICSE '22), May 21--29, 2022,
Pittsburgh, PA, USA},
year = 2022,
pages = 12,
month = {May},
publisher = {ACM},
doi = {10.1145/3510003.3510101},
}
@article{lsbbn:jss2022,
author = {{Ha Thanh} Le, {Lwin Khin} Shar and Domenico
Bianculli and Lionel Briand and {Cu Duy} Nguyen},
title = {Automated reverse engineering of role-based access
control policies of web applications},
journal = {Journal of Systems and Software},
year = 2022,
volume = 184,
pages = 111109,
month = {February},
doi = {10.1016/j.jss.2021.111109}
}
@inproceedings{db:rv2021,
title = {Specifying Properties over Inter-Procedural, Source
Code Level Behaviour of Programs},
year = 2021,
booktitle = {Proceedings of the 21st International Conference on
Runtime Verification (RV 2021), October 11--14,
2021, Virtual Event, USA},
month = {October},
publisher = {Springer},
doi = { doi = {10.1007/978-3-030-88494-9_2},},
author = {Joshua Dawes and Domenico Bianculli},
volume = 12974,
series = {Lectures Notes in Computer Science},
pages = {23--41}
}
@inproceedings{dkbb:rv2021,
title = {A Theoretical Framework for Understanding the
Relationship between Log Parsing and Anomaly
Detection},
year = 2021,
booktitle = {Proceedings of the 21st International Conference on
Runtime Verification (RV 2021), October 11--14,
2021, Virtual Event, USA},
month = {October},
publisher = {Springer},
doi = {10.1007/978-3-030-88494-9_16},
author = {Donghwan Shin and {Zanis Ali} Khan and Domenico
Bianculli and Lionel Briand},
volume = 12974,
series = {Lectures Notes in Computer Science},
pages = {277--287}
}
@inproceedings{mspbb:issta2021,
title = {Log-based Slicing for System-level Test Cases},
year = 2021,
booktitle = {Proceedings of the 30th International Symposium on
Software Testing and Analysis (ISSTA 2021), July
11--17, 2021, Virtual Event, Denmark},
month = {July},
publisher = {ACM},
doi = {10.1145/3460319.3464824},
author = {Salma Messaoudi and Donghwan Shin and Annibale
Panichella and Domenico Bianculli and Lionel Briand},
pages = {517--528}
}
@inproceedings{mvbb:icse2021-artifact,
title = {{ThEodorE}: a Trace Checker for {CPS} Properties},
year = 2021,
booktitle = {Proceedings of the 43rd International Conference on
Software Engineering Companion (ICSE'21), May
23--29, 2021, Virtual Event, Spain},
month = {May},
publisher = {IEEE},
pages = {183--184},
doi = {10.1109/ICSE-Companion52605.2021.00079},
author = {Claudio Menghi and Enrico Vigan\`o and Domenico
Bianculli and Lionel Briand}
}
@inproceedings{mvbb:icse2021,
title = {Trace-Checking {CPS} Properties: Bridging the
Cyber-Physical Gap},
year = 2021,
booktitle = {Proceedings of the 43rd International Conference on
Software Engineering (ICSE'21), May 23--29, 2021,
Virtual Event, Spain},
month = {May},
publisher = {IEEE},
pages = {847--859},
doi = {10.1109/ICSE43902.2021.00082},
author = {Claudio Menghi and Enrico Vigan\`o and Domenico
Bianculli and Lionel Briand}
}
@article{bjbbi:jss2021,
author = {Chaima Boufaied and Maris Jukss and Domenico
Bianculli and Lionel Briand and Yago {Isasi
Parache}},
title = {Signal-Based Properties of Cyber-Physical Systems:
Taxonomy and Logic-based Characterization},
journal = {Journal of Systems and Software},
year = 2021,
url = {http://arxiv.org/abs/1910.08330},
doi = {10.1016/j.jss.2020.110881},
volume = 174,
pages = 110881,
month = {April}
}
@inproceedings{bmbbi:ase2020,
title = {Trace-Checking Signal-based Temporal Properties: A
Model-Driven Approach},
year = 2020,
booktitle = {Proceedings of the 2020 35th ACM/IEEE International
Conference on Automated Software Engineering
(ASE'20), September 21--25, 2020, Virtual Event,
Australia},
month = {September},
publisher = {ACM},
pages = {1004--1015},
author = {Chaima Boufaied and Claudio Menghi and Domenico
Bianculli and Lionel Briand and Yago Isasi-Parache},
doi = {10.1145/3324884.3416631}
}
@article{tsbb:tse2018,
author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
Bianculli and Lionel Briand},
journal = {IEEE Transactions on Software Engineering},
title = {An Integrated Approach for Effective Injection
Vulnerability Analysis of Web Applications through
Security Slicing and Hybrid Constraint Solving},
year = 2020,
doi = {10.1109/TSE.2018.2844343},
volume = 46,
number = 2,
pages = {163--105},
month = {February}
}
@article{ssabbcffklnprstw:fmsd2019,
author = {C\'esar S\'anchez and Gerardo Schneider and Wolfgang
Ahrendt and Ezio Bartocci and Domenico Bianculli and
Christian Colombo and Yli\'es Falcone and Adrian
Francalanza and Sr\dj{}an Krsti\'{c} and Joao
M. Louren\c{c}o and Dejan Nickovic and Gordon
J. Pace and Jose Rufino and Julien Signoles and
Dmitriy Traytel and Alexander Weiss},
title = {{A Survey of Challenges for Runtime Verification
from Advanced Application Domains (Beyond
Software)}},
journal = {Formal Methods in System Design},
year = 2019,
publisher = {Springer},
doi = {10.1007/s10703-019-00337-w},
volume = 54,
number = 3,
pages = {279--335}
}
@article{bbb:ecmfa2019,
author = {Chaima Boufaied and Domenico Bianculli and Lionel
Briand},
title = {A Model-driven Approach to Trace Checking of
Temporal Properties with Aggregations},
Modelling Foundations and Applications (ECMFA 2019),
Eindhoven, The Netherlands},
year = 2019,
journal = {Journal of Object Technology},
volume = 18,
number = 2,
pages = {15:1--21},
url = {https://doi.org/10.5381/jot.2019.18.2.a15},
doi = {10.5381/jot.2019.18.2.a15},
url = {http://www.jot.fm/contents/issue_2019_02/article15.html},
}
@article{bbbnps:ieeesw2018,
author = {Victor Basili and Lionel Briand and Domenico
Bianculli and Shiva Nejati and Fabrizio Pastore and
Mehrdad Sabetzadeh},
journal = {IEEE Software},
title = {Software Engineering Research and Industry: A
Symbiotic Relationship to Foster Impact},
year = 2018,
doi = {10.1109/MS.2018.290110216},
volume = 35,
number = 5,
pages = {44--49},
month = {September}
}
@inproceedings{bbb:ase2018,
title = {Model-driven Run-time Enforcement of Complex
Role-based Access Control Policies},
year = 2018,
booktitle = {Proceedings of the 2018 33rd ACM/IEEE International
Conference on Automated Software Engineering
(ASE'18), September 3--7, 2018, Montpellier, France},
month = {September},
publisher = {ACM},
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand},
doi = {10.1145/3238147.3238167},
pages = {248--258}
}
@inproceedings{dbb:models2018,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {Model-Driven Trace Diagnostics for Pattern-based
Temporal Specifications},
year = 2018,
month = {October},
booktitle = {Proceedings of the 2018 ACM/IEEE 21st International
Conference on Model Driven Engineering Languages and
Systems (MODELS~2018), Copenhaghen, Denmark},
publisher = {ACM},
doi = {10.1145/3239372.3239396},
pages = {278--288},
}
@inproceedings{mpbb-icpc2018,
author = {Salma Messaoudi and Annibale Panichella and Domenico
Bianculli and Lionel Briand and Raimondas
Sasnauskas},
title = {A Search-based Approach for Accurate Identification
of Log Message Formats},
booktitle = {Proceedings of the 26th IEEE/ACM International
Conference on Program Comprehension (ICPC~2018),
Gothenborg, Sweden},
year = 2018,
month = {May},
doi = {10.1145/3196321.3196340},
publisher = {ACM},
pages = {167--177}
}
@book{bmr-40icse,
editor = {Domenico Bianculli and Nenad Medvidovi\'c and David
R. Rosenblum},
title = {{40 editions of ICSE: the ruby anniversary
celebration}},
publisher = {Book distributed at the 40th International
Conference on Software Engineering},
year = 2018,
month = {May},
url = {https://www.icse2018.org/getImage/orig/icse2018-booklet-screen.pdf}
}
@article{tsbb:jss2018,
author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
Bianculli and Lionel Briand},
title = {Security Slicing for Auditing Common Injection
Vulnerabilities },
journal = {Journal of Systems and Software },
year = 2018,
doi = {10.1016/j.jss.2017.02.040},
url = {http://www.sciencedirect.com/science/article/pii/S0164121217300444},
volume = 137,
pages = {766--783},
month = {March}
}
@inproceedings{bk-rvcubes2017,
author = { Domenico Bianculli and Sr\dj{}an Krsti\'c},
title = {On the Risk of Tool Over-tuning in Runtime
Verification Competitions},
booktitle = {Proceedings of the International Workshop on
Competitions, Usability, Benchmarks, Evaluation, and
Standardisation for Runtime Verification Tools
(RV-CuBES 2017), co-located with RV 2017, Seattle,
WA, USA},
year = 2017,
month = {September},
volume = 3,
series = {Kalpa Publications in Computing},
pages = {37--40},
publisher = {EasyChair},
url = {https://easychair.org/publications/paper/N6cC},
doi = {10.29007/l43m}
}
@inproceedings{dbb-rvcubes2017,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {{TemPsy-Check}: a Tool for Model-driven Trace
Checking of Pattern-based Temporal Properties},
booktitle = {Proceedings of the International Workshop on
Competitions, Usability, Benchmarks, Evaluation, and
Standardisation for Runtime Verification Tools
(RV-CuBES 2017), co-located with RV 2017, Seattle,
WA, USA},
year = 2017,
month = {September},
volume = 3,
series = {Kalpa Publications in Computing},
pages = {64--70},
publisher = {EasyChair},
url = {https://easychair.org/publications/paper/jwLm},
doi = {10.29007/w2nj}
}
@article{bbnps-ieeesw2017,
author = {Lionel Briand and Domenico Bianculli and Shiva
Nejati and Fabrizio Pastore and Mehrdad Sabetzadeh},
title = {The Case for Context-Driven Software Engineering
Research},
journal = {IEEE Sw.},
year = 2017,
doi = {10.1109/MS.2017.3571562},
url = {http://hdl.handle.net/10993/31563},
volume = 34,
number = 5,
pages = {72--75}
}
@inproceedings{tsbb:esec-fse2017-demo,
author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
Bianculli and Lionel Briand},
title = {{JoanAudit}: A Tool for Auditing Common Injection
Vulnerabilities},
year = 2017,
pages = {1004--1008},
doi = {10.1145/3106237.3122822},
month = {September},
booktitle = {Proceedings of the 2017 11th Joint Meeting of the
European Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering, Paderborn, Germany},
publisher = {ACM}
}
@inproceedings{dbb:models2017,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {A Model-driven Approach to Trace Checking of
Pattern-based Temporal Properties},
year = 2017,
month = {September},
booktitle = {Proceedings of the 2017 ACM/IEEE 20th International
Conference on Model Driven Engineering Languages and
Systems (MODELS~2017), Austin, TX, USA},
publisher = {IEEE},
pages = {323--333},
doi = {10.1109/MODELS.2017.9}
}
@inproceedings{tsbb:icse2017,
author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
Bianculli and Lionel Briand},
title = {Search-driven String Constraint Solving for
Vulnerability Detection},
year = 2017,
doi = {10.1109/ICSE.2017.26},
month = {May},
booktitle = {Proceedings of the 39th International Conference on
Software Engineering (ICSE 2017), Buenos Aires,
Argentina},
publisher = {ACM},
pages = {198--208}
}
@inproceedings{bbb:sacmat2016,
title = {GemRBAC-DSL: a High-level Specification Language for
Role-based Access Control Policies},
year = 2016,
booktitle = {Proceedings of the 21st ACM Symposium on Access
Control Models and Technologies (SACMAT 2016),
Shanghai, China},
month = {June},
publisher = {ACM},
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand},
pages = {179--190},
doi = {10.1145/2914642.2914656}
}
@inproceedings{bnsb:icse2016vision,
author = {Lionel Briand and Shiva Nejati and Mehrdad
Sabetzadeh and Domenico Bianculli},
title = {Testing the Untestable},
year = 2016,
47\% (9/19)},
month = {May},
booktitle = {Proceedings of the 38th International Conference on
Software Engineering Companion (ICSE 2016), Austin,
TX, USA},
publisher = {ACM},
pages = {789--792},
doi = {10.1145/2889160.2889212}
}
@inproceedings{bbgkp:icse2016,
author = {{Marcello Maria} Bersani and Domenico Bianculli and
Carlo Ghezzi and Sr\dj{}an Krsti\'c and Pierluigi
{San Pietro}},
title = {Efficient Large-scale Trace Checking Using
{MapReduce}},
year = 2016,
Award}. Acceptance rate: 19\% (101/530)},
month = {May},
booktitle = {Proceedings of the 38th International Conference on
Software Engineering (ICSE 2016), Austin, TX, USA},
publisher = {ACM},
pages = {888--898},
doi = {10.1145/2884781.2884832}
}
@techreport{bbb-gemrbac-dsl-tr,
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand},
title = {{GemRBAC-DSL}: a High-level Specification Language
for Role-based Access Control Policies},
institution = {{SnT Centre - University of Luxembourg}},
year = 2016,
number = {{TR-SnT-2016-4}},
url = {http://hdl.handle.net/10993/27171},
month = {April}
}
@inproceedings{bbbh:codaspy2016,
title = {A Model-Driven Approach to Representing and Checking
{RBAC} COntextual Policies},
year = 2016,
booktitle = {Proceedings of the 6th ACM Conference on Data and
Application Security and Privacy (CODASPY 2016), New
Orleans, LA, USA},
month = {March},
publisher = {ACM},
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand and Benjamin Hourte},
doi = {10.1145/2857705.2857709},
pages = {243--253}
}
@proceedings{bcr:sefm2015ws,
title = {Software Engineering and Formal Methods - SEFM 2015
Collocated Workshops: ATSE, HOFM, MoKMaSD, and
VERY*SCART, York, UK, September 7-8, 2015, Revised
Selected Papers},
year = 2015,
editor = {Domenico Bianculli and Radu Calinescu and Bernhard
Rumpe},
volume = 9509,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/978-3-662-49224-6},
}
@article{bbb-jss2015,
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand},
title = {A Comprehensive Modeling Framework for Role-based
Access Control Policies},
journal = {Journal of Systems and Software},
year = 2015,
doi = {10.1016/j.jss.2015.05.015},
volume = 107,
pages = {110--126},
month = {September},
url = {http://www.sciencedirect.com/science/article/pii/S0164121215001041}
}
@inproceedings{bfgmr-formalise2015,
author = {Domenico Bianculli and Antonio Filieri and Carlo
Ghezzi and Dino Mandrioli and {Alessandro Maria}
Rizzi},
title = {Syntax-driven Program Verification of Matching Logic
Properties},
booktitle = {Proceedings of the 3rd FME Workshop on Formal
Methods in Software Engineering (FormaliSE 2015),
co-located with ICSE 2015, Florence, Italy},
year = 2015,
month = {May},
publisher = {IEEE},
}
@techreport{bbb-rbac-survey-tr,
author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
Briand},
title = {A Comprehensive Modeling Framework for Role-based
Access Control Policies},
institution = {{SnT Centre - University of Luxembourg}},
year = 2014,
number = {{TR-SnT-2014-15}},
url = {http://hdl.handle.net/10993/18874},
month = {November}
}
@article{bfgm-scp2015,
author = {Domenico Bianculli and Antonio Filieri and Carlo
Ghezzi and Dino Mandrioli},
title = {Syntactic-Semantic Incrementality for Agile
Verification},
journal = {Science of Computer Programming},
year = 2015,
month = {January},
doi = {10.1016/j.scico.2013.11.026},
volume = {97, part~1},
number = 0,
pages = {47--54},
url = {http://www.sciencedirect.com/science/article/pii/S0167642313003109}
}
@inproceedings{bgks-soca2014,
author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
Krsti\'c and Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of
Service-Based Applications},
booktitle = {Proceedings of the 7h International Conference on
Service Oriented Computing and Application (SOCA
2014), Matsue, Japan},
year = 2014,
month = {November},
publisher = {IEEE},
pages = {9--16},
doi = {10.1109/SOCA.2014.14},
}
@inproceedings{bfgm-isola2014,
author = {Domenico Bianculli and Antonio Filieri and Carlo
Ghezzi and Dino Mandrioli},
title = {Incremental Syntactic-Semantic Reliability Analysis
of Evolving Structured Workflows},
booktitle = {Proceedings of the 6th International Symposium On
Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA 2014), Corfu,
Greece},
year = 2014,
series = {Lecture Notes in Computer Science},
month = {October},
publisher = {Springer},
volume = 8802,
pages = {41--55},
doi = {10.1007/978-3-662-45234-9_4}
}
@techreport{dbb:oclr-mapping-tr,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {A Model-driven Approach to Offline Trace Checking of
Temporal Properties with {OCL}},
institution = {{SnT Centre - University of Luxembourg}},
year = 2014,
number = {TR-SnT-2014-5},
month = {September},
url = {http://hdl.handle.net/10993/16112},
}
@inproceedings{dbb-sam2014,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {Revisiting Model-driven Engineering for Run-time
Verification of Business Processes},
booktitle = {Proceedings of the 8th System Analysis and Modeling
Conference (SAM 2014), Valencia, Spain},
year = 2014,
series = {Lecture Notes in Computer Science},
month = {September},
publisher = {Springer},
volume = 8769,
pages = {190--197},
doi = {10.1007/978-3-319-11743-0_13}
}
@inproceedings{bgk-sefm2014,
author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
Krsti\'c},
title = {Trace checking of Metric Temporal Logic with
Aggregating Modalities using {MapReduce}},
booktitle = {Proceedings of the 12th International Conference on
Software Engineering and Formal Methods (SEFM 2014),
Grenoble, France},
year = 2014,
series = {Lecture Notes in Computer Science},
month = {September},
publisher = {Springer},
volume = 8702,
pages = {144--158},
doi = {10.1007/978-3-319-10431-7_11}
}
@inproceedings{dbb-ecmfa2014,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {{OCLR}: a More Expressive, Pattern-based Temporal
Extension of {OCL}},
booktitle = {Proceedings of the 2014 European Conference on
Modelling Foundations and Applications (ECMFA 2014),
York, United Kingdom},
year = 2014,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
month = {July},
volume = 8569,
pages = {51--66},
doi = {10.1007/978-3-319-09195-2_4}
}
@inproceedings{bbdggk-pesos2014,
author = {Marcello Maria Bersani and Domenico Bianculli and
Schahram Dustdar and Alessio Gambi and Carlo Ghezzi
and Sr\dj{}an Krsti\'c},
title = {Towards the Formalization of Properties of
Cloud-based Elastic Systems},
booktitle = {Proceedings of the 6th International Workshop on
Principles of Engineering Service-oriented Systems
({PESOS} 2014), co-located with ICSE 2014,
Hyderabad, India},
year = 2014,
month = {June},
publisher = {ACM},
doi = {10.1145/2593793.2593798}
}
@techreport{dbb:oclr-tr,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {{OCLR}: a More Expressive, Pattern-based Temporal
Extension of {OCL}},
institution = {{SnT Centre - University of Luxembourg}},
year = 2014,
number = {TR-SnT-2014-2},
month = {February},
url = {http://hdl.handle.net/10993/15339},
}
@inproceedings{bbgks-fase2014,
author = {Marcello Maria Bersani and Domenico Bianculli and
Carlo Ghezzi and Sr\dj{}an Krsti\'c and Pierluigi
{San Pietro}},
title = {{SMT}-based Checking of {SOLOIST} over Sparse
Traces},
booktitle = {Proceedings of the 17th International Conference on
Fundamental Approaches to Software Engineering (FASE
2014), Grenoble, France},
year = 2014,
month = {April},
publisher = {Springer},
award}. Acceptance rate: 22.4\% (28/125)},
pages = {276--290},
volume = 8411,
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-642-54804-8_19}
}
@inproceedings{bgps-se2014,
author = {Domenico Bianculli and Carlo Ghezzi and Cesare
Pautasso and Patrick Senti},
title = {Specification Patterns from Research to Industry: a
Case Study in Service-based Applications (extended
abstract)},
booktitle = {Proceedings of Software Engineering 2014: Fachtagung
des GI-Fachbereichs Softwaretechnik, Kiel, Germany},
year = 2014,
series = {Lecture Notes in Informatics},
month = {February},
publisher = {GI},
pages = {51--52},
volume = 227,
url = {http://eprints.uni-kiel.de/23752/},
}
@techreport{bgks-TR2013,
author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
Krsti\'c and Pierluigi {San Pietro}},
title = {From {SOLOIST} to {CLTLB($\mathcal{D}$)}: Checking
Quantitative Properties of Service-based
Applications},
institution = {Politecnico di Milano - Dipartimento di Elettronica,
Informazione e Bioingegneria},
year = 2013,
month = {October},
number = {2013.26},
}
@proceedings{bghp:qasba2013,
editor = {Bianculli, Domenico and Guinea, Sam and Hall{\'e},
Sylvain and Polini, Andrea},
title = {QASBA 2013: Proceedings of the 2013 International
Workshop on Quality Assurance for Service-Based
Applications},
year = 2013,
isbn = {978-1-4503-2182-2},
location = {Lugano, Switzerland},
publisher = {ACM},
month = {July},
url = {http://dl.acm.org/citation.cfm?id=2489300},
}
@proceedings{bllp:pesos2013,
editor = {Bianculli, Domenico and Lago, Patricia and Lewis,
Grace A. and Paik, Hye-Young},
title = {Proceedings of 2013 5th International Workshop on
Principles of Engineering Service-Oriented Systems
(PESOS)},
year = 2013,
isbn = {978-1-4673-6435-5},
location = {San Francisco, CA, USA},
publisher = {IEEE},
month = {May},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6619589},
}
@inproceedings{Bianculli:2013:IWP:2486788.2487073,
author = {Bianculli, Domenico and Lago, Patricia and Lewis,
Grace A. and Paik, Hye-Young},
title = {5th international workshop on principles of
engineering service-oriented systems ({PESOS} 2013)},
booktitle = {Proceedings of the 2013 International Conference on
Software Engineering (ICSE '13), San Francisco, CA,
USA},
year = 2013,
pages = {1539--1540},
numpages = 2,
url = {http://dl.acm.org/citation.cfm?id=2486788.2487073},
publisher = {IEEE Press},
month = {May}
}
@article{bfgm:incremental2013,
author = {Domenico Bianculli and Antonio Filieri and Carlo
Ghezzi and Dino Mandrioli},
title = {A Syntactic-Semantic Approach to Incremental
Verification},
journal = {CoRR},
volume = {abs/1304.8034},
year = 2013,
url = {http://arxiv.org/abs/1304.8034},
month = {May},
}
@article{Lago:2013:RIW:2413038.2382764,
author = {Lago, Patricia and Lewis, Grace A. and Metzger,
Andreas and Tosic, Vladimir and Bianculli, Domenico
and {Di Marco}, Antinisca and Polini, Andrea and
Plebani, Pierluigi},
title = {Report of the 4th international workshop on
principles of engineering service-oriented systems
({PESOS 2012}): internet of services and the quest
for case studies},
journal = {SIGSOFT Softw. Eng. Notes},
issue_date = {January 2013},
volume = 38,
number = 1,
month = jan,
year = 2013,
pages = {35--38},
numpages = 4,
url = {http://doi.acm.org/10.1145/2382756.2382764},
doi = {10.1145/2382756.2382764},
publisher = {ACM},
}
@incollection{bbg:wshandbook2013,
author = {Luciano Baresi and Domenico Bianculli and Sam
Guinea},
title = {Cloud-based Systems need Multi-level Management},
booktitle = {Advanced Web Services},
publisher = {Springer},
year = 2013,
editor = {Athman Bouguettaya and Michael Sheng and Florian
Daniel},
pages = {579--603},
doi = {10.1007/978-1-4614-7535-4_24}
}
@inproceedings{bgs:facs2012,
author = {Domenico Bianculli and Carlo Ghezzi and Pierluigi
{San Pietro}},
title = {The Tale of {SOLOIST}: a Specification Language for
Service Compositions Interactions},
booktitle = {Proceedings of the 9th International Symposium on
Formal Aspects of Component Software (FACS'12),
Mountain View, CA, USA},
year = 2012,
month = {September},
pages = {55--72},
volume = 7684,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
doi = {10.1007/978-3-642-35861-6_4}
}
@phdthesis{b-phd-thesis,
author = {Domenico Bianculli},
title = {{Open-world Software: Specification, Verification,
and Beyond}},
school = {{Universit\`a della Svizzera italiana}},
year = 2012,
month = {July},
url = {http://doc.rero.ch/record/32809}
}
@book{bjp-matinee2012,
editor = {Domenico Bianculli and Mehdi Jazayeri and Mauro
Pezz\`e},
title = {Matin\'ee with {Carlo Ghezzi} - from {Programming
Languages to Software Engineering}},
publisher = {CreateSpace},
year = 2012,
month = {June},
url = {https://sites.google.com/site/matineecarloghezzi/book}
}
@inproceedings{bgps:icse2012,
author = {Domenico Bianculli and Carlo Ghezzi and Cesare
Pautasso and Patrick Senti},
title = {Specification Patterns from Research to Industry: a
Case Study in Service-based Applications},
booktitle = {Proceedings of the 34th International Conference on
Software Engineering (ICSE 2012), Z\"urich,
Switzerland},
year = 2012,
month = {June},
publisher = {IEEE Computer Society Press},
pages = {968--976},
doi = {10.1109/ICSE.2012.6227125}
}
@proceedings{bgmp:qasba2011,
editor = {Bianculli, Domenico and Guinea, Sam and Metzger,
Andreas and Polini, Andrea},
title = {QASBA '11: Proceedings of the International Workshop
on Quality Assurance for Service-Based Applications},
year = 2011,
isbn = {978-1-4503-0826-7},
location = {Lugano, Switzerland},
publisher = {ACM},
month = {September},
url = {http://dl.acm.org/citation.cfm?id=2031746},
}
@inproceedings{bgp:icse2011,
author = {Domenico Bianculli and Dimitra Giannakopoulou and
Corina S.~P\u as\u areanu},
title = {Interface Decomposition for Service Compositions},
booktitle = {Proceedings of the 33rd International Conference on
Software Engineering (ICSE 2011), Honolulu, HI, USA},
year = 2011,
month = {May},
publisher = {ACM},
doi = {10.1145/1985793.1985862},
pages = {501--510}
}
@inproceedings{bbd:icse2010demo,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {{SOABench}: Performance Evaluation of
Service-Oriented Middleware Made Easy},
booktitle = {Proceedings (Volume 2) of the 32nd International
Conference on Software Engineering (ICSE 2010), Cape
Town, South Africa},
year = 2010,
month = {May},
publisher = {ACM},
doi = {http://doi.acm.org/10.1145/1810295.1810361},
pages = {301--302}
}
@inproceedings{bbd:www2010,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {Automated Performance Assessment for
Service-Oriented Middleware: a Case Study on {BPEL}
engines},
booktitle = {Proceedings of the 19th International Conference on
World Wide Web (WWW 2010), Raleigh, NC, USA},
month = {April},
year = 2010,
publisher = {ACM},
doi = {10.1145/1772690.1772706},
pages = {141--150},
}
@techreport{bbd:tr072009,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {Automated Performance Assessment for
Service-Oriented Middleware},
institution = {Faculty of Informatics - University of Lugano},
number = {2009/07},
year = 2009,
month = {November},
url = {http://www.inf.usi.ch/research_publication.htm?id=55}
}
@inproceedings{bbgs:forte2009,
author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
and Paola Spoletini},
title = {Keep It Small, Keep It Real: Efficient Run-time
Verification of Web Service Compositions},
booktitle = {Proceedings of IFIP international conference on
Formal Techniques for Distributed Systems
(FMOODS/FORTE 2009), Lisbon Portugal},
year = 2009,
series = {Lecture Notes in Computer Science},
month = {June},
publisher = {Springer},
doi = {10.1007/978-3-642-02138-1_2},
pages = {26--40},
volume = 5522,
}
@inproceedings{bgp:pesos2009,
author = {Domenico Bianculli and Carlo Ghezzi and Cesare
Pautasso},
title = {Embedding Continuous Lifelong Verification in
Service Life Cycles},
booktitle = {Proceedings of Principles of Engineering Service
Oriented Systems (PESOS 2009), co-located with ICSE
2009, Vancouver, Canada},
year = 2009,
month = {May},
publisher = {IEEE Computer Society Press},
doi = {10.1109/PESOS.2009.5068828},
pages = {99--102}
}
@inproceedings{bbdg09:icse09demo,
author = {Domenico Bianculli and Walter Binder and Luigi Drago
and Carlo Ghezzi},
title = {{ReMan}: A Pro-active Reputation Management
Infrastructure for Composite Web Services},
booktitle = {Proceedings of the 31st International Conference on
Software Engineering (ICSE 2009), Vancouver, Canada},
month = {May},
year = 2009,
(24/72)},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICSE.2009.5070571},
pages = {623--626},
}
@techreport{bbgs:forte2009-tr,
author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
and Paola Spoletini},
title = {Keep It Small, Keep It Real: Efficient Run-time
Verification of Web Service Compositions},
year = 2009,
month = {April},
institution = {Politecnico di Milano - Dipartimento di Elettronica
e Informazione},
number = {2009.9},
}
@inproceedings{b:ds-fse2008,
author = {Domenico Bianculli},
title = {Lifelong Verification of Dynamic Service
Compositions},
booktitle = {Proceedings of the 2008 Foundations of Software
Engineering Doctoral Symposium (FSEDS '08),
co-located with ACM SIGSOFT 2008/FSE 16, Atlanta,
USA},
year = 2008,
month = {November},
publisher = {ACM},
pages = {1--4},
doi = {10.1145/1496653.1496654},
}
@inproceedings{bg:aramis2008,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {{SAVVY-WS} at a glance: supporting verifiable
dynamic service compositions},
booktitle = {Proceedings of the 1st International Workshop on
{Automated engineeRing of Autonomous and run-tiMe
evolvIng Systems} (ARAMIS 2008), co-located with ASE
2008, L'Aquila, Italy},
year = 2008,
month = {September},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ASEW.2008.4686293},
pages = {49--56},
}
@incollection{bgsbg:lipari,
author = {Domenico Bianculli and Carlo Ghezzi and Paola
Spoletini and Luciano Baresi and Sam Guinea},
title = {A Guided Tour through {SAVVY-WS}: a Methodology for
Specifying and Validating Web Service Compositions},
booktitle = {Advances in Software Engineering},
publisher = {Springer},
year = 2008,
editor = {Egon B\"orger and Antonio Cisternino},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-540-89762-0},
month = {November},
pages = {131--160},
volume = 5316
}
@inproceedings{bbdg:icws08,
author = {Domenico Bianculli and Walter Binder and Luigi Drago
and Carlo Ghezzi},
title = {Transparent Reputation Management for Composite Web
Services},
booktitle = {Proceedings of the IEEE International Conference on
Web Services (ICWS 2008), Beijing, China},
month = {September},
year = 2008,
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICWS.2008.39},
pages = {621--628},
}
@inproceedings{bg:sdsoa08,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {Towards a methodology for lifelong validation of
service compositions},
booktitle = {Proceedings of the 2nd International Workshop on
Systems Development in SOA Environments (SDSOA
2008), co-located with ICSE 2008, Leipzig, Germany},
year = 2008,
month = {May},
pages = {7--12},
doi = {10.1145/1370916.1370919},
publisher = {ACM},
}
@article{bbggs:iet07,
author = {Luciano Baresi and Domenico Bianculli and Carlo
Ghezzi and Sam Guinea and Paola Spoletini},
title = {Validation of web service compositions},
publisher = {IET},
year = 2007,
month = {December},
journal = {IET Softw.},
volume = 1,
number = 6,
pages = {219--232},
url = {http://link.aip.org/link/?SEN/1/219/1},
doi = {10.1049/iet-sen:20070027},
}
@inproceedings{bjbgf:icsoc07,
author = {Domenico Bianculli and Radu Jurca and Walter Binder
and Carlo Ghezzi and Boi Faltings},
title = {Automated Dynamic Maintenance of Composite Services
based on Service Reputation},
booktitle = {Proceedings of ICSOC'07, International Conference on
Service-Oriented Computing, Vienna, Austria},
year = 2007,
month = {September},
pages = {449--455},
volume = 4749,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
doi = {10.1007/978-3-540-74974-5_42},
}
@inproceedings{bg:soswe07,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {Monitoring Conversational Web Services},
booktitle = {Proceedings of the 2nd International Workshop on
Service-Oriented Software Engineering (IW-SOSWE'07),
co-located with ESEC/FSE 2007, Dubrovnik, Croatia},
year = 2007,
month = {September},
pages = {15--21},
publisher = {ACM},
doi = {10.1145/1294928.1294933},
}
@inproceedings{bbggs:icws07,
author = {Luciano Baresi and Domenico Bianculli and Carlo
Ghezzi and Sam Guinea and Paola Spoletini},
title = {A Timed extension of {WSCoL}},
booktitle = {Proceedings of the IEEE International Conference on
Web Services (ICWS 2007), Salt Lake City, UT, USA},
month = {July},
year = 2007,
publisher = {IEEE Computer Society Press},
pages = {663--670},
doi = {10.1109/ICWS.2007.25},
}
@inproceedings{bgs:soca07,
author = {Domenico Bianculli and Carlo Ghezzi and Paola
Spoletini},
title = {A model checking approach to verify {BPEL4WS}
workflows},
booktitle = {Proceedings of the 2007 IEEE International
Conference on Service-Oriented Computing and
Applications (IEEE SOCA 2007), Newport Beach, CA,
USA},
month = {June},
year = 2007,
publisher = {IEEE Computer Society Press},
pages = {13--20},
doi = {10.1109/SOCA.2007.5},
}
@inproceedings{bmpss:icse07demo,
author = {Domenico Bianculli and Angelo Morzenti and Matteo
Pradella and Pierluigi {San Pietro }and Paola
Spoletini},
title = {{Trio2Promela}: a Model Checker for Temporal Metric
Specifications},
booktitle = {ICSE 2007 Companion: Companion of the proceedings of
the 29th International Conference on Software
Engineering, Minneapolis, MN, USA},
month = {May},
year = 2007,
((12+16)/56)},
pages = {61--62},
doi = {10.1109/ICSECOMPANION.2007.79},
publisher = {IEEE Computer Society Press},
}
@inproceedings{bsmps:fsen07,
author = {Domenico Bianculli and Paola Spoletini and Angelo
Morzenti and Matteo Pradella and Pierluigi {San
Pietro}},
title = {Model checking temporal metric specification with
{Trio2Promela}},
booktitle = {Proceedings of International Symposium on
Fundamentals of Software Engineering (FSEN 2007),
Teheran, Iran},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = 2007,
pages = {388--395},
volume = 4767,
month = {April},
doi = {10.1007/978-3-540-75698-9_26},
}
This file has been generated with bibtex2html and sed
