#### Filter Results:

- Full text PDF available (65)

#### Publication Year

1994

2018

- This year (2)
- Last 5 years (21)
- Last 10 years (41)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Marco Bernardo, Roberto Gorrieri
- Theor. Comput. Sci.
- 1998

In this tutorial we give an overview of the process algebra EMPA, a calculus devised in order to model and analyze features of real-world concurrent systems such as nondeterminism, priorities,â€¦ (More)

- Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
- ACM Trans. Softw. Eng. Methodol.
- 2002

Software components can give rise to several kinds of architectural mismatches when assembled together in order to form a software system. A formal description of the architecture of the resultingâ€¦ (More)

- Marco Bernardo, Roberto Gorrieri
- CONCUR
- 1996

EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actionsâ€¦ (More)

Come with us to read a new book that is coming recently. Yeah, this is a new coming book that many people really want to read will you be one of them? Of course, you should be. It will not make youâ€¦ (More)

- Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
- FORTE
- 1998

We present TwoTowers, a tool for analyzing functional and performance properties of concurrent systems expressed as terms in the stochastically timed reward process algebra EMPAr. TwoTowers builds onâ€¦ (More)

- Mario Bravetti, Marco Bernardo, Roberto Gorrieri
- CONCUR
- 1998

We present a process algebra for the performance modeling and evaluation of concurrent systems whose activity durations are expressed through general probability distributions. We first determine theâ€¦ (More)

- Marco Bernardo, Rocco De Nicola, Michele Loreti
- Inf. Comput.
- 2013

Labeled transition systems are typically used as behavioral models of concurrent processes. Their labeled transitions define a one-step state-to-state reachability relation. This model can beâ€¦ (More)

- Marco Bernardo
- J. Log. Algebr. Program.
- 2007

The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is that Markovianâ€¦ (More)

- Marco Bernardo
- ICALP
- 1997

We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in order to make the specification and the computation of performance measures easier. The basic ideaâ€¦ (More)

- Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini
- Performance
- 2002

The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular,â€¦ (More)