M. Bernardo

Publications176
h-index28
Citations2,675
Highly Influential Citations129
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • J. Katoen
  • 530 Publications • 19,982 Citations
  • R. Nicola
  • 292 Publications • 8,664 Citations
  • R. Gorrieri
  • 245 Publications • 5,700 Citations
  • M. Loreti
  • 149 Publications • 2,349 Citations
  • Publications
  • Influence
Architecting families of software systems with process algebras
TLDR
This article develops a process algebra-based architectural description language called PADL, which deals with deadlock-related architectural mismatches arising from three different causes: incomp compatibility between two components due to a single interaction, incompatibility between two component due to the combination of several interactions, and lack of interoperability among a set of components forming a cyclic topology.
View on ACM
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
View via Publisher
Extended Markovian Process Algebra
TLDR
This work derives a functional semantic model (a transition system labeled on action types only and a performance semantic model) and a Markov chain to analyze an EMPA term and shows that an integrated analysis is not only convenient but also necessary to achieve compositionality.
View via Publisher
A Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for…
View via Publisher
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
TLDR
TwoTowers is presented, a tool for analyzing functional and performance properties of concurrent systems expressed as terms in the stochastically timed reward process algebra EMPAr, which describes the application of TwoTowers to the Lehmann-Rabin randomized distributed algorithm for the dining philosopher problem.
View via Publisher
On the usability of process algebra: An architectural view
View via Publisher
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
View via Publisher
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
TLDR
New versions of probabilistic trace and testing equivalences are presented for nondeterministic and Probabilistic processes that resolve the two anomalies and are shown to match all the resolutions on the basis of the success probabilities of their identically labeled computations.
View PDF on arXiv
Non-bisimulation-based Markovian behavioral equivalences
  • M. Bernardo
  • Mathematics
    J. Log. Algebraic Methods Program.
  • 1 May 2007
View via Publisher
Combining stochastic process algebras and queueing networks for software architecture analysis
We propose an integrated approach to the functional and performance analysis of Software Architectures (SAs) based on Stochastic Process Algebras (SPAs) and Queueing Networks (QNs), in order to…
View on ACM
...
...