Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Polini
@article{DBLP:journals/sqj/BarboniMPC24,
author = {Morena Barboni and
Andrea Morichetta and
Andrea Polini and
Francesco Casoni},
title = {ReSuMo: a regression strategy and tool for mutation testing of solidity
smart contracts},
journal = {Softw. Qual. J.},
volume = {32},
number = {1},
pages = {225--253},
year = {2024},
url = {https://doi.org/10.1007/s11219-023-09637-1},
doi = {10.1007/S11219-023-09637-1},
timestamp = {Fri, 23 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sqj/BarboniMPC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CorradiniFFPRR23,
author = {Flavio Corradini and
Arianna Fedeli and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Luca Ruschioni},
title = {X-IoT: a model-driven approach to support IoT application portability
across IoT platforms},
journal = {Computing},
volume = {105},
number = {9},
pages = {1981--2005},
year = {2023},
url = {https://doi.org/10.1007/s00607-023-01155-z},
doi = {10.1007/S00607-023-01155-Z},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/CorradiniFFPRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CorradiniM0P0023,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {A Flexible Approach to Multi-party Business Process Execution on Blockchain},
journal = {Future Gener. Comput. Syst.},
volume = {147},
pages = {219--234},
year = {2023},
url = {https://doi.org/10.1016/j.future.2023.05.006},
doi = {10.1016/J.FUTURE.2023.05.006},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/CorradiniM0P0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CorradiniFFPR23,
author = {Flavio Corradini and
Arianna Fedeli and
Fabrizio Fornari and
Andrea Polini and
Barbara Re},
title = {FloWare: a model-driven approach fostering reuse and customisation
in IoT applications modelling and development},
journal = {Softw. Syst. Model.},
volume = {22},
number = {1},
pages = {131--158},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01026-9},
doi = {10.1007/S10270-022-01026-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CorradiniFFPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CompagnucciC0P023,
author = {Ivan Compagnucci and
Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {A systematic literature review on IoT-aware business process modeling
views, requirements and notations},
journal = {Softw. Syst. Model.},
volume = {22},
number = {3},
pages = {969--1004},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01049-2},
doi = {10.1007/S10270-022-01049-2},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CompagnucciC0P023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bir/FedeliBLP23,
author = {Arianna Fedeli and
Nils Beutling and
Emanuele Laurenzi and
Andrea Polini},
editor = {Andrea Morichetta and
Robert Andrei Buchmann and
Kurt Sandkuhl and
Ulf Seigerroth and
Marite Kirikova and
Charles M{\o}ller and
Anne Gutschmidt and
Ana{-}Maria Ghiran and
Alessandro Marcelletti and
Barbara Re and
Bj{\"{o}}rn Johansson},
title = {Comparison of general-purpose and domain-specific modelling languages
in the IoT domain: {A} case study from the OMiLAB community},
booktitle = {Joint Proceedings of the {BIR} 2023 Workshops and Doctoral Consortium
co-located with 22nd International Conference on Perspectives in Business
Informatics Research {(BIR} 2023), Ascoli Piceno, Italy, September
13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3514},
pages = {145--157},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3514/paper85.pdf},
timestamp = {Fri, 17 Nov 2023 13:44:58 +0100},
biburl = {https://dblp.org/rec/conf/bir/FedeliBLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BarboniAMP23,
author = {Morena Barboni and
Guglielmo De Angelis and
Andrea Morichetta and
Andrea Polini},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Paolo Salvaneschi},
title = {{CATANA:} Replay Testing for the Ethereum Blockchain},
booktitle = {Testing Software and Systems - 35th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2023, Bergamo, Italy, September 18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14131},
pages = {257--265},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43240-8\_17},
doi = {10.1007/978-3-031-43240-8\_17},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BarboniAMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DoniniM0P23,
author = {Francesco Donini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {RESTChain: a Blockchain-based Mediator for {REST} Interactions in
Service Choreographies},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {245--248},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577826},
doi = {10.1145/3555776.3577826},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/DoniniM0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2023,
editor = {Knut Hinkelmann and
Francisco J. L{\'{o}}pez{-}Pellicer and
Andrea Polini},
title = {Perspectives in Business Informatics Research - 22nd International
Conference on Business Informatics Research, {BIR} 2023, Ascoli Piceno,
Italy, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {493},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43126-5},
doi = {10.1007/978-3-031-43126-5},
isbn = {978-3-031-43125-8},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bir/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bpmj/CorradiniPRRT22,
author = {Flavio Corradini and
Andrea Polini and
Barbara Re and
Lorenzo Rossi and
Francesco Tiezzi},
title = {Consistent modelling of hierarchical {BPMN} collaborations},
journal = {Bus. Process. Manag. J.},
volume = {28},
number = {2},
pages = {442--460},
year = {2022},
url = {https://doi.org/10.1108/BPMJ-07-2021-0485},
doi = {10.1108/BPMJ-07-2021-0485},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bpmj/CorradiniPRRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BarboniMP22,
author = {Morena Barboni and
Andrea Morichetta and
Andrea Polini},
title = {SuMo: {A} mutation testing approach and tool for the Ethereum blockchain},
journal = {J. Syst. Softw.},
volume = {193},
pages = {111445},
year = {2022},
url = {https://doi.org/10.1016/j.jss.2022.111445},
doi = {10.1016/J.JSS.2022.111445},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BarboniMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/CorradiniMMPRT22,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {Engineering Trustable and Auditable Choreography-based Systems Using
Blockchain},
journal = {{ACM} Trans. Manag. Inf. Syst.},
volume = {13},
number = {3},
pages = {31:1--31:53},
year = {2022},
url = {https://doi.org/10.1145/3505225},
doi = {10.1145/3505225},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmis/CorradiniMMPRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniM0P0022,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Christian Janiesch and
Chiara Di Francescomarino and
Thomas Grisold and
Akhil Kumar and
Jan Mendling and
Brian T. Pentland and
Hajo A. Reijers and
Mathias Weske and
Robert Winter},
title = {ChorChain: {A} Blockchain-Based Framework for Executing and Auditing
{BPMN} Choreographies},
booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
Demonstration {\&} Resources Track at {BPM} 2022 co-located with
20th International Conference on Business Process Management {(BPM}
2022), M{\"{u}}nster, Germany, September 11th to 16th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3216},
pages = {132--136},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3216/paper\_254.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CorradiniM0P0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/CorradiniFPR22,
author = {Flavio Corradini and
Arianna Fedeli and
Andrea Polini and
Barbara Re},
title = {Towards a Digital Twin Modelling Notation},
booktitle = {{IEEE} Intl. Conf. on Dependable, Autonomic and Secure Computing,
Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
and Big Data Computing, Intl Conf on Cyber Science and Technology
Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September
12-15, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927827},
doi = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927827},
timestamp = {Mon, 02 Jan 2023 14:34:28 +0100},
biburl = {https://dblp.org/rec/conf/dasc/CorradiniFPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/CorradiniF0P022,
author = {Flavio Corradini and
Arianna Fedeli and
Fabrizio Fornari and
Andrea Polini and
Barbara Re},
editor = {Tiago Prince Sales and
Henderik A. Proper and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {{DTMN} a Modelling Notation for Digital Twins},
booktitle = {Enterprise Design, Operations, and Computing. {EDOC} 2022 Workshops
- IDAMS, SoEA4EE, TEAR, {EDOC} Forum, Demonstrations Track and Doctoral
Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {466},
pages = {63--78},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26886-1\_4},
doi = {10.1007/978-3-031-26886-1\_4},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/CorradiniF0P022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniL0PP22,
author = {Flavio Corradini and
Caterina Luciani and
Andrea Morichetta and
Marco Piangerelli and
Andrea Polini},
editor = {Marijn Janssen and
Csaba Cs{\'{a}}ki and
Marius Rohde Johannessen and
Robert Krimmer and
Thomas J. Lampoltshammer and
Ida Lindgren and
Euripidis N. Loukis and
Ulf Melin and
Peter Parycek and
Gabriela Viale Pereira and
Manuel Pedro Rodr{\'{\i}}guez Bol{\'{\i}}var and
Gerhard Schwabe and
Efthimios Tambouris and
Jolien Ubacht},
title = {Label-independent feature engineering-based clustering in Public Administration
Event Logs (short paper)},
booktitle = {Proceedings of Ongoing Research, Practitioners, Posters, Workshops,
and Projects. International Conference EGOV-CeDEM-ePart 2022, Hybrid
Event, Link{\"{o}}ping University, Link{\"{o}}ping, Sweden,
September 6-8, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3399},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3399/paper22.pdf},
timestamp = {Fri, 08 Sep 2023 14:38:17 +0200},
biburl = {https://dblp.org/rec/conf/egov/CorradiniL0PP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/CorradiniMMPRT22,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {A Choreography-Driven Approach for Blockchain-Based IoT Applications},
booktitle = {2022 {IEEE} International Conference on Pervasive Computing and Communications
Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa,
Italy, March 21-25, 2022},
pages = {255--260},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PerComWorkshops53856.2022.9767513},
doi = {10.1109/PERCOMWORKSHOPS53856.2022.9767513},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/percom/CorradiniMMPRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BarboniC0P22,
author = {Morena Barboni and
Francesco Casoni and
Andrea Morichetta and
Andrea Polini},
editor = {Antonio Vallecillo and
Joost Visser and
Ricardo P{\'{e}}rez{-}Castillo},
title = {ReSuMo: Regression Mutation Testing for Solidity Smart Contracts},
booktitle = {Quality of Information and Communications Technology - 15th International
Conference, {QUATIC} 2022, Talavera de la Reina, Spain, September
12-14, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1621},
pages = {61--76},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14179-9\_5},
doi = {10.1007/978-3-031-14179-9\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/BarboniC0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CorradiniF0P022,
author = {Flavio Corradini and
Arianna Fedeli and
Fabrizio Fornari and
Andrea Polini and
Barbara Re},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {X-IoT: a model-driven approach for cross-platform IoT applications
development},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1448--1451},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507164},
doi = {10.1145/3477314.3507164},
timestamp = {Wed, 11 May 2022 08:59:01 +0200},
biburl = {https://dblp.org/rec/conf/sac/CorradiniF0P022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetseb-ws/Barboni0P22,
author = {Morena Barboni and
Andrea Morichetta and
Andrea Polini},
title = {Smart contract testing: challenges and opportunities},
booktitle = {Proceedings of the 5th International Workshop on Emerging Trends in
Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh,
Pennsylvania, 19 May 2022},
pages = {21--24},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3528226.3528370},
doi = {10.1145/3528226.3528370},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetseb-ws/Barboni0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetseb-ws/CorradiniM0P0022,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {Flexible execution of multi-party business processes on blockchain},
booktitle = {Proceedings of the 5th International Workshop on Emerging Trends in
Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh,
Pennsylvania, 19 May 2022},
pages = {25--32},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3528226.3528369},
doi = {10.1145/3528226.3528369},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetseb-ws/CorradiniM0P0022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CorradiniFPRTV21,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi and
Andrea Vandin},
title = {A formal approach for the analysis of {BPMN} collaboration models},
journal = {J. Syst. Softw.},
volume = {180},
pages = {111007},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.111007},
doi = {10.1016/J.JSS.2021.111007},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CorradiniFPRTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ast/Barboni0P21,
author = {Morena Barboni and
Andrea Morichetta and
Andrea Polini},
title = {SuMo: {A} Mutation Testing Strategy for Solidity Smart Contracts},
booktitle = {2nd {IEEE/ACM} International Conference on Automation of Software
Test, AST@ICSE 2021, Madrid, Spain, May 20-21, 2021},
pages = {50--59},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/AST52587.2021.00014},
doi = {10.1109/AST52587.2021.00014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ast/Barboni0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Corradini0P0021,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Andrea Marrella and
Daniele Theseider Dupr{\'{e}}},
title = {RePROSitory: a Repository platform for sharing business PROcess models
and logS},
booktitle = {Proceedings of the 1st Italian Forum on Business Process Management
co-located with the 19th International Conference of Business Process
Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2952},
pages = {13--18},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2952/paper\_292a.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/Corradini0P0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniM0P0021,
author = {Flavio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Andrea Marrella and
Daniele Theseider Dupr{\'{e}}},
title = {ChorChain: {A} model-driven framework for choreography-based systems
using blockchain},
booktitle = {Proceedings of the 1st Italian Forum on Business Process Management
co-located with the 19th International Conference of Business Process
Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2952},
pages = {26--32},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2952/paper\_294a.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CorradiniM0P0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CorradiniFFP021,
author = {Flavio Corradini and
Arianna Fedeli and
Fabrizio Fornari and
Andrea Polini and
Barbara Re},
editor = {Adriano Augusto and
Asif Gill and
Selmin Nurcan and
Iris Reinhartz{-}Berger and
Rainer Schmidt and
Jelena Zdravkovic},
title = {FloWare: An Approach for IoT Support and Application Development},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 22nd
International Conference, {BPMDS} 2021, and 26th International Conference,
{EMMSAD} 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June
28-29, 2021, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {421},
pages = {350--365},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79186-5\_23},
doi = {10.1007/978-3-030-79186-5\_23},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CorradiniFFP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniLMPP21,
author = {Flavio Corradini and
Caterina Luciani and
Andrea Morichetta and
Marco Piangerelli and
Andrea Polini},
editor = {Hans Jochen Scholl and
J. Ram{\'{o}}n Gil{-}Garc{\'{\i}}a and
Marijn Janssen and
Evangelos Kalampokis and
Ida Lindgren and
Manuel Pedro Rodr{\'{\i}}guez Bol{\'{\i}}var},
title = {TLV-diss\({}_{\mbox{{\(\gamma\)} }}\): {A} Dissimilarity Measure for
Public Administration Process Logs},
booktitle = {Electronic Government - 20th {IFIP} {WG} 8.5 International Conference,
{EGOV} 2021, Granada, Spain, September 7-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12850},
pages = {301--314},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-84789-0\_22},
doi = {10.1007/978-3-030-84789-0\_22},
timestamp = {Fri, 08 Sep 2023 15:13:28 +0200},
biburl = {https://dblp.org/rec/conf/egov/CorradiniLMPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtacsit/CorradiniL0P21,
author = {Flavio Corradini and
Caterina Luciani and
Andrea Morichetta and
Andrea Polini},
editor = {Endrit Xhina and
Klesti Hoxha},
title = {Process Variance Analysis and Configuration in the Public Administration
Sector},
booktitle = {Proceedings of the 4th International Conference on Recent Trends and
Applications in Computer Science and Information Technology, Tirana,
Albania, May 21st - to - 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2872},
pages = {103--112},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2872/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/rtacsit/CorradiniL0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2021,
editor = {Robert Andrei Buchmann and
Andrea Polini and
Bj{\"{o}}rn Johansson and
Dimitris Karagiannis},
title = {Perspectives in Business Informatics Research - 20th International
Conference on Business Informatics Research, {BIR} 2021, Vienna, Austria,
September 22-24, 2021, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {430},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87205-2},
doi = {10.1007/978-3-030-87205-2},
isbn = {978-3-030-87204-5},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bir/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03626,
author = {Morena Barboni and
Andrea Morichetta and
Andrea Polini},
title = {SuMo: {A} Mutation Testing Strategy for Solidity Smart Contracts},
journal = {CoRR},
volume = {abs/2105.03626},
year = {2021},
url = {https://arxiv.org/abs/2105.03626},
eprinttype = {arXiv},
eprint = {2105.03626},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eg/BertolinoAPRS20,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini and
Barbara Re and
Andrea Sergiacomi},
title = {Process-oriented knowledge management and learning in public administrations},
journal = {Electron. Gov. an Int. J.},
volume = {16},
number = {4},
pages = {441--465},
year = {2020},
url = {https://doi.org/10.1504/EG.2020.110615},
doi = {10.1504/EG.2020.110615},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eg/BertolinoAPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jois/CorradiniAPCBF20,
author = {Flavio Corradini and
Francesco De Angelis and
Andrea Polini and
Carlo Castagnari and
Jacopo de Berardinis and
Giorgio Forcina},
title = {Tangramob: An Agent-Based Simulation Framework for Validating Urban
Smart Mobility Solutions},
journal = {J. Intell. Syst.},
volume = {29},
number = {1},
pages = {1188--1201},
year = {2020},
url = {https://doi.org/10.1515/jisys-2018-0321},
doi = {10.1515/JISYS-2018-0321},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jois/CorradiniAPCBF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CorradiniMPRRT20,
author = {Flavio Corradini and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Lorenzo Rossi and
Francesco Tiezzi},
title = {Correctness checking for {BPMN} collaborations with sub-processes},
journal = {J. Syst. Softw.},
volume = {166},
pages = {110594},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110594},
doi = {10.1016/J.JSS.2020.110594},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/CorradiniMPRRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CorradiniMPRT20,
author = {Flavio Corradini and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {Collaboration vs. choreography conformance in {BPMN}},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6861},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CorradiniMPRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CompagnucciCFP020,
author = {Ivan Compagnucci and
Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Adela del{-}R{\'{\i}}o{-}Ortega and
Henrik Leopold and
Fl{\'{a}}via Maria Santoro},
title = {Modelling Notations for IoT-Aware Business Processes: {A} Systematic
Literature Review},
booktitle = {Business Process Management Workshops - {BPM} 2020 International Workshops,
Seville, Spain, September 13-18, 2020, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {397},
pages = {108--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66498-5\_9},
doi = {10.1007/978-3-030-66498-5\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CompagnucciCFP020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CorradiniMMPRT20,
author = {Fl{\'{a}}vio Corradini and
Alessandro Marcelletti and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Engineering trustable choreography-based systems using blockchain},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1470--1479},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3373988},
doi = {10.1145/3341105.3373988},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CorradiniMMPRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2020,
editor = {Robert Andrei Buchmann and
Andrea Polini and
Bj{\"{o}}rn Johansson and
Dimitris Karagiannis},
title = {Perspectives in Business Informatics Research - 19th International
Conference on Business Informatics Research, {BIR} 2020, Vienna, Austria,
September 21-23, 2020, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {398},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61140-8},
doi = {10.1007/978-3-030-61140-8},
isbn = {978-3-030-61139-2},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bir/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04396,
author = {Flavio Corradini and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {Collaboration vs. choreography conformance in {BPMN}},
journal = {CoRR},
volume = {abs/2002.04396},
year = {2020},
url = {https://arxiv.org/abs/2002.04396},
eprinttype = {arXiv},
eprint = {2002.04396},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CorradiniM0P0S19,
author = {Flavio Corradini and
Fausto Marcantoni and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Massimiliano Sampaolo},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Enabling Auditing of Smart Contracts Through Process Mining},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {467--480},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_27},
doi = {10.1007/978-3-030-30985-5\_27},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CorradiniM0P0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniFP0T19,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Beno{\^{\i}}t Depaire and
Johannes De Smedt and
Marlon Dumas and
Dirk Fahland and
Akhil Kumar and
Henrik Leopold and
Manfred Reichert and
Stefanie Rinderle{-}Ma and
Stefan Schulte and
Stefan Seidel and
Wil M. P. van der Aalst},
title = {RePROSitory: a Repository Platform for Sharing Business PROcess modelS},
booktitle = {Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration
Track at {BPM} 2019 co-located with 17th International Conference
on Business Process Management, {BPM} 2019, Vienna, Austria, September
1-6, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2420},
pages = {149--153},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2420/paperDT7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CorradiniFP0T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/egov/2019,
editor = {Ida Lindgren and
Marijn Janssen and
Habin Lee and
Andrea Polini and
Manuel Pedro Rodr{\'{\i}}guez Bol{\'{\i}}var and
Hans Jochen Scholl and
Efthimios Tambouris},
title = {Electronic Government - 18th {IFIP} {WG} 8.5 International Conference,
{EGOV} 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11685},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27325-5},
doi = {10.1007/978-3-030-27325-5},
isbn = {978-3-030-27324-8},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egov/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/CorradiniFFGPRS18,
author = {Flavio Corradini and
Alessio Ferrari and
Fabrizio Fornari and
Stefania Gnesi and
Andrea Polini and
Barbara Re and
Giorgio Oronzo Spagnolo},
title = {A Guidelines framework for understandable {BPMN} models},
journal = {Data Knowl. Eng.},
volume = {113},
pages = {129--154},
year = {2018},
url = {https://doi.org/10.1016/j.datak.2017.11.003},
doi = {10.1016/J.DATAK.2017.11.003},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/CorradiniFFGPRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/CogniniCGPR18,
author = {Riccardo Cognini and
Flavio Corradini and
Stefania Gnesi and
Andrea Polini and
Barbara Re},
title = {Business process flexibility - a systematic literature review with
a software systems perspective},
journal = {Inf. Syst. Frontiers},
volume = {20},
number = {2},
pages = {343--371},
year = {2018},
url = {https://doi.org/10.1007/s10796-016-9678-2},
doi = {10.1007/S10796-016-9678-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/CogniniCGPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CorradiniFPRT18,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {A formal approach to modeling and verification of business process
collaborations},
journal = {Sci. Comput. Program.},
volume = {166},
pages = {35--70},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.05.008},
doi = {10.1016/J.SCICO.2018.05.008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CorradiniFPRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/AngelisFGP18,
author = {Guglielmo De Angelis and
Alessio Ferrari and
Stefania Gnesi and
Andrea Polini},
title = {Requirements elicitation and refinement in collaborative research
projects},
journal = {J. Softw. Evol. Process.},
volume = {30},
number = {12},
year = {2018},
url = {https://doi.org/10.1002/smr.1990},
doi = {10.1002/SMR.1990},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/AngelisFGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FornariRP0T18,
author = {Fabrizio Fornari and
Marcello La Rosa and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Jan Mendling and
Haralambos Mouratidis},
title = {Checking Business Process Correctness in Apromore},
booktitle = {Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn,
Estonia, June 11-15, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {317},
pages = {114--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92901-9\_11},
doi = {10.1007/978-3-319-92901-9\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/FornariRP0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/Corradini0P0T18,
author = {Flavio Corradini and
Andrea Morichetta and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
title = {Collaboration vs. Choreography Conformance in {BPMN} 2.0: From Theory
to Practice},
booktitle = {22nd {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDOC.2018.00022},
doi = {10.1109/EDOC.2018.00022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/Corradini0P0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/0001P18,
author = {Francesco De Angelis and
Andrea Polini},
editor = {Alan Sill and
Josef Spillner},
title = {Evaluation of Cloud Portability of Legacy Applications},
booktitle = {2018 {IEEE/ACM} International Conference on Utility and Cloud Computing
Companion, {UCC} Companion 2018, Zurich, Switzerland, December 17-20,
2018},
pages = {232--237},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/UCC-Companion.2018.00061},
doi = {10.1109/UCC-COMPANION.2018.00061},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ucc/0001P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10906,
author = {Carlo Castagnari and
Flavio Corradini and
Francesco De Angelis and
Jacopo de Berardinis and
Giorgio Forcina and
Andrea Polini},
title = {Tangramob: an agent-based simulation framework for validating urban
smart mobility solutions},
journal = {CoRR},
volume = {abs/1805.10906},
year = {2018},
url = {http://arxiv.org/abs/1805.10906},
eprinttype = {arXiv},
eprint = {1805.10906},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/CorradiniFMPRT17,
author = {Flavio Corradini and
Fabrizio Fornari and
Chiara Muzi and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Witold Abramowicz},
title = {On Avoiding Erroneous Synchronization in {BPMN} Processes},
booktitle = {Business Information Systems - 20th International Conference, {BIS}
2017, Poznan, Poland, June 28-30, 2017, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {288},
pages = {106--119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59336-4\_8},
doi = {10.1007/978-3-319-59336-4\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bis/CorradiniFMPRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FornariGRPRS17,
author = {Fabrizio Fornari and
Stefania Gnesi and
Marcello La Rosa and
Andrea Polini and
Barbara Re and
Giorgio Oronzo Spagnolo},
editor = {Robert Claris{\'{o}} and
Henrik Leopold and
Jan Mendling and
Wil M. P. van der Aalst and
Akhil Kumar and
Brian T. Pentland and
Mathias Weske},
title = {Checking Business Process Modeling Guidelines in Apromore},
booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
with 15th International Conference on Business Process Modeling {(BPM}
2017), Barcelona, Spain, September 13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1920},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_204.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/FornariGRPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CorradiniP0RT17,
author = {Flavio Corradini and
Andrea Polini and
Barbara Re and
Lorenzo Rossi and
Francesco Tiezzi},
editor = {Robert Pergl and
Russell Lock and
Eduard Babkin and
Martin Molhanec},
title = {Supporting Multi-layer Modeling in {BPMN} Collaborations},
booktitle = {Enterprise and Organizational Modeling and Simulation - 13th International
Workshop, {EOMAS} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13,
2017, Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {298},
pages = {53--67},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68185-6\_4},
doi = {10.1007/978-3-319-68185-6\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CorradiniP0RT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi and
Andrea Vandin},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {BProVe: a formal verification framework for business process models},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {217--228},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115635},
doi = {10.1109/ASE.2017.8115635},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CorradiniFP0TV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17a,
author = {Flavio Corradini and
Fabrizio Fornari and
Andrea Polini and
Barbara Re and
Francesco Tiezzi and
Andrea Vandin},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {BProVe: tool support for business process verification},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {937--942},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115708},
doi = {10.1109/ASE.2017.8115708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CorradiniFP0TV17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/CorradiniAPS16,
author = {Flavio Corradini and
Francesco De Angelis and
Andrea Polini and
Samuele Sabbatini},
editor = {Jorge Cardoso and
Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Markus Helfert},
title = {A Pattern for Enabling Multitenancy in Legacy Application},
booktitle = {{CLOSER} 2016 - Proceedings of the 6th International Conference on
Cloud Computing and Services Science, Volume 2, Rome, Italy, April
23-25, 2016},
pages = {257--264},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005799502570264},
doi = {10.5220/0005799502570264},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/CorradiniAPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AngelisFGP16,
author = {Guglielmo De Angelis and
Alessio Ferrari and
Stefania Gnesi and
Andrea Polini},
editor = {Sascha Ossowski},
title = {Collaborative requirements elicitation in a european research project},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1282--1289},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851760},
doi = {10.1145/2851613.2851760},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AngelisFGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/CorradiniAFP16,
author = {Flavio Corradini and
Francesco De Angelis and
Daniele Fan{\`{\i}} and
Andrea Polini},
editor = {Tim A. Majchrzak and
Paolo Traverso and
Val{\'{e}}rie Monfort and
Karl{-}Heinz Krempels},
title = {An Overview of Service-Oriented Computing Challenges and Issues},
booktitle = {Proceedings of the 12th International Conference on Web Information
Systems and Technologies, {WEBIST} 2016, Volume 1, Rome, Italy, April
23-25, 2016},
pages = {231--238},
publisher = {SciTePress},
year = {2016},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/CorradiniAFP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/CogniniCPR16,
author = {Riccardo Cognini and
Flavio Corradini and
Andrea Polini and
Barbara Re},
editor = {Dimitris Karagiannis and
Heinrich C. Mayr and
John Mylopoulos},
title = {Business Process Feature Model: An Approach to Deal with Variability
of Business Processes},
booktitle = {Domain-Specific Conceptual Modeling, Concepts, Methods and Tools},
pages = {171--194},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39417-6\_8},
doi = {10.1007/978-3-319-39417-6\_8},
timestamp = {Tue, 12 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/16/CogniniCPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/AngelisPPRTW16,
author = {Guglielmo De Angelis and
Alfonso Pierantonio and
Andrea Polini and
Barbara Re and
Barbara Th{\"{o}}nssen and
Robert Woitsch},
editor = {Dimitris Karagiannis and
Heinrich C. Mayr and
John Mylopoulos},
title = {Modeling for Learning in Public Administrations - The Learn PAd Approach},
booktitle = {Domain-Specific Conceptual Modeling, Concepts, Methods and Tools},
pages = {575--594},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39417-6\_26},
doi = {10.1007/978-3-319-39417-6\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/16/AngelisPPRTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bpmj/CorradiniPR15,
author = {Flavio Corradini and
Andrea Polini and
Barbara Re},
title = {Inter-organizational business process verification in public administration},
journal = {Bus. Process. Manag. J.},
volume = {21},
number = {5},
pages = {1040--1065},
year = {2015},
url = {https://doi.org/10.1108/BPMJ-02-2014-0013},
doi = {10.1108/BPMJ-02-2014-0013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bpmj/CorradiniPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CogniniCPR15,
author = {Riccardo Cognini and
Flavio Corradini and
Andrea Polini and
Barbara Re},
editor = {Anne Persson and
Janis Stirna},
title = {Extending Feature Models to Express Variability in Business Process
Models},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2015 International
Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {215},
pages = {245--256},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19243-7\_24},
doi = {10.1007/978-3-319-19243-7\_24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CogniniCPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/CorradiniAPS15,
author = {Flavio Corradini and
Francesco De Angelis and
Andrea Polini and
Samuele Sabbatini},
editor = {Markus Helfert and
Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {Cloud Readiness Assessment of Legacy Application},
booktitle = {{CLOSER} 2015 - Proceedings of the 5th International Conference on
Cloud Computing and Services Science, Lisbon, Portugal, 20-22 May,
2015},
pages = {119--126},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005443301190126},
doi = {10.5220/0005443301190126},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/CorradiniAPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/es/CogniniCPR15,
author = {Riccardo Cognini and
Flavio Corradini and
Andrea Polini and
Barbara Re},
title = {Process Variability Modeling for Complex Organizations},
booktitle = {International Conference on Enterprise Systems, {ES} 2015, Basel,
Switzerland, October 14-15, 2015},
pages = {9--20},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ES.2015.9},
doi = {10.1109/ES.2015.9},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/es/CogniniCPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CorradiniPRT15,
author = {Flavio Corradini and
Andrea Polini and
Barbara Re and
Francesco Tiezzi},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {An Operational Semantics of {BPMN} Collaboration},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {161--180},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_9},
doi = {10.1007/978-3-319-28934-2\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CorradiniPRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/CogniniPP015,
author = {Riccardo Cognini and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
title = {{BPFM:} {A} Notation and an Approach to Homogenize Variable Business
Processes for Public Services},
booktitle = {{IIAI} 4th International Congress on Advanced Applied Informatics,
{IIAI-AAI} 2015, Okayama, Japan, July 12-16, 2015},
pages = {34--39},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IIAI-AAI.2015.179},
doi = {10.1109/IIAI-AAI.2015.179},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiaiaai/CogniniPP015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BertolinoAPS15,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini and
Darius Silingas},
editor = {Marco Autili and
Tom Ritter and
Andrey Sadovykh and
Massimo Tivoli},
title = {Learn PAd : Collaborative and Model-based Learning in Public Administrations},
booktitle = {Proceedings of the Projects Showcase, part of the Software Technologies:
Applications and Foundations 2015 federation of conferences {(STAF}
2015), L'Aquila, Italy, July 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1400},
pages = {9--17},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1400/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/BertolinoAPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/CorradiniAFP15,
author = {Flavio Corradini and
Francesco De Angelis and
Daniele Fan{\`{\i}} and
Andrea Polini},
editor = {Val{\'{e}}rie Monfort and
Karl{-}Heinz Krempels and
Tim A. Majchrzak and
Ziga Turk},
title = {A Flexible Architecture to Monitor Dynamic Web Services Composition},
booktitle = {{WEBIST} 2015 - Proceedings of the 11th International Conference on
Web Information Systems and Technologies, Lisbon, Portugal, 20-22
May, 2015},
pages = {64--72},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005444800640072},
doi = {10.5220/0005444800640072},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/CorradiniAFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AliAFBAP14,
author = {Midhat Ali and
Francesco De Angelis and
Daniele Fan{\`{\i}} and
Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
title = {An Extensible Framework for Online Testing of Choreographed Services},
journal = {Computer},
volume = {47},
number = {2},
pages = {23--29},
year = {2014},
url = {https://doi.org/10.1109/MC.2013.407},
doi = {10.1109/MC.2013.407},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/AliAFBAP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CogniniCPR14,
author = {Riccardo Cognini and
Flavio Corradini and
Andrea Polini and
Barbara Re},
editor = {Fabiana Fournier and
Jan Mendling},
title = {Using Data-Object Flow Relations to Derive Control Flow Variants in
Configurable Business Processes},
booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops,
Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {202},
pages = {210--221},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15895-2\_19},
doi = {10.1007/978-3-319-15895-2\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CogniniCPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CogniniCPR14,
author = {Riccardo Cognini and
Flavio Corradini and
Andrea Polini and
Barbara Re},
editor = {Marijn Janssen and
Hans Jochen Scholl and
Maria A. Wimmer and
Frank Bannister},
title = {Modelling Process Intensive Scenarios for the Smart City},
booktitle = {Electronic Government - 13th {IFIP} {WG} 8.5 International Conference,
{EGOV} 2014, Dublin, Ireland, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8653},
pages = {147--158},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44426-9\_12},
doi = {10.1007/978-3-662-44426-9\_12},
timestamp = {Fri, 08 Sep 2023 14:38:14 +0200},
biburl = {https://dblp.org/rec/conf/egov/CogniniCPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AngelisBMP14,
author = {Francesco De Angelis and
Maria Rita Di Berardini and
Henry Muccini and
Andrea Polini},
editor = {Stephan Merz and
Jun Pang},
title = {{CASSANDRA:} An Online Failure Prediction Strategy for Dynamically
Evolving Systems},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {107--122},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_8},
doi = {10.1007/978-3-319-11737-9\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AngelisBMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CogniniCGPR14,
author = {Riccardo Cognini and
Flavio Corradini and
Stefania Gnesi and
Andrea Polini and
Barbara Re},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Research challenges in business process adaptability},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1049--1054},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555055},
doi = {10.1145/2554850.2555055},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CogniniCGPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LagoLMTBMPP13,
author = {Patricia Lago and
Grace A. Lewis and
Andreas Metzger and
Vladimir Tosic and
Domenico Bianculli and
Antinisca Di Marco and
Andrea Polini and
Pierluigi Plebani},
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 = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {38},
number = {1},
pages = {35--38},
year = {2013},
url = {https://doi.org/10.1145/2382756.2382764},
doi = {10.1145/2382756.2382764},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LagoLMTBMPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AngelisFP13,
author = {Francesco De Angelis and
Daniele Fan{\`{\i}} and
Andrea Polini},
editor = {Hong Zhu and
Henry Muccini and
Zhenyu Chen},
title = {ParTes: {A} test generation strategy for choreography participants},
booktitle = {8th International Workshop on Automation of Software Test, {AST} 2013,
San Francisco, CA, USA, May 18-19, 2013},
pages = {26--32},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IWAST.2013.6595787},
doi = {10.1109/IWAST.2013.6595787},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AngelisFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CogniniFPPR13,
author = {Riccardo Cognini and
Damiano Falcioni and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {\emph{HawkEye}: a tool for collaborative business process modelling
and verification},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {785--786},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480512},
doi = {10.1145/2480362.2480512},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CogniniFPPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/AliAP13,
author = {Midhat Ali and
Guglielmo De Angelis and
Andrea Polini},
title = {ServicePot - An Extensible Registry for Choreography Governance},
booktitle = {Seventh {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2013, San Francisco, CA, USA, March 25-28, 2013},
pages = {113--124},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SOSE.2013.35},
doi = {10.1109/SOSE.2013.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/AliAP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2013qasba,
editor = {Domenico Bianculli and
Sam Guinea and
Sylvain Hall{\'{e}} and
Andrea Polini},
title = {Proceedings of the 2nd International Workshop on Quality Assurance
for Service-based Applications, {QASBA} 2013, in conjunction with
{ISSTA} 2013, Lugano, Switzerland, July 15, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2489300},
isbn = {978-1-4503-2182-2},
timestamp = {Fri, 07 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2013qasba.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BertolinoAKP12,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Sampo Kellomaki and
Andrea Polini},
title = {Enhancing Service Federation Trustworthiness through Online Testing},
journal = {Computer},
volume = {45},
number = {1},
pages = {66--72},
year = {2012},
url = {https://doi.org/10.1109/MC.2011.227},
doi = {10.1109/MC.2011.227},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BertolinoAKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/PoliniPR12,
author = {Andrea Polini and
Andrea Polzonetti and
Barbara Re},
title = {Formal Methods to Improve Public Administration Business Processes},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {2},
pages = {203--229},
year = {2012},
url = {https://doi.org/10.1051/ita/2012002},
doi = {10.1051/ITA/2012002},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/PoliniPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/FalcioniPPR12,
author = {Damiano Falcioni and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
editor = {Hans Jochen Scholl and
Marijn Janssen and
Maria A. Wimmer and
Carl Erik Moe and
Leif Skiftenes Flak},
title = {Improving {PA} Business Processes through Modeling, Analysis, and
Reengineering},
booktitle = {Electronic Government - 11th {IFIP} {WG} 8.5 International Conference,
{EGOV} 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7443},
pages = {78--89},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33489-4\_7},
doi = {10.1007/978-3-642-33489-4\_7},
timestamp = {Fri, 08 Sep 2023 14:38:13 +0200},
biburl = {https://dblp.org/rec/conf/egov/FalcioniPPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/FalcioniPPR12a,
author = {Damiano Falcioni and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
editor = {Andrea Ko and
Christine Leitner and
Herbert Leitold and
Alexander Prosser},
title = {Livelock and Deadlock Detection for {PA} Inter-organizational Business
Processes},
booktitle = {Advancing Democracy, Government and Governance - Joint International
Conference on Electronic Government and the Information Systems Perspective,
and Electronic Democracy, {EGOVIS/EDEM} 2012, Vienna, Austria, September
3-6, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7452},
pages = {125--139},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32701-8\_12},
doi = {10.1007/978-3-642-32701-8\_12},
timestamp = {Sun, 02 Oct 2022 15:59:53 +0200},
biburl = {https://dblp.org/rec/conf/egov/FalcioniPPR12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/FalcioniPPR12,
author = {Damiano Falcioni and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
editor = {Antony Tang and
Henry Muccini},
title = {Direct Verification of {BPMN} Processes through an Optimized Unfolding
Technique},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {179--188},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.59},
doi = {10.1109/QSIC.2012.59},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qsic/FalcioniPPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/AngelisBP12,
author = {Guglielmo De Angelis and
Antonia Bertolino and
Andrea Polini},
editor = {Karl{-}Heinz Krempels and
Jos{\'{e}} Cordeiro},
title = {Validation and Verification Policies for Governance of Service Choreographies},
booktitle = {{WEBIST} 2012 - Proceedings of the 8th International Conference on
Web Information Systems and Technologies, Porto, Portugal, 18 - 21
April, 2012},
pages = {58--70},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 25 May 2012 12:31:27 +0200},
biburl = {https://dblp.org/rec/conf/webist/AngelisBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BertolinoAP12,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
editor = {Jos{\'{e}} Cordeiro and
Karl{-}Heinz Krempels},
title = {Governance Policies for Verification and Validation of Service Choreographies},
booktitle = {Web Information Systems and Technologies - 8th International Conference,
{WEBIST} 2012, Porto, Portugal, April 18-21, 2012, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {140},
pages = {86--102},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36608-6\_6},
doi = {10.1007/978-3-642-36608-6\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/BertolinoAP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangMPL11,
author = {Pengcheng Zhang and
Henry Muccini and
Andrea Polini and
Xuandong Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Run-time systems failure prediction via proactive monitoring},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {484--487},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100105},
doi = {10.1109/ASE.2011.6100105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangMPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/AngelisB11,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {(role)CAST: {A} Framework for On-line Service Testing},
booktitle = {{WEBIST} 2011, Proceedings of the 7th International Conference on
Web Information Systems and Technologies, Noordwijkerhout, The Netherlands,
6-9 May, 2011},
pages = {13--18},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 26 Jan 2012 19:29:01 +0100},
biburl = {https://dblp.org/rec/conf/webist/AngelisB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/TekinerdoganCMCPW11,
author = {Bedir Tekinerdogan and
Paul C. Clements and
Henry Muccini and
Michel R. V. Chaudron and
Andrea Polini and
Eoin Woods},
title = {Architecture-Based Testing and System Validation - Workshop Summary},
booktitle = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2011, Boulder, Colorado, USA, June 20-24, 2011},
pages = {341},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WICSA.2011.53},
doi = {10.1109/WICSA.2011.53},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/TekinerdoganCMCPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecows/2011qasba,
editor = {Domenico Bianculli and
Sam Guinea and
Andreas Metzger and
Andrea Polini},
title = {Proceedings of the International Workshop on Quality Assurance for
Service-Based Applications, {QASBA} 2011, Lugano, Switzerland, September
14, 2011},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0826-7},
timestamp = {Mon, 07 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/2011qasba.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ism/CorradiniPPR10,
author = {Flavio Corradini and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
title = {Business Processes Verification for e-Government Service Delivery},
journal = {Inf. Syst. Manag.},
volume = {27},
number = {4},
pages = {293--308},
year = {2010},
url = {https://doi.org/10.1080/10580530.2010.514164},
doi = {10.1080/10580530.2010.514164},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ism/CorradiniPPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniFPPR10,
author = {Flavio Corradini and
Damiano Falcioni and
Andrea Polini and
Alberto Polzonetti and
Barbara Re},
editor = {Maria A. Wimmer and
Jean{-}Loup Chappelet and
Marijn Janssen and
Hans Jochen Scholl},
title = {Designing Quality Business Processes for E-Government Digital Services},
booktitle = {Electronic Government, 9th {IFIP} {WG} 8.5 International Conference,
{EGOV} 2010, Lausanne, Switzerland, August 29 - September 2, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6228},
pages = {424--435},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14799-9\_36},
doi = {10.1007/978-3-642-14799-9\_36},
timestamp = {Fri, 08 Sep 2023 14:38:12 +0200},
biburl = {https://dblp.org/rec/conf/egov/CorradiniFPPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AngelisPA10,
author = {Francesco De Angelis and
Andrea Polini and
Guglielmo De Angelis},
title = {A Counter-Example Testing Approach for Orchestrated Services},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {373--382},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.27},
doi = {10.1109/ICST.2010.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AngelisPA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WhalenGMPTV10,
author = {Michael W. Whalen and
Patrice Godefroid and
Leonardo Mariani and
Andrea Polini and
Nikolai Tillmann and
Willem Visser},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {{FITE:} future integrated testing environment},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {401--406},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882444},
doi = {10.1145/1882362.1882444},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WhalenGMPTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GodefroidMPTVW10,
author = {Patrice Godefroid and
Leonardo Mariani and
Andrea Polini and
Nikolai Tillmann and
Willem Visser and
Michael W. Whalen},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {{FITE} - Future Integrated Testing Environment},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2619/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GodefroidMPTVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BertolinoAP09,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
title = {On-line validation of service oriented systems in the European Project
{TAS3}},
booktitle = {International {ICSE} Workshop on Principles of Engineering Service-Oriented
Systems, {PESOS} 2009, 18-19 May 2009, Vancouver, BC, Canada},
pages = {107--110},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PESOS.2009.5068830},
doi = {10.1109/PESOS.2009.5068830},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BertolinoAP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PascaleRRBBLMP09,
author = {Massimo Pascale and
Marcello Roselli and
Umberto Rugani and
Cesare Bartolini and
Antonia Bertolino and
Francesca Lonetti and
Eda Marchetti and
Andrea Polini},
title = {Automated testing of healthcare document transformations in the {PICASSO}
interoperability platform},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {163--171},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070974},
doi = {10.1109/ICSE-COMPANION.2009.5070974},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PascaleRRBBLMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BertolinoP09,
author = {Antonia Bertolino and
Andrea Polini},
title = {{SOA} Test Governance: Enabling Service Integration Testing across
Organization and Technology Borders},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
Proceedings},
pages = {277--286},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSTW.2009.39},
doi = {10.1109/ICSTW.2009.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BertolinoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BartoliniBMP09,
author = {Cesare Bartolini and
Antonia Bertolino and
Eda Marchetti and
Andrea Polini},
title = {{WS-TAXI:} {A} WSDL-based Testing Tool for Web Services},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {326--335},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.28},
doi = {10.1109/ICST.2009.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BartoliniBMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DumitrasEGMPU09,
author = {Tudor Dumitras and
Frank Eliassen and
Kurt Geihs and
Henry Muccini and
Andrea Polini and
Theo Ungerer},
editor = {Artur Andrzejak and
Kurt Geihs and
Onn Shehory and
John Wilkes},
title = {Testing Run-time Evolving Systems},
booktitle = {Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09201},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2106/},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DumitrasEGMPU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PelliccioneTBP08,
author = {Patrizio Pelliccione and
Massimo Tivoli and
Antonio Bucchiarone and
Andrea Polini},
title = {An architectural approach to the correct and automatic assembly of
evolving component-based systems},
journal = {J. Syst. Softw.},
volume = {81},
number = {12},
pages = {2237--2251},
year = {2008},
url = {https://doi.org/10.1016/j.jss.2008.05.030},
doi = {10.1016/J.JSS.2008.05.030},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PelliccioneTBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniAPP08,
author = {Flavio Corradini and
Francesco De Angelis and
Andrea Polini and
Alberto Polzonetti},
editor = {Maria A. Wimmer and
Hans Jochen Scholl and
Enrico Ferro},
title = {Improving Trust in Composite eServices Via Run-Time Participants Testing},
booktitle = {Electronic Government, 7th International Conference, {EGOV} 2008,
Turin, Italy, August 31 - September 5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5184},
pages = {279--290},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85204-9\_24},
doi = {10.1007/978-3-540-85204-9\_24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egov/CorradiniAPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdim/CorradiniAPP08,
author = {Flavio Corradini and
Francesco De Angelis and
Andrea Polini and
Alberto Polzonetti},
editor = {Pit Pichappan and
Ajith Abraham},
title = {A participant testing strategy for service orchestrations},
booktitle = {Third {IEEE} International Conference on Digital Information Management
(ICDIM), November 13-16, 2008, London, UK, Proceedings},
pages = {308--313},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ICDIM.2008.4746778},
doi = {10.1109/ICDIM.2008.4746778},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdim/CorradiniAPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BartoliniBMP08,
author = {Cesare Bartolini and
Antonia Bertolino and
Eda Marchetti and
Andrea Polini},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Towards Automated WSDL-Based Testing of Web Services},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {524--529},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_41},
doi = {10.1007/978-3-540-89652-4\_41},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BartoliniBMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issse/BertolinoAFP08,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Lars Frantzen and
Andrea Polini},
editor = {Andrea De Lucia and
Filomena Ferrucci},
title = {The {PLASTIC} Framework and Tools for Testing Service-Oriented Applications},
booktitle = {Software Engineering, International Summer Schools, {ISSSE} 2006-2008,
Salerno, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5413},
pages = {106--139},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95888-8\_5},
doi = {10.1007/978-3-540-95888-8\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issse/BertolinoAFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CaporuscioMMMPS08,
author = {Mauro Caporuscio and
Antinisca Di Marco and
Leonardo Mariani and
Henry Muccini and
Andrea Polini and
Onn Shehory},
title = {{ARAMIS} 2008: The First Int. Workshop on Automated engineeRing of
Autonomic and run-tiMe evolvIng Systems},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {529--530},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.99},
doi = {10.1109/ASE.2008.99},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CaporuscioMMMPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BertolinoAFP08,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Lars Frantzen and
Andrea Polini},
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Model-Based Generation of Testbeds for Web Services},
booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
pages = {266--282},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1\_19},
doi = {10.1007/978-3-540-68524-1\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BertolinoAFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/RehmanJBP07,
author = {Muhammad Jaffar{-}Ur Rehman and
Fakhra Jabeen and
Antonia Bertolino and
Andrea Polini},
title = {Testing software components for integration: a survey of issues and
techniques},
journal = {Softw. Test. Verification Reliab.},
volume = {17},
number = {2},
pages = {95--133},
year = {2007},
url = {https://doi.org/10.1002/stvr.357},
doi = {10.1002/STVR.357},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/RehmanJBP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/MucciniPRB07,
author = {Henry Muccini and
Andrea Polini and
Fabiano Ricci and
Antonia Bertolino},
editor = {Heinz W. Schmidt and
Ivica Crnkovic and
George T. Heineman and
Judith A. Stafford},
title = {Monitoring Architectural Properties in Dynamic Component-Based Systems},
booktitle = {Component-Based Software Engineering, 10th International Symposium,
{CBSE} 2007, Medford, MA, USA, July 9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4608},
pages = {124--139},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73551-9\_9},
doi = {10.1007/978-3-540-73551-9\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/MucciniPRB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BertolinoGMP07a,
author = {Antonia Bertolino and
Jinghua Gao and
Eda Marchetti and
Andrea Polini},
editor = {Hong Zhu and
W. Eric Wong and
Amit M. Paradkar},
title = {Automatic Test Data Generation for {XML} Schema-based Partition Testing},
booktitle = {Proceedings of the Second International Workshop on Automation of
Software Test, {AST} 2007, Minneapolis, MN, USA, May 26-26, 2007},
pages = {10--16},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AST.2007.6},
doi = {10.1109/AST.2007.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BertolinoGMP07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BertolinoGMP07,
author = {Antonia Bertolino and
Jinghua Gao and
Eda Marchetti and
Andrea Polini},
title = {{TAXI} - {A} Tool for XML-Based Testing},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {53--54},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.72},
doi = {10.1109/ICSECOMPANION.2007.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BertolinoGMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BertolinoAP07,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
editor = {Luciano Baresi and
Piero Fraternali and
Geert{-}Jan Houben},
title = {A QoS Test-Bed Generator for Web Services},
booktitle = {Web Engineering, 7th International Conference, {ICWE} 2007, Como,
Italy, July 16-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4607},
pages = {17--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73597-7\_2},
doi = {10.1007/978-3-540-73597-7\_2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BertolinoAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NittoPZ07,
author = {Elisabetta Di Nitto and
Andrea Polini and
Andrea Zisman},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {2nd international workshop on service oriented software engineering
{(IW-SOSWE} 2007)},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {613--614},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287726},
doi = {10.1145/1287624.1287726},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/NittoPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BertolinoGMP07,
author = {Antonia Bertolino and
Jinghua Gao and
Eda Marchetti and
Andrea Polini},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro and
Bruno Encarna{\c{c}}{\~{a}}o and
Vitor Pedrosa},
title = {XModel-Based Testing of {XSLT} Applications},
booktitle = {{WEBIST} 2007 - Proceedings of the Third International Conference
on Web Information Systems and Technologies, Volume WIA, Barcelona,
Spain, March 3-6, 2007},
pages = {282--288},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Fri, 26 Oct 2012 18:37:05 +0200},
biburl = {https://dblp.org/rec/conf/webist/BertolinoGMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BertolinoAP07,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Andrea Polini},
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Automatic generation of test-beds for pre-deployment QoS evaluation
of web services},
booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
pages = {137--140},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1216993.1217017},
doi = {10.1145/1216993.1217017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BertolinoAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007soswe,
editor = {Elisabetta Di Nitto and
Andrea Polini and
Andrea Zisman},
title = {Proceedings of the 2nd International Workshop on Service Oriented
Software Engineering: in conjunction with the 6th {ESEC/FSE} joint
meeting, {IW-SOSWE} 2007, Dubrovnik, Croatia, September 3, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294928},
doi = {10.1145/1294928},
isbn = {978-1-59593-723-0},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2007soswe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/NittoHHHPSZ06,
author = {Elisabetta Di Nitto and
Robert J. Hall and
Jun Han and
Yanbo Han and
Andrea Polini and
Kurt Sandkuhl and
Andrea Zisman},
title = {Report on the International Workshop on Service Oriented Software
Engineering {(IW-SOSE06)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {5},
pages = {36--38},
year = {2006},
url = {https://doi.org/10.1145/1163514.1163527},
doi = {10.1145/1163514.1163527},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/NittoHHHPSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NittoHHHPSZ06,
author = {Elisabetta Di Nitto and
Robert J. Hall and
Jun Han and
Yanbo Han and
Andrea Polini and
Kurt Sandkuhl and
Andrea Zisman},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {International workshop on service oriented software engineering (IW-SOSE'06)},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1036--1037},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134492},
doi = {10.1145/1134285.1134492},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NittoHHHPSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BucchiaronePPT06,
author = {Antonio Bucchiarone and
Andrea Polini and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Robert M. Hierons and
Henry Muccini},
title = {Towards an architectural approach for the dynamic and automatic composition
of software components},
booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture
for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT}
International Symposium on Software Testing and Analysis {(ISSTA}
2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006},
pages = {12--21},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147251},
doi = {10.1145/1147249.1147251},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BucchiaronePPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/BertolinoMP06,
author = {Antonia Bertolino and
Henry Muccini and
Andrea Polini},
editor = {Nicolas Guelfi and
Didier Buchs},
title = {Architectural Verification of Black-Box Component-Based Systems},
booktitle = {Rapid Integration of Software Engineering Techniques, Third International
Workshop, {RISE} 2006, Geneva, Switzerland, September 13-15, 2006.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4401},
pages = {98--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71876-5\_7},
doi = {10.1007/978-3-540-71876-5\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rise/BertolinoMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/BertolinoGMP06,
author = {Antonia Bertolino and
Jinghua Gao and
Eda Marchetti and
Andrea Polini},
editor = {Nicolas Guelfi and
Didier Buchs},
title = {Systematic Generation of {XML} Instances to Test Complex Software
Applications},
booktitle = {Rapid Integration of Software Engineering Techniques, Third International
Workshop, {RISE} 2006, Geneva, Switzerland, September 13-15, 2006.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4401},
pages = {114--129},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71876-5\_8},
doi = {10.1007/978-3-540-71876-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/BertolinoGMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sose/2006,
editor = {Elisabetta Di Nitto and
Robert J. Hall and
Jun Han and
Yanbo Han and
Andrea Polini and
Kurt Sandkuhl and
Andrea Zisman},
title = {The 2006 International Workshop on Service Oriented Software Engineering
{(IW-SOSE} '06), May 27-28, 2006, Shanghai, China, in conjunction
with {ICSE} 2006},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://ieeexplore.ieee.org/xpl/conhome/4027101/proceeding},
isbn = {0-7695-2726-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sose/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/Polini05,
author = {Andrea Polini},
title = {Interoperability testing of Web Services for e-learning},
journal = {Elektrotech. Informationstechnik},
volume = {122},
number = {12},
pages = {495--497},
year = {2005},
url = {https://doi.org/10.1007/BF03054387},
doi = {10.1007/BF03054387},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ei/Polini05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/BertolinoP05,
author = {Antonia Bertolino and
Andrea Polini},
title = {The Audition Framework for Testing Web Services Interoperability},
booktitle = {31st {EUROMICRO} Conference on Software Engineering and Advanced Applications
{(EUROMICRO-SEAA} 2005), 30 August - 3 September 2005, Porto, Portugal},
pages = {134--142},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.ieeecomputersociety.org/10.1109/EURMIC.2005.56},
doi = {10.1109/EURMIC.2005.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/BertolinoP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/GaoMP05,
author = {Jinghua Gao and
Eda Marchetti and
Andrea Polini},
editor = {Nuno Guimar{\~{a}}es and
Pedro T. Isa{\'{\i}}as},
title = {Applying advanced uml based testing methodology to e-learning},
booktitle = {{AC} 2005, Proceedings of the {IADIS} International Conference on
Applied Computing, Algarve, Portugal, February 22-25, 2005, Volume
2},
pages = {74--79},
publisher = {{IADIS}},
year = {2005},
timestamp = {Thu, 16 Nov 2017 18:21:03 +0100},
biburl = {https://dblp.org/rec/conf/iadis/GaoMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BertolinoFPT04,
author = {Antonia Bertolino and
Lars Frantzen and
Andrea Polini and
Jan Tretmans},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {Audition of Web Services for Testing Conformance to Open Specified
Protocols},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {1--25},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_1},
doi = {10.1007/11786160\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BertolinoFPT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/DenaroPE04,
author = {Giovanni Denaro and
Andrea Polini and
Wolfgang Emmerich},
editor = {Jozo J. Dujmovic and
Virg{\'{\i}}lio A. F. Almeida and
Doug Lea},
title = {Early performance testing of distributed software applications},
booktitle = {Proceedings of the Fourth International Workshop on Software and Performance,
{WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
pages = {94--103},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/974044.974059},
doi = {10.1145/974044.974059},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/DenaroPE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BertolinoP03,
author = {Antonia Bertolino and
Andrea Polini},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {A Framework for Component Deployment Testing},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {221--231},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201202},
doi = {10.1109/ICSE.2003.1201202},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BertolinoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/MarchettiMP03,
author = {Eda Marchetti and
Francesca Martelli and
Andrea Polini},
editor = {Walter Dosch and
Roger Y. Lee},
title = {Refactoring a Legacy System Using Components},
booktitle = {Proceedings of the {ACIS} Fourth International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
pages = {24--31},
publisher = {{ACIS}},
year = {2003},
timestamp = {Wed, 26 Nov 2003 12:28:17 +0100},
biburl = {https://dblp.org/rec/conf/snpd/MarchettiMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertolinoMP03,
author = {Antonia Bertolino and
Eda Marchetti and
Andrea Polini},
editor = {Mauro Pezz{\`{e}}},
title = {Integration of "Components" to Test Software Components},
booktitle = {International Workshop on Test and Analysis of Component-Based Systems,
TACoS 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {6},
pages = {44--54},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81024-7},
doi = {10.1016/S1571-0661(04)81024-7},
timestamp = {Thu, 08 Dec 2022 11:29:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertolinoMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fidji/BertolinoP02,
author = {Antonia Bertolino and
Andrea Polini},
editor = {Nicolas Guelfi and
Egidio Astesiano and
Gianna Reggio},
title = {{WCT:} {A} Wrapper for Component Testing},
booktitle = {Scientific Engineering for Distributed Java Applications, International
Workshop, {FIDJI} 2002, Luxembourg-Kirchberg, Luxembourg, November
28-29, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2604},
pages = {165--174},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36520-6\_15},
doi = {10.1007/3-540-36520-6\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fidji/BertolinoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-26 22:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
