BRUNI, ROBERTO Statistiche
BRUNI, ROBERTO
DIPARTIMENTO DI INFORMATICA
A Process Algebraic View of In/Out Prisoners
2025-01-01 Bruni, Roberto
A framework for monitored dynamic slicing of reaction systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Causal analysis of positive Reaction Systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P.
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
2024-01-01 Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
Limits and Difficulties in the Design of Under-Approximation Abstract Domains
2024-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics
2024-01-01 Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Process Algebraic View of In/Out Prisoners | 1-gen-2025 | Bruni, Roberto | |
| A framework for monitored dynamic slicing of reaction systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| Causal analysis of positive Reaction Systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P. | |
| Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies | 1-gen-2024 | Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo | |
| Limits and Difficulties in the Design of Under-Approximation Abstract Domains | 1-gen-2024 | Ascari, Flavio; Bruni, Roberto; Gori, Roberta | |
| Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics | 1-gen-2024 | Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H. | |
| 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 |