BERNARDO, MARCO

BERNARDO, MARCO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 145 (tempo di esecuzione: 0.059 secondi).
Titolo Data di pubblicazione Autore(i) File
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 1-gen-1995 Bernardo, Marco; Busi, Nadia; Gorrieri, Roberto
A Formal Approach to the Integrated Analysis of Security and QoS 1-gen-2007 Aldini, Alessandro; Bernardo, Marco
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 1-gen-1998 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A General Approach to Deadlock Freedom Verification for Software Architectures 1-gen-2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 1-gen-1996 Bernardo, Marco
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-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 1-gen-1998 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
A Process Algebraic Approach to Software Architecture Design 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 1-gen-2002 Abate, Pietro; Bernardo, Marco
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 1-gen-2001 Bernardo, Marco
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 1-gen-1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol 1-gen-1996 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A Survey of Markovian Behavioral Equivalences 1-gen-2007 Bernardo, Marco
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 1-gen-2008 Bernardo, Marco; Botta, Stefania
A Theory of Testing for Markovian Processes 1-gen-2000 Bernardo, Marco; Cleaveland, Rance
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 1-gen-1998 Bernardo, Marco; Gorrieri, Roberto
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 1-gen-2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism 1-gen-2020 Bernardo, Marco
An Algebra-Based Method to Associate Rewards with EMPA Terms 1-gen-1997 Bernardo, Marco