default search action
Francesco Tiezzi 0001
Person information
- affiliation: Università degli Studi di Firenze - Dipartimento di Statistica, Informatica, Applicazioni, Italy
- affiliation (former): University of Camerino, Computer Science Division, Italy
- affiliation (former): IMT School for Advanced Studies Lucca, SySMA, Italy
- affiliation (PhD 2009): University of Florence, Department of Systems and Informatics, Italy
Other persons with the same name
- Francesco Tiezzi 0002
— North Carolina State University, Department of Animal Science, Raleigh, NC, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c95]Flavio Corradini
On the Interplay Between BPMN Collaborations and the Physical Environment. BPM 2024: 93-110 - [c94]Flavio Corradini, Luca Mozzoni, Jessica Piccioni, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
BEAR: BPMN and Environment AnimatoR. BPM (Demos / Resources Forum) 2024: 121-125 - [c93]Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi:
Unveiling Algorand Storage Peculiarities. DLT 2024 - [c92]Lorenzo Bettini
Klaim in the Making. ISoLA (1) 2024: 27-49 - [c91]Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin:
Formal Approaches for Modeling and Analysis of Business Process Collaborations. ISoLA (1) 2024: 50-61 - [c90]Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini:
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. ISoLA (2) 2024: 224-242 - [e3]Ilaria Castellani
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. Lecture Notes in Computer Science 14676, Springer 2024, ISBN 978-3-031-62696-8 [contents] - 2023
- [j36]Flavio Corradini
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. Big Data Cogn. Comput. 7(3): 139 (2023) - [j35]Pierluigi Plebani, Davide Rossetto, Francesco Tiezzi:
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach. Frontiers Blockchain 6 (2023) - [j34]Flavio Corradini, Alessandro Marcelletti
A Flexible Approach to Multi-party Business Process Execution on Blockchain. Future Gener. Comput. Syst. 147: 219-234 (2023) - [j33]Flavio Corradini, Sara Pettinari
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160: 104322 (2023) - [j32]Ivan Compagnucci
A systematic literature review on IoT-aware business process modeling views, requirements and notations. Softw. Syst. Model. 22(3): 969-1004 (2023) - [j31]Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25(5): 747-764 (2023) - [c89]Claudio Antares Mezzina
Rollback Recovery in Session-Based Programming. COORDINATION 2023: 195-213 - [c88]Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi:
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT 2023 - [c87]Flavio Corradini
A Methodology for the Analysis of Robotic Systems via Process Mining. EDOC 2023: 117-133 - [c86]Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi:
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) 2023 - [i6]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Checkpoint-based rollback recovery in session programming. CoRR abs/2312.02851 (2023) - 2022
- [j30]Flavio Corradini
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28(2): 442-460 (2022) - [j29]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103: 101459 (2022) - [j28]Flavio Corradini, Chiara Muzi, Barbara Re
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105: 101934 (2022) - [j27]Flavio Corradini, Alessandro Marcelletti
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13(3): 31:1-31:53 (2022) - [c85]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) 2022: 132-136 - [c84]Andrea Burattin, Barbara Re, Lorenzo Rossi
A Purpose-Guided Log Generation Framework. BPM 2022: 181-198 - [c83]Flavio Corradini, Barbara Re, Lorenzo Rossi
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE 2022: 63-78 - [c82]Flavio Corradini, Sara Pettinari
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-4 - [c81]Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). ICPM Doctoral Consortium / Demo 2022: 90-94 - [c80]Lorenzo Bettini
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) 2022: 283-300 - [c79]Flavio Corradini, Alessandro Marcelletti
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops 2022: 255-260 - [c78]Flavio Corradini, Alessandro Marcelletti
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE 2022: 25-32 - 2021
- [j26]Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119: 100630 (2021) - [j25]Flavio Corradini, Fabrizio Fornari
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180: 111007 (2021) - [c77]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM 2021: 13-18 - [c76]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM 2021: 26-32 - [c75]Khalid Bourr, Flavio Corradini, Sara Pettinari
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) 2021: 1-10 - 2020
- [j24]Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi:
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Internet Things 11: 100198 (2020) - [j23]Rocco De Nicola
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020) - [j22]Rosario Pugliese, Francesco Tiezzi
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116: 100579 (2020) - [j21]Flavio Corradini, Andrea Morichetta
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166: 110594 (2020) - [j20]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020) - [c74]Ivan Compagnucci
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. Business Process Management Workshops 2020: 108-121 - [c73]Sara Belluccini, Rocco De Nicola
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE 2020: 141-152 - [c72]Sara Belluccini, Rocco De Nicola
PALM: A Technique for Process ALgebraic Specification Mining. IFM 2020: 397-418 - [c71]Lorenzo Bettini
Writing Robotics Applications with X-Klaim. ISoLA (2) 2020: 361-379 - [c70]Flávio Corradini, Alessandro Marcelletti
Engineering trustable choreography-based systems using blockchain. SAC 2020: 1470-1479 - [i5]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. CoRR abs/2002.04396 (2020)
2010 – 2019
- 2019
- [j19]Rafael Brundo Uriarte
Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99: 27-40 (2019) - [j18]Andrea Margheri
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45(1): 2-33 (2019) - [c69]Stefano Bistarelli
Analysis of Ethereum Smart Contracts and Opcodes. AINA 2019: 546-558 - [c68]Lorenzo Bettini
X-Klaim Is Back. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 115-135 - [c67]Davide Basile
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back 2019: 131-151 - [c66]Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi:
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems 2019: 163-181 - [c65]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) 2019: 149-153 - [c64]Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi
UBBA: Unity Based BPMN Animator. CAiSE Forum 2019: 1-9 - [i4]Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019) - 2018
- [j17]Flavio Corradini, Fabrizio Fornari
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166: 35-70 (2018) - [c63]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM 2018: 83-101 - [c62]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90 - [c61]Fabrizio Fornari
Checking Business Process Correctness in Apromore. CAiSE Forum 2018: 114-123 - [c60]Rocco De Nicola
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141 - [c59]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC 2018: 95-104 - [c58]Chiara Muzi, Luise Pufahl, Lorenzo Rossi
Formalising BPMN Service Interaction Patterns. PoEM 2018: 3-20 - [c57]Andrea Morichetta, Barbara Re, Francesco Tiezzi:
Runtime Computation of Optimal Offloading Scheduling. MobileCloud 2018: 73-78 - [c56]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM 2018: 321-336 - [i3]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
- [j16]Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi
A language-based approach to modelling and analysis of Twitter interactions. J. Log. Algebraic Methods Program. 87: 67-91 (2017) - [j15]Elena Giachino
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88: 99-120 (2017) - [j14]Luca Cesari, Rosario Pugliese
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3): 265-283 (2017) - [c55]Flavio Corradini, Fabrizio Fornari
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119 - [c54]Flavio Corradini, Andrea Polini
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67 - [c53]Flavio Corradini, Fabrizio Fornari
BProVe: a formal verification framework for business process models. ASE 2017: 217-228 - [c52]Flavio Corradini, Fabrizio Fornari
BProVe: tool support for business process verification. ASE 2017: 937-942 - 2016
- [j13]Rafael Brundo Uriarte
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest. IEEE Trans. Netw. Serv. Manag. 13(3): 595-607 (2016) - [c51]Rafael Brundo Uriarte
Dynamic SLAs for Clouds. ESOCC 2016: 34-49 - [c50]Francesco Tiezzi, Nobuko Yoshida
Reversing Single Sessions. RC 2016: 52-69 - [i2]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
- [j12]Francesco Tiezzi, Nobuko Yoshida
Reversible session-based pi-calculus. J. Log. Algebraic Methods Program. 84(5): 684-707 (2015) - [j11]Michele Amoretti, Alessandro Grazioli
A formalized framework for mobile cloud computing. Serv. Oriented Comput. Appl. 9(3-4): 229-248 (2015) - [c49]Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661 - [c48]Rafael Brundo Uriarte
Service Clustering for Autonomic Clouds Using Random Forest. CCGRID 2015: 515-524 - [c47]Luca Aceto, Kim G. Larsen
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85 - [c46]Flavio Corradini, Andrea Polini
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180 - [c45]Luca Aceto, Andrea Morichetta, Francesco Tiezzi:
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204 - [c44]Elena Giachino
Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475 - [c43]Yehia Abd Alrahman
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c42]Rocco De Nicola
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343 - [c41]Andrea Margheri
On Properties of Policy-Based Specifications. WWV 2015: 33-50 - [c40]Van Tien Hoang, Angelo Spognardi
Domain-specific queries and Web search personalization: some investigations. WWV 2015: 51-58 - [p4]Rocco De Nicola
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p3]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]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]Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. CoRR abs/1510.07253 (2015) - 2014
- [j10]Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility. Bull. EATCS 114 (2014) - [j9]Rocco De Nicola
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [c39]Alessandro Celestini
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742 - [c38]Rocco De Nicola
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c37]Alessandro Celestini
Reputation-Based Cooperation in the Clouds. IFIPTM 2014: 213-220 - [c36]Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163 - [c35]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c34]Michele Amoretti
Towards a Formal Approach to Mobile Cloud Computing. PDP 2014: 743-750 - [c33]Roberto Vigo, Alessandro Celestini
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191 - [c32]Rafael Brundo Uriarte
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426 - [c31]Francesco Tiezzi, Nobuko Yoshida
Towards Reversible Sessions. PLACES 2014: 17-24 - 2013
- [j8]Laura Kovács
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82(8): 241-242 (2013) - [c30]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 - [c29]Luca Cesari, Rocco De Nicola
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118 - [c28]Alessandro Celestini
Network-Aware Evaluation Environment for Reputation Systems. IFIPTM 2013: 231-238 - [c27]Alessandro Celestini
Specifying and analysing reputation systems with a coordination language. SAC 2013: 1363-1368 - [c26]Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94 - [c25]Andrea Margheri
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409 - [c24]Andrea Margheri
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105 - [c23]Luca Cesari, Rosario Pugliese
Blind-date Conversation Joining. WWV 2013: 3-18 - 2012
- [j7]Rosario Pugliese
A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012) - [j6]Massimiliano Masi, Rosario Pugliese
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36(6): 3695-3711 (2012) - [j5]Alessandro Lapadula, Rosario Pugliese
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012) - [j4]Alessandro Fantechi, Stefania Gnesi
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012) - [c22]Massimiliano Masi, Rosario Pugliese
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74 - [c21]Edmond Gjondrekaj, Michele Loreti
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c20]Marianne Busch, Nora Koch
Towards model-driven development of access control policies for web applications. MDsec@MoDELS 2012: 4 - [c19]Edmond Gjondrekaj, Michele Loreti
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - [e2]Josep Silva
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents] - 2011
- [j3]Alessandro Lapadula, Rosario Pugliese
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38(2): 119-157 (2011) - [j2]Federico Banti, Rosario Pugliese
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011) - [c18]Massimiliano Masi, Rosario Pugliese
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196 - [c17]Rocco De Nicola
Orchestrating Tuple-Based Languages. TGC 2011: 160-178 - [p1]Stefania Gnesi
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718 - [e1]Laura Kovács
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents] - 2010
- [c16]Luca Cesari, Alessandro Lapadula, Rosario Pugliese
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442 - [c15]Federico Banti, Rosario Pugliese
A criterion for separating process calculi. EXPRESS 2010: 16-30
2000 – 2009
- 2009
- [c14]Rosario Pugliese
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570 - [c13]Massimiliano Masi, Rosario Pugliese
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70 - [c12]Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese
From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21 - 2008
- [j1]Francesco Calzolai, Rocco De Nicola
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets Other Model. Concurr. 1: 54-70 (2008) - [c11]Alessandro Lapadula, Rosario Pugliese
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720 - [c10]Alessandro Lapadula, Rosario Pugliese
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215 - [c9]Alessandro Fantechi, Stefania Gnesi
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - [c8]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c7]Federico Banti, Alessandro Lapadula, Rosario Pugliese
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. WWV 2008: 71-105 - [c6]Rosario Pugliese
A Symbolic Semantics for a Calculus for Service-Oriented Computing. PLACES@DisCoTec 2008: 135-164 - 2007
- [c5]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47 - [c4]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239 - [c3]Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290 - [c2]Alessandro Lapadula, Rosario Pugliese
Service Discovery and Negotiation With COWS. WWV 2007: 133-154 - 2006
- [c1]Alessandro Lapadula, Rosario Pugliese
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
Coauthor Index
Flavio Corradini
aka: Flávio Corradini
aka: Flávio Corradini
[c92] [j31] [c88] [c80] [j23] [j22] [c71] [j18] [c67] [i4] [c60] [j14] [i2] [c49] [c41] [p4] [p3] [p2] [j9] [c38] [c36] [c35] [j8] [c30] [c29] [c26] [c25] [c24] [c23] [j7] [j6] [j5] [j4] [c22] [c21] [c20] [c19] [j3] [j2] [c18] [p1] [e1] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: