ask others

Francesco Tiezzi

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CorradiniFPRT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CorradiniFPRT18
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166: 35-70 (2018)
[c58]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/bpm/CorradiniM00T18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bpm/CorradiniM00T18
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM 2018: 83-101
[c57]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/bpm/CorradiniM00T18a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bpm/CorradiniM00T18a
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90
[c56]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caise/FornariRP0T18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caise/FornariRP0T18
Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi:
Checking Business Process Correctness in Apromore. CAiSE Forum 2018: 114-123
[c55]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/NicolaFPT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/NicolaFPT18
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141
[c54]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip8-1/MuziP0WT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip8-1/MuziP0WT18
Chiara Muzi, Luise Pufahl, Lorenzo Rossi, Mathias Weske, Francesco Tiezzi:
Formalising BPMN Service Interaction Patterns. PoEM 2018: 3-20
[c53]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/mobilecloud/Morichetta0T18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mobilecloud/Morichetta0T18
Andrea Morichetta, Barbara Re, Francesco Tiezzi:
Runtime Computation of Optimal Offloading Scheduling. MobileCloud 2018: 73-78
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/CorradiniM0RT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/CorradiniM0RT18
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM 2018: 321-336
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1809-06178
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06178
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi:
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR abs/1809.06178 (2018)
2017
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/MaggiPST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/MaggiPST17
Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
A language-based approach to modelling and analysis of Twitter interactions. J. Log. Algebr. Meth. Program. 87: 67-91 (2017)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/GiachinoLMT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/GiachinoLMT17
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-consistent rollback in a tuple-based language. J. Log. Algebr. Meth. Program. 88: 99-120 (2017)
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/soca/CesariPT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/soca/CesariPT17
Luca Cesari, Rosario Pugliese, Francesco Tiezzi:
Blind-date conversation joining. Service Oriented Computing and Applications 11(3): 265-283 (2017)
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/bis/CorradiniFMPRT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bis/CorradiniFMPRT17
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi:
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caise/CorradiniP0RT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caise/CorradiniP0RT17
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67
[c49]
- view
- export record
  dblp key:
  - conf/kbse/CorradiniFP0TV17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/CorradiniFP0TV17
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: a formal verification framework for business process models. ASE 2017: 217-228
[c48]
- view
- export record
  dblp key:
  - conf/kbse/CorradiniFP0TV17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/CorradiniFP0TV17a
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: tool support for business process verification. ASE 2017: 937-942
2016
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tnsm/UriarteTT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tnsm/UriarteTT16
Rafael Brundo Uriarte, Francesco Tiezzi, Sotirios A. Tsaftaris:
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest. IEEE Trans. Network and Service Management 13(3): 595-607 (2016)
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esocc/UriarteTN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esocc/UriarteTN16
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
Dynamic SLAs for Clouds. ESOCC 2016: 34-49
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/TiezziY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/TiezziY16
Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. RC 2016: 52-69
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MargheriMPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MargheriMPT16
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR abs/1612.09339 (2016)
2015
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/TiezziY15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/TiezziY15
Francesco Tiezzi, Nobuko Yoshida:
Reversible session-based pi-calculus. J. Log. Algebr. Meth. Program. 84(5): 684-707 (2015)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/soca/AmorettiGSTZ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/soca/AmorettiGSTZ15
Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi, Francesco Zanichelli:
A formalized framework for mobile cloud computing. Service Oriented Computing and Applications 9(3-4): 229-248 (2015)
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MontanariPT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MontanariPT15
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661
[c44]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ccgrid/UriarteTT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccgrid/UriarteTT15
Rafael Brundo Uriarte, Sotirios A. Tsaftaris, Francesco Tiezzi:
Service Clustering for Autonomic Clouds Using Random Forest. CCGRID 2015: 515-524
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/AcetoLMT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/AcetoLMT15
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/CorradiniPRT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CorradiniPRT15
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180
[c41]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/mobilecloud/AcetoMT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mobilecloud/AcetoMT15
Luca Aceto, Andrea Morichetta, Francesco Tiezzi:
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204
[c40]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/pdp/GiachinoLMT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdp/GiachinoLMT15
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sac/AlrahmanNLTV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/AlrahmanNLTV15
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/NicolaMPST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/NicolaMPST15
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343
[c37]
- view
- export record
  dblp key:
  - journals/corr/MargheriPT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MargheriPT15
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Properties of Policy-Based Specifications. WWV 2015: 33-50
[c36]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HoangSTPN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HoangSTPN15
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola:
Domain-specific queries and Web search personalization: some investigations. WWV 2015: 51-58
[p4]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - series/lncs/NicolaLLLMMMPTV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71
[p3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/CombazBTMPK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/CombazBTMPK15
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/MayerVKHPTPKB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/MayerVKHPTPKB15
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/TiezziY15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/TiezziY15
Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. CoRR abs/1510.07253 (2015)
2014
[j14]
- view
  - electronic edition @ eatcs.org
- export record
  dblp key:
  - journals/eatcs/Lanese14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/Lanese14
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility. Bulletin of the EATCS 114 (2014)
[j13]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/taas/NicolaLPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/taas/NicolaLPT14
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS 9(2): 7:1-7:29 (2014)
[c35]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/aina/CelestiniCNMMPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aina/CelestiniCNMMPT14
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742
[c34]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/etaps/NicolaLLMPST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/etaps/NicolaLLMPST14
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83
[c33]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/ifiptm/CelestiniLMST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifiptm/CelestiniLMST14
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi:
Reputation-Based Cooperation in the Clouds. IFIPTM 2014: 213-220
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/CabriCCNPTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/CabriCCNPTZ14
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/LoretiMPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/LoretiMPT14
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183
[c30]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/pdp/AmorettiGZST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdp/AmorettiGZST14
Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi:
Towards a Formal Approach to Mobile Cloud Computing. PDP 2014: 743-750
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/VigoCTNNN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/VigoCTNNN14
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191
[c28]
- view
- export record
  dblp key:
  - conf/ucc/UriarteTN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ucc/UriarteTN14
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426
[c27]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/TiezziY14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/TiezziY14
Francesco Tiezzi, Nobuko Yoshida:
Towards Reversible Sessions. PLACES 2014: 17-24
2013
[j12]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jlp/KovacsPST13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/KovacsPST13
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi:
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebr. Program. 82(8): 241-242 (2013)
[c26]
- no documents available
- export record
  dblp key:
  - conf/biostec/MargheriMPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/biostec/MargheriMPT13
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF 2013: 263-268
[c25]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/facs2/CesariNPPTZ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CesariNPPTZ13
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifiptm/CelestiniNT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifiptm/CelestiniNT13
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Network-Aware Evaluation Environment for Reputation Systems. IFIPTM 2013: 231-238
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sac/CelestiniNT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/CelestiniNT13
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Specifying and analysing reputation systems with a coordination language. SAC 2013: 1363-1368
[c22]
- view
- export record
  dblp key:
  - conf/saso/MayerKHPTPKB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/saso/MayerKHPTPKB13
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure:
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/uic/MargheriPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uic/MargheriPT13
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/wsfm/MargheriMPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wsfm/MargheriMPT13
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105
[c19]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CesariPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CesariPT13
Luca Cesari, Rosario Pugliese, Francesco Tiezzi:
Blind-date Conversation Joining. WWV 2013: 3-18
2012
[j11]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/japll/PuglieseT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/japll/PuglieseT12
Rosario Pugliese, Francesco Tiezzi:
A calculus for orchestration of web services. J. Applied Logic 10(1): 2-31 (2012)
[j10]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jms/MasiPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jms/MasiPT12
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Systems 36(6): 3695-3711 (2012)
[j9]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/scp/LapadulaPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/LapadulaPT12
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012)
[j8]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/tosem/FantechiGLMPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/FantechiGLMPT12
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012)
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/essos/MasiPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/essos/MasiPT12
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74
[c17]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/icfem/GjondrekajLPTPBBD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/models/BuschKMPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/models/BuschKMPT12
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Towards model-driven development of access control policies for web applications. MDsec 2012: 4
[c15]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sac/GjondrekajLPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/GjondrekajLPT12
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527
[e2]
- view
- export record
  dblp key:
  - journals/corr/abs-1210-5783
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1210-5783
Josep Silva, Francesco Tiezzi:
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents]
2011
[j7]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/fmsd/LapadulaPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/LapadulaPT11
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design 38(2): 119-157 (2011)
[j6]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jsc/BantiPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/BantiPT11
Federico Banti, Rosario Pugliese, Francesco Tiezzi:
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
[c14]
- view
- export record
  dblp key:
  - conf/africom/MasiPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/africom/MasiPT11
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/NicolaMT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/NicolaMT11
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
Orchestrating Tuple-Based Languages. TGC 2011: 160-178
[p1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - books/sp/sensoria2011/GnesiPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/sensoria2011/GnesiPT11
Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi:
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718
[e1]
- view
- export record
  dblp key:
  - journals/corr/abs-1108-2085
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2085
Laura Kovács, Rosario Pugliese, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents]
2010
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/sac/CesariLPT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/CesariLPT10
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1011-6430
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6430
Federico Banti, Rosario Pugliese, Francesco Tiezzi:
A criterion for separating process calculi. EXPRESS 2010: 16-30

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/entcs/BantiLPT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BantiLPT09
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009)
[j4]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/entcs/PuglieseTY09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/PuglieseTY09
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. Electr. Notes Theor. Comput. Sci. 241: 135-164 (2009)
[j3]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/entcs/BocchiFLPT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BocchiFLPT09
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. Electr. Notes Theor. Comput. Sci. 253(1): 3-21 (2009)
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/icalp/PuglieseTY09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/PuglieseTY09
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/iciss/MasiPT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iciss/MasiPT09
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70
2008
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/entcs/LapadulaPT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/CalzolaiNLT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/CalzolaiNLT08
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/birthday/LapadulaPT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/coordination/LapadulaPT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fase/FantechiGLMPT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/FantechiGLMPT08
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/WirsingHABCFGGGKLMMPSTTV08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08
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ó:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
2007
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/LapadulaPT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/LapadulaPT07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/Lapadula07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsen/Lapadula07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/LapadulaPT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/LapadulaPT07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
2006
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/coordination/LapadulaPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/LapadulaPT06
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163

Coauthor Index

see FAQ

maintained by

at