E-LIB Suche - Ergebnisse für: Bernardo, Marco

1

Noninterference Analysis ofReversible Probabilistic Systems:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Esposito, Andrea ; Aldini, Alessandro ; Bernardo, Marco - p. 39-59 , 2024

Link: https://doi.org/10.1007/..

2

Branching Bisimulation Semantics Enables Noninterference An..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Esposito, Andrea ; Aldini, Alessandro ; Bernardo, Marco - p. 57-74 , 2023

Link: https://doi.org/10.1007/..

3

Reverse Bisimilarity vs. Forward Bisimilarity:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Bernardo, Marco ; Rossi, Sabina - p. 265-284 , 2023

Link: https://doi.org/10.1007/..

4

Causal Reversibility Implies Time Reversibility:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea... - p. 270-287 , 2023

Link: https://doi.org/10.1007/..

5

Causal Reversibility for Timed Process Calculi with Lazy/Ea..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Bernardo, Marco ; Mezzina, Claudio A. - p. 15-32 , 2023

Link: https://doi.org/10.1007/..

6

Bridging Causal Reversibility and Time Reversibility: A Sto..:

Bernardo, Marco ; Mezzina, Claudio A.
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

7

Towards General Axiomatizations for Bisimilarity and Trace ..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Bernardo, Marco - p. 31-53 , 2021

Link: https://doi.org/10.1007/..

8

The Italian Conference on Theoretical Computer Science:

Aldini, Alessandro ; Bernardo, Marco
Theoretical Computer Science. 815 (2020) - p. 310 , 2020

Link: https://doi.org/10.1016/..

9

Coherent Resolutions of Nondeterminism:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Bernardo, Marco - p. 16-32 , 2020

Link: https://doi.org/10.1007/..

10

Towards Bridging Time and Causal Reversibility:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bernardo, Marco ; Mezzina, Claudio Antares - p. 22-38 , 2020

Link: https://doi.org/10.1007/..

11

Alternative Characterizations of Probabilistic Trace Equiva..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Bernardo, Marco - p. 35-53 , 2020

Link: https://doi.org/10.1007/..

12

Perceptual evaluation of speckle noise reduction techniques..:

, In: 2019 Eleventh International Conference on Quality of Multimedia Experience (QoMEX),

Fonseca, Elsa ; Fiadeiro, Paulo ; Hajihashemi, Vahid... - p. 1-6 , 2019

Link: https://doi.org/10.1109/..

13

Genesis and Evolution of ULTraS: Metamodel, Metaequivalence..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Bernardo, Marco - p. 92-111 , 2019

Link: https://doi.org/10.1007/..

14

Constructive logical characterizations of bisimilarity for ..:

Bernardo, Marco ; Miculan, Marino
Theoretical Computer Science. 764 (2019) - p. 80-99 , 2019

Link: https://doi.org/10.1016/..

15

ULTraS at work: Compositionality metaresults for bisimulati..:

Bernardo, Marco
Journal of Logical and Algebraic Methods in Programming. 94 (2018) - p. 150-182 , 2018

Link: https://doi.org/10.1016/..