Towards Performance Evaluation with General Distributions in Process Algebras. - Mario Bravetti; Marco Bernardo 001; Roberto Gorrieri (CONCUR, 1998)

Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. - Mario Bravetti; Roberto Gorrieri (EXPRESS, 1999)

An Asynchronous Calculus for Generative-Reactive Probalistic Systems. - Alessandro Aldini; Mario Bravetti (ICALP Satellite Workshops, 2000)

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. - Mario Bravetti; Roberto Gorrieri (ICALP, 2000)

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. - Mario Bravetti; Marco Bernardo 001 (MTCS, 2000)

Reward Based Congruences: Can We Aggregate More? - Marco Bernardo 001; Mario Bravetti (PAPM-PROBMIV, 2001)

Expressing Processes with Different Action Durations through Probabilities. - Mario Bravetti; Alessandro Aldini (PAPM-PROBMIV, 2001)

Non-determinism in Probabilistic Timed Systems with General Distributions. - Mario Bravetti; Alessandro Aldini (MTCS, 2001)

Two Formal Approaches for Approximating Noninterference Properties. - Alessandro Aldini; Mario Bravetti; Alessandra Di Pierro; Roberto Gorrieri; Chris Hankin; Herbert Wiklicky (FOSAD, 2002)

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. - Mario Bravetti (MTCS, 2002)

Revisiting Interactive Markov Chains. - Mario Bravetti (MTCS, 2002)

The theory of interactive generalized semi-Markov processes. - Mario Bravetti; Roberto Gorrieri (Theor. Comput. Sci., 2002)

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. - Mario Bravetti; Roberto Gorrieri (ACM Trans. Comput. Log., 2002)

Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. - Mario Bravetti; Roberto Gorrieri (MEFISTO, 2003)

A formal approach for checking security properties in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi (SecCo, 2003)

Combining Partitions in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (MEFISTO, 2003)

Performance measure sensitive congruences for Markovian process algebras. - Marco Bernardo 001; Mario Bravetti (Theor. Comput. Sci., 2003)

Discrete time generative-reactive probabilistic processes with different advancing speeds. - Mario Bravetti; Alessandro Aldini (Theor. Comput. Sci., 2003)

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2004)

Security Issues in the Tuple-Space Coordination Model. - Mario Bravetti; Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Formal Aspects in Security and Trust, 2004)

Web Services for E-commerce: guaranteeing security access and quality of service. - Mario Bravetti; Roberto Lucchi; Gianluigi Zavattaro; Roberto Gorrieri (SAC, 2004)

Real Time and Stochastic Time. - Mario Bravetti (SFM, 2004)

Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. - Mario Bravetti; Pedro R. D'Argenio (Validation of Stochastic Systems, 2004)

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (SecCo, 2004)

Preface. - Mario Bravetti; Gianluigi Zavattaro (WSFM, 2004)

A process-algebraic approach for the analysis of probabilistic noninterference. - Alessandro Aldini; Mario Bravetti; Roberto Gorrieri (J. Comput. Secur., 2004)

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. - Jos C. M. Baeten; Mario Bravetti (CONCUR, 2005)

Supporting e-commerce systems formalization with choreography languages. - Mario Bravetti; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (SAC, 2005)

A Generic Process Algebra. - Jos C. M. Baeten; Mario Bravetti (APC 25, 2005)

Stochastic and Real Time in Process Algebra: A Conceptual Overview. - Mario Bravetti (APC 25, 2005)

From Theoretical e-barter Models to an Implementation Based on Web Services. - Mario Bravetti; Adalberto Casalboni; Manuel Núñez 001; Ismael Rodríguez 001 (FSEN, 2005)

YMCA: - Why Markov Chain Algebra? - . - Mario Bravetti; Holger Hermanns; Joost-Pieter Katoen (APC 25, 2005)

Service Oriented Computing: A New Challenge for Process Algebras. - Mario Bravetti; Gianluigi Zavattaro (APC 25, 2005)

Quantitative information in the tuple space coordination model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Theor. Comput. Sci., 2005)

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. - Mario Bravetti (LIX, 2006)

A Theory for Strong Service Compliance. - Mario Bravetti; Gianluigi Zavattaro (COORDINATION, 2007)

Contract Based Multi-party Service Composition. - Mario Bravetti; Gianluigi Zavattaro (FSEN, 2007)

Towards a Unifying Theory for Choreography Conformance and Contract Compliance. - Mario Bravetti; Gianluigi Zavattaro (SC@ETAPS, 2007)

Replicating Web Services for Scalability. - Mario Bravetti; Stephen Gilmore; Claudio Guidi; Mirco Tribastone (TGC, 2007)

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. - Mario Bravetti (EXPRESS, 2007)

Guest Editors' Foreword. - Luca Aceto; Mario Bravetti; Wan J. Fokkink; Andrew D. Gordon 001 (J. Log. Algebraic Methods Program., 2007)

Guest editor's introduction: Special issue on Web Services and Formal Methods. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2007)

Service oriented computing from a process algebraic perspective. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2007)

From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. - Mario Bravetti; Adalberto Casalboni; Manuel Núñez 001; Ismael Rodríguez 001 (J. Univers. Comput. Sci., 2007)

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. - Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro (TGC, 2008)

Contract-Driven Implementation of Choreographies. - Mario Bravetti; Ivan Lanese; Gianluigi Zavattaro (TGC, 2008)

Contract Compliance and Choreography Conformance in the Presence of Message Queues. - Mario Bravetti; Gianluigi Zavattaro (WS-FM, 2008)

A Foundational Theory of Contracts for Multi-party Service Composition. - Mario Bravetti; Gianluigi Zavattaro (Fundam. Informaticae, 2008)

A ground-complete axiomatisation of finite-state processes in a generic process algebra. - Jos C. M. Baeten; Mario Bravetti (Math. Struct. Comput. Sci., 2008)

Contract-Based Discovery and Composition of Web Services. - Mario Bravetti; Gianluigi Zavattaro (SFM, 2009)

On the expressive power of process interruption and compensation. - Mario Bravetti; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

A theory of contracts for strong service compliance. - Mario Bravetti; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Steps on the Road to Component Evolvability. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FACS, 2010)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

File Managing and Program Execution in Web Operating Systems - Mario Bravetti (CoRR, 2010)

Advanced Mechanisms for Service Composition, Query and Discovery. - Michele Boreale; Mario Bravetti (Results of the SENSORIA Project, 2011)

Adaptable Processes (Extended Abstract). - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FMOODS/FORTE, 2011)

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Immo Grabe; Matias David Lee; Martin Steffen; Gianluigi Zavattaro (FACS, 2012)

Towards the Verification of Adaptable Processes. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ISoLA (1), 2012)

An Object Group-Based Component Model. - Michael Lienhardt; Mario Bravetti; Davide Sangiorgi (ISoLA (1), 2012)

Adaptable processes - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2012)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Formalizing RESTful Services and Web-OS Middleware. - Mario Bravetti (WS-FM, 2013)

Fault Model Design Space for Cooperative Concurrency. - Ivan Lanese; Michael Lienhardt; Mario Bravetti; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz; Gianluigi Zavattaro (ISoLA (2), 2014)

Choreographies and Behavioural Contracts on the Way to Dynamic Updates. - Mario Bravetti; Gianluigi Zavattaro (MOD*, 2014)

Towards Dynamic Updates in Service Composition. - Mario Bravetti (FOCLASA, 2015)

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. - Mario Bravetti; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi (J. Internet Serv. Inf. Secur., 2015)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (CoRR, 2017)

Undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Inf. Comput., 2017)

Analysis of temporal complex events in sensor networks. - Juan Boubeta-Puig; Mario Bravetti; Luis Llana; Mercedes G. Merayo (J. Inf. Telecommun., 2017)

Dynamic Rebinding for Concurrent Object Groups: Theory and practice. - Mario Bravetti; Elena Giachino; Michael Lienhardt; Peter Y. H. Wong (J. Log. Algebraic Methods Program., 2017)

RESTful Services and Web-OS Middleware: a Formal Specification Approach. - Mario Bravetti (J. Univers. Comput. Sci., 2017)

Introduction to the Software Engineering and Formal Methods 2013 special issue. - Mario Bravetti; Robert M. Hierons; Mercedes G. Merayo (Softw. Syst. Model., 2017)

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. - Mario Bravetti; Gianluigi Zavattaro (COORDINATION, 2018)

A Petri Net Based Modeling of Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Matias David Lee; Gianluigi Zavattaro (Fundam. Informaticae, 2018)

Reduction semantics in Markovian process algebra. - Mario Bravetti (J. Log. Algebraic Methods Program., 2018)

On the boundary between decidability and undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Theor. Comput. Sci., 2018)

A Sound Algorithm for Asynchronous Session Subtyping. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CONCUR, 2019)

Optimal and Automated Deployment for Microservices. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (FASE, 2019)

Relating Session Types and Behavioural Contracts: The Asynchronous Case. - Mario Bravetti; Gianluigi Zavattaro (SEFM, 2019)

A Sound Algorithm for Asynchronous Session Subtyping (extended version). - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CoRR, 2019)

Probabilistic software product lines. - Carlos Camacho; Luis Llana; Alberto Núñez; Mario Bravetti (J. Log. Algebraic Methods Program., 2019)

A Formal Approach to Microservice Architecture Deployment. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (Microservices, Science and Engineering, 2020)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. - Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen; António Ravara (APLAS, 2020)

Microservice Interface Based Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2020)

Process calculi as a tool for studying coordination, contracts and session types. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2020)

Microservice Dynamic Architecture-Level Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (COORDINATION, 2021)

A Session Subtyping Tool. - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (COORDINATION, 2021)

Fair Refinement for Asynchronous Session Types. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (FoSSaCS, 2021)

Fair Refinement for Asynchronous Session Types (extended version). - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

A Session Subtyping Tool (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2021)

Axiomatizing Maximal Progress and Discrete Time. - Mario Bravetti (Log. Methods Comput. Sci., 2021)

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2021)

Asynchronous session subtyping as communicating automata refinement. - Mario Bravetti; Gianluigi Zavattaro (Softw. Syst. Model., 2021)

SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. - 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 (CIoT, 2022)

Proactive-Reactive Global Scaling, with Analytics. - Lorenzo Bacchiani; Mario Bravetti; Maurizio Gabbrielli; Saverio Giallorenzo; Gianluigi Zavattaro; Stefano Pio Zingaro (ICSOC, 2022)

Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. - Lorenzo Bacchiani; Giuseppe De Palma; Luca Sciullo; Mario Bravetti; Marco Di Felice; Maurizio Gabbrielli; Gianluigi Zavattaro; Roberto Della Penna (IEEE Internet Things Mag., 2022)

A Java typestate checker supporting inheritance. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (Sci. Comput. Program., 2022)

Integrated Timed Architectural Modeling/Execution Language. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (Active Object Languages: Current Research Trends, 2024)

Behavioural Up/down Casting For Statically Typed Languages. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (ECOOP, 2024)

Fair Asynchronous Session Subtyping. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. - Mario Bravetti; Luca Padovani; Gianluigi Zavattaro (CONCUR, 2025)

Proactive-reactive microservice architecture global scaling. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Maurizio Gabbrielli; Gianluigi Zavattaro; Stefano Pio Zingaro (J. Syst. Softw., 2025)