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
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
2020 Bernardo, Marco
An Algebra-Based Method to Associate Rewards with EMPA Terms
1997 Bernardo, Marco