BRUNI, ROBERTO Statistiche

BRUNI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 166 (tempo di esecuzione: 0.035 secondi).
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