Francesco Tiezzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
27
Active years
2006–2025
Best venue rank
A*
Where they publish
- ABPM12 papers
- CISoLA8 papers
- MulticonferenceSAC6 papers
- CCoordination4 papers
- ACaiSE3 papers
- BEDOC2 papers
- BAINA2 papers
- CPDP2 papers
- AER1 paper
- CDASC1 paper
- BICPM1 paper
- A*PERCOM1 paper
- A*ICSE1 paper
- BIFM1 paper
- BSOFSEM1 paper
- CRC1 paper
- BCCGRID1 paper
- BSEFM1 paper
- UnrankedUCC1 paper
- CUIC1 paper
- CICFEM1 paper
- AMODELS1 paper
- A*ICALP1 paper
- NationalICISS1 paper
- BFASE1 paper
- AESOP1 paper
- CICTAC1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | BPM | BEAR 2.0: Enhancing the Environment Model for Animating Environment‑aware BPMN Collaborations. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2025 | BPM | Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2025 | SAC | Looseness for Choreography-based Software Architectures on Blockchain. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2024 | BPM | BEAR: BPMN and Environment AnimatoR. | Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2024 | BPM | On the Interplay Between BPMN Collaborations and the Physical Environment. | Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2024 | ISoLA | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2024 | ISoLA | Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. | Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini |
| 2024 | ISoLA | Formal Approaches for Modeling and Analysis of Business Process Collaborations. | Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin |
| 2023 | Coordination | Rollback Recovery in Session-Based Programming. | Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida |
| 2023 | EDOC | A Methodology for the Analysis of Robotic Systems via Process Mining. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2023 | ER | Enhancing compatibility in QoS communication for the Internet of Robotic Things. | Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi |
| 2022 | BPM | A Purpose-Guided Log Generation Framework. | Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2022 | BPM | ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2022 | DASC | An Approach to Support Digital Process Twin. | Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2022 | ICPM | PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). | Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2022 | ISoLA | Programming Multi-robot Systems with X-KLAIM. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2022 | PERCOM | A Choreography-Driven Approach for Blockchain-Based IoT Applications. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2021 | BPM | RePROSitory: a Repository platform for sharing business PROcess models and logS. | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2021 | BPM | ChorChain: A model-driven framework for choreography-based systems using blockchain. | Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2020 | BPM | Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. | Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2020 | ICSE | Verification of Privacy-Enhanced Collaborations. | Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi |
| 2020 | IFM | PALM: A Technique for Process ALgebraic Specification Mining. | Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi |
| 2020 | ISoLA | Writing Robotics Applications with X-Klaim. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2020 | SAC | Engineering trustable choreography-based systems using blockchain. | Flvio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2019 | AINA | Analysis of Ethereum Smart Contracts and Opcodes. | Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi |
| 2019 | BPM | RePROSitory: a Repository Platform for Sharing Business PROcess modelS. | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2019 | CaiSE | UBBA: Unity Based BPMN Animator. | Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | BPM | Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | BPM | MIDA: Multiple Instances and Data Animator. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2018 | CaiSE | Checking Business Process Correctness in Apromore. | Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2018 | Coordination | A Formal Approach to the Engineering of Domain-Specific Distributed Systems. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi |
| 2018 | EDOC | Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. | Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi |
| 2018 | SOFSEM | Global vs. Local Semantics of BPMN 2.0 OR-Join. | Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2017 | CaiSE | Supporting Multi-layer Modeling in BPMN Collaborations. | Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi |
| 2016 | RC | Reversing Single Sessions. | Francesco Tiezzi, Nobuko Yoshida |
| 2015 | CCGRID | Service Clustering for Autonomic Clouds Using Random Forest. | Rafael Brundo Uriarte, Sotirios A. Tsaftaris, Francesco Tiezzi |
| 2015 | PDP | Causal-Consistent Reversibility in a Tuple-Based Language. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi |
| 2015 | SAC | A calculus for attribute-based communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo |
| 2015 | SEFM | Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. | Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi |
| 2014 | AINA | Reputation-Based Composition of Social Web Services. | Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi |
| 2014 | ISoLA | Self-expression and Dynamic Attribute-Based Ensembles in SCEL. | Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli |
| 2014 | ISoLA | On Programming and Policing Autonomic Computing Systems. | Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2014 | PDP | Towards a Formal Approach to Mobile Cloud Computing. | Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi |
| 2014 | UCC | SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. | Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola |
| 2013 | SAC | Specifying and analysing reputation systems with a coordination language. | Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi |
| 2013 | UIC | Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. | Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2012 | ICFEM | Towards a Formal Verification Methodology for Collective Robotic Systems. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
| 2012 | MODELS | Towards model-driven development of access control policies for web applications. | Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
| 2012 | SAC | Modeling adaptation with a tuple-based coordination language. | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi |
| 2010 | SAC | A tool for rapid development of WS-BPEL applications. | Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2009 | ICALP | On Observing Dynamic Prioritised Actions in SOC. | Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida |
| 2009 | ICISS | On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Coordination | A Formal Account of WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | ESOP | A Calculus for Orchestration of Web Services. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | ICTAC | C-clock-WS: A Timed Service-Oriented Calculus. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2006 | Coordination | A WSDL-Based Type System for WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |