BERNARDO, MARCO
BERNARDO, MARCO
Dipartimento di Scienze Pure e Applicate (DiSPeA)
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
1995 Bernardo, Marco; Busi, Nadia; Gorrieri, Roberto
A Formal Approach to the Integrated Analysis of Security and QoS
2007 Aldini, Alessandro; Bernardo, Marco
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems
1998 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A General Approach to Deadlock Freedom Verification for Software Architectures
2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
2009 Aldini, Alessandro; Bernardo, Marco
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems
1996 Bernardo, Marco
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management
2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence
1998 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
A Process Algebraic Approach to Software Architecture Design
2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components
2002 Abate, Pietro; Bernardo, Marco
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services
2001 Bernardo, Marco
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods
1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
1996 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A Survey of Markovian Behavioral Equivalences
2007 Bernardo, Marco
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems
2008 Bernardo, Marco; Botta, Stefania
A Theory of Testing for Markovian Processes
2000 Bernardo, Marco; Cleaveland, Rance
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
1998 Bernardo, Marco; Gorrieri, Roberto
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences
2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios
2025 Calandra, Federico; Rossi, Francesco Pio; Fabris, Francesco; Bernardo, Marco
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets
2025 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio Antares