Mario Bravetti

122 papers A* 1A 3B 10C 5Misc 2Journal 49Unranked 44

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. CONCUR Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025	J	`jnl`	A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. CoRR Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025	J	`jnl`	Proactive-reactive microservice architecture global scaling. J. Syst. Softw. Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
2024	A	`conf`	Behavioural Up/down Casting For Statically Typed Languages. ECOOP Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
2024	J	`jnl`	Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2024	—	`ch.`	Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2022	J	`jnl`	A Java typestate checker supporting inheritance. Sci. Comput. Program. Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
2022	J	`jnl`	Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
2022	A	`conf`	Proactive-Reactive Global Scaling, with Analytics. ICSOC Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
2022	—	`conf`	SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 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
2021	J	`jnl`	A Session Subtyping Tool (Extended Version). CoRR Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	C	`conf`	A Session Subtyping Tool. COORDINATION Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2021	J	`jnl`	Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. Mario Bravetti, Gianluigi Zavattaro
2021	J	`jnl`	Axiomatizing Maximal Progress and Discrete Time. Log. Methods Comput. Sci. Mario Bravetti
2021	J	`jnl`	Fair Refinement for Asynchronous Session Types (extended version). CoRR Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	B	`conf`	Fair Refinement for Asynchronous Session Types. FoSSaCS Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	J	`jnl`	Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021	C	`conf`	Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	—	`ch.`	A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	J	`jnl`	Axiomatizing Maximal Progress and Discrete Time. CoRR Mario Bravetti
2020	B	`conf`	Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020	J	`jnl`	Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. CoRR Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara
2020	J	`jnl`	Microservice Interface Based Deployment Orchestration. CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	J	`jnl`	Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2019	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	B	`conf`	A Sound Algorithm for Asynchronous Session Subtyping. CONCUR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	B	`conf`	Optimal and Automated Deployment for Microservices. FASE Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	J	`jnl`	Optimal and Automated Deployment for Microservices. CoRR Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	J	`jnl`	Probabilistic software product lines. J. Log. Algebraic Methods Program. Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti
2019	B	`conf`	Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM Mario Bravetti, Gianluigi Zavattaro
2018	J	`jnl`	A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
2018	C	`conf`	Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION Mario Bravetti, Gianluigi Zavattaro
2018	J	`jnl`	On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2018	J	`jnl`	Reduction semantics in Markovian process algebra. J. Log. Algebraic Methods Program. Mario Bravetti
2017	J	`jnl`	Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo
2017	J	`jnl`	Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2017	J	`jnl`	Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
2017	J	`jnl`	Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
2017	J	`jnl`	RESTful Services and Web-OS Middleware: a Formal Specification Approach. J. Univers. Comput. Sci. Mario Bravetti
2017	J	`jnl`	Undecidability of asynchronous session subtyping. Inf. Comput. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. 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
2016	J	`jnl`	Undecidability of Asynchronous Session Subtyping. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2015	J	`jnl`	Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
2015	J	`jnl`	Reduction Semantics in Markovian Process Algebra. CoRR Mario Bravetti
2015	—	`conf`	Towards Dynamic Updates in Service Composition. FOCLASA Mario Bravetti
2014	—	`conf`	Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* Mario Bravetti, Gianluigi Zavattaro
2014	—	`conf`	Fault Model Design Space for Cooperative Concurrency. ISoLA (2) Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2013	—	`conf`	Formalizing RESTful Services and Web-OS Middleware. WS-FM Mario Bravetti
2013	B	`ed.`	Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings SEFM Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
2013	—	`conf`	Towards Global and Local Types for Adaptation. SEFM Workshops Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012	—	`conf`	A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
2012	J	`jnl`	Adaptable processes Log. Methods Comput. Sci. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012	—	`conf`	An Object Group-Based Component Model. ISoLA (1) Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
2012	—	`conf`	Towards the Verification of Adaptable Processes. ISoLA (1) Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011	—	`conf`	Adaptable Processes (Extended Abstract). FMOODS/FORTE Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011	—	`ch.`	Advanced Mechanisms for Service Composition, Query and Discovery. Results of the SENSORIA Project Michele Boreale, Mario Bravetti
2011	—	`ed.`	Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers WS-FM Mario Bravetti, Tevfik Bultan
2010	—	`conf`	A Component Model for the ABS Language. FMCO Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2010	J	`jnl`	File Managing and Program Execution in Web Operating Systems CoRR Mario Bravetti
2010	—	`conf`	Steps on the Road to Component Evolvability. FACS Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009	J	`jnl`	A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. Mario Bravetti, Gianluigi Zavattaro
2009	B	`ed.`	CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings CONCUR Mario Bravetti, Gianluigi Zavattaro
2009	—	`conf`	Contract-Based Discovery and Composition of Web Services. SFM Mario Bravetti, Gianluigi Zavattaro
2009	J	`jnl`	On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. Mario Bravetti, Gianluigi Zavattaro
2008	J	`jnl`	A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae Mario Bravetti, Gianluigi Zavattaro
2008	J	`jnl`	A ground-complete axiomatisation of finite-state processes in a generic process algebra. Math. Struct. Comput. Sci. Jos C. M. Baeten, Mario Bravetti
2008	—	`conf`	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
2008	—	`conf`	Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM Mario Bravetti, Gianluigi Zavattaro
2008	—	`conf`	Contract-Driven Implementation of Choreographies. TGC Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
2008	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2008	—	`conf`	On the Expressive Power of Process Interruption and Compensation. WS-FM Mario Bravetti, Gianluigi Zavattaro
2007	C	`conf`	A Theory for Strong Service Compliance. COORDINATION Mario Bravetti, Gianluigi Zavattaro
2007	—	`conf`	Contract Based Multi-party Service Composition. FSEN Mario Bravetti, Gianluigi Zavattaro
2007	—	`conf`	Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. EXPRESS Mario Bravetti
2007	J	`jnl`	From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2007	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007	J	`jnl`	Guest Editors' Foreword. J. Log. Algebraic Methods Program. Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007	J	`jnl`	Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2007	—	`conf`	Replicating Web Services for Scalability. TGC Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
2007	J	`jnl`	Service oriented computing from a process algebraic perspective. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2007	A	`conf`	Towards a Unifying Theory for Choreography Conformance and Contract Compliance. SC Mario Bravetti, Gianluigi Zavattaro
2006	—	`conf`	Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. LIX Mario Bravetti
2006	—	`ed.`	Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings WS-FM Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
2005	—	`conf`	A Generic Process Algebra. APC 25 Jos C. M. Baeten, Mario Bravetti
2005	B	`conf`	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR Jos C. M. Baeten, Mario Bravetti
2005	—	`ed.`	Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings EPEW/WS-FM Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro
2005	—	`conf`	From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2005	J	`jnl`	Quantitative information in the tuple space coordination model. Theor. Comput. Sci. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005	—	`conf`	Service Oriented Computing: A New Challenge for Process Algebras. APC 25 Mario Bravetti, Gianluigi Zavattaro
2005	—	`conf`	Stochastic and Real Time in Process Algebra: A Conceptual Overview. APC 25 Mario Bravetti
2005	Misc	`conf`	Supporting e-commerce systems formalization with choreography languages. SAC Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005	—	`conf`	YMCA: - Why Markov Chain Algebra? - . APC 25 Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
2004	J	`jnl`	A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
2004	—	`ed.`	Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003 MEFISTO Mario Bravetti, Roberto Gorrieri
2004	—	`conf`	On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	—	`conf`	Preface. WSFM Mario Bravetti, Gianluigi Zavattaro
2004	C	`conf`	Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	—	`ed.`	Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004 WSFM Mario Bravetti, Gianluigi Zavattaro
2004	—	`conf`	Real Time and Stochastic Time. SFM Mario Bravetti
2004	—	`conf`	Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	—	`conf`	Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems Mario Bravetti, Pedro R. D'Argenio
2004	Misc	`conf`	Web Services for E-commerce: guaranteeing security access and quality of service. SAC Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
2003	—	`conf`	A formal approach for checking security properties in SecSpaces. SecCo Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
2003	—	`conf`	Combining Partitions in SecSpaces. MEFISTO Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2003	J	`jnl`	Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. Mario Bravetti, Alessandro Aldini
2003	J	`jnl`	Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. Marco Bernardo, Mario Bravetti
2003	—	`conf`	Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. MEFISTO Mario Bravetti, Roberto Gorrieri
2002	—	`conf`	An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV Mario Bravetti
2002	—	`conf`	An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. MTCS Mario Bravetti
2002	J	`jnl`	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. Mario Bravetti, Roberto Gorrieri
2002	—	`conf`	Revisiting Interactive Markov Chains. MTCS Mario Bravetti
2002	J	`jnl`	The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. Mario Bravetti, Roberto Gorrieri
2002	—	`conf`	Two Formal Approaches for Approximating Noninterference Properties. FOSAD Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2001	—	`conf`	Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV Mario Bravetti, Alessandro Aldini
2001	—	`conf`	Non-determinism in Probabilistic Timed Systems with General Distributions. MTCS Mario Bravetti, Alessandro Aldini
2001	—	`conf`	Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV Marco Bernardo, Mario Bravetti
2000	A*	`conf`	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP Mario Bravetti, Roberto Gorrieri
2000	—	`conf`	An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops Alessandro Aldini, Mario Bravetti
2000	—	`conf`	Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. MTCS Mario Bravetti, Marco Bernardo
1999	—	`conf`	Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. EXPRESS Mario Bravetti, Roberto Gorrieri
1998	B	`conf`	Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR Mario Bravetti, Marco Bernardo, Roberto Gorrieri