BERNARDO, MARCO

BERNARDO, MARCO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
An Algebra-Based Method to Associate Rewards with EMPA Terms 1-gen-1997 Bernardo, Marco
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 1-gen-1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism 1-gen-2020 Bernardo, Marco
Architecting Families of Software Systems with Process Algebras 1-gen-2002 Bernardo, Marco; Ciancarini, Paolo; Donatiello, Lorenzo
Architectural Types Revisited: Extensible And/Or Connections 1-gen-2002 Bernardo, Marco; Franzè, Francesco
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 1-gen-2004 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
ChaRLeS: An Open-Source Chat Room Learning System 1-gen-2017 Bontà, Edoardo; Torrisi, Giovanni; Bernardo, Marco
Coherent Resolutions of Nondeterminism 1-gen-2019 Bernardo, Marco
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 1-gen-2002 Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta
Compact Net Semantics for Process Algebras 1-gen-2000 Bernardo, Marco; Busi, Nadia; Ribaudo, Marina
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 1-gen-2001 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
Component-Oriented Specification of Performance Measures 1-gen-2006 Aldini, Alessandro; Bernardo, Marco
Component-Oriented Verification of Noninterference 1-gen-2011 Aldini, Alessandro; Bernardo, Marco
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 1-gen-2000 Bravetti, Mario; Bernardo, Marco
Constructive Logical Characterizations of Bisimilarity for Reactive Probabilistic Systems 1-gen-2019 Bernardo, Marco; Miculan, Marino
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 1-gen-2001 Bernardo, Marco; Ciancarini, Paolo; Donatiello, Lorenzo
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 1-gen-2016 Bernardo, Marco; Miculan, Marino
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 1-gen-1995 Bernardo, Marco; Busi, Nadia; Gorrieri, Roberto
Encoding Timed Models as Uniform Labeled Transition Systems 1-gen-2013 Bernardo, Marco; Tesei, Luca
Enriching EMPA with Value Passing: A Symbolic Approach Based on Lookahead 1-gen-1997 Bernardo, Marco