PROFUNDIS: Deliverables Year 2 (2003)
Deliverable #2: Automata with Substitutions and Models for Spatial Logics; Symbolic Execution; Tool Implementation: Extended Automata
Summary.
-
Web Services as a New Approach to Distributing and Coordinating Semantic-based Verification Toolkits by Michael Baldamus, Jesper Bengston, GianLuigi Ferrari, and Roberto Raggi
-
A Backward/Forward Strategy for Verifying Safety Properties of InfiniteState Systems by Michael Baldamus, Richard Mayr, and Gerardo Schneider
-
Spi Calculus Translated to -Calculus Preserving May-Testing by Michael Baldamus, Joachim Parrow, and Bjorn Victor
-
ASPASyA: an Automated tool for Security Protocol Analysis based on a Symbolic Approach by Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, and Emilio Tuosto
-
D-Fusion: a Distinctive Fusion Calculus by Michele Boreale, Maria Grazia Buscemi, and Ugo Montanari
-
A Compositional Coalgebraic Model of Monadic Fusion Calculus by Maria Grazia Buscemi and Ugo Montanari
-
Some characterization results for permutation algebras by Fabio Gadducci, Marino Miculan, and Ugo Montanari
-
A model checking verification environment for mobile processes by G. Ferrari, S. Gnesi, U. Montanari, and M. Pistore
-
Verification On The Web Of Mobile Systems by Gianluigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, and Emilio Tuosto
-
From Co-algebraic Specifications to Implementation: The Mihda toolkit by Gianluigi Ferrari, Ugo Montanari, Roberto Raggi, and Emilio Tuosto
-
Coalgebraic Minimisation of HD-Automata for the pi-Calculus in a Polymorphic lambda-Calculus by Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
-
Modelling and Minimising the Fusion calculus by Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Bjorn Victor, and Kidane Yemane
-
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming by Ivan Lanese and Ugo Montanari
-
Symbolic Analysis of Crypto-Protocols based on Modular Exponentiation by Michele Boreale and Maria Grazia Buscemi
-
A noninterleaving model of concurrency based on transition systems with spatial structure by Luis Monteiro
-
A note on models for spatial logic based on transition systems with spatial structure by Luis Monteiro
-
Non-Viability Deductions in Arc-Consistency Computation by Camilo Rueda and Frank D. Valencia
-
Polyadic History-Dependent Automata for the Fusion Calculus by Emilio Tuosto, Bjorn Victor, and Kidane Yemane
-
Timed Concurrent Constraint Programming: Decidability Results and their Application to LTL by Frank D. Valencia
-
On the Expressiveness of CCS-like Calculi by Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia
-
Concurrency, Time and Constraints by Frank D. Valencia
-
Notes on Timed CCP by Mogens Nielsen and Frank D. Valencia
-
History-Dependent Scheduling for Cryptographic Processes by Vincent Vanackere
-
Models and Security Verification of Distributed Systems by Maria Grazia Buscemi
Web page: Björn Victor, latest update Mon, 17-May-2004 00:36 MEST