BRUNI, ROBERTO Statistiche
BRUNI, ROBERTO
DIPARTIMENTO DI INFORMATICA
A Process Algebraic View of In/Out Prisoners
2025-01-01 Bruni, Roberto
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
2025-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
Broadening the applicability of local completeness analysis with intensional and extensional guarantees
2025-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Model Checking as Program Verification by Abstract Interpretation
2025-01-01 Baldan, Paolo; Bruni, Roberto; Ranzato, Francesco; Rigo, Diletta
Revealing Sources of (Memory) Errors via Backward Analysis
2025-01-01 Ascari, F.; Bruni, R.; Gori, R.; Logozzo, F.
Simulation and Analysis of Distributed Reaction Systems
2025-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Petre, Ion
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
2025-01-01 Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea
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