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: Mossakowski:Till
Contributed to:
2015
20142008
20072005200320022001
200120001996Wrote 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.
- ICALP-2001-SchroderMT
- 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.