Mario Bravetti

ORCID

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 36

Top Venues

CoRR

J. Log. Algebraic Methods Program.

COORDINATION

Softw. Syst. Model.

Publications

Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
Proactive-Reactive Global Scaling, with Analytics. ICSOC (2022)
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221 (2022)
Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5 (3) (2022)
Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco De Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna, Corrado Iorizzo, Andrea Livaldi, Luca Magnotta, Mirko Orsini
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT (2022)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17 (1) (2021)
Mario Bravetti, Gianluigi Zavattaro
Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20 (2) (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool (Extended Version). CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool. COORDINATION (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types (extended version). CoRR (2021)
Mario Bravetti
Axiomatizing Maximal Progress and Discrete Time. Log. Methods Comput. Sci. 17 (1) (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types. FoSSaCS (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Interface Based Deployment Orchestration. CoRR (2020)
Mario Bravetti
Axiomatizing Maximal Progress and Discrete Time. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR (2020)
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS (2020)
Mario Bravetti, Gianluigi Zavattaro
Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. 112 (2020)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. CoRR (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR (2019)
Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti
Probabilistic software product lines. J. Log. Algebraic Methods Program. 107 (2019)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. FASE (2019)
Mario Bravetti, Gianluigi Zavattaro
Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM (2019)
Mario Bravetti, Gianluigi Zavattaro
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION (2018)
Mario Bravetti
Reduction semantics in Markovian process algebra. J. Log. Algebraic Methods Program. 96 (2018)
Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159 (3) (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722 (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR (2017)
Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo
Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. 1 (3) (2017)
Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16 (1) (2017)
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86 (1) (2017)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of asynchronous session subtyping. Inf. Comput. 256 (2017)
Mario Bravetti
RESTful Services and Web-OS Middleware: a Formal Specification Approach. J. Univers. Comput. Sci. 23 (9) (2017)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of Asynchronous Session Subtyping. CoRR (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5 (1) (2015)
Mario Bravetti
Reduction Semantics in Markovian Process Algebra. CoRR (2015)
Mario Bravetti
Towards Dynamic Updates in Service Composition. FOCLASA (2015)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Mario Bravetti, Gianluigi Zavattaro
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* (2014)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Mario Bravetti
Formalizing RESTful Services and Web-OS Middleware. WS-FM (2013)
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable processes Log. Methods Comput. Sci. 8 (4) (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Towards the Verification of Adaptable Processes. ISoLA (1) (2012)
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
An Object Group-Based Component Model. ISoLA (1) (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable Processes (Extended Abstract). FMOODS/FORTE (2011)
Mario Bravetti
File Managing and Program Execution in Web Operating Systems CoRR (2010)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Steps on the Road to Component Evolvability. FACS (2010)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Mario Bravetti, Gianluigi Zavattaro
Contract-Based Discovery and Composition of Web Services. SFM (2009)
Mario Bravetti, Gianluigi Zavattaro
A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19 (3) (2009)
Mario Bravetti, Gianluigi Zavattaro
On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19 (3) (2009)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 75 (1) (2008)
Mario Bravetti, Gianluigi Zavattaro
On the Expressive Power of Process Interruption and Compensation. WS-FM (2008)
Mario Bravetti, Gianluigi Zavattaro
Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM (2008)
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC (2008)
Jos C. M. Baeten, Mario Bravetti
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Math. Struct. Comput. Sci. 18 (6) (2008)
Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
Contract-Driven Implementation of Choreographies. TGC (2008)
Mario Bravetti
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. Electron. Notes Theor. Comput. Sci. 209 (2008)
Mario Bravetti, Gianluigi Zavattaro
A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae 89 (4) (2008)
Mario Bravetti, Gianluigi Zavattaro
Service oriented computing from a process algebraic perspective. J. Log. Algebraic Methods Program. 70 (1) (2007)
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
Replicating Web Services for Scalability. TGC (2007)
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13 (13) (2007)
Mario Bravetti, Gianluigi Zavattaro
Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebraic Methods Program. 70 (1) (2007)
Mario Bravetti, Gianluigi Zavattaro
Contract Based Multi-party Service Composition. FSEN (2007)
Mario Bravetti, Gianluigi Zavattaro
Towards a Unifying Theory for Choreography Conformance and Contract Compliance. SC@ETAPS (2007)
Mario Bravetti, Gianluigi Zavattaro
A Theory for Strong Service Compliance. COORDINATION (2007)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 72 (1) (2007)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 70 (2) (2007)
Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. EXPRESS (2007)
Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
From Theoretical e-barter Models to an Implementation Based on Web Services. Electron. Notes Theor. Comput. Sci. 159 (2006)
Jos C. M. Baeten, Mario Bravetti
A Generic Process Algebra. Electron. Notes Theor. Comput. Sci. 162 (2006)
Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
YMCA: - Why Markov Chain Algebra? - . Electron. Notes Theor. Comput. Sci. 162 (2006)
Mario Bravetti
Stochastic and Real Time in Process Algebra: A Conceptual Overview. Electron. Notes Theor. Comput. Sci. 162 (2006)
Mario Bravetti, Gianluigi Zavattaro
Service Oriented Computing: A New Challenge for Process Algebras. Electron. Notes Theor. Comput. Sci. 162 (2006)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346 (1) (2005)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Jos C. M. Baeten, Mario Bravetti
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR (2005)
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Supporting e-commerce systems formalization with choreography languages. SAC (2005)
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
Web Services for E-commerce: guaranteeing security access and quality of service. SAC (2004)
Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12 (2) (2004)
Mario Bravetti, Pedro R. D'Argenio
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Combining Partitions in SecSpaces. Electron. Notes Theor. Comput. Sci. 99 (2004)
Mario Bravetti, Gianluigi Zavattaro
Preface. Electron. Notes Theor. Comput. Sci. 105 (2004)
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION (2004)
Mario Bravetti
Real Time and Stochastic Time. SFM (2004)
Mario Bravetti, Roberto Gorrieri
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. Electron. Notes Theor. Comput. Sci. 99 (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
A formal approach for checking security properties in SecSpaces. Electron. Notes Theor. Comput. Sci. 85 (3) (2003)
Mario Bravetti, Alessandro Aldini
Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290 (1) (2003)
Marco Bernardo, Mario Bravetti
Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290 (1) (2003)
Mario Bravetti, Roberto Gorrieri
The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282 (1) (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Mario Bravetti
Revisiting Interactive Markov Chains. Electron. Notes Theor. Comput. Sci. 68 (5) (2002)
Mario Bravetti, Roberto Gorrieri
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3 (4) (2002)
Mario Bravetti
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. Electron. Notes Theor. Comput. Sci. 68 (5) (2002)
Mario Bravetti
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV (2002)
Mario Bravetti, Alessandro Aldini
Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV (2001)

Mario Bravetti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mario Bravetti