Till Mossakowski: List of Publications - CASL

Go to year:  to appear   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997 

to appear     Back to top

Lutz Schröder, Till Mossakowski. HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science. To appear.

2008     Back to top

	Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.
	Oliver Kutz, Till Mossakowski (2008). Conservativity in Structured Ontologies. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), ECAI 2008, Vol. 178, Frontiers in Artificial Intelligence and Applications. IOS Press.
	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.

2007     Back to top

	Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 74–91. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Eds.), TACAS 2007, Vol. 4424, pp. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	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.
	Stefan Wölfl, Till Mossakowski, Lutz Schröder (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Eds.), 20th International FLAIRS Conference (FLAIRS-20), pp. 665–670. AAAI Press.

2006     Back to top

	Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), pp. 121–143. Extends (Hausmann et al. 2005).
	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.

2005     Back to top

	Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005). Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus. In Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 232–246, Lecture Notes in Computer Science. Springer, Berlin.
	K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 106–125, Lecture Notes in Computer Science. Springer, Berlin.
	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.
	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 (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Habilitation thesis.
	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, 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, Lutz Schröder, Till Mossakowski (2005). Parametrized Exceptions. In Jose Fiadeiro, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 424–438, Lecture Notes in Computer Science. Springer, Berlin.

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.
	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.
	T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.
	T. Mossakowski (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.
	T. Mossakowski (2004). CASL Sublanguages and extensions. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, pp. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Tools. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 131–142, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (2004). CASL Basic Libraries. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 143–154, Lecture Notes in Computer Science. Springer Verlag, London.
	Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004). Libraries. In Peter Mosses (Ed.), CASL reference manual, Vol. 2960, Lecture Notes in Computer Science. Springer, Berlin. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.
	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, 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.
	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.
	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.

2002     Back to top

	S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Vol. 2309, pp. 2–17, 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, 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.
	Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.
	Lutz Schröder, Till Mossakowski (2002). HasCASL: towards integrated specification and development of functional programs. In Hélène Kirchner, Christophe Ringeissen (Eds.), Algebraic Methodology And Software Technology (AMAST 2002), Vol. 2422, pp. 99–116, Lecture Notes in Computer Science. Springer, Berlin.

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.
	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.
	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.

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.
	T. Mossakowski, A. Haxthausen, B. Krieg-Brückner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski (2000). How to write consistent CASL design specifications. CoFI note M-8.
	Markus Roggenbach, Lutz Schröder, Till Mossakowski (2000). Specifying real numbers in CASL. In Christine Choppy, Didier Bert (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Vol. 1827, pp. 146–161, Lecture Notes in Computer Science. Springer, Berlin.

1999     Back to top

	T. Mossakowski (1999). Translating OBJ3 to CASL: the institution level. In J. L. Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, Vol. 1589, pp. 198–214, Lecture Notes in Computer Science. Springer Verlag, London.
	Till Mossakowski, Markus Roggenbach (1999). The datatypes REAL and COMPLEX in CASL. CoFI note M-7.
	Markus Roggenbach, Till Mossakowski (1999). Proposal of some annotations and literal syntax in CASL. CoFI note L-11.

1998     Back to top

Till Mossakowski (1998). Two "functional programming" sublanguages of CASL. CoFI note L-9.

1997     Back to top

	M. Cerioli, A. Haxthausen, B. Krieg-Brückner, T. Mossakowski (1997). Permissive Subsorted Partial Logic in CASL. In M. Johnson (Ed.), Algebraic methodology and software technology, 6th international conference, AMAST 97, No. 1349, (p. 91–107). , Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Till Mossakowski (1997). Sublanguages of CASL. CoFI note L-7.
Show selected entries in BibTex Format