BRUNI, ROBERTO Statistiche

BRUNI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

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