Sfoglia per Autore
Noninterference Analysis of Reversible Probabilistic Systems
2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
2023 Bernardo, M.; Mezzina, C. A.
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, Marco; Rossi, Sabina
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
2023 Bernardo, M.; Esposito, A.
Teaching and Learning Centers and Coordinated Technologies for an Effective Transition at COVID-19 Pandemic Time to Massive Distance Learning and Online Exams
2023 Bernardo, Marco; Bontà, Edoardo
Causal Reversibility Implies Time Reversibility
2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
2023 Bernardo, Marco; Mezzina, Claudio Antares
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, M.; Esposito, A.
MoodleMoot Italia 2022 (MMIT 2022)
2022 Fiorentino, Giuseppe; Gallo, Pierpaolo; Rabellino, Sergio; Bernardo, Marco; De Waal, Paula
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
2022 Bernardo, Marco
Towards General Axiomatizations for Bisimilarity and Trace Semantics
2021 Bernardo, Marco
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
2020 Bernardo, Marco
Special Issue of the Italian Conference on Theoretical Computer Science 2018
2020 Aldini, Alessandro; Bernardo, Marco
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions
2020 Bernardo, Marco
Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet
2020 Bernardo, Marco; Bontà, Edoardo
Towards Bridging Time and Causal Reversibility
2020 Bernardo, Marco; Mezzina, Claudio Antares
Coherent Resolutions of Nondeterminism
2019 Bernardo, Marco
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults
2019 Bernardo, Marco
Multidimensional Context Modeling Applied to Non-Functional Analysis of Software
2019 Berardinelli, Luca; Bernardo, Marco; Cortellessa, Vittorio; Di Marco, Antinisca
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