Michael Baldamus

17 papers A* 2Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2005 A* conf
A Fully Abstract Encoding of the
ICALP
Michael Baldamus, Joachim Parrow, Björn Victor
2004 A* conf
Spi Calculus Translated to ?--Calculus Preserving May-Tests.
LICS
Michael Baldamus, Joachim Parrow, Björn Victor
2004 — conf
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
WSFM
Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi
2002 — conf
Modifying Esterel Concepts to Model Hybrid Systems.
SLAP
Michael Baldamus, Thomas Stauner
2002 J jnl
The BDD Space Complexity of Different Forms of Concurrency.
Fundam. Informaticae
Michael Baldamus, Klaus Schneider
2001 — conf
The BDD Space Complexity of Different Forms of Concurrency.
ACSD
Michael Baldamus, Klaus Schneider
2001 — conf
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).
SPIN
Michael Baldamus, Jochen Schröder-Babo
2000 — conf
Can American Checkers be Solved by Means of Symbolic Model Checking?
FM-Everywhere@FORTE/PSTV
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller
2000 — conf
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.
CMCS
Michael Baldamus
2000 — conf
First-order Semantics for Higher-order Processes.
HOOTS
Michael Baldamus
1999 J jnl
Abstract and behaviour module specifications.
Math. Struct. Comput. Sci.
Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
1998 — —
Semantics and logic of higher order processes: characterizing late context bisimulation.
Michael Baldamus
1997 — conf
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
TAPSOFT
Michael Baldamus, Jürgen Dingel
1993 — ch.
New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
Current Trends in Theoretical Computer Science
Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991 J jnl
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bull. EATCS
Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991 — conf
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
COMPASS/ADT
Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991 — conf
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST
Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas