Marco Bernardo

Identifiers

• name variant Marco Bernardo 0.60 · backfill

Papers (5)

1. Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities cs.CR · 2025 · author #3
2. Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications cs.SE · 2018 · author #1
3. Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems cs.LO · 2016 · author #1
4. A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" cs.LO · 2013 · author #1
5. Markovian Testing Equivalence and Exponentially Timed Internal Actions cs.LO · 2009 · author #1

Mentions

• 0912.1899 #1 · backfill · confidence 0.70 Marco Bernardo

Frequent Coauthors

• Alessandro Aldini 2 shared papers
• Andrea Esposito 1 shared papers
• Edoardo Bont\`a 1 shared papers
• Marino Miculan 1 shared papers
• Michele Loreti 1 shared papers
• Rocco De Nicola 1 shared papers