::BibTeX file::
@inproceedings{cb:digihum-res2025,
author = {Marcello Ceci and Domenico Bianculli},
title = {Beyond the Digital Judge: Legal Reasoning in
Compliance Checking and Compliance Choices},
booktitle = {DIGHUM-RES 2025 (Digital Humanism – Interdisciplinary Science and Research Conference) Proceedings},
year = 2025,
series = {LNCS},
month = {November},
publisher = {Springer},
}
@inproceedings{ymbb:ase2025,
author = {Drishti Yadav and Claudio Mandrioli and Ezio
Bartocci and Domenico Bianculli},
title = {Fault Injection for Simulink-based {CPS} Models:
Insights and Future Directions},
booktitle = {Proceedings of the 2025 40th ACM/IEEE International
Conference on Automated Software Engineering
(ASE'25)},
month = {November},
year = 2025,
}
@inproceedings{csabh:ruleml2025,
title = {When Data Stands Before the Law: an Experience
Report on Representing Financial Rules in {SPARQL}},
author = {Marcello Ceci and Nicolas Sannier and Sallam
Abualhaija and Domenico Bianculli and Michael
Halling},
year = 2025,
month = {September},
booktitle = {{RuleML+RR'25}: Companion Proceedings of the 9th
International Joint Conference on Rules and
Reasoning},
publisher = {CEUR}
}
@inproceedings{aascb:re2025,
title = {{GDPR} Compliance in Privacy Policies of Mobile
Apps: An Overview of the State-of-Practice},
author = {Orlando {Amaral Cejas} and Sallam Abualhaija and
Nicolas Sannier and Marcello Ceci and Domenico
Bianculli},
year = 2025,
month = {September},
booktitle = {Proceedings of the 33rd IEEE International
Requirements Engineering 2025 conference},
publisher = {IEEE}
}
@inproceedings{acsblsvt:re2025,
title = {{LLM}-assisted Extraction of Regulatory
Requirements: A Case Study on the {GDPR}},
author = {Sallam Abualhaija and Marcello Ceci and Nicolas
Sannier and Domenico Bianculli and Salom\'e Lannier
and Martina Siclari and Olivier Voordeckers and
Stanislaw Tosza},
year = 2025,
month = {September},
booktitle = {Proceedings of the 33rd IEEE International
Requirements Engineering 2025 conference},
publisher = {IEEE}
}
@article{DBLP:journals/tse/PentaBLUZ25,
author = {Massimiliano Di Penta and Domenico Bianculli and
Michael R. Lyu and Sebasti{\'{a}}n Uchitel and Andy
Zaidman},
title = {Relevance of Log Mining and Analytics Papers to
{IEEE} Transactions on Software Engineering},
journal = {{IEEE} Trans. Software Eng.},
month = {August},
volume = 51,
number = 8,
pages = {2211--2212},
year = 2025,
doi = {10.1109/TSE.2025.3591380},
}
@inproceedings{mb2025:qaiccc,
author = {Marquer, Yoann and Bianculli, Domenico},
title = {A Piece of {QAICCC}: Towards a Countermeasure
Against Crosstalk Attacks in Quantum Servers},
booktitle = {Proceedings of the 2025 IEEE International
Conference on Quantum Computing and Engineering
(QCE)},
year = 2025,
month = {August},
publisher = {IEEE},
}
@inproceedings{spb:2025quantumprogramlintingllms,
title = {Quantum Program Linting with {LLMs}: Emerging
Results from a Comparative Study},
author = {Seung Yeob Shin and Fabrizio Pastore and Domenico
Bianculli},
year = 2025,
month = {August},
booktitle = {Proceedings of the 2025 IEEE International
Conference on Quantum Computing and Engineering
(QCE) - Q-SET workshop},
publisher = {IEEE}
}
@proceedings{bsapmpbdmnsz-ecsa2025-ws-procs,
title = {Software Architecture. {ECSA} 2025 Tracks and
Workshops},
year = 2025,
editor = {Domenico Bianculli and Hassan Sartaj and Vasilios
Andrikopoulos and Cesare Pautasso and Tommi Mikkonen
and Jennifer Perez and Tom\'a\v{s} Bure\v{s} and
Martina {De Sanctis} and Henry Muccini and Elena
Navarro and Mohamed Soliman and Uwe Zdun},
volume = 15982,
series = {Lecture Notes in Computer Science},
month = {September},
publisher = {Springer},
doi = {10.1007/978-3-032-04403-7},
}
@inproceedings{ascasbbk:fse2025-ivr,
title = {{Toward LLM-Driven GDPR Compliance Checking for
Android Apps}},
year = 2025,
month = {July},
booktitle = {Companion Proceedings of the 33rd ACM International
Conference on the Foundations of Software
Engineering (FSE'25)},
pages = {606--610},
publisher = {ACM},
doi = {10.1145/3696630.3728508},
author = {Alecci, Marco and Sannier, Nicolas and Ceci,
Marcello and Abualhaija, Sallam and Samhi, Jordan
and Bianculli, Domenico and Bissyande, {Tegawend\'e
Fran\c{c}ois d'Assise} and Klein, Jacques}
}
@article{abbbb:2024comprehensivestudymachinelearning,
title = {A Comprehensive Study of Machine Learning Techniques
for Log-Based Anomaly Detection},
author = {Shan Ali and Chaima Boufaied and Domenico Bianculli
and Paula Branco and Lionel Briand},
journal = {Empir. Softw. Eng.},
volume = 30,
number = 5,
pages = {129:1--129:59},
month = {June},
year = 2025,
doi = {10.1007/S10664-025-10669-3},
}
@article{msmbb-tosem2025-rcr,
author = {Mandrioli, Claudio and Shin, Seung Yeob and Maggio,
Martina and Bianculli, Domenico and Briand, Lionel},
title = {Stress Testing Control Loops in Cyber-Physical
Systems - {RCR} Report},
year = 2025,
publisher = {Association for Computing Machinery},
doi = {10.1145/3733715},
journal = {ACM Trans. Softw. Eng. Methodol.},
month = may,
}
@article{hxbb:2025llmmeetsmldataefficient,
title = {{LLM} meets {ML}: Data-efficient Anomaly Detection
on Unseen Unstable Logs},
author = {Fatemeh Hadadi and Qinghua Xu and Domenico Bianculli
and Lionel Briand},
year = 2025,
month = {April},
url = {https://arxiv.org/abs/2406.07467},
journal = {CoRR},
}
@article{msbb:tse2024d,
title = {Testing {CPS} with Design Assumptions-Based
Metamorphic Relations and Genetic Programming},
author = {Claudio Mandrioli and Seung Yeob Shin and Domenico
Bianculli and Lionel Briand},
journal = {{IEEE} Trans. Software Eng.},
volume = 51,
number = 6,
month = apr,
pages = {1666--1684},
year = 2025,
doi = {10.1109/TSE.2025.3563121},
}
@article{lbb:reen2025:,
author = {Li, Xiaochen and Bianculli, Domenico and Briand,
Lionel},
title = {Tracing content requirements in financial documents
using multi-granularity text analysis},
year = 2025,
publisher = {Springer},
doi = {10.1007/s00766-025-00436-7},
journal = {Requirements Eng},
pages = {1--24},
month = apr,
}
@article{blbb:tosem2024:laff:rcr,
author = {Belgacem, Hichem and Li, Xiaochen and Bianculli,
Domenico and Briand, Lionel},
title = {{A Machine Learning Approach for Automated Filling
of Categorical Fields in Data Entry Forms - RCR
Report}},
year = 2025,
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
issn = {1049-331X},
doi = {10.1145/3702985},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = 34,
number = 2,
month = jan,
pages = {56:1--56:7},
}
@article{ssb:2024taxonomysoftwarelogsmells,
title = {Taxonomy of Software Log Smells},
author = {Nyyti Saarimäki and Donghwan Shin and Domenico
Bianculli},
year = 2024,
volume = {abs/2412.09284},
journal = {CoRR},
}
@article{DBLP:journals/tse/UchitelCPAABBBCDFHHLLMM24,
author = {Sebasti{\'{a}}n Uchitel and Marsha Chechik and
Massimiliano Di Penta and Bram Adams and Nazareno
Aguirre and Gabriele Bavota and Domenico Bianculli
and Kelly Blincoe and Ana Cavalcanti and Yvonne
Dittrich and Filomena Ferrucci and Rashina Hoda and
LiGuo Huang and David Lo and Michael R. Lyu and Lei
Ma and Jonathan I. Maletic and Leonardo Mariani and
Collin McMillan and Tim Menzies and Martin Monperrus
and Ana Moreno and Nachiappan Nagappan and Liliana
Pasquale and Patrizio Pelliccione and Michael Pradel
and Rahul Purandare and Sukyoung Ryu and Mehrdad
Sabetzadeh and Alexander Serebrenik and Jun Sun and
Chakkrit Kla Tantithamthavorn and Christoph Treude
and Manuel Wimmer and Yingfei Xiong and Tao Yue and
Andy Zaidman and Tao Zhang and Hao Zhong},
title = {Scoping Software Engineering for {AI:} The {TSE}
Perspective},
journal = {{IEEE} Trans. Software Eng.},
volume = 50,
number = 11,
pages = {2709--2711},
year = 2024,
doi = {10.1109/TSE.2024.3470368},
}
@article{asacb:2024gdprrelevantprivacyconcernsmobile,
title = {{GDPR}-Relevant Privacy Concerns in Mobile Apps
Research: A Systematic Literature Review},
author = {Orlando Amaral Cejas and Nicolas Sannier and Sallam
Abualhaija and Marcello Ceci and Domenico Bianculli},
year = 2024,
volume = {abs/2411.19142},
journal = {CoRR},
}
@article{blbb:jdiq2024,
author = {Hichem Belgacem and Xiaochen Li and Domenico
Bianculli and Lionel Briand},
title = {Automated anomaly detection for categorical data by
repurposing a form filling recommender system},
journal = {{ACM} J. Data Inf. Qual.},
year = 2024,
volume = 16,
number = 3,
pages = {16:1--16:28},
doi = {10.1145/3696110},
month = {October},
}
@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,
month = {September},
volume = 2178,
series = {Communications in Computer and Information Science},
pages = {126--141},
publisher = {Springer},
doi = {10.1007/978-3-031-70245-7_9}
}
@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{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}
}
@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{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},
doi = {10.1109/REW61692.2024.00042},
pages = {272--280}
}
@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)},
pages = {18--30},
doi = {10.1109/RE59067.2024.00013}
}
@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)},
pages = {5--17},
doi = {10.1109/RE59067.2024.00012}
}
@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{sbb:abs-2004-07194,
author = {Donghwan Shin and Domenico Bianculli and Lionel
C. Briand},
title = {Effective Removal of Operational Log Messages: an
Application to Model Inference},
journal = {CoRR},
volume = {abs/2004.07194},
year = 2020,
url = {https://arxiv.org/abs/2004.07194},
}
@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,
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,
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},
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,
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,
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
