Sfoglia per Serie
Implementing Symbolic Models for Value Passing in TwoTowers
2000-01-01 Bernardo, Marco
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
2004-01-01 Aldini, Alessandro; Bernardo, Marco
Logics to Reason Formally About Trust Computation and Manipulation
2020-01-01 Aldini, Alessandro; Tagliaferri, Mirko
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management
2005-01-01 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Non-Synchronous Communications in Process Algebraic Architectural Description Languages
2008-01-01 Bernardo, Marco; Bontà, Edoardo
On Reversibility and Broadcast
2018-01-01 Mezzina, Claudio Antares
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
2014-01-01 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
Performability Measure Specification: Combining CSRL and MSL
2011-01-01 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Performance Evaluation at the Software Architecture Level
2003-01-01 Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 Bernardo, Marco; Padovani, Luca
THE PORTICO OF THE CHURCH OF ST. FRANCIS IN URBINO: A DIGITAL MAP FOR MONUMENTS
2012-01-01 Baratin, Laura; Giuliano, Monica; Checcucci, Giovanni
Preserving Architectural Properties in Multithreaded Code Generation
2005-01-01 Bernardo, Marco; Bontà, Edoardo
Reasoning About Ignorance and Beliefs
2021-01-01 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Reversible Choreographies via Monitoring in Erlang
2018-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
The Reversible Temporal Process Language
2022-01-01 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Reversing P/T Nets
2019-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Reward Based Congruences: Can We Aggregate More?
2001-01-01 Bernardo, Marco; Bravetti, Mario
Security Analysis of a Probabilistic Non-repudiation Protocol
2002-01-01 Aldini, Alessandro; Gorrieri, R.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile