default search action
BibTeX records: Andrea Polini
@article{DBLP:journals/iswa/AhmedAPP24, author = {Umair Ahmed and Charalampos Alexopoulos and Marco Piangerelli and Andrea Polini}, title = {{BRYT:} Automated keyword extraction for open datasets}, journal = {Intell. Syst. Appl.}, volume = {23}, pages = {200421}, year = {2024}, url = {https://doi.org/10.1016/j.iswa.2024.200421}, doi = {10.1016/J.ISWA.2024.200421}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iswa/AhmedAPP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@inproceedings{DBLP:conf/dgo/MaratsiAACP24, author = {Maria Ioanna Maratsi and Umair Ahmed and Charalampos Alexopoulos and Yannis Charalabidis and Andrea Polini}, editor = {Hsin{-}Chung Liao and David Duenas{-}Cid and Marie Anne Macadar and Flavia Bernardini}, title = {Towards Cross-Domain Linking of Data: {A} Semantic Mapping of Cultural Heritage Ontologies}, booktitle = {Proceedings of the 25th Annual International Conference on Digital Government Research, {DGO} 2024, Taipei, Taiwan, June 11-14, 2024}, pages = {165--176}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3657054.3657077}, doi = {10.1145/3657054.3657077}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dgo/MaratsiAACP24.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} }
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.