BibTeX records: Barbara Re 0001

download as .bib file

@article{DBLP:journals/bise/CompagnucciCFR24,
  author       = {Ivan Compagnucci and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re},
  title        = {A Study on the Usage of the {BPMN} Notation for Designing Process
                  Collaboration, Choreography, and Conversation Models},
  journal      = {Bus. Inf. Syst. Eng.},
  volume       = {66},
  number       = {1},
  pages        = {43--66},
  year         = {2024},
  url          = {https://doi.org/10.1007/s12599-023-00818-7},
  doi          = {10.1007/S12599-023-00818-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bise/CompagnucciCFR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bdcc/CorradiniPRRT23,
  author       = {Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {Executable Digital Process Twins: Towards the Enhancement of Process-Driven
                  Systems},
  journal      = {Big Data Cogn. Comput.},
  volume       = {7},
  number       = {3},
  pages        = {139},
  year         = {2023},
  url          = {https://doi.org/10.3390/bdcc7030139},
  doi          = {10.3390/BDCC7030139},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bdcc/CorradiniPRRT23.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/ras/CorradiniPRRT23,
  author       = {Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {A BPMN-driven framework for Multi-Robot System development},
  journal      = {Robotics Auton. Syst.},
  volume       = {160},
  pages        = {104322},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.robot.2022.104322},
  doi          = {10.1016/J.ROBOT.2022.104322},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ras/CorradiniPRRT23.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/bpm/CompagnucciC0023,
  author       = {Ivan Compagnucci and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re},
  editor       = {Dirk Fahland and
                  Andr{\'{e}}s Jim{\'{e}}nez{-}Ram{\'{\i}}rez and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Stefanie Rinderle{-}Ma and
                  Tijs Slaats and
                  Johan Versendaal and
                  Barbara Weber and
                  Mathias Weske and
                  Karolin Winter},
  title        = {{BPMN} Inspector: {A} Tool for Extracting Features from {BPMN} Models},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Forum at {BPM} 2023 co-located with
                  21st International Conference on Business Process Management {(BPM}
                  2023), Utrecht, The Netherlands, September 11th to 15th, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3469},
  pages        = {122--126},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3469/paper-22.pdf},
  timestamp    = {Wed, 06 Sep 2023 08:40:08 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CompagnucciC0023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/DonatoC00R23,
  author       = {Massimo Callisto De Donato and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re and
                  Matteo Romagnoli},
  editor       = {Tiago Prince Sales and
                  Sybren de Kinderen and
                  Henderik A. Proper and
                  Luise Pufahl and
                  Dimka Karastoyanova and
                  Marten van Sinderen},
  title        = {Design and Development of a Digital Twin Prototype for the {SAFE}
                  Project},
  booktitle    = {Enterprise Design, Operations, and Computing. {EDOC} 2023 Workshops
                  - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, {EDOC} Forum, Demonstrations
                  Track and Doctoral Consortium, Groningen, The Netherlands, October
                  30 - November 3, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {498},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-54712-6\_7},
  doi          = {10.1007/978-3-031-54712-6\_7},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edoc/DonatoC00R23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/CorradiniPRRT23,
  author       = {Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Henderik A. Proper and
                  Luise Pufahl and
                  Dimka Karastoyanova and
                  Marten van Sinderen and
                  Jo{\~{a}}o L. R. Moreira},
  title        = {A Methodology for the Analysis of Robotic Systems via Process Mining},
  booktitle    = {Enterprise Design, Operations, and Computing - 27th International
                  Conference, {EDOC} 2023, Groningen, The Netherlands, October 30 -
                  November 3, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14367},
  pages        = {117--133},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-46587-1\_7},
  doi          = {10.1007/978-3-031-46587-1\_7},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edoc/CorradiniPRRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/DonatoC00R23a,
  author       = {Massimo Callisto De Donato and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re and
                  Matteo Romagnoli},
  editor       = {Tiago Prince Sales and
                  Sybren de Kinderen and
                  Henderik A. Proper and
                  Luise Pufahl and
                  Dimka Karastoyanova and
                  Marten van Sinderen},
  title        = {Enabling 3D Simulation in ThingsBoard: {A} First Step Towards {A}
                  Digital Twin Platform},
  booktitle    = {Enterprise Design, Operations, and Computing. {EDOC} 2023 Workshops
                  - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, {EDOC} Forum, Demonstrations
                  Track and Doctoral Consortium, Groningen, The Netherlands, October
                  30 - November 3, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {498},
  pages        = {325--330},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-54712-6\_20},
  doi          = {10.1007/978-3-031-54712-6\_20},
  timestamp    = {Thu, 28 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/DonatoC00R23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/CorradiniP0R023,
  author       = {Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Luca Ruschioni and
                  Francesco Tiezzi},
  editor       = {Claudenir M. Fonseca and
                  Jos{\'{e}} Borbinha and
                  Giancarlo Guizzardi and
                  David Aveiro and
                  Sotirios Liaskos and
                  C. Maria Keet and
                  Estefan{\'{\i}}a Serral and
                  Fernanda Bai{\~{a}}o and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Tiago Prince Sales and
                  Miguel Mira da Silva and
                  Sergio de Cesare and
                  H. Sofia Pinto and
                  Ladjel Bellatreche and
                  Simon Hacks},
  title        = {Enhancing compatibility in QoS communication for the Internet of Robotic
                  Things},
  booktitle    = {Companion Proceedings of the 42nd International Conference on Conceptual
                  Modeling: {ER} Forum, 7th SCME, Project Exhibitions, Posters and Demos,
                  and Doctoral Consortium co-located with {ER} 2023, Lisbon, Portugal,
                  November 06-09, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3618},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3618/forum\_paper\_17.pdf},
  timestamp    = {Thu, 18 Jan 2024 15:46:24 +0100},
  biburl       = {https://dblp.org/rec/conf/er/CorradiniP0R023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2023w,
  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        = {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},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3514},
  urn          = {urn:nbn:de:0074-3514-0},
  timestamp    = {Fri, 17 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/2023w.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/is/CorradiniMRRT22,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {Formalising and animating multiple instances in {BPMN} collaborations},
  journal      = {Inf. Syst.},
  volume       = {103},
  pages        = {101459},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2019.101459},
  doi          = {10.1016/J.IS.2019.101459},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/CorradiniMRRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CorradiniMRRT22a,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {{BPMN} 2.0 OR-Join Semantics: Global and local characterisation},
  journal      = {Inf. Syst.},
  volume       = {105},
  pages        = {101934},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2021.101934},
  doi          = {10.1016/J.IS.2021.101934},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/CorradiniMRRT22a.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/AntinoriCC00S22,
  author       = {Alessandro Antinori and
                  Riccardo Coltrinari and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re and
                  Marco Scarpetta},
  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        = {BPMN-Redrawer: From Images to {BPMN} Models},
  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        = {107--111},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3216/paper\_246.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AntinoriCC00S22.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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CorradiniM0P0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BurattinRRT22,
  author       = {Andrea Burattin and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Claudio Di Ciccio and
                  Remco M. Dijkman and
                  Adela del{-}R{\'{\i}}o{-}Ortega and
                  Stefanie Rinderle{-}Ma},
  title        = {A Purpose-Guided Log Generation Framework},
  booktitle    = {Business Process Management - 20th International Conference, {BPM}
                  2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13420},
  pages        = {181--198},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16103-2\_14},
  doi          = {10.1007/978-3-031-16103-2\_14},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/BurattinRRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpmds/Corradini00022,
  author       = {Flavio Corradini and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Adriano Augusto and
                  Asif Gill and
                  Dominik Bork and
                  Selmin Nurcan and
                  Iris Reinhartz{-}Berger and
                  Rainer Schmidt},
  title        = {A Technique for Collaboration Discovery},
  booktitle    = {Enterprise, Business-Process and Information Systems Modeling - 23rd
                  International Conference, {BPMDS} 2022 and 27th International Conference,
                  {EMMSAD} 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022,
                  Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {450},
  pages        = {63--78},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07475-2\_5},
  doi          = {10.1007/978-3-031-07475-2\_5},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpmds/Corradini00022.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/dasc/CorradiniPRRT22,
  author       = {Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {An Approach to Support Digital Process Twin},
  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--4},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927841},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927841},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/CorradiniPRRT22.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/icpm/Burattin00022,
  author       = {Andrea Burattin and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Marwan Hassani and
                  Agnes Koschmider and
                  Marco Comuzzi and
                  Fabrizio Maria Maggi and
                  Luise Pufahl},
  title        = {{PURPLE:} a PURPose-guided Log GEnerator (Extended Abstract)},
  booktitle    = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2022
                  co-located with 4th International Conference on Process Mining {(ICPM}
                  2022), Bolzano, Italy, October, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3299},
  pages        = {90--94},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3299/Paper19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/Burattin00022.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/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/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/jlap/CorradiniMMRT21,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Chiara Muzi and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Well-structuredness, safeness and soundness: {A} formal classification
                  of {BPMN} collaborations},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {119},
  pages        = {100630},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100630},
  doi          = {10.1016/J.JLAMP.2020.100630},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/CorradiniMMRT21.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/bir/CompagnucciC0021,
  author       = {Ivan Compagnucci and
                  Flavio Corradini and
                  Fabrizio Fornari and
                  Barbara Re},
  editor       = {Robert Andrei Buchmann and
                  Andrea Polini and
                  Bj{\"{o}}rn Johansson and
                  Dimitris Karagiannis},
  title        = {Trends on the Usage of {BPMN} 2.0 from Publicly Available Repositories},
  booktitle    = {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},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-87205-2\_6},
  doi          = {10.1007/978-3-030-87205-2\_6},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/CompagnucciC0021.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/ifip8-1/BurrCP00021,
  author       = {Khalid Bourr and
                  Flavio Corradini and
                  Sara Pettinari and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Balbir Barn and
                  Kurt Sandkuhl and
                  Estefan{\'{\i}}a Serral Asensio and
                  Janis Stirna},
  title        = {Disciplined use of {BPMN} for mission modeling of Multi-Robot Systems},
  booktitle    = {Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum
                  2021) (PoEM 2021), Riga, Latvia, November 24-26, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3045},
  pages        = {1--10},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3045/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/BurrCP00021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2021w,
  editor       = {Peter Forbrig and
                  Knut Hinkelmann and
                  Marite Kirikova and
                  Birger Lantow and
                  Charles M{\o}ller and
                  Andrea Morichetta and
                  Pierluigi Plebani and
                  Barbara Re and
                  Kurt Sandkuhl and
                  Ulf Seigerroth},
  title        = {Joint Proceedings of the {BIR} 2021 Workshops and Doctoral Consortium
                  co-located with 20th International Conference on Perspectives in Business
                  Informatics Research {(BIR} 2021), Vienna, Austria, September 22-24,
                  2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2991},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2991},
  urn          = {urn:nbn:de:0074-2991-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/2021w.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/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/icse/BellucciniNDP0T20,
  author       = {Sara Belluccini and
                  Rocco De Nicola and
                  Marlon Dumas and
                  Pille Pullonen and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {Kyungmin Bae and
                  Domenico Bianculli and
                  Stefania Gnesi and
                  Nico Plat},
  title        = {Verification of Privacy-Enhanced Collaborations},
  booktitle    = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
                  in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
  pages        = {141--152},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3372020.3391553},
  doi          = {10.1145/3372020.3391553},
  timestamp    = {Thu, 27 Jul 2023 16:07:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BellucciniNDP0T20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/Marcelletti020,
  author       = {Alessandro Marcelletti and
                  Barbara Re},
  editor       = {Petra Maria Asprion and
                  Signe Balina and
                  Peter Forbrig and
                  Janis Kampars and
                  Marite Kirikova and
                  Charles M{\o}ller and
                  Andrea Morichetta and
                  Ben Roelens and
                  Kurt Sandkuhl},
  title        = {FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper)},
  booktitle    = {Proceedings of the workshops co-organized with the 13th {IFIP} {WG}
                  8.1 working conference on the Practice of Enterprise Modelling (PoEM
                  2020), On-line (originally located in Riga, Latvia), November 26,
                  2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2749},
  pages        = {59--67},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2749/short1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:10 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/Marcelletti020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BellucciniN0T20,
  author       = {Sara Belluccini and
                  Rocco De Nicola and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {Brijesh Dongol and
                  Elena Troubitsyna},
  title        = {{PALM:} {A} Technique for Process ALgebraic Specification Mining},
  booktitle    = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
                  Lugano, Switzerland, November 16-20, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12546},
  pages        = {397--418},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63461-2\_22},
  doi          = {10.1007/978-3-030-63461-2\_22},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BellucciniN0T20.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}
}
@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/aiia/0001CFFP0RSVZ19,
  author       = {Stefano Mariani and
                  Roberto Casadei and
                  Fabrizio Fornari and
                  Giancarlo Fortino and
                  Danilo Pianini and
                  Barbara Re and
                  Wilma Russo and
                  Claudio Savaglio and
                  Mirko Viroli and
                  Franco Zambonelli},
  editor       = {Claudio Savaglio and
                  Giancarlo Fortino and
                  Giovanni Ciatto and
                  Andrea Omicini},
  title        = {Case Studies for a New IoT Programming Paradigm: Fluidware},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Internet
                  of Things co-located with the 18th International Conference of the
                  Italian Association for Artificial Intelligence (AI*IA 2019), Rende
                  (CS), Italy, November 22, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2502},
  pages        = {82--96},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2502/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/0001CFFP0RSVZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Corradini00T19,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {M{\'{a}}rio S. Alvim and
                  Kostas Chatzikokolakis and
                  Carlos Olarte and
                  Frank Valencia},
  title        = {Walking Through the Semantics of Exclusive and Event-Based Gateways
                  in {BPMN} Choreographies},
  booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic
                  and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
                  Palamidessi on the Occasion of Her 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11760},
  pages        = {163--181},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31175-9\_10},
  doi          = {10.1007/978-3-030-31175-9\_10},
  timestamp    = {Sat, 09 Apr 2022 12:46:09 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Corradini00T19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Fortino0VZ19,
  author       = {Giancarlo Fortino and
                  Barbara Re and
                  Mirko Viroli and
                  Franco Zambonelli},
  editor       = {Michele Boreale and
                  Flavio Corradini and
                  Michele Loreti and
                  Rosario Pugliese},
  title        = {Fluidware: An Approach Towards Adaptive and Scalable Programming of
                  the IoT},
  booktitle    = {Models, Languages, and Tools for Concurrent and Distributed Programming
                  - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
                  Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11665},
  pages        = {411--427},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21485-2\_22},
  doi          = {10.1007/978-3-030-21485-2\_22},
  timestamp    = {Thu, 04 Jul 2019 14:12:17 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Fortino0VZ19.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}
}
@inproceedings{DBLP:conf/caise/AbdulC00T19,
  author       = {Basit Mubeen Abdul and
                  Flavio Corradini and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Cinzia Cappiello and
                  Marcela Ruiz},
  title        = {{UBBA:} Unity Based {BPMN} Animator},
  booktitle    = {Information Systems Engineering in Responsible Information Systems
                  - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {350},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21297-1\_1},
  doi          = {10.1007/978-3-030-21297-1\_1},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/AbdulC00T19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/ZambonelliVFR19,
  author       = {Franco Zambonelli and
                  Mirko Viroli and
                  Giancarlo Fortino and
                  Barbara Re},
  title        = {Towards Adaptive Flow Programming for the IoT: The Fluidware Approach},
  booktitle    = {{IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
  pages        = {549--554},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/PERCOMW.2019.8730736},
  doi          = {10.1109/PERCOMW.2019.8730736},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/ZambonelliVFR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epart/2019,
  editor       = {Panos Panagiotopoulos and
                  Noella Edelmann and
                  Olivier Glassey and
                  Gianluca Misuraca and
                  Peter Parycek and
                  Thomas J. Lampoltshammer and
                  Barbara Re},
  title        = {Electronic Participation - 11th {IFIP} {WG} 8.5 International Conference,
                  ePart 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11686},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27397-2},
  doi          = {10.1007/978-3-030-27397-2},
  isbn         = {978-3-030-27396-5},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epart/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}
}
@inproceedings{DBLP:conf/bpm/CorradiniM00T18,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Mathias Weske and
                  Marco Montali and
                  Ingo Weber and
                  Jan vom Brocke},
  title        = {Animating Multiple Instances in {BPMN} Collaborations: From Formal
                  Semantics to Tool Support},
  booktitle    = {Business Process Management - 16th International Conference, {BPM}
                  2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11080},
  pages        = {83--101},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98648-7\_6},
  doi          = {10.1007/978-3-319-98648-7\_6},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CorradiniM00T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniM00T18a,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {Wil M. P. van der Aalst and
                  Fabio Casati and
                  Raffaele Conforti and
                  Massimiliano de Leoni and
                  Marlon Dumas and
                  Akhil Kumar and
                  Jan Mendling and
                  Surya Nepal and
                  Brian T. Pentland and
                  Barbara Weber},
  title        = {{MIDA:} Multiple Instances and Data Animator},
  booktitle    = {Proceedings of the Dissertation Award, Demonstration, and Industrial
                  Track at {BPM} 2018 co-located with 16th International Conference
                  on Business Process Management {(BPM} 2018), Sydney, Australia, September
                  9-14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2196},
  pages        = {86--90},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2196/BPM\_2018\_paper\_18.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CorradiniM00T18a.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/mobilecloud/Morichetta0T18,
  author       = {Andrea Morichetta and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Runtime Computation of Optimal Offloading Scheduling},
  booktitle    = {6th {IEEE} International Conference on Mobile Cloud Computing, Services,
                  and Engineering, MobileCloud 2018, Bamberg, Germany, March 26-29,
                  2018},
  pages        = {73--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/MobileCloud.2018.00019},
  doi          = {10.1109/MOBILECLOUD.2018.00019},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobilecloud/Morichetta0T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CorradiniM0RT18,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  editor       = {A Min Tjoa and
                  Ladjel Bellatreche and
                  Stefan Biffl and
                  Jan van Leeuwen and
                  Jir{\'{\i}} Wiedermann},
  title        = {Global vs. Local Semantics of {BPMN} 2.0 OR-Join},
  booktitle    = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  Krems, Austria, January 29 - February 2, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10706},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73117-9\_23},
  doi          = {10.1007/978-3-319-73117-9\_23},
  timestamp    = {Sat, 30 Sep 2023 09:57:10 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/CorradiniM0RT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06178,
  author       = {Flavio Corradini and
                  Chiara Muzi and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {A Classification of {BPMN} Collaborations based on Safeness and Soundness
                  Notions},
  journal      = {CoRR},
  volume       = {abs/1809.06178},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.06178},
  eprinttype    = {arXiv},
  eprint       = {1809.06178},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-06178.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/CorradiniARADI17,
  author       = {Flavio Corradini and
                  Francesco De Angelis and
                  Barbara Re and
                  Emiliano Anceschi and
                  Massimo Callisto De Donato and
                  Paolo Iddas},
  title        = {Private assisted house for smart living},
  journal      = {J. Ambient Intell. Smart Environ.},
  volume       = {9},
  number       = {6},
  pages        = {725--741},
  year         = {2017},
  url          = {https://doi.org/10.3233/AIS-170460},
  doi          = {10.3233/AIS-170460},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jaise/CorradiniARADI17.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/caise/BettacchiPR16,
  author       = {Alessandro Bettacchi and
                  Alberto Polzonetti and
                  Barbara Re},
  editor       = {John Krogstie and
                  Haralambos Mouratidis and
                  Jianwen Su},
  title        = {Understanding Production Chain Business Process Using Process Mining:
                  {A} Case Study in the Manufacturing Scenario},
  booktitle    = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
                  Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {249},
  pages        = {193--203},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39564-7\_19},
  doi          = {10.1007/978-3-319-39564-7\_19},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BettacchiPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtacsit/CorradiniR16,
  author       = {Flavio Corradini and
                  Barbara Re},
  editor       = {Alda Kika and
                  Klesti Hoxha},
  title        = {The European Digital Agenda and the Impact of {ICT} on Public Administrations
                  and Small and Medium Enterprises},
  booktitle    = {Proceedings of the 2nd International Conference on Recent Trends and
                  Applications in Computer Science and Information Technology, Tirana,
                  Albania, November 18-19, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1746},
  pages        = {11--16},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1746/paper-02.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/rtacsit/CorradiniR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/CogniniMPR16,
  author       = {Riccardo Cognini and
                  Michelangelo Marani and
                  Alberto Polzonetti and
                  Barbara Re},
  editor       = {{\'{A}}lvaro Rocha and
                  Ana Maria Ramalho Correia and
                  Hojjat Adeli and
                  Lu{\'{\i}}s Paulo Reis and
                  Marcelo Mendon{\c{c}}a Teixeira},
  title        = {webBPMN: {A} Language to Design Web Applications Regulated by Workflows},
  booktitle    = {New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16,
                  Recife, Pernambuco, Brazil, March 22-24, 2016]},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {444},
  pages        = {579--587},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-31232-3\_54},
  doi          = {10.1007/978-3-319-31232-3\_54},
  timestamp    = {Wed, 21 Oct 2020 09:19:56 +0200},
  biburl       = {https://dblp.org/rec/conf/worldcist/CogniniMPR16.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/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/ict4ageingwell/CorradiniARADI15,
  author       = {Flavio Corradini and
                  Francesco De Angelis and
                  Barbara Re and
                  Emiliano Anceschi and
                  Massimo Callisto De Donato and
                  Paolo Iddas},
  editor       = {Andreas Holzinger and
                  Carsten R{\"{o}}cker and
                  Ana L. N. Fred and
                  Markus Helfert and
                  John O'Donoghue and
                  Martina Ziefle},
  title        = {An Integration Platform for Private Assisted Houses},
  booktitle    = {ICT4AgeingWell 2015 - Proceedings of the 1st International Conference
                  on Information and Communication Technologies for Ageing Well and
                  e-Health, Lisbon, Portugal, 20-22 May, 2015},
  pages        = {45--52},
  publisher    = {{SCITEPRESS}},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005436000450052},
  doi          = {10.5220/0005436000450052},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ict4ageingwell/CorradiniARADI15.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/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/cts/SpigaBRSFMSVVDPRFVFFRACC14,
  author       = {Daniele Spiga and
                  Gian Mario Bilei and
                  Hassen Riahi and
                  Loriano Storchi and
                  Enrico Fattibene and
                  Matteo Manzali and
                  Davide Salomoni and
                  Valerio Venturi and
                  Paolo Veronesi and
                  Claudia Diamantini and
                  Domenico Potena and
                  Laura Raffaeli and
                  Livio Fani and
                  Andrea Valentini and
                  Damiano Falcioni and
                  Daniele Fan{\`{\i}} and
                  Barbara Re and
                  Cinzia Amici and
                  Serenella Carota and
                  Francesco Cirillo},
  title        = {A cloud-based solution for public administrations: The experience
                  of the Regione Marche},
  booktitle    = {2014 International Conference on Collaboration Technologies and Systems,
                  {CTS} 2014, Minneapolis, MN, USA, May 19-23, 2014},
  pages        = {493--499},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CTS.2014.6867614},
  doi          = {10.1109/CTS.2014.6867614},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cts/SpigaBRSFMSVVDPRFVFFRACC14.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/ieem/CogniniCPR14,
  author       = {Riccardo Cognini and
                  Flavio Corradini and
                  Alberto Polzonetti and
                  Barbara Re},
  title        = {Five factors that make pervasive business intelligence a winning wager},
  booktitle    = {2014 {IEEE} International Conference on Industrial Engineering and
                  Engineering Management, {IEEM} 2014, Selangor Darul Ehsan, Malaysia,
                  December 9-12, 2014},
  pages        = {617--621},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/IEEM.2014.7058712},
  doi          = {10.1109/IEEM.2014.7058712},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ieem/CogniniCPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mesa/RossiBSDFGPPPPR14,
  author       = {Lorena Rossi and
                  Alberto Belli and
                  Adelmo De Santis and
                  Claudia Diamantini and
                  Emanuele Frontoni and
                  Ennio Gambi and
                  Lorenzo Palma and
                  Luca Pernini and
                  Paola Pierleoni and
                  Domenico Potena and
                  Laura Raffaeli and
                  Susanna Spinsante and
                  Primo Zingaretti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Francesco De Angelis and
                  Emanuela Merelli and
                  Barbara Re},
  title        = {Interoperability issues among smart home technological frameworks},
  booktitle    = {10th {IEEE/ASME} International Conference on Mechatronic and Embedded
                  Systems and Applications, {MESA} 2014, Senigallia, Italy, September
                  10-12, 2014},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/MESA.2014.6935626},
  doi          = {10.1109/MESA.2014.6935626},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mesa/RossiBSDFGPPPPR14.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}
}
@inproceedings{DBLP:conf/egov/FalcioniIMR13,
  author       = {Damiano Falcioni and
                  Fabrizio Ippoliti and
                  Fausto Marcantoni and
                  Barbara Re},
  editor       = {Andrea Ko and
                  Christine Leitner and
                  Herbert Leitold and
                  Alexander Prosser},
  title        = {Digital Identity into Practice: The Case of UniCam},
  booktitle    = {Technology-Enabled Innovation for Democracy, Government and Governance
                  - Second Joint International Conference on Electronic Government and
                  the Information Systems Perspective, and Electronic Democracy, {EGOVIS/EDEM}
                  2013, Prague, Czech Republic, August 26-28, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8061},
  pages        = {18--28},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40160-2\_3},
  doi          = {10.1007/978-3-642-40160-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/FalcioniIMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CogniniFPR13,
  author       = {Riccardo Cognini and
                  Damiano Falcioni and
                  Alberto Polzonetti and
                  Barbara Re},
  editor       = {Maria A. Wimmer and
                  Marijn Janssen and
                  Ann Macintosh and
                  Hans Jochen Scholl and
                  Efthimios Tambouris},
  title        = {A Collaborative Approach to Public Administrations Inter-organizational
                  Business Processes Modelling},
  booktitle    = {Electronic Government and Electronic Participation: Joint Proceedings
                  of Ongoing Research of {IFIP} {EGOV} and {IFIP} ePart 2013, 16-19
                  September 2013, Koblenz, Germany},
  series       = {{LNI}},
  volume       = {{P-221}},
  pages        = {69--75},
  publisher    = {{GI}},
  year         = {2013},
  url          = {https://dl.gi.de/handle/20.500.12116/17288},
  timestamp    = {Fri, 08 Sep 2023 14:38:13 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/CogniniFPR13.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}
}
@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/CarotaCFMMPPRS12,
  author       = {Serenella Carota and
                  Flavio Corradini and
                  Damiano Falcioni and
                  Maria Laura Maggiulli and
                  Fausto Marcantoni and
                  Roberto Piangerelli and
                  Alberto Polzonetti and
                  Barbara Re and
                  Andrea Sergiacomi},
  editor       = {Andrea Ko and
                  Christine Leitner and
                  Herbert Leitold and
                  Alexander Prosser},
  title        = {FedCohesion: Federated Identity Management in the Marche Region},
  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        = {112--124},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32701-8\_11},
  doi          = {10.1007/978-3-642-32701-8\_11},
  timestamp    = {Sun, 02 Oct 2022 15:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/CarotaCFMMPPRS12.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    = {Thu, 23 Jun 2022 01:00:00 +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}
}
@article{DBLP:journals/eswa/SabucedoACPR10,
  author       = {Luis {\'{A}}lvarez Sabucedo and
                  Luis E. Anido{-}Rif{\'{o}}n and
                  Flavio Corradini and
                  Alberto Polzonetti and
                  Barbara Re},
  title        = {Knowledge-based platform for eGovernment agents: {A} Web-based solution
                  using semantic technologies},
  journal      = {Expert Syst. Appl.},
  volume       = {37},
  number       = {5},
  pages        = {3647--3656},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.eswa.2009.10.026},
  doi          = {10.1016/J.ESWA.2009.10.026},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/SabucedoACPR10.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/csreaEEE/AngelisMRP10,
  author       = {Francesco De Angelis and
                  Fausto Marcantoni and
                  Barbara Re and
                  Alberto Polzonetti},
  editor       = {Hamid R. Arabnia and
                  Azita Bahrami and
                  Ashu M. G. Solo},
  title        = {A System for Process Management for Emergency Teams: Idea, Approach,
                  Governance},
  booktitle    = {Proceedings of the 2010 International Conference on E-Learning, E-Business,
                  Enterprise Information Systems, {\&} E-Government, {EEE} 2010,
                  July 12-15, 2010, Las Vegas Nevada, {USA}},
  pages        = {183--188},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csreaEEE/AngelisMRP10.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/ic/AngelisGRP10,
  author       = {Francesco De Angelis and
                  Roberto Gagliardi and
                  Barbara Re and
                  Alberto Polzonetti},
  editor       = {Hamid R. Arabnia and
                  Victor A. Clincy and
                  Joan Lu and
                  Andy Marsh and
                  Ashu M. G. Solo},
  title        = {Internet Security: Now and in the Future},
  booktitle    = {Proceedings of the 2010 International Conference on Internet Computing,
                  {ICOMP} 2010, July 12-15, 2010, Las Vegas Nevada, {USA}},
  pages        = {193--198},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic/AngelisGRP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaEEE/CorradiniMPRV09,
  author       = {Flavio Corradini and
                  Emanuela Merelli and
                  Alberto Polzonetti and
                  Barbara Re and
                  Leonardo Vito},
  editor       = {Hamid R. Arabnia and
                  Azita Bahrami},
  title        = {Resourceome for e-Government: Semantic Web Tool for Managing {PA}
                  Resources},
  booktitle    = {Proceedings of the 2009 International Conference on E-Learning, E-Business,
                  Enterprise Information Systems, {\&} E-Government, {EEE} 2009,
                  July 13-16, 2009, Las Vegas Nevada, {USA}},
  pages        = {354--356},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csreaEEE/CorradiniMPRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SchollBAPR09,
  author       = {Hans Jochen Scholl and
                  Karine Barzilai{-}Nahon and
                  Jin{-}Hyuk Ahn and
                  Olga H. Popova and
                  Barbara Re},
  title        = {E-Commerce and E-Government: How Do They Compare? What Can They Learn
                  from Each Other?},
  booktitle    = {42st Hawaii International International Conference on Systems Science
                  {(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
                  2009, Waikoloa, Big Island, HI, {USA}},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/HICSS.2009.169},
  doi          = {10.1109/HICSS.2009.169},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/SchollBAPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijiq/CorradiniPRT08,
  author       = {Flavio Corradini and
                  Alberto Polzonetti and
                  Barbara Re and
                  Luca Tesei},
  title        = {Quality of service in e-government underlines the role of information
                  usability},
  journal      = {Int. J. Inf. Qual.},
  volume       = {2},
  number       = {2},
  pages        = {133--151},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJIQ.2008.022960},
  doi          = {10.1504/IJIQ.2008.022960},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijiq/CorradiniPRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniSPAR07,
  author       = {Flavio Corradini and
                  Luis {\'{A}}lvarez Sabucedo and
                  Alberto Polzonetti and
                  Luis E. Anido{-}Rif{\'{o}}n and
                  Barbara Re},
  editor       = {Maria A. Wimmer and
                  Hans Jochen Scholl and
                  {\AA}ke Gr{\"{o}}nlund},
  title        = {A Case Study of Semantic Solutions for Citizen-Centered Web Portals
                  in eGovernment: The Tecut Portal},
  booktitle    = {Electronic Government, 6th International Conference, {EGOV} 2007,
                  Regensburg, Germany, September 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4656},
  pages        = {204--215},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74444-3\_18},
  doi          = {10.1007/978-3-540-74444-3\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/CorradiniSPAR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/CorradiniAPR06,
  author       = {Flavio Corradini and
                  Francesco De Angelis and
                  Alberto Polzonetti and
                  Barbara Re},
  editor       = {Jos{\'{e}} A. B. Fortes and
                  Ann Macintosh},
  title        = {Quality evaluation of e-Government digital services},
  booktitle    = {Proceedings of the 7th Annual International Conference on Digital
                  Government Research, {DG.O} 2006, San Diego, California, USA, May
                  21-24, 2006},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {151},
  pages        = {377--378},
  publisher    = {Digital Government Research Center},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146598.1146710},
  doi          = {10.1145/1146598.1146710},
  timestamp    = {Tue, 06 Nov 2018 11:06:50 +0100},
  biburl       = {https://dblp.org/rec/conf/dgo/CorradiniAPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CorradiniEMR04,
  author       = {Flavio Corradini and
                  Chiara Ercoli and
                  Emanuela Merelli and
                  Barbara Re},
  editor       = {Matteo Baldoni and
                  Flavio De Paoli and
                  Alberto Martelli and
                  Andrea Omicini},
  title        = {An agent-based matchmaker},
  booktitle    = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
                  "From Objects to Agents": Complex Systems and Rational Agents, 30
                  November - 1 December 2004, Torino, Italy},
  pages        = {150--156},
  publisher    = {Pitagora Editrice Bologna},
  year         = {2004},
  timestamp    = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/woa/CorradiniEMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics