BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Hungary
1 × Italy
1 × Poland
1 × Portugal
2 × France
2 × Germany
2 × United Kingdom
Collaborated with:
L.Schröder A.Tarlecki S.Goncharov C.Maeder K.Lüttich D.Hausmann S.Autexier D.Hutter A.Knapp M.Roggenbach M.Glauer B.Klin P.Hoffman
Talks about:
heterogen (4) casl (4) logic (3) develop (2) complet (2) specif (2) semant (2) graph (2) tool (2) architectur (1)

Person: Till Mossakowski

DBLP DBLP: Mossakowski:Till

Contributed to:

FASE 20152015
FoSSaCS 20142014
FASE 20082008
TACAS 20072007
FASE 20052005
FASE 20032003
FoSSaCS 20022002
FASE 20012001
ICALP 20012001
TACAS 20002000
ICALP 19961996

Wrote 12 papers:

FASE-2015-KnappMRG #state machine #uml
An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.
FoSSaCS-2014-MossakowskiT #calculus #specification
A Relatively Complete Calculus for Structured Heterogeneous Specifications (TM, AT), pp. 441–456.
FASE-2008-MossakowskiSG #logic #reasoning
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
TACAS-2007-MossakowskiML #set
The Heterogeneous Tool Set, Hets (TM, CM, KL), pp. 519–522.
FASE-2005-HausmannMS #higher-order #induction
Iterative Circular Coinduction for CoCasl in Isabelle/HOL (DH, TM, LS), pp. 341–356.
FASE-2003-SchroderM #hoare #independence #logic
Monad-Independent Hoare Logic in HASCASL (LS, TM), pp. 261–277.
FoSSaCS-2002-Mossakowski #development #graph
Heterogeneous Development Graphs and Heterogeneous Borrowing (TM), pp. 326–341.
FASE-2001-MossakowskiAH #development #graph
Extending Development Graphs with Hiding (TM, SA, DH), pp. 269–283.
FASE-2001-SchroderMTKH #architecture #semantics #specification
Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.
Amalgamation in CASL via Enriched Signatures (LS, TM, AT), pp. 993–1004.
TACAS-2000-Mossakowski #named #semantics #tool support
CASL: From Semantics to Tools (TM), pp. 93–108.
ICALP-1996-Mossakowski #framework #logic
Different Types of Arrow Between Logical Frameworks (TM), pp. 158–169.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.