Participation

Participation

The following have registered for the WG1.3 Meeting in Bonas (with topics where available, and with some links leading to some relevant papers):

Members (16):

Didier Bert

Michel Bidoit

Christine Choppy

Hartmut Ehrig

José Fiadeiro

Marie-Claude Gaudel

Bernd Krieg-Brückner

Peter D. Mosses

Fernando Orejas

Peter Padawitz
-- From (co)algebras and behavior realizations to swinging types

Francesco Parisi-Presicce

Horst Reichel
-- Kan extensions used as definition and proof schemata

P. S. Subramanian

Andrzej Tarlecki

Eric Wagner

Martin Wirsing
-- Correct Software Development with UML: From Classes to Programs
 

Observers (10):

Egon Börger
-- Modeling the Java Virtual Machine using ASM composition principles

Andrea Corradini
-- A review of the structured transition system method and its application to various rewriting formalisms

Kokichi Futatsugi
-- Behavioral Specification in CafeOBJ

Rolf Hennicker
-- Correct Software Development with UML: From Interfaces to Classes

Bart Jacobs
-- Coalgebras and Temporal Logic

Peter Gorm Larsen
-- Proof Rules for Combining Recursion and Underdeterminedness

Tom Maibaum
-- Rely/guarantee reconsidered; a tool for feature interaction

Till Mossakowski
-- CASL - from semantics to tools

Gianna Reggio

Pierre-Yves Schobbens

Participation