BRAVETTI, MARIO
BRAVETTI, MARIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Component Model for the ABS Language
2012 M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter
A Formal Approach to Microservice Architecture Deployment
2020 Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro
A Foundational Theory of Contracts for Multi-party Service Composition
2008 M. Bravetti; G. Zavattaro
A Generic Process Algebra
2006 J.C.M. Baeten; M. Bravetti
A ground-complete axiomatisation of finite-state processes in a generic process algebra
2008 J.C.M. Baeten; M. Bravetti
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
2005 M. Bravetti; J. Baeten
A Java typestate checker supporting inheritance
2022 Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A.
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
2013 Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures
2018 de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference
2004 A.Aldini; M.Bravetti; R.Gorrieri
A Session Subtyping Tool
2021 Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G.
A Sound Algorithm for Asynchronous Session Subtyping
2019 Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
A sound algorithm for asynchronous session subtyping and its implementation
2021 Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G.
A Theory for Strong Service Compliance
2007 M.Bravetti; G.Zavattaro
A theory of contracts for strong service compliance
2009 M. Bravetti; G. Zavattaro
Adaptable processes
2012 M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro
Adaptable Processes (Extended Abstract)
2011 M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro
Advanced Mechanisms for Service Composition, Query and Discovery
2011 M. Boreale; M. Bravetti
Algebraic Process Calculi: The First Twenty Five Years and Beyond
2007 L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon
Algebraic Process Calculi: The First Twenty Five Years and Beyond II
2007 L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Component Model for the ABS Language | M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter | 2012-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Formal Approach to Microservice Architecture Deployment |
Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavat...taro |
2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | main.pdf |
A Foundational Theory of Contracts for Multi-party Service Composition | M. Bravetti; G. Zavattaro | 2008-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Generic Process Algebra | J.C.M. Baeten; M. Bravetti | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | Elsevier | 4.01 Contributo in Atti di convegno | - |
A ground-complete axiomatisation of finite-state processes in a generic process algebra | J.C.M. Baeten; M. Bravetti | 2008-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra | M. Bravetti; J. Baeten | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Java typestate checker supporting inheritance | Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A. | 2022-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642322000776-main.pdf |
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures | Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro | 2013-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Petri Net Based Modeling of Active Objects and Futures | de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference | A.Aldini; M.Bravetti; R.Gorrieri | 2004-01-01 | JOURNAL OF COMPUTER SECURITY | - | 1.01 Articolo in rivista | - |
A Session Subtyping Tool | Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi |
2019-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | preview.pdf |
A sound algorithm for asynchronous session subtyping and its implementation | Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1907.00421v5.pdf |
A Theory for Strong Service Compliance | M.Bravetti; G.Zavattaro | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A theory of contracts for strong service compliance | M. Bravetti; G. Zavattaro | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Adaptable processes | M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro | 2012-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Adaptable Processes (Extended Abstract) | M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro | 2011-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Advanced Mechanisms for Service Composition, Query and Discovery | M. Boreale; M. Bravetti | 2011-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Algebraic Process Calculi: The First Twenty Five Years and Beyond | L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon | 2007-01-01 | - | Elsevier | 3.02 Curatela | - |
Algebraic Process Calculi: The First Twenty Five Years and Beyond II | L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon | 2007-01-01 | - | Elsevier | 3.02 Curatela | - |