Michele Boreale

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 25

Top Topics

Differential Equations

Information Leakage

Ambrosio Tortorelli

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Michele Boreale, Luisa Collodi
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. VMCAI (2) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25 (1) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. Log. Methods Comput. Sci. 20 (2) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. CoRR (2023)
Michele Boreale, Luisa Collodi
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. VMCAI (2023)
Michele Boreale, Luisa Collodi
Linearization, Model Reduction and Reachability in Nonlinear odes. RP (2022)
Michele Boreale, Luisa Collodi
A linear-algebraic method to compute polynomial PDE conservation laws. J. Symb. Comput. 108 (2022)
Michele Boreale
Automatic pre- and postconditions for partial differential equations. Inf. Comput. 285 (Part) (2022)
Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Trans. Software Eng. 48 (2) (2022)
Michele Boreale, Daniele Gorla
Algebra and coalgebra of stream products. CoRR (2021)
Cecilia Viscardi, Michele Boreale, Fabio Corradi
Weighted approximate Bayesian computation via Sanov's theorem. Comput. Stat. 36 (4) (2021)
Michele Boreale, Daniele Gorla
Algebra and Coalgebra of Stream Products. CONCUR (2021)
Michele Boreale
Automatic Pre- and Postconditions for Partial Differential Equations. QEST (2020)
Michele Boreale
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes. Sci. Comput. Program. 193 (2020)
Michele Boreale, Fabio Corradi, Cecilia Viscardi
Relative Privacy Threats and Learning From Anonymized Data. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Michele Boreale
On the Coalgebra of Partial Differential Equations. MFCS (2019)
Michele Boreale, Daniele Gorla
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. CoRR (2019)
Michele Boreale, Daniele Gorla
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. The Art of Modelling Computational Systems (2019)
Michele Boreale
Algebra, coalgebra, and minimization in polynomial differential equations. Log. Methods Comput. Sci. 15 (1) (2019)
Michele Boreale
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. SOFSEM (2018)
Michele Boreale
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. HSCC (2018)
Michele Boreale
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. FoSSaCS (2017)
Michele Boreale
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's. CoRR (2017)
Michele Boreale
Algebra, coalgebra, and minimization in polynomial differential equations. CoRR (2017)
Michele Boreale, Fabio Corradi
Searching secrets rationally. Int. J. Approx. Reason. 69 (2016)
Michele Boreale, David Clark, Daniele Gorla
A semiring-based trace semantics for processes with applications to information leakage analysis. Math. Struct. Comput. Sci. 25 (2) (2015)
Michele Boreale, Michela Paolini
Worst- and average-case privacy breaches in randomization mechanisms. Theor. Comput. Sci. 597 (2015)
Michele Boreale, Francesca Pampaloni, Michela Paolini
Asymptotic information leakage under one-try attacks. Math. Struct. Comput. Sci. 25 (2) (2015)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Michele Boreale
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation. ICALP (2) (2015)
Michele Boreale, Francesca Pampaloni
Quantitative information flow under generic leakage functions and adaptive adversaries. Log. Methods Comput. Sci. 11 (4) (2015)
Michele Boreale, Michela Paolini
On Formally Bounding Information Leakage by Statistical Estimation. ISC (2014)
Michele Boreale, Francesca Pampaloni
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. FORTE (2014)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural contracts with request-response operations. Sci. Comput. Program. 78 (2) (2013)
Michele Boreale, Alessandro Celestini
Asymptotic Risk Analysis for Trust and Reputation Systems. SOFSEM (2013)
Michele Boreale, Francesca Pampaloni
Quantitative Multirun Security under Active Adversaries. QEST (2012)
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211 (2012)
Lucia Acciai, Michele Boreale
Deciding safety properties in infinite-state pi-calculus via behavioural types. Inf. Comput. 212 (2012)
Michele Boreale, Michela Paolini
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms. IFIP TCS (2012)
Lucia Acciai, Michele Boreale, Rocco De Nicola
Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE (2011)
Michele Boreale, Francesca Pampaloni, Michela Paolini
Quantitative Information Flow, with a View. ESORICS (2011)
Michele Boreale, Francesca Pampaloni, Michela Paolini
Asymptotic Information Leakage under One-Try Attacks. FoSSaCS (2011)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS (2010)
Lucia Acciai, Michele Boreale
Spatial and behavioral types in the pi-calculus. Inf. Comput. 208 (10) (2010)
Michele Boreale, David Clark, Daniele Gorla
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS (2010)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural Contracts with Request-Response Operations. COORDINATION (2010)
Michele Boreale
Weighted Bisimulation in Linear Algebraic Form. CONCUR (2009)
Lucia Acciai, Michele Boreale
Deciding Spatial and behavioral properties in the pi-calculus. ICTCS (2009)
Michele Boreale
Quantifying information leakage in process calculi. Inf. Comput. 207 (6) (2009)
Lucia Acciai, Michele Boreale
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ICALP (2) (2009)
Lucia Acciai, Michele Boreale
Spatial and Behavioral Types in the Pi-Calculus. CONCUR (2008)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
Sessions and Pipelines for Structured Service Programming. FMOODS (2008)
Lucia Acciai, Michele Boreale
Responsiveness in process calculi. Theor. Comput. Sci. 409 (1) (2008)
Lucia Acciai, Michele Boreale
XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71 (2) (2008)
Lucia Acciai, Michele Boreale
A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models (2008)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions. ESOP (2007)
Lucia Acciai, Michele Boreale
Type Abstractions of Name-Passing Processes. FSEN (2007)
Michele Boreale, Fabio Gadducci
Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360 (1-3) (2006)
Michele Boreale
Quantifying Information Leakage in Process Calculi. ICALP (2) (2006)
Lucia Acciai, Michele Boreale
Responsiveness in Process Calculi. ASIAN (2006)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Typed Calculus for Querying Distributed XML Documents. TGC (2006)
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
SCC: A Service Centered Calculus. WS-FM (2006)
Michele Boreale
Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. FDTC (2006)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions CoRR (2006)
Michele Boreale, Maria Grazia Buscemi
A method for symbolic analysis of security protocols. Theor. Comput. Sci. 338 (1-3) (2005)
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
A General Name Binding Mechanism. TGC (2005)
Lucia Acciai, Michele Boreale
XPi: A Typed Process Calculus for XML Messaging. FMOODS (2005)
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
D-Fusion: A Distinctive Fusion Calculus. APLAS (2004)
Michele Boreale, Fabio Gadducci
Denotational Testing Semantics in Coinductive Form. MFCS (2003)
Michele Boreale, Maria Grazia Buscemi
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. MFCS (2003)
Michele Boreale, Maria Grazia Buscemi
Experimenting with STA, a tool for automatic analysis of security protocols. SAC (2002)
Michele Boreale, Maria Grazia Buscemi
A Framework for the Analysis of Security Protocols. CONCUR (2002)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172 (2) (2002)
Michele Boreale, Daniele Gorla
On Compositional Reasoning in the Spi-calculus. FoSSaCS (2002)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31 (3) (2001)
Michele Boreale
Symbolic Trace Analysis of Cryptographic Protocols. ICALP (2001)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266 (1-2) (2001)
Michele Boreale, Luca Trevisan
A complexity analysis of bisimilarity for value-passing processes. Theor. Comput. Sci. 238 (1-2) (2000)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Process Algebraic Analysis of Cryptographic Protocols. FORTE (2000)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Basic Observables for Processes. Inf. Comput. 149 (1) (1999)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proof Techniques for Cryptographic Processes. LICS (1999)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
A Theory of "May" Testing for Asynchronous Languages. FoSSaCS (1999)
Michele Boreale, Davide Sangiorgi
Bisimulation in Name-Passing Calculi without Matching. LICS (1998)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Asynchronous Observations of Processes. FoSSaCS (1998)
Michele Boreale, Cédric Fournet, Cosimo Laneve
Bisimulations in the join-calculus. PROCOMET (1998)
Michele Boreale, Davide Sangiorgi
A Fully Abstract Semantics for Causality in the \pi-Calculus. Acta Informatica 35 (5) (1998)
Michele Boreale, Davide Sangiorgi
Some Congruence Properties for Pi-Calculus Bisimilarities. Theor. Comput. Sci. 198 (1-2) (1998)
Michele Boreale
On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theor. Comput. Sci. 195 (2) (1998)
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Basic Observables for Processes. ICALP (1997)
Michele Boreale
On the Expressiveness of Internal Mobility in Name-Passing Calculi. CONCUR (1996)
Michele Boreale
Symbolic Bisimulation for Timed Processes. AMAST (1996)
Michele Boreale, Luca Trevisan
Bisimilarity Problems Requiring Exponential Time. MFCS (1996)
Michele Boreale, Rocco De Nicola
A Symbolic Semantics for the pi-Calculus. Inf. Comput. 126 (1) (1996)
Michele Boreale, Davide Sangiorgi
A Fully Abstract Semantics for Causality in the Pi-Calculus. STACS (1995)
Michele Boreale, Luca Trevisan
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). FSTTCS (1995)
Michele Boreale, Rocco De Nicola
Testing Equivalence for Mobile Processes Inf. Comput. 120 (2) (1995)
Michele Boreale, Rocco De Nicola
A Symbolic Semantics for the pi-calculus (Extended Abstract). CONCUR (1994)
Michele Boreale, Rocco De Nicola
Testing Equivalence for Mobile Processes (Extended Abstract). CONCUR (1992)
Michele Boreale, Paola Inverardi, Monica Nesi
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43 (3) (1992)