Michele Boreale

110 papers A* 4A 3B 21C 5Misc 1Journal 43Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming.
CoRR
Michele Boreale, Luisa Collodi
2025 — conf
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs.
ICTCS
Michele Boreale, Luisa Collodi
2025 J jnl
Linearization, model reduction and reachability in nonlinear odes.
Formal Methods Syst. Des.
Michele Boreale, Luisa Collodi
2025 — conf
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming.
GandALF
Michele Boreale, Luisa Collodi
2025 — conf
Towards Algebraic Analysis of Probabilistic Programs.
ICTCS
Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio
2024 J jnl
An implicit function theorem for the stream calculus.
Log. Methods Comput. Sci.
Michele Boreale, Luisa Collodi, Daniele Gorla
2024 — conf
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach.
VMCAI (2)
Michele Boreale, Luisa Collodi
2024 — conf
Language Equivalence from Nondeterministic to Weighted Automata - and Back.
ISoLA (1)
Michele Boreale, Luisa Collodi
2024 J jnl
Products, Polynomials and Differential Equations in the Stream Calculus.
ACM Trans. Comput. Log.
Michele Boreale, Luisa Collodi, Daniele Gorla
2023 J jnl
An implicit function theorem for the stream calculus.
CoRR
Michele Boreale, Luisa Collodi, Daniele Gorla
2023 B conf
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation.
VMCAI
Michele Boreale, Luisa Collodi
2022 J jnl
A linear-algebraic method to compute polynomial PDE conservation laws.
J. Symb. Comput.
Michele Boreale, Luisa Collodi
2022 J jnl
Automatic pre- and postconditions for partial differential equations.
Inf. Comput.
Michele Boreale
2022 — conf
Linearization, Model Reduction and Reachability in Nonlinear odes.
RP
Michele Boreale, Luisa Collodi
2022 J jnl
Output Sampling for Output Diversity in Automatic Unit Test Generation.
IEEE Trans. Software Eng.
Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
2021 B conf
Algebra and Coalgebra of Stream Products.
CONCUR
Michele Boreale, Daniele Gorla
2021 J jnl
Algebra and coalgebra of stream products.
CoRR
Michele Boreale, Daniele Gorla
2021 J jnl
Weighted approximate Bayesian computation via Sanov's theorem.
Comput. Stat.
Cecilia Viscardi, Michele Boreale, Fabio Corradi
2020 — conf
Automatic Pre- and Postconditions for Partial Differential Equations.
QEST
Michele Boreale
2020 J jnl
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes.
Sci. Comput. Program.
Michele Boreale
2020 J jnl
Relative Privacy Threats and Learning From Anonymized Data.
IEEE Trans. Inf. Forensics Secur.
Michele Boreale, Fabio Corradi, Cecilia Viscardi
2019 J jnl
Algebra, coalgebra, and minimization in polynomial differential equations.
Log. Methods Comput. Sci.
Michele Boreale
2019 — conf
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.
The Art of Modelling Computational Systems
Michele Boreale, Daniele Gorla
2019 J jnl
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.
CoRR
Michele Boreale, Daniele Gorla
2019 — ed.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
2019 B conf
On the Coalgebra of Partial Differential Equations.
MFCS
Michele Boreale
2018 — conf
Algorithms for exact and approximate linear abstractions of polynomial continuous systems.
HSCC
Michele Boreale
2018 B conf
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S.
SOFSEM
Michele Boreale
2017 B conf
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations.
FoSSaCS
Michele Boreale
2017 J jnl
Algebra, coalgebra, and minimization in polynomial differential equations.
CoRR
Michele Boreale
2017 J jnl
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's.
CoRR
Michele Boreale
2016 J jnl
Searching secrets rationally.
Int. J. Approx. Reason.
Michele Boreale, Fabio Corradi
2015 J jnl
A semiring-based trace semantics for processes with applications to information leakage analysis.
Math. Struct. Comput. Sci.
Michele Boreale, David Clark, Daniele Gorla
2015 — conf
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation.
ICALP (2)
Michele Boreale
2015 J jnl
Asymptotic information leakage under one-try attacks.
Math. Struct. Comput. Sci.
Michele Boreale, Francesca Pampaloni, Michela Paolini
2015 J jnl
CaSPiS: a calculus of sessions, pipelines and services.
Math. Struct. Comput. Sci.
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2015 J jnl
Quantitative information flow under generic leakage functions and adaptive adversaries.
Log. Methods Comput. Sci.
Michele Boreale, Francesca Pampaloni
2015 J jnl
Worst- and average-case privacy breaches in randomization mechanisms.
Theor. Comput. Sci.
Michele Boreale, Michela Paolini
2014 C conf
On Formally Bounding Information Leakage by Statistical Estimation.
ISC
Michele Boreale, Michela Paolini
2014 C conf
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries.
FORTE
Michele Boreale, Francesca Pampaloni
2013 B conf
Asymptotic Risk Analysis for Trust and Reputation Systems.
SOFSEM
Michele Boreale, Alessandro Celestini
2013 J jnl
Behavioural contracts with request-response operations.
Sci. Comput. Program.
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2013 — ed.
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
FMOODS/FORTE
Dirk Beyer, Michele Boreale
2012 J jnl
A coalgebraic perspective on linear weighted automata.
Inf. Comput.
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
2012 J jnl
Deciding safety properties in infinite-state pi-calculus via behavioural types.
Inf. Comput.
Lucia Acciai, Michele Boreale
2012 — conf
Quantitative Multirun Security under Active Adversaries.
QEST
Michele Boreale, Francesca Pampaloni
2012 — conf
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms.
IFIP TCS
Michele Boreale, Michela Paolini
2011 — ch.
Advanced Mechanisms for Service Composition, Query and Discovery.
Results of the SENSORIA Project
Michele Boreale, Mario Bravetti
2011 B conf
Asymptotic Information Leakage under One-Try Attacks.
FoSSaCS
Michele Boreale, Francesca Pampaloni, Michela Paolini
2011 — conf
Linear-Time and May-Testing in a Probabilistic Reactive Setting.
FMOODS/FORTE
Lucia Acciai, Michele Boreale, Rocco De Nicola
2011 A conf
Quantitative Information Flow, with a View.
ESORICS
Michele Boreale, Francesca Pampaloni, Michela Paolini
2011 — ch.
Static Analysis Techniques for Session-Oriented Calculi.
Results of the SENSORIA Project
Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
2010 — conf
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
IFIP TCS
Michele Boreale, David Clark, Daniele Gorla
2010 C conf
Behavioural Contracts with Request-Response Operations.
COORDINATION
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010 B conf
On the Relationship between Spatial Logics and Behavioral Simulations.
FoSSaCS
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010 J jnl
Spatial and behavioral types in the pi-calculus.
Inf. Comput.
Lucia Acciai, Michele Boreale
2009 — conf
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.
ICALP (2)
Lucia Acciai, Michele Boreale
2009 — conf
Deciding Spatial and behavioral properties in the pi-calculus.
ICTCS
Lucia Acciai, Michele Boreale
2009 — ed.
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009.
SECCO
Michele Boreale, Steve Kremer
2009 J jnl
Quantifying information leakage in process calculi.
Inf. Comput.
Michele Boreale
2009 B conf
Weighted Bisimulation in Linear Algebraic Form.
CONCUR
Michele Boreale
2008 — conf
A Type System for Client Progress in a Service-Oriented Calculus.
Concurrency, Graphs and Models
Lucia Acciai, Michele Boreale
2008 J jnl
Responsiveness in process calculi.
Theor. Comput. Sci.
Lucia Acciai, Michele Boreale
2008 — conf
Sessions and Pipelines for Structured Service Programming.
FMOODS
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2008 B conf
Spatial and Behavioral Types in the Pi-Calculus.
CONCUR
Lucia Acciai, Michele Boreale
2008 J jnl
XPi: A typed process calculus for XML messaging.
Sci. Comput. Program.
Lucia Acciai, Michele Boreale
2007 A conf
A Concurrent Calculus with Atomic Transactions.
ESOP
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2007 — conf
Type Abstractions of Name-Passing Processes.
FSEN
Lucia Acciai, Michele Boreale
2006 J jnl
A Concurrent Calculus with Atomic Transactions
CoRR
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2006 — conf
A Typed Calculus for Querying Distributed XML Documents.
TGC
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2006 C conf
Attacking Right-to-Left Modular Exponentiation with Timely Random Faults.
FDTC
Michele Boreale
2006 J jnl
Processes as formal power series: A coinductive approach to denotational semantics.
Theor. Comput. Sci.
Michele Boreale, Fabio Gadducci
2006 — conf
Quantifying Information Leakage in Process Calculi.
ICALP (2)
Michele Boreale
2006 — conf
Responsiveness in Process Calculi.
ASIAN
Lucia Acciai, Michele Boreale
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2005 — conf
A General Name Binding Mechanism.
TGC
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2005 J jnl
A method for symbolic analysis of security protocols.
Theor. Comput. Sci.
Michele Boreale, Maria Grazia Buscemi
2005 — conf
XPi: A Typed Process Calculus for XML Messaging.
FMOODS
Lucia Acciai, Michele Boreale
2004 B conf
D-Fusion: A Distinctive Fusion Calculus.
APLAS
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2003 B conf
Denotational Testing Semantics in Coinductive Form.
MFCS
Michele Boreale, Fabio Gadducci
2003 B conf
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.
MFCS
Michele Boreale, Maria Grazia Buscemi
2002 B conf
A Framework for the Analysis of Security Protocols.
CONCUR
Michele Boreale, Maria Grazia Buscemi
2002 Misc conf
Experimenting with STA, a tool for automatic analysis of security protocols.
SAC
Michele Boreale, Maria Grazia Buscemi
2002 B conf
On Compositional Reasoning in the Spi-calculus.
FoSSaCS
Michele Boreale, Daniele Gorla
2002 J jnl
Trace and Testing Equivalence on Asynchronous Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 J jnl
Divergence in testing and readiness semantics.
Theor. Comput. Sci.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 J jnl
Proof Techniques for Cryptographic Processes.
SIAM J. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 A* conf
Symbolic Trace Analysis of Cryptographic Protocols.
ICALP
Michele Boreale
2000 J jnl
A complexity analysis of bisimilarity for value-passing processes.
Theor. Comput. Sci.
Michele Boreale, Luca Trevisan
2000 C conf
Process Algebraic Analysis of Cryptographic Protocols.
FORTE
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 B conf
A Theory of "May" Testing for Asynchronous Languages.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 J jnl
Basic Observables for Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 A* conf
Proof Techniques for Cryptographic Processes.
LICS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1998 J jnl
A Fully Abstract Semantics for Causality in the \pi-Calculus.
Acta Informatica
Michele Boreale, Davide Sangiorgi
1998 B conf
Asynchronous Observations of Processes.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1998 A* conf
Bisimulation in Name-Passing Calculi without Matching.
LICS
Michele Boreale, Davide Sangiorgi
1998 — conf
Bisimulations in the join-calculus.
PROCOMET
Michele Boreale, Cédric Fournet, Cosimo Laneve
1998 J jnl
On the Expressiveness of Internal Mobility in Name-Passing Calculi.
Theor. Comput. Sci.
Michele Boreale
1998 J jnl
Some Congruence Properties for Pi-Calculus Bisimilarities.
Theor. Comput. Sci.
Michele Boreale, Davide Sangiorgi
1997 A* conf
Basic Observables for Processes.
ICALP
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1996 J jnl
A Symbolic Semantics for the pi-Calculus.
Inf. Comput.
Michele Boreale, Rocco De Nicola
1996 B conf
Bisimilarity Problems Requiring Exponential Time.
MFCS
Michele Boreale, Luca Trevisan
1996 B conf
On the Expressiveness of Internal Mobility in Name-Passing Calculi.
CONCUR
Michele Boreale
1996 — conf
Symbolic Bisimulation for Timed Processes.
AMAST
Michele Boreale
1995 A conf
A Fully Abstract Semantics for Causality in the Pi-Calculus.
STACS
Michele Boreale, Davide Sangiorgi
1995 — conf
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).
FSTTCS
Michele Boreale, Luca Trevisan
1995 J jnl
Testing Equivalence for Mobile Processes
Inf. Comput.
Michele Boreale, Rocco De Nicola
1994 B conf
A Symbolic Semantics for the pi-calculus (Extended Abstract).
CONCUR
Michele Boreale, Rocco De Nicola
1992 J jnl
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.
Inf. Process. Lett.
Michele Boreale, Paola Inverardi, Monica Nesi
1992 B conf
Testing Equivalence for Mobile Processes (Extended Abstract).
CONCUR
Michele Boreale, Rocco De Nicola