BRUNI, ROBERTO Statistiche
BRUNI, ROBERTO
DIPARTIMENTO DI INFORMATICA
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Local Completeness for Program Correctness and Incorrectness (Invited Talk)
2023-01-01 Bruni, Roberto
Local Completeness in Abstract Interpretation
2023-01-01 Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F.
Logics for Extensional, Locally Complete Analysis via Domain Refinements
2023-01-01 Ascari, F.; Bruni, R.; Gori, R.
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Verification of Reaction Systems Processes
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Abstract Interpretation Repair
2022-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Deciding Program Properties via Complete Abstractions on Bounded Domains
2022-01-01 Bruni, Roberto; Gori, Roberta; Manini, Nicolas
Limits and difficulties in the design of under-approximation abstract domains
2022-01-01 Ascari, F.; Bruni, R.; Gori, R.
A Logic for Locally Complete Abstract Interpretations
2021-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A logical and graphical framework for reaction systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
A process algebraic approach to reaction systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
SOS Rules for Equivalences of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
Abstract extensionality: on the properties of incomplete abstract interpretations
2020-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Algebras for Tree Decomposable Graphs
2020-01-01 Bruni, R.; Montanari, U.; Sammartino, M.
Bayesian network semantics for Petri nets
2020-01-01 Bruni, R.; Melgratti, H.; Montanari, U.
The link-calculus for open multiparty interactions
2020-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Correctness and Incorrectness Program Logic | 1-gen-2023 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
Local Completeness for Program Correctness and Incorrectness (Invited Talk) | 1-gen-2023 | Bruni, Roberto | |
Local Completeness in Abstract Interpretation | 1-gen-2023 | Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F. | |
Logics for Extensional, Locally Complete Analysis via Domain Refinements | 1-gen-2023 | Ascari, F.; Bruni, R.; Gori, R. | |
Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
Verification of Reaction Systems Processes | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | |
Abstract Interpretation Repair | 1-gen-2022 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
Deciding Program Properties via Complete Abstractions on Bounded Domains | 1-gen-2022 | Bruni, Roberto; Gori, Roberta; Manini, Nicolas | |
Limits and difficulties in the design of under-approximation abstract domains | 1-gen-2022 | Ascari, F.; Bruni, R.; Gori, R. | |
A Logic for Locally Complete Abstract Interpretations | 1-gen-2021 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco | |
A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | |
A process algebraic approach to reaction systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | |
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
SOS Rules for Equivalences of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | |
Abstract extensionality: on the properties of incomplete abstract interpretations | 1-gen-2020 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko | |
Algebras for Tree Decomposable Graphs | 1-gen-2020 | Bruni, R.; Montanari, U.; Sammartino, M. | |
Bayesian network semantics for Petri nets | 1-gen-2020 | Bruni, R.; Melgratti, H.; Montanari, U. | |
The link-calculus for open multiparty interactions | 1-gen-2020 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto |