Talks at the Sierra Nevada IFIP WG1.3 meeting
Talks at the Sierra Nevada IFIP WG1.3 meeting (January 14-18th, 2008)
15 abstracts, 14 slides, 2 papers
== Monday, January 14th, 2008
- 1 - Pascale LeGall
abstract,
slides
Biological Regulatory Networks modeled as an institution:
property preservation along embedding
- 2 - Fernando Orejas
abstract,
slides
A logic of graph constraints.
== Tuesday, January 15th, 2008
- 3 - José Meseguer: The temporal logic of rewriting.
- 4 - Dusko Pavlovic
abstract,
slides
Specifying authentication protocols for pervasive and social computation.
- 5 - Markus Roggenbach
abstract,
slides, and
paper
Towards testing from CSP-CASL.
- 6 - Marius Petria
abstract,
slides
Free theorems for refinement.
== Wednesday, January 16th, 2008
- 7 - Peter Padawitz
abstract,
slides
Algebraic compilers and their implementation in Haskell
- 8 - Bart Jacobs
abstract
Coalgebraic trace semantics for combined possibilitistic
and probabilistic systems
- 9 - Leila Ribeiro: Revisiting linerar-ordered graph grammars.
- 10 - Mohamed Bettaz
abstract, and
slides
An Object-Z/CSP based approach for the specification of architectural connectors.
== Thursday, January 17th, 2008
- 11 - Andrea Corradini
abstract,
slides
Subobject reansformation systems and elementary net systems.
- 12 - Fabio Gadducci
abstract,
slides and
paper
A behavioural semantics for Petri nets (with an application to web
services development).
- 13 - Christian Kissig
abstract (soon),
slides
Logics for traces.
- 14 - Stefania Gnesi
abstract,
slides
A logical approach to specify service-oriented application
- 15 - Barbara Koenig
abstract,
slides
Graph minors and the analysis of graph transformation systems.
- 16 - Lutz Schroeder
abstract,
slides
Coalgebraic modal logic beyond rank 1.
== Friday, January 18th, 2008
- 17 - Dominique Duval
abstract,
slides
A double-pushout approach for modeling pointer redirection