Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox
2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
Logics to Reason Formally About Trust Computation and Manipulation
2020 Aldini, Alessandro; Tagliaferri, Mirko
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
Model Checking Reversible Systems: Forwardly
2024 Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G.
Non-Synchronous Communications in Process Algebraic Architectural Description Languages
2008 Bernardo, Marco; Bontà, Edoardo
Noninterference Analysis of Reversible Probabilistic Systems
2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On Reversibility and Broadcast
2018 Mezzina, Claudio Antares
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
Performability Measure Specification: Combining CSRL and MSL
2011 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Performance Evaluation at the Software Architecture Level
2003 Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007 Bernardo, Marco; Padovani, Luca
THE PORTICO OF THE CHURCH OF ST. FRANCIS IN URBINO: A DIGITAL MAP FOR MONUMENTS
2012 Baratin, Laura; Giuliano, Monica; Checcucci, Giovanni
Preserving Architectural Properties in Multithreaded Code Generation
2005 Bernardo, Marco; Bontà, Edoardo
Reasoning About Ignorance and Beliefs
2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, Marco; Rossi, Sabina
Reversible Choreographies via Monitoring in Erlang
2018 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
The Reversible Temporal Process Language
2022 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Reversing P/T Nets
2019 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox | 1-gen-2023 | Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi | |
Logics to Reason Formally About Trust Computation and Manipulation | 1-gen-2020 | Aldini, Alessandro; Tagliaferri, Mirko | |
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 | |
Model Checking Reversible Systems: Forwardly | 1-gen-2024 | Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G. | |
Non-Synchronous Communications in Process Algebraic Architectural Description Languages | 1-gen-2008 | Bernardo, Marco; Bontà, Edoardo | |
Noninterference Analysis of Reversible Probabilistic Systems | 1-gen-2024 | Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco | |
On Reversibility and Broadcast | 1-gen-2018 | Mezzina, Claudio Antares | |
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems | 1-gen-2014 | Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria | |
Performability Measure Specification: Combining CSRL and MSL | 1-gen-2011 | Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy | |
Performance Evaluation at the Software Architecture Level | 1-gen-2003 | Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta | |
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 1-gen-2007 | Bernardo, Marco; Padovani, Luca | |
THE PORTICO OF THE CHURCH OF ST. FRANCIS IN URBINO: A DIGITAL MAP FOR MONUMENTS | 1-gen-2012 | Baratin, Laura; Giuliano, Monica; Checcucci, Giovanni | |
Preserving Architectural Properties in Multithreaded Code Generation | 1-gen-2005 | Bernardo, Marco; Bontà, Edoardo | |
Reasoning About Ignorance and Beliefs | 1-gen-2021 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
Relating Reversible Petri Nets and Reversible Event Structures, Categorically | 1-gen-2023 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
Reverse Bisimilarity vs. Forward Bisimilarity | 1-gen-2023 | Bernardo, Marco; Rossi, Sabina | |
Reversible Choreographies via Monitoring in Erlang | 1-gen-2018 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Reversible Occurrence Nets and Causal Reversible Prime Event Structures | 1-gen-2020 | Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek | |
The Reversible Temporal Process Language | 1-gen-2022 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
Reversing P/T Nets | 1-gen-2019 | Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek |
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