Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Francesco Tiezzi
2010 – today
- 2013
[c21]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- [c20]Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi: Network-Aware Evaluation Environment for Reputation Systems. IFIPTM 2013: 231-238
- [c19]Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi: Specifying and analysing reputation systems with a coordination language. SAC 2013: 1363-1368
- [i1]Luca Cesari, Rosario Pugliese, Francesco Tiezzi: Blind-date Conversation Joining. CoRR abs/1308.0388 (2013)
- 2012
- [j11]Rosario Pugliese, Francesco Tiezzi: A calculus for orchestration of web services. J. Applied Logic 10(1): 2-31 (2012)
- [j10]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]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012)
- [j8]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 (2012)
- [c18]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74
- [c17]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]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]Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi: Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527
- [e2]Josep Silva, Francesco Tiezzi (Eds.): Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. EPTCS 98, 2012
- 2011
- [j7]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]Federico Banti, Rosario Pugliese, Francesco Tiezzi: An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
- [c14]Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196
- [c13]Rocco De Nicola, Andrea Margheri, Francesco Tiezzi: Orchestrating Tuple-Based Languages. TGC 2011: 160-178
- [p1]Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi: The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718
- [e1]Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. EPTCS 61, 2011
- 2010
- [c12]Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442
- [c11]Federico Banti, Rosario Pugliese, Francesco Tiezzi: A criterion for separating process calculi. EXPRESS'10 2010: 16-30
2000 – 2009
- 2009
- [j5]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]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]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]Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570
- [c9]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]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
- [j1]Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi: TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)
- [c8]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
- [c7]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
- [c6]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]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]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
- [c3]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
- [c2]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
- 2006
- [c1]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team