Mario Bravetti

According to our database1, Mario Bravetti authored at least 84 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
On the boundary between decidability and undecidability of asynchronous session subtyping.
Theor. Comput. Sci., 2018

Reduction semantics in Markovian process algebra.
J. Log. Algebr. Meth. Program., 2018

A Petri Net Based Modeling of Active Objects and Futures.
Fundam. Inform., 2018

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.
Proceedings of the Coordination Models and Languages, 2018

2017
Introduction to the Software Engineering and Formal Methods 2013 special issue.
Software and System Modeling, 2017

RESTful Services and Web-OS Middleware: a Formal Specification Approach.
J. UCS, 2017

Dynamic Rebinding for Concurrent Object Groups: Theory and practice.
J. Log. Algebr. Meth. Program., 2017

Analysis of temporal complex events in sensor networks.
J. Information Telecommunication, 2017

Undecidability of asynchronous session subtyping.
Inf. Comput., 2017

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.
CoRR, 2017

2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Undecidability of Asynchronous Session Subtyping.
CoRR, 2016

2015
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.
J. Internet Serv. Inf. Secur., 2015

Towards Dynamic Updates in Service Composition.
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Reduction Semantics in Markovian Process Algebra.
CoRR, 2015

2014
Choreographies and Behavioural Contracts on the Way to Dynamic Updates.
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Formalizing RESTful Services and Web-OS Middleware.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

2012
Adaptable processes
Logical Methods in Computer Science, 2012

An Object Group-Based Component Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Towards the Verification of Adaptable Processes.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Adaptable Processes (Extended Abstract).
Proceedings of the Formal Techniques for Distributed Systems, 2011

Advanced Mechanisms for Service Composition, Query and Discovery.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
File Managing and Program Execution in Web Operating Systems
CoRR, 2010

A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Steps on the Road to Component Evolvability.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
A theory of contracts for strong service compliance.
Mathematical Structures in Computer Science, 2009

On the expressive power of process interruption and compensation.
Mathematical Structures in Computer Science, 2009

Contract-Based Discovery and Composition of Web Services.
Proceedings of the Formal Methods for Web Services, 2009

2008
A ground-complete axiomatisation of finite-state processes in a generic process algebra.
Mathematical Structures in Computer Science, 2008

Guest Editors' Foreword.
J. Log. Algebr. Program., 2008

A Foundational Theory of Contracts for Multi-party Service Composition.
Fundam. Inform., 2008

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.
Electr. Notes Theor. Comput. Sci., 2008

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems.
Electr. Notes Theor. Comput. Sci., 2008

Contract Compliance and Choreography Conformance in the Presence of Message Queues.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

On the Expressive Power of Process Interruption and Compensation.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Contract-Driven Implementation of Choreographies.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
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. UCS, 2007

Service oriented computing from a process algebraic perspective.
J. Log. Algebr. Program., 2007

Guest editor's introduction: Special issue on Web Services and Formal Methods.
J. Log. Algebr. Program., 2007

Guest Editors' Foreword.
J. Log. Algebr. Program., 2007

Guest Editors' Foreword.
J. Log. Algebr. Program., 2007

Replicating Web Services for Scalability.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Towards a Unifying Theory for Choreography Conformance and Contract Compliance.
Proceedings of the Software Composition, 6th International Symposium, 2007

Contract Based Multi-party Service Composition.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Theory for Strong Service Compliance.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Service Oriented Computing: A New Challenge for Process Algebras.
Electr. Notes Theor. Comput. Sci., 2006

YMCA: - Why Markov Chain Algebra? - .
Electr. Notes Theor. Comput. Sci., 2006

From Theoretical e-barter Models to an Implementation Based on Web Services.
Electr. Notes Theor. Comput. Sci., 2006

Stochastic and Real Time in Process Algebra: A Conceptual Overview.
Electr. Notes Theor. Comput. Sci., 2006

A Generic Process Algebra.
Electr. Notes Theor. Comput. Sci., 2006

2005
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci., 2005

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
Electr. Notes Theor. Comput. Sci., 2005

Supporting e-commerce systems formalization with choreography languages.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
A process-algebraic approach for the analysis of probabilistic noninterference.
Journal of Computer Security, 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

Combining Partitions in SecSpaces.
Electr. Notes Theor. Comput. Sci., 2004

Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
Electr. Notes Theor. Comput. Sci., 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

Real Time and Stochastic Time.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Web Services for E-commerce: guaranteeing security access and quality of service.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Security Issues in the Tuple-Space Coordination Model.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
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

Performance measure sensitive congruences for Markovian process algebras.
Theor. Comput. Sci., 2003

A formal approach for checking security properties in SecSpaces.
Electr. Notes Theor. Comput. Sci., 2003

2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.
ACM Trans. Comput. Log., 2002

The theory of interactive generalized semi-Markov processes.
Theor. Comput. Sci., 2002

Revisiting Interactive Markov Chains.
Electr. Notes Theor. Comput. Sci., 2002

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2002

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.
Proceedings of the Foundations of Security Analysis and Design II, 2002

2001
Non-determinism in Probabilistic Timed Systems with General Distributions.
Electr. Notes Theor. Comput. Sci., 2001

Expressing Processes with Different Action Durations through Probabilities.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Reward Based Congruences: Can We Aggregate More?
Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
Electr. Notes Theor. Comput. Sci., 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.
ICALP Satellite Workshops, 2000

1999
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.
Electr. Notes Theor. Comput. Sci., 1999

1998
Towards Performance Evaluation with General Distributions in Process Algebras.
Proceedings of the CONCUR '98: Concurrency Theory, 1998


  Loading...