FB 3
Group BKB
>
Research
>
Formal Methods
>
Deutsch
English
Publications: CASL-Semantics
Go to year:
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
2010
Back to top
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2010).
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects
. In Formal Aspects of Computing, 22 (3-4), pp. 363–384.
2009
Back to top
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2009).
Kleene Monads: Handling Iteration in a Framework of Generic Effects
. In Alexander Kurz, Andrzej Tarlecki (Eds.), Algebra and Coalgebra in Computer Science (CALCO 2009), Vol. 5728, pp. 18–33, Lecture Notes in Computer Science. Springer.
Till Mossakowski, Andrzej Tarlecki (2009).
Heterogeneous Logical Environments for Distributed Specifications
. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.
Lutz Schröder, Till Mossakowski (2009).
HasCASL: Integrated Higher-Order Specification and Program Development
. In Theoretical Computer Science, 410 (12-13), pp. 1217–1260.
Lutz Schröder, Dirk Pattinson (2009).
PSPACE Bounds for Rank-1 Modal Logics
. In ACM Transactions on Computational Logic, 10 (2:13), pp. 1–33.
2008
Back to top
Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008).
CASL, the Common Algebraic Specification Language
. In D. Bjorner, M. Henson (Eds.), Logics of formal specification languages, pp. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.
Lutz Schröder (2008).
Bootstrapping Inductive and Coinductive Types in HasCASL
. In Logical Methods in Computer Science, 4 (4:17), pp. 1–27.
Lutz Schröder (2008).
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
. In Theoretical Computer Science, Vol. 390, pp. 230–247. Extends (Schröder 2005).
2007
Back to top
Lutz Schröder, Dirk Pattinson (2007).
Modular Algorithms for Heterogeneous Modal Logics
. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Eds.), Automata, Languages and Programming (ICALP 07), Vol. 4596, pp. 459–471, Lecture Notes in Computer Science. Springer.
Lutz Schröder (2007).
Bootstrapping Types and Cotypes in HasCASL
. In Till Mossakowski, Udo Montanari (Eds.), Algebra and Coalgebra in Computer Science (CALCO 07), Vol. 4624, pp. 447–462, Lecture Notes in Computer Science. Springer.
Extended version
available.
Lutz Schröder, Till Mossakowski (2007).
Coalgebraic Modal Logic in CoCASL
. In José Luiz Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Vol. 4409, pp. 128–142, Lecture Notes in Computer Science. Springer.
2006
Back to top
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006).
Completeness of Global Evaluation Logic
. In Rastislav Kralovic, Pawel Urzyczyn (Eds.), Mathematical Foundations of Computer Science, Vol. 4162, pp. 447–458, Lecture Notes in Computer Science.
Springer, Berlin
.
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006).
Algebraic-co-algebraic specification in CoCASL
. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 146–197. Extends (Mossakowski et al. 2003).
T. Mossakowski, S. Autexier, D. Hutter (2006).
Development Graphs -- Proof Management for Structured Specifications
. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 114–145.
Till Mossakowski (2006).
Institutional 2-cells and Grothendieck institutions
. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Eds.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Vol. 4060, pp. 124–149, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder (2006).
A Finite Model Construction for Coalgebraic Modal Logic
. In Luca Aceto, Anna Ingólfsdóttir (Eds.), Foundations Of Software Science And Computation Structures, Vol. 3921, pp. 157–171, Lecture Notes in Computer Science.
Springer, Berlin
. EATCS Best Paper Award at ETAPS 2006.
Lutz Schröder, Dirk Pattinson (2006).
PSPACE Bounds for Rank 1 Modal Logics
. In Rajeev Alur (Ed.), Logic in Computer Science (LICS 06), pp. 231–240. IEEE.
Presentation slides
available.
Lutz Schröder (2006).
The HasCASL Prologue - Categorical Syntax and Semantics of the Partial λ-calculus
. In Theoret. Comput. Sci., Vol. 353, pp. 1–25.
2005
Back to top
Till Mossakowski (2005).
Heterogeneous specification and the heterogeneous tool set
. Universitaet Bremen. Technical Report. Habilitation thesis.
Till Mossakowski (2005).
Heterogeneous Theories and the Heterogeneous Tool Set
. In Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, M. Uschold (Eds.), Semantic Interoperability and Integration, No. 04391, Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ.
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2005).
What is a Logic?
. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113–133. Birkhäuser.
T. Mossakowski, D. Sannella, A. Tarlecki (2005).
A simple refinement language for CASL
. In Jose Luiz Fiadeiro (Ed.), WADT 2004, Vol. 3423, pp. 162–185, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartek Klin (2005).
Amalgamation in the semantics of CASL
. In Theoretical Computer Science, 331 (1), pp. 215–247.
Lutz Schröder (2005).
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
. In Vladimiro Sassone (Ed.), Foundations of Software Science And Computation Structures, Vol. 3441, pp. 440–454, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski, Christoph Lüth (2005).
Type class polymorphism in an institutional framework
. In José Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 234–248, Lecture Notes in Computer Science.
Springer, Berlin
.
Dennis Walter (2005).
Monadic Dynamic Logic: Application and Implementation
. Master's Thesis (Diplomarbeit).
2004
Back to top
Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki (2004).
CASL Semantics
. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ă‹dited by D. Sannella and A. Tarlecki.
T. Mossakowski (2004).
HetCASL - Heterogeneous Specification. Language Summary
.
Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter (2004).
CASL Logic
. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ă‹dited by T. Mossakowski.
Lutz Schröder (2004).
The logic of the partial λ-calculus with equality
. In Jerzy Marcinkowski, Andrzej Tarlecki (Eds.), Computer Science Logic (CSL 04), Vol. 3210, pp. 385–399, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski (2004).
Generic exception handling and the Java monad
. In Charles Rattray, Savitri Maharaj, Carron Shankland (Eds.), Algebraic Methodology and Software Technology, Vol. 3116, pp. 443–459, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski (2004).
Monad-independent dynamic logic in HasCASL
. In Journal of Logic and Computation, 14 (4), pp. 571–619. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
2003
Back to top
Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki (2003).
CASL, the Common Algebraic Specification Language: Semantics and Proof Theory
. In Computing and Informatics, Vol. 22, pp. 285–321.
T. Mossakowski (2003).
Foundations of heterogeneous specification
. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, pp. 359–375, Lecture Notes in Computer Science. Springer Verlag, London.
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder (2003).
Algebraic-co-algebraic specification in CoCASL
. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Vol. 2755, pp. 376–392, Lecture Notes in Computer Science.
Springer, Berlin
.
Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003).
CoCASL at work --- Modelling Process Algebra
. In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science.
Elsevier Science
.
Lutz Schröder (2003).
Henkin models of the partial λ-calculus
. In Matthias Baaz, Johann Makowsky (Eds.), Computer Science Logic, Vol. 2803, pp. 498–512, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski (2003).
Monad-independent Hoare logic in HasCASL
. In Mauro Pezze (Ed.), Fundamental Approaches to Software Engineering (FASE 2003), Vol. 2621, pp. 261–277, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder (2003).
Classifying categories for partial equational logic
. In Richard Blute (Ed.), Category Theory and Computer Science (CTCS 02), Vol. 69, Electronic Notes in Theoretical Computer Science.
Elsevier Science
.
2002
Back to top
T. Mossakowski (2002).
Comorphism-based Grothendieck logics
. In K. Diks, W. Rytter (Eds.), Mathematical foundations of computer science, Vol. 2420, pp. 593–604, Lecture Notes in Computer Science. Springer Verlag, London.
T. Mossakowski, B. Klin (2002).
Institution Independent Static Analysis for CASL
. In M. Cerioli, G. Reggio (Eds.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Vol. 2267, pp. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.
T. Mossakowski (2002).
Relating CASL with Other Specification Languages: the Institution Level
. In Theoretical Computer Science, Vol. 286, pp. 367–475.
T. Mossakowski (2002).
Heterogeneous development graphs and heterogeneous borrowing
. In M. Nielsen, U. Engberg (Eds.), Foundations of Software Science and Computation Structures, Vol. 2303, pp. 326–341, Lecture Notes in Computer Science. Springer-Verlag.
2001
Back to top
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001).
Checking amalgamability conditions for CASL architectural specifications
. In Jiri Sgall, Ales Pultr, Petr Kolman (Eds.), Mathematical Foundations of Computer Science, Vol. 2136, pp. 512–523, Lecture Notes in Computer Science.
Springer, Berlin
.
T. Mossakowski, S. Autexier, D. Hutter (2001).
Extending Development Graphs With Hiding
. In H. HuĂźmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.
Markus Roggenbach, Lutz Schröder (2001).
Towards Trustworthy Specifications I: Consistency Checks
. In Maura Cerioli, Gianna Reggio (Eds.), Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001, Vol. 2267, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001).
Amalgamation via enriched CASL signatures
. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Eds.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Vol. 2076, pp. 993–1004, Lecture Notes in Computer Science.
Springer, Berlin
.
Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001).
Semantics of Architectural Specifications in CASL
. In Heinrich HuĂźmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 253–268, Lecture Notes in Computer Science.
Springer, Berlin
.
2000
Back to top
Till Mossakowski (2000).
CASL: From Semantics to Tools
. In S. Graf, M. Schwartzbach (Eds.), TACAS 2000, Vol. 1785, pp. 93–108, Lecture Notes in Computer Science. Springer Verlag, London.
T. Mossakowski (2000).
Specification in an arbitrary institution with symbols
. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 252–270, Lecture Notes in Computer Science. Springer Verlag, London.
Show selected entries in BibTex Format
Author:
Dr. Till Mossakowski
Group BKB
Last updated: February 1, 2006