Till Mossakowski Papers on DiSC'04 A temporal-logic extension of role-based access control covering dynamic separation of duties Publications Note: Links lead to the DBLP on the Web. Till Mossakowski Lutz Schröder , Till Mossakowski: Monad-Independent Hoare Logic in HASCASL. FASE 2003 : 261-277 Till Mossakowski, Michael Drouineaud , Karsten Sohr : A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME 2003 : 83-90 Till Mossakowski, Markus Roggenbach , Lutz Schröder : CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82 (1): (2003) Serge Autexier , Dieter Hutter , Till Mossakowski, Axel Schairer : The Development Graph Manager MAYA. AMAST 2002 : 495-501 Lutz Schröder , Till Mossakowski: HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST 2002 : 99-116 Till Mossakowski: Heterogeneous Development Graphs and Heterogeneous Borrowing. FoSSaCS 2002 : 326-341 Serge Autexier , Till Mossakowski: Integrating HOL-CASL into the Development Graph Manager MAYA. FroCos 2002 : 2-17 Till Mossakowski: Comorphism-Based Grothendieck Logics. MFCS 2002 : 593-604 Kathrin Hoffmann , Till Mossakowski: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT 2002 : 253-267 Till Mossakowski: Foundations of Heterogeneous Specification. WADT 2002 : 359-375 Till Mossakowski, Horst Reichel , Markus Roggenbach , Lutz Schröder : Algebraic-Coalgebraic Specification in Co Casl. WADT 2002 : 376-392 Lutz Schröder , Till Mossakowski: Monad-Independent Dynamic Logic in Has Casl. WADT 2002 : 425-441 Till Mossakowski: Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286 (2): 367-475 (2002) Lutz Schröder , Till Mossakowski, Andrzej Tarlecki , Bartek Klin , Piotr Hoffman : Semantics of Architectural Specifications in CASL. FASE 2001 : 253-268 Till Mossakowski, Serge Autexier , Dieter Hutter : Extending Development Graphs with Hiding. FASE 2001 : 269-283 Lutz Schröder , Till Mossakowski, Andrzej Tarlecki : Amalgamation in CASL via Enriched Signatures. ICALP 2001 : 993-1004 Bartek Klin , Piotr Hoffman , Andrzej Tarlecki , Lutz Schröder , Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001 : 451-463 Till Mossakowski, Bartek Klin : Institution Independent Static Analysis for CASL. WADT 2001 : 221-237 Till Mossakowski: CASL: From Semantics to Tools. TACAS 2000 : 93-108 Till Mossakowski, Anne Elisabeth Haxthausen , Bernd Krieg-Brückner : Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999 : 126-145 Markus Roggenbach , Lutz Schröder , Till Mossakowski: Specifying Real Numbers in CASL. WADT 1999 : 146-161 Till Mossakowski: Specifications in an Arbitrary Institution with Symbols. WADT 1999 : 252-270 Till Mossakowski: Translationg OBJ3 into CASL: The Institution Level. WADT 1998 : 198-215 Maura Cerioli , Anne Elisabeth Haxthausen , Bernd Krieg-Brückner , Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997 : 91-107 Till Mossakowski, Andrzej Tarlecki , Wieslaw Pawlowski : Combining and Representing Logical Systems. Category Theory and Computer Science 1997 : 177-196 Till Mossakowski: Colimits of order-sorted specifications. WADT 1997 : 316-332 Till Mossakowski, Kolyang , Bernd Krieg-Brückner : Static semantic analysis and theorem proving for CASL. WADT 1997 : 333-348 Till Mossakowski, Andrzej Tarlecki , Wieslaw Pawlowski : Combining and representing logical systems using model-theoretic parchments. WADT 1997 : 349-364 Till Mossakowski: Different Types of Arrow Between Logical Frameworks. ICALP 1996 : 158-169 Till Mossakowski: Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. COMPASS/ADT 1995 : 379-393 Till Mossakowski: Equivalences among Various Logical Frameworks of Partial Algebras. CSL 1995 : 403-433 Hans-Jörg Kreowski , Till Mossakowski: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5 (2): 189-215 (1995) Till Mossakowski: A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. COMPASS/ADT 1994 : 389-405 Till Mossakowski: Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. AMAST 1993 : 137-144 1 [ 20 ] [ 28 ] [ 31 ] 2 [ 11 ] 3 [ 33 ] 4 [ 11 ] [ 15 ] 5 [ 18 ] [ 21 ] 6 [ 26 ] 7 [ 20 ] [ 31 ] 8 [ 17 ] [ 18 ] [ 21 ] 9 [ 8 ] 10 [ 3 ] 11 [ 8 ] [ 11 ] [ 15 ] 12 [ 7 ] [ 10 ] 13 [ 24 ] 14 [ 14 ] [ 24 ] [ 32 ] 15 [ 31 ] 16 [ 14 ] [ 18 ] [ 19 ] [ 21 ] [ 23 ] [ 24 ] [ 30 ] [ 32 ] [ 34 ] 17 [ 33 ] 18 [ 7 ] [ 10 ] [ 18 ] [ 19 ] [ 21 ] ©2004 Association for Computing Machinery