| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding safety properties in infinite-state pi-calculus via behavioural types. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira |
Static Analysis Techniques for Session-Oriented Calculi. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Mario Bravetti |
Advanced Mechanisms for Service Composition, Query and Discovery. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Rocco De Nicola |
Linear-Time and May-Testing in a Probabilistic Reactive Setting. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Francesca Pampaloni, Michela Paolini |
Asymptotic Information Leakage under One-Try Attacks. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Francesca Pampaloni, Michela Paolini |
Quantitative Information Flow, with a View. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Spatial and behavioral types in the pi-calculus. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
Behavioural Contracts with Request-Response Operations. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, David Clark, Daniele Gorla |
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
On the Relationship between Spatial Logics and Behavioral Simulations. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Quantifying information leakage in process calculi. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Steve Kremer (eds.) |
Proceedings 7th International Workshop on Security Issues in Concurrency |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding Spatial and behavioral properties in the pi-calculus. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
| 1 | Lucia Acciai, Michele Boreale |
XPi: A typed process calculus for XML messaging. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Responsiveness in process calculi. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Spatial and Behavioral Types in the Pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
behavioural type systems, pi-calculus, spatial logic |
| 1 | Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti |
Sessions and Pipelines for Structured Service Programming. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
A Type System for Client Progress in a Service-Oriented Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
type systems, service-oriented computing, pi-calculus, process calculi |
| 1 | Lucia Acciai, Michele Boreale |
Type Abstractions of Name-Passing Processes. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Fabio Gadducci |
Processes as formal power series: A coinductive approach to denotational semantics. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale |
Quantifying Information Leakage in Process Calculi. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
information theory, process calculi, secrecy, information leakage |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Responsiveness in Process Calculi. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. |
FDTC |
2006 |
DBLP DOI BibTeX RDF |
fault-based cryptanalysis, public-key cryptosystems, smartcards |
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Typed Calculus for Querying Distributed XML Documents. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi |
A method for symbolic analysis of security protocols. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
XPi: A Typed Process Calculus for XML Messaging. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
A General Name Binding Mechanism. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
D-Fusion: A Distinctive Fusion Calculus. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Fabio Gadducci |
Denotational Testing Semantics in Coinductive Form. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
testing equivalence, process calculi, coinduction, formal power series |
| 1 | Michele Boreale, Maria Grazia Buscemi |
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Trace and Testing Equivalence on Asynchronous Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi |
A Framework for the Analysis of Security Protocols. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi |
Experimenting with STA, a tool for automatic analysis of security protocols. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Daniele Gorla |
On Compositional Reasoning in the Spi-calculus. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
reasoning on security, process calculi, axiomatization |
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Divergence in testing and readiness semantics. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Proof Techniques for Cryptographic Processes. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Symbolic Trace Analysis of Cryptographic Protocols. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
formal methods for security protocols, concurrency, spi-calculus |
| 1 | Michele Boreale, Luca Trevisan |
A complexity analysis of bisimilarity for value-passing processes. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Process Algebraic Analysis of Cryptographic Protocols. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Proof Techniques for Cryptographic Processes. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Logical aspects of protocol security, Formal methods, Semantics, Concurrency |
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
A Theory of "May" Testing for Asynchronous Languages. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
On the Expressiveness of Internal Mobility in Name-Passing Calculi. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
Some Congruence Properties for Pi-Calculus Bisimilarities. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the \pi-Calculus. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
Bisimulation in Name-Passing Calculi without Matching. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Asynchronous Observations of Processes. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola |
A Symbolic Semantics for the pi-Calculus. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
On the Expressiveness of Internal Mobility in Name-Passing Calculi. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Luca Trevisan |
Bisimilarity Problems Requiring Exponential Time. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Symbolic Bisimulation for Timed Processes. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola |
Testing Equivalence for Mobile Processes |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the Pi-Calculus. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Luca Trevisan |
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola |
A Symbolic Semantics for the pi-calculus (Extended Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Paola Inverardi, Monica Nesi |
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Rocco De Nicola |
Testing Equivalence for Mobile Processes (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")