Mario Bravetti
Orcid: 0000-0001-5193-2914Affiliations:
- University of Bologna, Italy
According to our database1,
Mario Bravetti
authored at least 101 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2022
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study.
IEEE Internet Things Mag., 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022
2021
Softw. Syst. Model., 2021
Log. Methods Comput. Sci., 2021
CoRR, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the Coordination Models and Languages, 2021
2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
Proceedings of the Microservices, Science and Engineering., 2020
2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
On the boundary between decidability and undecidability of asynchronous session subtyping.
Theor. Comput. Sci., 2018
J. Log. Algebraic Methods Program., 2018
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.
Proceedings of the Coordination Models and Languages, 2018
2017
Softw. Syst. Model., 2017
J. Univers. Comput. Sci., 2017
J. Log. Algebraic Methods Program., 2017
CoRR, 2017
2016
2015
J. Internet Serv. Inf. Secur., 2015
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015
2014
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2013
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Proceedings of the Formal Methods for Web Services, 2009
2008
A ground-complete axiomatisation of finite-state processes in a generic process algebra.
Math. Struct. Comput. Sci., 2008
Fundam. Informaticae, 2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
2007
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices.
J. Univers. Comput. Sci., 2007
J. Log. Algebraic Methods Program., 2007
J. Log. Algebraic Methods Program., 2007
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems.
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007
2006
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
J. Comput. Secur., 2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
2003
Discrete time generative-reactive probabilistic processes with different advancing speeds.
Theor. Comput. Sci., 2003
Theor. Comput. Sci., 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.
ACM Trans. Comput. Log., 2002
Theor. Comput. Sci., 2002
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002
Proceedings of the Foundations of Security Analysis and Design II, 2002
2001
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
Proceedings of the Process Algebra and Probabilistic Methods, 2001
2000
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
Proceedings of the ICALP Workshops 2000, 2000
1999
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999
1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998