Zavattaro, Gianluigi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Aeolus: A component model for the cloud

Di Cosmo, Roberto, Mauro, Jacopo, Zacchiroli, Stefano, Zavattaro, Gianluigi

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 1009 KB

english, 2014

52

[Lecture Notes in Computer Science] Service-Oriented and Cloud Computing Volume 7592 || Context Mediation as a Linked Service

De Paoli, Flavio, Pimentel, Ernesto, Zavattaro, Gianluigi

Year:

2012

Language:

english

File:

PDF, 89 KB

english, 2012

53

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Towards the Formal Model and Verification of Web Service Choreography Description Language

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

54

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Programming Sagas in SOCK

Lanese, Ivan, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 347 KB

english, 2009

55

[IEEE 2008 IEEE Sixth European Conference on Web Services (ECOWS) - Dublin, Ireland (2008.11.12-2008.11.14)] 2008 Sixth European Conference on Web Services - Dynamic Fault Handling Mechanisms for Service-Oriented Applications

Montesi, Fabrizio, Guidi, Claudio, Lanese, Ivan, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

56

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - A Planning Tool Supporting the Deployment of Cloud Applications

Lascu, Tudor A., Mauro, Jacopo, Zavattaro, Gianluigi

Year:

2013

Language:

english

File:

PDF, 403 KB

english, 2013

57

[IEEE Fifth European Conference on Web Services (ECOWS'07) - Halle, Germany (2007.11.26-2007.11.28)] Fifth European Conference on Web Services (ECOWS'07) - Composing Services with JOLIE

Montesi, Fabrizio, Guidi, Claudio, Zavattaro, Gianluigi

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

58

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Automatic Translation of WS-CDL Choreographies to Timed Automata

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

59

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || CompAr: Ensuring Safe Around Advice Composition

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

60

Turing universality of the Biochemical Ground Form

CARDELLI, LUCA, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 604 KB

english, 2010

61

On the expressive power of recursion, replication and iteration in process calculi

BUSI, NADIA, GABBRIELLI, MAURIZIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 405 KB

english, 2009

62

On the expressive power of process interruption and compensation

BRAVETTI, MARIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 512 KB

english, 2009

63

A theory of contracts for strong service compliance

BRAVETTI, MARIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

64

Deciding reachability problems in Turing-complete fragments of Mobile Ambients

BUSI, NADIA, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 487 KB

english, 2009

65

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || Analysis and Verification of Time Requirements Applied to the Web Services Composition

Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Year:

2006

Language:

english

File:

PDF, 322 KB

english, 2006

66

Nadia Busi's publications

ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 212 KB

english, 2009

67

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Parametric Communication Model for the Verification of BPEL4WS Compositions

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

68

[Lecture Notes in Computer Science] Service-Oriented and Cloud Computing Volume 7592 || Much Ado about Security Appeal: Cloud Provider Collaborations and Their Risks

De Paoli, Flavio, Pimentel, Ernesto, Zavattaro, Gianluigi

Year:

2012

Language:

english

File:

PDF, 330 KB

english, 2012

69

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || Life After BPEL?

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 260 KB

english, 2005

70

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Towards an Integrated Formal Analysis for Security and Trust

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

71

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 5052 || Formal Analysis of BPMN Via a Translation into COWS

Lea, Doug, Zavattaro, Gianluigi

Year:

2008

Language:

english

File:

PDF, 671 KB

english, 2008

72

[Lecture Notes in Computer Science] Service-Oriented and Cloud Computing Volume 7592 || How to Federate VISION Clouds through SAML/Shibboleth Authentication

De Paoli, Flavio, Pimentel, Ernesto, Zavattaro, Gianluigi

Year:

2012

Language:

english

File:

PDF, 868 KB

english, 2012

73

[Lecture Notes in Computer Science] CONCUR 2009 - Concurrency Theory Volume 5710 || Algebra for Infinite Forests with an Application to the Temporal Logic EF

Bravetti, Mario, Zavattaro, Gianluigi

Year:

2009

Language:

english

File:

PDF, 625 KB

english, 2009

74

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Supporting e-commerce systems formalization with choreography languages

Bravetti, Mario, Guidi, Claudio, Lucchi, Roberto, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 164 KB

english, 2005

75

[ACM Press the 2003 ACM symposium - Melbourne, Florida (2003.03.09-2003.03.12)] Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 - PeerSpaces

Busi, Nadia, Manfredini, Cristian, Montresor, Alberto, Zavattaro, Gianluigi

Year:

2003

Language:

english

File:

PDF, 677 KB

english, 2003

76

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - WSSecSpaces

Lucchi, Roberto, Zavattaro, Gianluigi

Year:

2004

Language:

english

File:

PDF, 153 KB

english, 2004

77

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - Event notification in data-driven coordination languages

Busi, Nadia, Zavattaro, Gianluigi

Year:

2000

Language:

english

File:

PDF, 612 KB

english, 2000

78

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - On the serializability of transactions in shared dataspaces with temporary data

Busi, Nadia, Zavattaro, Gianluigi

Year:

2002

Language:

english

File:

PDF, 710 KB

english, 2002

79

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || A Timing Analysis of AODV

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 281 KB

english, 2005

80

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Web Services for E-commerce

Bravetti, Mario, Lucchi, Roberto, Zavattaro, Gianluigi, Gorrieri, Roberto

Year:

2004

Language:

english

File:

PDF, 214 KB

english, 2004

81

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || An Extended Type System for OCL Supporting Templates and Transformations

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 268 KB

english, 2005

82

Automatic deployment of component-based applications

Lascu, Tudor A., Mauro, Jacopo, Zavattaro, Gianluigi

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015

83

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Transforming Information in RDF to Rewriting Logic

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 246 KB

english, 2005

84

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 316 KB

english, 2005

85

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Guaranteeing Resource Bounds for Component Software

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 274 KB

english, 2005

86

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Modeling- and Analysis Techniques for Web Services and Business Processes

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

87

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || A Distributed Implementation of Mobile Nets as Mobile Agents

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

88

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Tracing Integration Analysis in Component-Based Formal Specifications

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 349 KB

english, 2005

89

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || On Correctness of Dynamic Protocol Update

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 257 KB

english, 2005

90

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Property-Driven Development of a Coordination Model for Distributed Simulations

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 214 KB

english, 2005

91

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

92

Undecidability of asynchronous session subtyping

Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

93

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || A Dynamic Class Construct for Asynchronous Concurrent Objects

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 278 KB

english, 2005

94

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || An Abstract Machine for the Kell Calculus

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 308 KB

english, 2005

95

A Petri Net Based Modeling of Active Objects and Futures

de Boer, Frank S., Bravetti, Mario, Lee, Matias D., Zavattaro, Gianluigi

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 499 KB

english, 2018

96

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || Pattern Matching over a Dynamic Network of Tuple Spaces

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 217 KB

english, 2005

97

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || A Formal Security Analysis of an OSA/Parlay Authentication Interface

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

Language:

english

File:

PDF, 241 KB

english, 2005

98

[Lecture Notes in Computer Science] Formal Methods for Open Object-Based Distributed Systems Volume 3535 || A Semantics for UML-RT Active Classes via Mapping into Circus

Steffen, Martin, Zavattaro, Gianluigi

Year:

2005

File:

PDF, 363 KB

2005