Francesco Tiezzi

156 papers A* 2A 5B 9C 14Misc 9Journal 48Unranked 62
YearRankTypeTitle / Venue / Authors
2026 J jnl
A framework for purpose-guided event logs generation.
Data Knowl. Eng.
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2026 — ed.
Blockchain Technology and Emerging Applications - 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 18-19, 2025, Proceedings
BlockTEA
William Knottenbelt, Dalila Ressi, Sabina Rossi, Francesco Tiezzi
2025 C conf
An Algorand-based Approach for Flexible Execution of BPMN Choreographies.
DLT
Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
2025 — conf
BEAR 2.0: Enhancing the Environment Model for Animating Environment‑aware BPMN Collaborations.
BPM (Demos / Resources Forum)
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2025 J jnl
Blockchain-Based Execution of BPMN Choreographies with Multiple Instances.
Distributed Ledger Technol. Res. Pract.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 J jnl
Checkpoint-based rollback recovery in session programming.
Log. Methods Comput. Sci.
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2025 Misc conf
Looseness for Choreography-based Software Architectures on Blockchain.
SAC
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2025 J jnl
Model-based verification of data protection mechanisms in collaborative business processes.
Softw. Syst. Model.
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re, Francesco Tiezzi
2025 A conf
Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations.
BPM
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2025 — conf
On Policies for Bartering Access to Resources.
ITASEC/SERICS
Lorenzo Bettini, Rosario Pugliese, Francesco Tiezzi
2025 J jnl
Translating BPMN models into X-Klaim programs for developing multi-robot missions.
Int. J. Softw. Tools Technol. Transf.
Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini, Stefano Seriani
2024 J jnl
A technique for discovering BPMN collaboration diagrams.
Softw. Syst. Model.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 — conf
BEAR: BPMN and Environment AnimatoR.
BPM (Demos / Resources Forum)
Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 C ed.
Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
COORDINATION
Ilaria Castellani, Francesco Tiezzi
2024 — conf
Formal Approaches for Modeling and Analysis of Business Process Collaborations.
ISoLA (1)
Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin
2024 — conf
Klaim in the Making.
ISoLA (1)
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto
2024 — conf
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code.
ISoLA (2)
Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini
2024 A conf
On the Interplay Between BPMN Collaborations and the Physical Environment.
BPM
Flavio Corradini, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2024 C conf
Unveiling Algorand Storage Peculiarities.
DLT
Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
2023 J jnl
A BPMN-driven framework for Multi-Robot System development.
Robotics Auton. Syst.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 J jnl
A Flexible Approach to Multi-party Business Process Execution on Blockchain.
Future Gener. Comput. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2023 B conf
A Methodology for the Analysis of Robotic Systems via Process Mining.
EDOC
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 J jnl
A systematic literature review on IoT-aware business process modeling views, requirements and notations.
Softw. Syst. Model.
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2023 J jnl
Checkpoint-based rollback recovery in session programming.
CoRR
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2023 J jnl
Coordinating and programming multiple ROS-based robots with X-KLAIM.
Int. J. Softw. Tools Technol. Transf.
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2023 J jnl
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach.
Frontiers Blockchain
Pierluigi Plebani, Davide Rossetto, Francesco Tiezzi
2023 — conf
Enhancing compatibility in QoS communication for the Internet of Robotic Things.
ER (Companion)
Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi
2023 J jnl
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.
Big Data Cogn. Comput.
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2023 C conf
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.
DLT
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi
2023 C conf
Rollback Recovery in Session-Based Programming.
COORDINATION
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2022 — conf
A Choreography-Driven Approach for Blockchain-Based IoT Applications.
PerCom Workshops
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 A conf
A Purpose-Guided Log Generation Framework.
BPM
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
A Technique for Collaboration Discovery.
BPMDS/EMMSAD@CAiSE
Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
An Approach to Support Digital Process Twin.
DASC/PiCom/CBDCom/CyberSciTech
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 J jnl
BPMN 2.0 OR-Join Semantics: Global and local characterisation.
Inf. Syst.
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
BPM (PhD/Demos)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 J jnl
Consistent modelling of hierarchical BPMN collaborations.
Bus. Process. Manag. J.
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 J jnl
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
ACM Trans. Manag. Inf. Syst.
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 — conf
Flexible execution of multi-party business processes on blockchain.
WETSEB@ICSE
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2022 J jnl
Formalising and animating multiple instances in BPMN collaborations.
Inf. Syst.
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract).
ICPM Doctoral Consortium / Demo
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2022 — conf
Programming Multi-robot Systems with X-KLAIM.
ISoLA (3)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2021 J jnl
A formal approach for the analysis of BPMN collaboration models.
J. Syst. Softw.
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2021 — conf
ChorChain: A model-driven framework for choreography-based systems using blockchain.
ITBPM@BPM
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2021 — conf
Disciplined use of BPMN for mission modeling of Multi-Robot Systems.
PoEM (Forum)
Khalid Bourr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2021 — conf
RePROSitory: a Repository platform for sharing business PROcess models and logS.
ITBPM@BPM
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2021 J jnl
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.
J. Log. Algebraic Methods Program.
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
2020 J jnl
A formal approach to the engineering of domain-specific distributed systems.
J. Log. Algebraic Methods Program.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
CoRR
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Collaboration vs. choreography conformance in BPMN.
Log. Methods Comput. Sci.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Correctness checking for BPMN collaborations with sub-processes.
J. Syst. Softw.
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2020 Misc conf
Engineering trustable choreography-based systems using blockchain.
SAC
Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 J jnl
Ethereum smart contracts: Analysis and statistics of their source code and opcodes.
Internet Things
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi
2020 — conf
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.
Business Process Management Workshops
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 B conf
PALM: A Technique for Process ALgebraic Specification Mining.
IFM
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
2020 J jnl
Replacement freeness: A criterion for separating process calculi.
J. Log. Algebraic Methods Program.
Rosario Pugliese, Francesco Tiezzi
2020 — conf
Verification of Privacy-Enhanced Collaborations.
FormaliSE@ICSE
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
2020 — conf
Writing Robotics Applications with X-Klaim.
ISoLA (2)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
2019 J jnl
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
CoRR
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng.
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2019 B conf
Analysis of Ethereum Smart Contracts and Opcodes.
AINA
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi
2019 — conf
Automata-Based Behavioural Contracts with Action Correlation.
From Software Engineering to Formal Methods and Tools, and Back
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
2019 J jnl
Defining and guaranteeing dynamic service levels in clouds.
Future Gener. Comput. Syst.
Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi
2019 — conf
RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
BPM (PhD/Demos)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2019 — conf
UBBA: Unity Based BPMN Animator.
CAiSE Forum
Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2019 — conf
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
The Art of Modelling Computational Systems
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
2019 — conf
X-Klaim Is Back.
Models, Languages, and Tools for Concurrent and Distributed Programming
Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi
2018 J jnl
A Classification of BPMN Collaborations based on Safeness and Soundness Notions.
CoRR
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
2018 C conf
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2018 J jnl
A formal approach to modeling and verification of business process collaborations.
Sci. Comput. Program.
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 A conf
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
BPM
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 — conf
Checking Business Process Correctness in Apromore.
CAiSE Forum
Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 B conf
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
EDOC
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2018 Misc conf
Formalising BPMN Service Interaction Patterns.
PoEM
Chiara Muzi, Luise Pufahl, Lorenzo Rossi, Mathias Weske, Francesco Tiezzi
2018 B conf
Global vs. Local Semantics of BPMN 2.0 OR-Join.
SOFSEM
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 — conf
MIDA: Multiple Instances and Data Animator.
BPM (Dissertation/Demos/Industry)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2018 — conf
Runtime Computation of Optimal Offloading Scheduling.
MobileCloud
Andrea Morichetta, Barbara Re, Francesco Tiezzi
2017 J jnl
A language-based approach to modelling and analysis of Twitter interactions.
J. Log. Algebraic Methods Program.
Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
2017 A* conf
BProVe: a formal verification framework for business process models.
ASE
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017 A* conf
BProVe: tool support for business process verification.
ASE
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017 J jnl
Blind-date conversation joining.
Serv. Oriented Comput. Appl.
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2017 J jnl
Causal-consistent rollback in a tuple-based language.
J. Log. Algebraic Methods Program.
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2017 — conf
On Avoiding Erroneous Synchronization in BPMN Processes.
BIS
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
2017 — conf
Supporting Multi-layer Modeling in BPMN Collaborations.
EOMAS@CAiSE
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
2016 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
CoRR
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2016 — conf
Dynamic SLAs for Clouds.
ESOCC
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
2016 C conf
Reversing Single Sessions.
RC
Francesco Tiezzi, Nobuko Yoshida
2016 J jnl
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest.
IEEE Trans. Netw. Serv. Manag.
Rafael Brundo Uriarte, Francesco Tiezzi, Sotirios A. Tsaftaris
2015 — conf
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
FACS
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
2015 Misc conf
A calculus for attribute-based communication.
SAC
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
2015 J jnl
A formalized framework for mobile cloud computing.
Serv. Oriented Comput. Appl.
Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi, Francesco Zanichelli
2015 — conf
An Operational Semantics of BPMN Collaboration.
FACS
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
2015 C conf
Causal-Consistent Reversibility in a Tuple-Based Language.
PDP
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2015 — ch.
Correctness of Service Components and Service Component Ensembles.
The ASCENS Approach
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015 — conf
Decision Support for Mobile Cloud Computing Applications via Model Checking.
MobileCloud
Luca Aceto, Andrea Morichetta, Francesco Tiezzi
2015 — conf
Domain-specific queries and Web search personalization: some investigations.
WWV
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
2015 — conf
On Properties of Policy-Based Specifications.
WWV
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2015 — conf
Programming Autonomic Systems with Multiple Constraint Stores.
Software, Services, and Systems
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
2015 J jnl
Reversible session-based pi-calculus.
J. Log. Algebraic Methods Program.
Francesco Tiezzi, Nobuko Yoshida
2015 J jnl
Reversing Single Sessions.
CoRR
Francesco Tiezzi, Nobuko Yoshida
2015 B conf
Service Clustering for Autonomic Clouds Using Random Forest.
CCGRID
Rafael Brundo Uriarte, Sotirios A. Tsaftaris, Francesco Tiezzi
2015 — ch.
The Autonomic Cloud.
The ASCENS Approach
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 B conf
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter.
SEFM
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
2014 J jnl
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
ACM Trans. Auton. Adapt. Syst.
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 J jnl
Causal-Consistent Reversibility.
Bull. EATCS
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2014 — conf
On Programming and Policing Autonomic Computing Systems.
ISoLA (1)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2014 — conf
Programming and Verifying Component Ensembles.
FPS@ETAPS
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014 B conf
Reputation-Based Composition of Social Web Services.
AINA
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
2014 — conf
Reputation-Based Cooperation in the Clouds.
IFIPTM
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi
2014 Misc conf
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing.
UCC
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
2014 — conf
Self-expression and Dynamic Attribute-Based Ensembles in SCEL.
ISoLA (1)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli
2014 — conf
Towards Reversible Sessions.
PLACES
Francesco Tiezzi, Nobuko Yoshida
2014 C conf
Towards a Formal Approach to Mobile Cloud Computing.
PDP
Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi
2014 — conf
Trust-Based Enforcement of Security Policies.
TGC
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
2013 — conf
Blind-date Conversation Joining.
WWV
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
WS-FM
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Formalising Adaptation Patterns for Autonomic Ensembles.
FACS
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
2013 — conf
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.
UIC/ATC
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Network-Aware Evaluation Environment for Reputation Systems.
IFIPTM
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi
2013 — conf
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
HEALTHINF
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2013 J jnl
Special issue on Automated Specification and Verification of Web Systems.
J. Log. Algebraic Methods Program.
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
2013 Misc conf
Specifying and analysing reputation systems with a coordination language.
SAC
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi
2013 — conf
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
SASO Workshops
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
2012 J jnl
A calculus for orchestration of web services.
J. Appl. Log.
Rosario Pugliese, Francesco Tiezzi
2012 J jnl
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol.
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2012 — conf
Formalisation and Implementation of the XACML Access Control Mechanism.
ESSoS
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 Misc conf
Modeling adaptation with a tuple-based coordination language.
SAC
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2012 — ed.
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012.
WWV
Josep Silva, Francesco Tiezzi
2012 J jnl
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios.
J. Medical Syst.
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 C conf
Towards a Formal Verification Methodology for Collective Robotic Systems.
ICFEM
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
2012 — conf
Towards model-driven development of access control policies for web applications.
MDsec@MoDELS
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2012 J jnl
Using formal methods to develop WS-BPEL applications.
Sci. Comput. Program.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 J jnl
A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods Syst. Des.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 J jnl
An accessible verification environment for UML models of services.
J. Symb. Comput.
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2011 — conf
Orchestrating Tuple-Based Languages.
TGC
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi
2011 — ed.
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011.
WWV
Laura Kovács, Rosario Pugliese, Francesco Tiezzi
2011 — ch.
The Sensoria Approach Applied to the Finance Case Study.
Results of the SENSORIA Project
Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi
2011 — conf
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience.
AFRICOMM
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2010 — conf
A criterion for separating process calculi
EXPRESS
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2010 Misc conf
A tool for rapid development of WS-BPEL applications.
SAC
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
From Architectural to Behavioural Specification of Services.
FESCA@ETAPS
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
On Observing Dynamic Prioritised Actions in SOC.
ICALP (2)
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2009 Misc conf
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.
ICISS
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2008 C conf
A Formal Account of WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 B conf
A Model Checking Approach for Verifying COWS Specifications.
FASE
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2008 — conf
A Symbolic Semantics for a Calculus for Service-Oriented Computing.
PLACES@DisCoTec
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
2008 — conf
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
WWV
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 — conf
Specifying and Analysing SOC Applications with COWS.
Concurrency, Graphs and Models
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 J jnl
TAPAs: A Tool for the Analysis of Process Algebras.
Trans. Petri Nets Other Model. Concurr.
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
2007 A conf
A Calculus for Orchestration of Web Services.
ESOP
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 C conf
C-clock-WS: A Timed Service-Oriented Calculus.
ICTAC
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 — conf
Regulating Data Exchange in Service Oriented Applications.
FSEN
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 — conf
Service Discovery and Negotiation With COWS.
WWV
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006 C conf
A WSDL-Based Type System for WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi