FB 3

Deutsch
English

Publications: MULTIPLE

Go to year: to appear 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1998 1997 1996 1995

to appear Back to top

	Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. An Institution for Simple UML State Machines. In Alexander Egyed, Ina Schaefer (Eds.), 8th International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science. Springer.
	Alexander Knapp, Till Mossakowski, Markus Roggenbach. Towards an Institutional Framework for Heterogeneous Formal Development in UML - A Position Paper. In Rocco De Nicola, Rolf Hennicker (Eds.), Software, Services and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation , Vol. 8950, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.

Daniel Calegari GarcÃa, Till Mossakowski, Nora Szasz (2015). Model-Driven Engineering in the Heterogeneous Tool Set. In Christiano Braga, Narciso MartÃ-Oliet (Eds.), 17th Brazilian Symposium, SBMF 2014, MaceiÃ³, AL, Brazil, September 29--October 1, 2014. Proceedings, Vol. 8941, pp. 64–79, Lecture Notes in Computer Science.

2014 Back to top

Alexander Knapp, Till Mossakowski, Markus Roggenbach (2014). An Institutional Framework for Heterogeneous Formal Development in UML. Note published in arXiv.

2013 Back to top

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2013). The VSE Refinement Method in Hets. In Electronic Communications of the EASST, Vol. 62.

2012 Back to top

Liam O'Reilly, Till Mossakowski, Markus Roggenbach (2012). Compositional modelling and reasoning in an institution for processes and data. In Till Mossakowski, Hans-JÃ¶rg Kreowski (Eds.), WADT 2010, Vol. 7137, pp. 251–269, Lecture Notes in Computer Science. Springer.

2011 Back to top

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2011). Project Abstract: Logic Atlas and Integrator (LATIN). In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Eds.), Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Vol. 6824, pp. 289–291, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.

Dominik Dietrich, Lutz SchrÃ¶der, Ewaryst Schulz (2011). Formalizing and Operationalizing Industrial Standards. In Dimitra Giannakopoulou, Fernando Orejas (Eds.), Fundamental Approaches to Software Engineering (FASE 2011), Vol. 6603, pp. 81–95, Lecture Notes in Computer Science. Springer.

2010 Back to top

	Serge Autexier, Dieter Hutter, Till Mossakowski (2010). Change Management for Heterogeneous Development Graphs. In Simon Siegler, Nathan Wasser (Eds.), Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Vol. 6463, pp. 54–80, LNCS. Springer.
	Mihai Codescu, Till Mossakowski, AdrÃan Riesco, Christian Maeder (2010). Integrating Maude into Hets. In Mike Johnson, Dusko Pavlovic (Eds.), AMAST 2010, Vol. 6486, pp. 60–75, Lecture Notes in Computer Science. Springer.
	Oliver Kutz, Till Mossakowski, Dominik LÃ¼cke (2010). Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design. In Logica Univeralis, 4 (2), pp. 255–333.

2009 Back to top

	Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Eds.), ICFEM 2009, Vol. 5885, pp. 660–678, Lecture Notes in Computer Science. Springer.
	Mihai Codescu (2009). Generalized Theoroidal Institution Comorphisms. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, pp. 88–101, 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.
	Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), pp. 95–124. Winner of the universal logic 2007 contest..
	Lutz SchrÃ¶der, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), pp. 1217–1260.

2008 Back to top

	Mihai Codescu, Daniel Gaina (2008). Birkhoff Completeness in Institutions. In Logica Universalis, 2 (2), pp. 277–309.
	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, Dominik LÃ¼cke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Vol. 90, CRPIT.
	Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Eds.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Vol. 348, CEUR-WS online proceedings.
	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.

2007 Back to top

	Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz SchrÃ¶der (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), pp. 129–152.
	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, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus LÃ¼ttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Ed.), VERIFY 2007, 4th International Verification Workshop, Vol. 259, pp. 119–135, CEUR Workshop Proceedings.
	Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Ed.), Logica Universalis, No. second edition, pp. 111–133. BirkhÃ¤user.
	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.
	Paolo Torrini, Christpoh LÃ¼th, Christian Maeder, Till Mossakowski (2007). Translating Haskell to Isabelle. In Klaus Schneider, Jens Brandt (Eds.), Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, (p. 178â€“193). . Uni Kaiserslautern.
	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

	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.
	Till Mossakowski, Christian Maeder, Klaus LÃ¼ttich (2006). Hets User Guide. Department of Computer Science; UniversitÃ¤t Bremen. Technical Report.
	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.

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.

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). 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). HetCASL - Heterogeneous Specification. Language Summary.

2003 Back to top

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.

2002 Back to top

	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.
	T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Vol. 286, pp. 367–475.
	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.

2001 Back to top

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.

2000 Back to top

A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski (2000). Categorical Fibring of Logics with Terms and Binding Operators. In D. Gabbay, Rijke, M. de (Eds.), Frontiers of Combining Systems 2, pp. 295–316, Studies in Logic and Computation. Research Studies Press.

1998 Back to top

T. Mossakowski, A. Tarlecki, W. Pawlowski (1998). Combining and Representing Logical Systems Using Model-Theoretic Parchments. In F. Parisi Presicce (Ed.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Vol. 1376, pp. 349–364, Lecture Notes in Computer Science. Springer Verlag, London.

1997 Back to top

T. Mossakowski, A. Tarlecki, W. Pawlowski (1997). Combining and Representing Logical Systems. In E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science, 7th Int. Conf., Vol. 1290, pp. 177–196, Lecture Notes in Computer Science. Springer Verlag, London.

1996 Back to top

	T. Mossakowski (1996). Representations, hierarchies and graphs of institutions. UniversitÃ¤t Bremen. Also appeared as book in Logos Verlag.
	T. Mossakowski (1996). Different Types of Arrow Between Logical Frameworks. In F. Meyer auf der Heide, B. Monien (Eds.), Proc. ICALP 96, Vol. 1099, pp. 158–169, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, Vol. 1130, pp. 379–393, Lecture Notes in Computer Science. Springer Verlag, London.
	T. Mossakowski (1996). Equivalences among various logical frameworks of partial algebras. In H. Kleine BÃ¼ning (Ed.), Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, Vol. 1092, pp. 403–433, Lecture Notes in Computer Science. Springer Verlag, London.

1995 Back to top

	H.-J. Kreowski, T. Mossakowski (1995). Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras. In Mathematical Structures in Computer Science, Vol. 5, pp. 189–215.
	T. Mossakowski (1995). A Hierarchy of Institutions separated by properties of parameterized abstract data types. In E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification. Proceedings, Vol. 906, pp. 389–405, Lecture Notes in Computer Science. Springer Verlag, London.
Show selected entries in BibTex Format

Author: Dr. Till Mossakowski

Group BKB

Last updated: February 2, 2006