Publikationen

2007 [BibTeX]

[Ceb07]

Michael Cebulla. Reactive commonsense reasoning - towards semantic coordination with high-level specifications. In International Conference on Enterprise Information Systems, 2007.

[GK07]

Martin Grabmüller and Dirk Kleeblatt. Harpy: Run-time code generation in Haskell. In Haskell Workshop 2007. ACM Press, September 2007.

[Gra07]

Martin Grabmüller. A model of functional programming with dynamic compilation and optimization. In Henrik Nilsson, editor, Trends in Functional Programming, volume 7. Intellect, April 2007.

[HP07]

Petra Hofstedt and Peter Pepper. Integration of declarative and constraint programming. Theory and Practice of Logic Programming, 7(1&2):93-121, January 2007.

[RG07]

Judith Rohloff and Martin Grabmüller. Verbesserung statischer Programmanalysen mit Hilfe einer Annotationssprache. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07), October 2007.

2006 [BibTeX]

[Ceb06a]

Michael Cebulla. A Hybrid Approach for Reasoning about Self-Optimization. International Transactions on Systems Science and Applications, 2(2), 2006.

[Ceb06b]

Michael Cebulla. Reasoning about Knowledge and Context-Awareness. In Proc. of the 19th International FLAIRS Conference, Melbourne, Fl., 2006. AAAI Press.

[Ceb06c]

Michael Cebulla. Towards Distributed Reasoning for Behavioral Optimization. In Yi Pan, Franz Ramming, Hartmut Schmeck, and Mauricio Solar, editors, Biologically Inspired Cooperative Computing. Springer, 2006.

[Ceb06d]

Michael Cebulla. Towards Distributed Reasoning for Behavioral Robustness. In Proc. of the IFIP World Congress 2006, Santiago de Chile, 2006.

[FHPR06]

S. Frank, P. Hofstedt, P. Pepper, and D. Reckmann. Solution Strategies for Multi-domain Constraint Logic Programs. In Sixth International Andrei Ershov Memorial Conference, Perspectives of System Informatics, 2006. To appear.

[Gra06]

Martin Grabmüller. Implementing Closures using Run-time Code Generation. Research report 2006-02 in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, February 2006.

[MP06]

André Metzner and Peter Pepper. Evolving specifications for embedded systems in the automotive domain. In S. Huanye G. Hommel, editor, Embedded Systems - Modeling, Technology, and Applications, Proceedings of the 7th International Workshop held at Technische Universität Berlin, pages 83-92. Springer, June 2006.

[PH06]

Peter Pepper and Petra Hofstedt. Funktionale Programmierung - Weiterführende Konzepte und Techniken. Springer-Lehrbuch, 2006. ISBN 3-540-20959-X.

2005 [BibTeX]

[Ceb05a]

Michael Cebulla. Modeling Coordination in Multi-Agent Systems by Knowledge Diffusion. In Proc. of the IEEE International Conference on Intelligent Agents, Web Technologies and Internet Commerce, Wien, 2005. IEEE Computer Society.

[Ceb05b]

Michael Cebulla. Transformation of Domain-specific Models as Foundations for Context-Awareness in Complex Systems. In Proc. of the 5th OOPSLA Workshop on Domain-Specific Modeling, 2005.

[FH05]

Stephan Frank and Petra Hofstedt. CLFD: A Finite Domain Constraint Solver in Common Lisp. In Carl Shapiro and JonL White, editors, 25th International Lisp Conference (ILC 2005). Association of Lisp Users (ALU) / Franz Inc., July 2005.

[FHR05]

S. Frank, P. Hofstedt, and D. Reckmann. System Description: Meta-S - Combining Solver Cooperation and Programming Languages. In Armin Wolf, Thom Früwirth, and Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte. Universität Ulm, 2005.

[MP05]

André Metzner and Peter Pepper. A self-healing protocol stack architecture for Bluetooth wireless technology. In S. Huanye G. Hommel, editor, Human Interaction with Machines, Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, pages 23-34. Springer, 2005.

[Nit05a]

Thomas Nitsche. Data Distribution and Communication Management for Parallel Systems. PhD thesis, Technische Universität Berlin, 2005.

[Nit05b]

Thomas Nitsche. Deriving and scheduling communication operations for generic skeleton implementations. Parallel Processing Letters, 15(3):337-352, September 2005.

[SCDP05]

Ingo Stürmer, Mirko Conrad, Heiko Dörr, and Peter Pepper. Verification of code generation tools, 2005. (submitted for publication).

2004 [BibTeX]

[Ceb04a]

Michael Cebulla. Handling Human Factors in Integrated Systems Engineering. Coping with Adaptive Behavior. In Chris W. Johnson and Philippe Palanque, editors, Human Error, Safety, and Systems Development. Kluwer Academic Publ., 2004.

[Ceb04b]

Michael Cebulla. Modeling Concepts for Safety-Relalted Requirements in Sociotechnical Systems. In Maritta Heisel, Peter Liggesmeyer, and Stefan Wittmann, editors, Computer Safety, Reliability, and Security - Proc. of SAFECOMP. Springer, LNCS, 2004.

[FHR04]

S. Frank, P. Hofstedt, and D. Reckmann. Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. In S. Muñoz-Hernández, J. M. Gómez-Perez, and P. Hofstedt, editors, WLPE2004: 14th Workshop on Logic Programming Environments and MultiCPL2004: Third Workshop on Multiparadigm Constraint Programming Languages. Workshop Proceedings, 2004.

[Nit04]

Thomas Nitsche. Communication scheduling for generic skeleton implementations. In Constructive Methods For Parallel Programming (CMPP'04), Stirling, Scotland, UK, July 2004.

[Pep04a]

Peter Pepper. Distributed Teaching of Formal Methods. In C. Neville Dean, editor, Proc. Symp. on Teaching Formal Methods, CoLogNet, Formal Methods Europe 2004, volume 3294 of Lecture Notes in Computer Science. Springer, 2004.

[Pep04b]

Peter Pepper. How to Obtain Powerful Parsers That Are Elegant and Practical. technical report 2004-01, TU Berlin, March 2004.

[Pep04c]

Peter Pepper. Programmieren lernen. Springer-Lehrbuch, 2004. ISBN 3-540-20957-3.

[PPS04]

Dusko Pavlovic, Peter Pepper, and Doug Smith. Colimits for Concurrent Collectors. In Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, pages 323 - 338. Springer, 2004.

2003 [BibTeX]

[FGHM03]

Stephan Frank, Martin Grabmüller, Petra Hofstedt, and André Metzner. Constraints, Predicates, Functions, and a Turtle. In Wolfgang Goerigk, editor, 20. Workshop der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte'', Bad Honnef, Germany, May 2003.

[FHM03a]

Stephan Frank, Petra Hofstedt, and Pierre R. Mai. A Case Study on Termination. In Albert Rubio, editor, Proceedings of the 6th International Workshop on Termination, WST'03. Universidad Politécnica de Valencia, June 2003.

[FHM03b]

Stephan Frank, Petra Hofstedt, and Pierre R. Mai. A Flexible Meta-solver Framework for Constraint Solver collaboration. In A. Günter, R. Kruse, and B. Neumann, editors, Proceedings of the 26th German Conference on Artificial Intelligence - KI 2003, volume 2821 of LNCS. Springer-Verlag, 2003.

[FHM03c]

Stephan Frank, Petra Hofstedt, and Pierre R. Mai. Meta-S: A Strategy-oriented Meta-Solver Framework. In Ingrid Russell and Susan Haller, editors, Proceedings of the 16th International Florida Artificial Intelligence Research Symposium Conference (FLAIRS). The AAAI Press, May 2003.

[GH03]

Martin Grabmüller and Petra Hofstedt. Turtle - A Constraint Imperative Programming Language. In Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, volume XX of Research and Development in Intelligent Systems. Springer Verlag, 2003. To appear.

[Gra03a]

Martin Grabmüller. Implementing Constraint Imperative Languages with Higher-order Functions. In M. Hanus, P. Hofstedt, A. Wolf, S. Abdennadher, T. Frühwirth, and A. Lallouet, editors, MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, pages 43-54, Kinsale, Cork, Ireland, September 2003.

[Gra03b]

Martin Grabmüller. Multiparadigmen-Programmiersprachen. Research report 2003-15 in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, October 2003.

[Gra03c]

Martin Grabmüller. The Constraint Imperative Programming Language Turtle. In Wolfgang Goerigk, editor, 20. Workshop der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte'', Bad Honnef, Germany, May 2003.

[HHW+03]

M. Hanus, P. Hofstedt, A. Wolf, S. Abdennadher, T. Frühwirth, and A. Lallouet, editors. MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming. Kinsale, Ireland, 2003.

[HM03]

Petra Hofstedt and André Metzner. Multiple evaluation strategies for the multiparadigm programming language brooks. In Germán Vidal, editor, Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03, pages 75-88, Valencia, Spain, June 12-13, 2003.

[LyW03]

Markus Lepper and Baltasar Trancon y Widemann. Co-algebraic modeling as an adequate means for %the representation, rendering and discussion of transcendentally defined aesthetic objects. In Proceedings of the 5th Triennial Conference of the European Society for the Cognitive Science of Music. Institute for Research in Music Education, 2003.

[LyWW03]

Markus Lepper, Baltasar Trancon y Widemann, and Jacob Wieland. Tub-tci - a generic architecture for distributed test execution. In 15th IFIP International Conference, TestCom 2003, volume 2644 of Lncs, pages 279-294, Berlin, 2003. Springer.

[yWLW03]

Baltasar Trancon y Widemann, Markus Lepper, and Jacob Wieland. Automatic construction of XML-based tools seen as meta-programming. Automated Software Engineering, 10(1):23-38, 2003.

2002 [BibTeX]

[GHW02]

C. Gips, P. Hofstedt, and F. Wysotzki. Spatial inference - learning vs. constraint solving. In M. Jarke, J. Koehler, and G. Lakemeyer, editors, Advances in Artificial Intelligence. 25th Annual German Conference on AI - KI 2002, volume 2479 of LNCS. Springer Verlag, 2002.

[HHA+02]

Michael Hanus, Petra Hofstedt, Slim Abdennadher, Thom Frühwirth, and Armin Wolf, editors. MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming. Cornell University, Ithaca, NY, USA, 2002.

[Hof02]

P. Hofstedt. A general approach for building constraint languages. In B. McKay and J. Slaney, editors, Advances in Articial Intelligence. 15th Australian Joint Conference on Artificial Intelligence - AI2002, volume 2557 of LNCS. Springer-Verlag, 2002.

[Lep02a]

Markus Lepper. Modeling music using xml - some basic considerations. In Goffredo Haus and Maurizio Longari, editors, Proceedings of MAX 2002 - International Conference of Musical Applications Using XML, 2002.

[Lep02b]

Markus Lepper. Tub-tci - a generic architecture for distributed test execution. Technical Report 2002-08, Berlin, September 2002.

[Nit02a]

Thomas Nitsche. Lifting sequential functions to parallel skeletons. In Sergei Gorlatch and Christian Lengauer, editors, Proc. 3rd International Workshop on Constructive Methods for Parallel Programming (CMPP'02), Dagstuhl, Germany, pages 115-129. Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik, technical report No. 2002/07, June 2002.

[Nit02b]

Thomas Nitsche. Lifting sequential functions to parallel skeletons. Parallel Processing Letters, 12(2):267-284, 2002.

[Nit02c]

Thomas Nitsche. Skeleton implementations based on generic data distributions. In Sergei Gorlatch and Christian Lengauer, editors, Constructive Methods For Parallel Programming (Vol. 10 in Advances in Computation: Theory and Practice), pages 23-39. Nova Science Publishers, New York, 2002.

2001 [BibTeX]

[CGNP01]

Alvaro E. Campos, Sergei Gorlatch, Thomas Nitsche, and Peter Pepper. Distributed programming environments for high level languages, 2001.

[Did01]

Klaus Didrich. Integration of Verification and Testing into Compilation Systems - Concept and Case Study. PhD thesis, TU Berlin, November 2001.

[GLST01]

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nicolai Tillmann. Testable use cases in the abstract state machine language. In Proc. of the APAQS 2001 conference. IEEE Computer Society Press -TO APPEAR-, 2001.

[Hof01a]

P. Hofstedt. Cooperation and Coordination of Constraint Solvers. PhD thesis, Dresden University of Technology, 2001.

[Hof01b]

P. Hofstedt. Declarative host languages for constraint systems. In R. Akerkar, editor, Proc. of the International Symposium on Artificial Intelligence - ISAI 2001, 2001.

[Hof01c]

P. Hofstedt. How to integrate declarative languages and constraint systems. In K.Indermark and Th.Noll, editors, Kolloquium Programmiersprachen, AIB-2001-11. RWTH Aachen, 2001.

[HSG01]

P. Hofstedt, D. Seifert, and E. Godehardt. A framework for cooperating constraint solvers - a prototypic implementation. In E. Monfroy and L. Granvilliers, editors, Workshop on Cooperative Solvers in Constraint Programming - CoSolv. At the Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001, 2001.

[LyWW01]

Markus Lepper, Baltasar Trancon y Widemann, and Jacob Wieland. Minimize mark-up! natural writing should guide the design of textual modeling frontends. In Proc. of the ER2001 conference, volume to appear of LNCS - TO APPEAR -. Springer, 2001.

[Mae01]

Christian Maeder. Zur Kontenxtanalyse einer algebraischen Programmiersprache. PhD thesis, Fachgruppe Übersetzerbau, Falkultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, June 2001.

[yWLWP01]

Baltasar Trancon y Widemann, Markus Lepper, Jacob Wieland, and Peter Pepper. Automized generation of typed syntax trees via xml. In Proc. of the XSE Workshop, pages 20-23, 2001.

2000 [BibTeX]

[GL00a]

Wolfgang Grieskamp and Markus Lepper. Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. In LPAR 2000 - 7th International Conference on Logic for Programming and Automated Reasoning, November 2000.

[GL00b]

Wolfgang Grieskamp and Markus Lepper. Using Use Cases in Executable Z. In ICFEM 2000 - IEEE Conference on Formal Engineering Methods, September 2000.

[GLW00]

Wolfgang Grieskamp, Markus Lepper, and Jacob Wieland. Constraint Programming in Z. rejected, March 2000.

[Gri00a]

Wolfgang Grieskamp. A Computation Model for Z based on Concurrent Constraint Resolution. In ZB2000 - International Conference of Z and B Users (to appear), September 2000. to appear.

[Gri00b]

Wolfgang Grieskamp. A Set-Based Calculus and its Implementation. PhD thesis, Technische Universität Berlin, 2000.

[Hof00a]

P. Hofstedt. Better communication for tighter cooperation. In J. Lloyd et al., editor, First International Conference on Computational Logic - CL 2000, volume 1861 of LNCS. Springer-Verlag, 2000.

[Hof00b]

P. Hofstedt. Cooperating constraint solvers. In R. Dechter, editor, Proc. of Sixth International Conference on Principles and Practice of Constraint Programming - CP 2000, volume 1894 of LNCS. Springer-Verlag, 2000.

[Nit00a]

Thomas Nitsche. Shapeliness analysis of functional programs with algebraic data types. Science of Computer Programming, 37:225-252, May 2000.

[Nit00b]

Thomas Nitsche. Skeleton implementations based on generic data distributions. In Sergei Gorlatch and Christian Lengauer, editors, 2nd International Workshop on Constructive Methods for Parallel Programming (CMPP'2000), Ponte de Lima, Portugal, pages 19-34, July 2000.

[Nit00c]

Thomas Nitsche. Thread communication over mpi. In Jack Dongarra, Peter Kacsuk, and Norbert Podhorszki, editors, Recent Advances in PVM and MPI. 7th European PVM/MPI User's Group Meeting (EuroPVM/MPI'00), Hungary, volume 1908 of LNCS, pages 145-151. Springer, September 2000.

[PCDG00]

P. Pepper, M. Cebulla, K. Didrich, and W. Grieskamp. From program languages to software languages. In Proc. ACIDCA'2000, March 22-24, Monastir, Tunisia, March 2000.

1999 [BibTeX]

[BG99]

Robert Büssow and Wolfgang Grieskamp. A Modular Framework for the Integration of Heterogenous Notations and Tools. In Keijiro Araki, Andy Galloway, and Kenji Taguchi, editors, Proc. of the 1st Intl. Conference on Integrated Formal Methods - IFM'99. Springer-Verlag, London, June 1999.

[DGS+99]

Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, and Baltasar Trancon y Widemann. Reflections in Opal. In Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99), September 1999.

[Did99]

Klaus Didrich. Compiler Support for Specification and Justification - Description of a Case Study. Technical Report 99-18, TU Berlin, November 1999.

[Gri99]

Wolfgang Grieskamp. The mZ calculus and its implementation. In Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99), September 1999. to appear.

[Hof99]

P. Hofstedt. A functional logic language as hostlanguage for a system of combined constraint solvers. In R. Echahed, editor, Proceedings of the 8th International Workshop on Functional and Logic Programming, pages 119-132. Laboratoire LEIBNIZ - Institut IMAG, Grenoble, France, 1999.

[Pep99]

Peter Pepper. "lr parsing = grammar transformation + ll parsing". technical report 99-05, TU Berlin, April 1999.

1998 [BibTeX]

[BG98a]

Robert Büssow and Wolfgang Grieskamp. The Z of ZETA. Technische Universität Berlin, December 1998. The ZETA System Documentation, URL: http://uebb.cs.tu-berlin.de/zeta.

[BG98b]

Robert Büssow and Wolfgang Grieskamp. The ZETA System Developer's Guide. Technische Universität Berlin, December 1998. The ZETA System Documentation, URL: http://uebb.cs.tu-berlin.de/zeta.

[BGGK98]

Robert Büssow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems. 1998.

[BGHH98]

Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, and Stephan Herrmann. An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools. In Proc. of Intl. Workshop on Current Trends in Applied Formal Methods, LNCS. Springer-Verlag, Berlin, 1998.

[BGK98]

R. Büssow, R. Geisler, and M. Klar. Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. In Egidio Astesiano, editor, Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering - FASE'98, volume 1382 of LNCS, pages 71-87. Springer-Verlang, 1998.

[Boh98]

Karsten Bohlmann. Modelling Interaction and Causality: A Two-Level Declarative Approach. PhD thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, February 1998.

[DW98]

Klaus Didrich and Annika Wagner. Integration of Graph Transformation and Functional Programming. In [Proceedings of the Third World Conference on Integrated Design & Process Technology (Berlin, July 1998)], to appear in July 1998. accepted for the Third World Conference on Integrated Design & Process Technology (July 1998).

[GHD98]

Wolfgang Grieskamp, Maritta Heisel, and Heiko Dörr. Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In Egidio Astesiano, editor, Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering - FASE'98, volume 1382 of lncs, pages 88-106. Springer-Verlang, 1998.

[Gri98]

Wolfgang Grieskamp. ZAP User's Guide. Technische Universität Berlin, December 1998. The ZETA System Documentation, URL: http://uebb.cs.tu-berlin.de/zeta.

[Hof98a]

P. Hofstedt. An architecture for the combination of constraint solvers. In K. Apt, P. Codognet, and E. Monfroy, editors, ERCIM/COMPULOG Workshop on Constraints. Amsterdam, Netherlands, 1998.

[Hof98b]

P. Hofstedt. An architecture for the combination of constraint solvers. Technical Report TUD-FI-98-08, Dresden University of Technology, 1998.

[Hof98c]

P. Hofstedt. Combining constraint solvers by projections. In H. Kuchen, editor, Proceedings of the 7th International Workshop on Functional and Logic Programming, volume Arbeitsbericht Nr.63. Westfälische Wilhelms-Universität Münster, 1998.

[Hof98d]

P. Hofstedt. Task parallel skeletons for irregularly structured problems. In D. Pritchard and J. Reeve, editors, Euro-Par'98 - Parallel Processing, 4th International Euro-Par Conference, volume 1470 of LNCS. Springer-Verlag, 1998.

[Kar98]

Olaf Karatschai. Statische sharinganalyse zur optimierung von zwischencode einer funktionalen programmiersprache. Diplomarbeit, TU Berlin, August 1998. In German.

[Lau98]

Oliver Laumann. The Scheme Language as the Foundation for a Reusable Extension Language Kit. PhD thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, January 1998.

[Nit98a]

Thomas Nitsche. Optimizing dynamic execution of data distribution algebras. In Proceedings of GI-Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Karlsruhe (PARS'98), pages 119-128, September 1998.

[Nit98b]

Thomas Nitsche. Shape analysis of functional programs with algebraic data types. In Sergei Gorlatch, editor, Proceedings of the First International Workshop on Constructive Methods for Parallel Programming (CMPP'98), Marstrand, Sweden, pages 16-30, June 1998.

[Nit98c]

Thomas Nitsche. Transformation of cover specifications into communication functions for parallel systems. In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proceedings of the 10th International Workshop on Implementation of Functional Languages, University College London, UK, September 9th-11th 1998 (IFL'98), pages 227-240, September 1998.

[NW98]

Thomas Nitsche and Wolfram Webers. Functional message passing with OPAL-MPI. In Vassil Alexandrov and Jack Dongarra, editors, Proceedings of Recent Advances in Parallel Virtual Machine and Message Passing Interface, 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998 (EuroPVM/MPI'98), volume 1497 of Lecture Notes in Computer Science, pages 281-288. Springer Verlag, September 1998.

[Pep98]

Peter Pepper. Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Springer-Lehrbuch, 1998. ISBN 3-540-64541-1.

[Reu98]

Andreas Reuleaux. Formale spezifikation eines analysealgorithmus für namensräume. Diplomarbeit, TU Berlin, September 1998. In German.

[Web98]

Wolfram Webers. MPI-anbindung an OPAL und die realisierung paralleler abstrakter datentypen. Diplomarbeit, TU Berlin, November 1998. In German.

1997 [BibTeX]

[BG97]

Robert Büssow and Wolfgang Grieskamp. Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science - Asian '97, volume 1345 of LNCS, pages 46-56. Springer-Verlag, 1997.

[BGGK97]

Robert Büssow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. The msz notation version 1.0. Technical Report 97-26, TU Berlin, FB 13, 1997.

[BGLL97]

Robert Büssow, Wolfgang Grieskamp, Frank Lattemann, and Eckard Lehmann. The Definition of Dynamic Z. ESPRESS Projektbericht., May 1997.

[Bra97]

Olaf Brandes. Automatische verfahren zur ausführbarkeitsanalyse und Übersetzung der meng enbasierten spezifikationssprache z. Diplomarbeit, TU Berlin, Mai 1997.

[DEG+97]

Klaus Didrich, Jürgen Exner, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper, and Mario Südholt. Towards a Redesign of OPAL. Technical Report 96-3, TU Berlin, February 1997.

[DGMP97]

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, and Peter Pepper. Programming in the Large: the Algebraic-Functional Language Opal 2$α$. In Proceedings of the 9th International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997 (IFL'97), Selected Papers, volume 1467 of Lecture Notes in Computer Science, pages 323 - 338. Springer, September 1997.

[Did97]

Klaus Didrich. Compiler support for correctness proofs. In Automated Theorem Proving in Software Engineering (CADE-14 workshop), 1997.

[DK97]

Klaus Didrich and Torsten Klein. Dosfop - a documentation tool for the algebraic programming language opal. In Michel Bidoit and Max Dauchet, editors, TAPSOFT '97:Theory and practice of Software Development, LNCS 1214, pages 875-878, April 1997.

[Fra97]

Th. Frauenstein. Funktionale Prozesssprachen höherer Ordnung. PhD thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, December 1997.

[Hof97]

P. Hofstedt. Taskparallele skelette für irregulär strukturierte probleme in deklarativen sprachen. Technical Report Aachener Informatik - Berichte, AIB 97-7, RWTH Aachen, Fachgruppe Informatik, 1997.

[HS97]

P. Hofstedt and S. Schwigon. Methoden zur automatischen parallelisierung (constraint-) logischer programme. Technical Report TUD-FI-97-08, Dresden University of Technology, 1997.

[Kem97]

Martin Kempa. Transformationelle entwicklung für parallele algorithmen aus der linearen algebra. Diplomarbeit, TU Berlin, Februar 1997.

[Pep97a]

Peter Pepper. Funktionale Programmierung (in Opal, ML und Haskell). TU Berlin, Skript für die Lehrveranstaltung Informatik-1, 1997.

[Pep97b]

Peter Pepper. Programmiersprachen: Ein kerngebiet der informatik oder traditionspflege am rande?. Vortragsfolien, Februar 1997.

[PS97]

P. Pepper and M. Südholt. Deriving parallel numerical algorithms using data distribution algebras: Wang's algorithm. In Proceedings of the 30rd Hawaii International Conference on System Sciences, 7th-10th January 1997, Jan 1997.

[SPOP97]

M. Südholt, C. Piepenbrock, K. Obermayer, and P. Pepper. Solving large systems of differential equations using covers and skeletons. In 50th IFIP WG 2.1 Working Conference on Algorithmic Languages and Calculi. Chapman & Hall, February 1997.

[Süd97]

Mario Südholt. The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons. PhD thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, August 1997.

[Wei97]

Thiemo Weiß. Testfallgenerierung auf der basis von z-spezifikationen mit hilfe der klassikationsbaum-methode. Diplomarbeit, TU Berlin, April 1997.

1996 [BibTeX]

[BDG+96]

Robert Büssow, Heiko Dörr, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. msz - ein ansatz zur systematischen verbindung von Z und statecharts. Technical Report 96-32, TU Berlin, FB 13, 1996.

[Boh96]

Karsten Bohlmann. A causal model and a declarative programming language for concurrent systems. Technical Report TR 96-40, Computer Science Department, TU Berlin, October 1996.

[DGG+96]

Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, and Peter Pepper. Towards integrating algebraic programming and functional programming: the opal system. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science, pages 559-562. Springer, 1996.

[FBG96]

T. Frauenstein, M. Baldamus, and R. Glas. Congruence proofs for weak bisimulation on higher-order processes: Results for typed $ømega$-order calculi. Informatik Forschungsbericht TR 96-19, Computer Science Department, Technische Universität Berlin, May 1996.

[FG96]

T. Frauenstein and R. Glas. Bisimulation congruence for the call-by-value $λ$-calculus. Informatik Forschungsbericht TR 96-10, Computer Science Department, Technische Universität Berlin, Feb. 1996.

[FGPS96]

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario Südholt. Communicating functional agents and their application to graphical user interfaces. In Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk, LNCS. Springer Verlag, Jun 1996.

[FGS96]

Thomas Frauenstein, Wolfgang Grieskamp, and Mario Südholt. Temporal semantics of a concurrency monad with choice and services. In Proceedings of the 2nd FUJI International Workshop on Functional and Logic Programming, Nov 1996.

[Gor96]

Ute Goretzki. Anbindung des relationalen datenbanksystems informix an die funktionale programmiersprache opal. Diplomarbeit, TU Berlin, März 1996.

[Jma96]

M. Jmaiel. Specification of communication protocols using temporal logic. Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, June 1996.

[Leh96]

Eckard Lehmann. Interaktiver interpreter und debugger einer funktionalen sprache zur kombinierten auswertung mit kompiliertem code. Diplomarbeit, TU Berlin, Oktober 1996.

[Pep96]

Peter Pepper. An Algebraic Approach to Global-Search Algorithms. In Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing, editors, Specification and Semantics, number 151 in Dagstuhl-Seminar-Report, page 25, 08.07. - 12.07.96 (9628) 1996.

[PS96a]

Peter Pepper and Douglas R. Smith. A high-level derivation of global search algorithms (with constraint propagation). Science of Computer Programming, 1996.

[PS96b]

Peter Pepper and Mario Südholt. Deriving numerical algorithms using data distribution algebras: Wang's algorithm. Technical Report TR96-2, TU Berlin, June 1996.

[PS96c]

Peter Pepper and Mario Südholt. Formulation and development of parallel numerical algorithms with data distribution algebras. In Wolfgang Mackens and Siegfried M. Rump, editors, Software Engineering im Scientific Computing, Scientific Computing, pages 164-169. vieweg, 1996.

1995 [BibTeX]

[Boh95]

Karsten Bohlmann. Studie zu einem kalkül für die funktionale definition von ordnungs- und kommunikationsstrukturen. Technical Report TR 95-29, TU Berlin, 1995.

[FGPS95]

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario Südholt. Communicating functional agents and their application to graphical user interfaces. Technical Report TR95-19, TU Berlin, 1995. Revised Version, April 1996.

[Jma95a]

M. Jmaiel. An algebraic-temporal specification of a csma/cd-protocal. In Proceedings of the IFIP WG 6.1 Fifteenth International Symposium on Protocal Specification, Testing and Verification, Warsaw, Poland, June 1995. Chapman and Hall.

[Jma95b]

M. Jmaiel. Development of communication protocals by composing and refining temporal specifications. In Proceedings of the 4th Software Quality Conference. University of Abertay Dundee, Scotland, UK, July 1995.

[Jma95c]

Mohamed Jmaiel. Development of Communication Protocols with Algebraic-Temporal Specifications. PhD thesis, Fachgruppe Übersetzerbau, Fachbereich Informatik, Technische Universität Berlin, December 1995.

[Kle95]

Torsten Klein. Dosfop - ein benutzerfreundliches dokumentationssystem. Diplomarbeit, TU Berlin, April 1995.

[Nic95]

Jan Nicklisch. Higher order partial algebras in view of the semantics of functional programs. Master's thesis, TU Berlin, July 1995.

[PBDD95]

Peter Pepper, Ralph Betschko, Sabine Dick, and Klaus Didrich. Realizing Sets by Hash Tables. In Manfred Broy and Stefan Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009. Springer, 1995.

[PS95]

Peter Pepper and Mario Südholt. Formulation and development of parallel numerical algorithms with data distribution algebras. In W.Mackens and S. M. Rump, editors, Software Engineering im Scientific Computing, pages 164-169. Vieweg Verlag, Jun 1995.

[PW95]

Peter Pepper and Martin Wirsing. A Method for the Development of Correct Software. In Manfred Broy and Stefan Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009. Springer, 1995.

1994 [BibTeX]

[DEGP94]

K. Didrich, J. Exner, W. Grieskamp, and P. Pepper. Integrating algebraic specifications and functional programming. experiences with the opal system.. In Proceedings of the International Workshop on Advanced Software Technology, Shanghai, Sept. 15-16 1994., 1994.

[DF94]

Klaus Didrich and Andreas Fett. Verifying opal - part i: Verifying in the small. Technical Report 94-23, TU Berlin, December 1994.

[DFG+94]

Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and Peter Pepper. OPAL: Design and Implementation of an Algebraic Programming Language. In Jürg Gutknecht, editor, Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 1994, volume 782 of Lecture Notes in Computer Science, pages 228-244. Springer, 1994.

[EFP94]

Gottfried Egger, Andreas Fett, and Peter Pepper. Formal Specification of a Safe PLC Language and its Compiler. In Victor Maggioli, editor, SAFECOMP'94, Proceedings of the 13th International Conference on Computer Safety, Reliability and Security Anaheim, Kalifornien, USA, pages 11-20, October 1994.

[Jma94]

Mohamed Jmaiel. Development of communication protocols by composing and refining temporal specifications. technical report 94-25, TU Berlin, June 1994.

[JP94]

M. Jmaiel and P. Pepper. Development of communication protocols using algebraic and temporal specifications. In Proceedings of the International Workshop on Advanced Software Technology, Shanghai, Sept. 15-16 1994., 1994.

[PBDD94]

P. Pepper, R. Betschko, S. Dick, and K. Didrich. Realizing sets by hash tables: How to do it in korso. Technical Report 94-30, TU Berlin, August 1994.

[PW94]

Peter Pepper and Martin Wirsing. KORSO: A Methodology for the Development of Correct Software. Technical Report 94-36, TU Berlin, November 1994.

[Süd94]

Mario Südholt. Data distribution algebras - a formal basis for programming using skeletons. In Proceedings of the 4th International Conference on Programming Methods, Concepts, and Calculi (PROCOMET '94), pages 38-57. IFIP, Consiglio Nazionale delle Ricerche, June 1994.

1993 [BibTeX]

[BLOM93]

K. Bohlmann, R. Loogen, and Y. Ortega-Mallén. Concurrent functional processes. In 5th International Workshop on the Implementation of Functional Languages, Nijmegen, NL. Katholieke Universiteit Nijmegen, 1993.

[EP93]

Hartmut Ehrig and Peter Pepper. On the potential role of algebraic specification within computer science. In G. Rozenberg and A. Salomaa, editors, Current Trends in Theoretical Computer Science, chapter 2, pages 51-53. World Scientific, 1993.

[FGGP93]

Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and P. Pepper. Algebraic programming in OPAL. Bulletin of the European Association for Theoretical Computer Science (EATCS), (50):171-181, June 1993.

[Pep93a]

P. Pepper. Program development in an algebraic setting. In B. Möller, H. Partsch, and S. Schuman, editors, Formal Program Development, number 755 in Lecture Notes on Computer Science, pages 225-262. Springer Verlag, Berlin, Heidelberg, New York, 1993. IFIP TC2/WG 2.1 State-of-the-Art Report.

[Pep93b]

Peter Pepper. Deductive derivation of parallel programs. In Robert Paige, John Reif, and Ralph Wachter, editors, Parallel Algorithm Derivation and Program Transformation, chapter 1, pages 1-53. Kluwer Academic Publishers, 1993. Also: Technical Report 92-23, Technische Universität Berlin, July 1992.

[PES93a]

P. Pepper, Jürgen Exner, and Mario Südholt. Functional development of massively parallel programs. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Applications. Proceedings International Conference Novosibirsk, June/July 1993. Lecture Notes on Computer Science 735, pages 217-238. Springer Verlag, Berlin, 1993.

[PES93b]

Peter Pepper, Jürgen Exner, and Mario Südholt. Funktionale Programmierung für massiv parallele Systeme. In H. Reichel, editor, Informatik - Wirtschaft - Gesellschaft, Informatik aktuell, pages 551-556. Springer Verlag, Berlin, Heidelberg, New York, 1993.

[PSE93]

Peter Pepper, Mario Südholt, and Jürgen Exner. Functional programming of massively parallel systems. Technical Report 93-16, Technische Universität Berlin, October 1993.

[PW+93]

Peter Pepper, Martin Wirsing, et al. KORSO: A methodology for the development of correct software. KORSO Meeting March'93, March 1993.

[PWB+93]

Peter Pepper, Martin Wirsing, Ralph Betschko, Martin Beyer, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Michael Mehlich, Thomas Santen, and Martin Strecker. KORSO: A Methodology for the Development of Correct Software. draft distributed at KORSO workshop in Munich, March 1993.

1992 [BibTeX]

[Pep92a]

P. Pepper. Program Development in an Algebraic Setting. Research Report 92-41, TU Berlin, December 1992.

[Pep92b]

Peter Pepper. Deductive derivation of parallel programs. Technical Report 92-23, TU Berlin, July 1992.

[Pep92c]

Peter Pepper. Formal derivation of parallel programs. Talk at Shanghai University, September 1992.

[Pep92d]

Peter Pepper. Grundlagen der Informatik. Oldenbourg Verlag, 1992.

[PW92]

P. Pepper and David Wile. Local Formalisms: An Algebraic View. Research Report 92-24, TU Berlin, July 1992.

1991 [BibTeX]

[Gri91]

Wolfgang Grieskamp. Ein Experiment zur Integration algebraischer Spezifikation und applikativer Programmierung. Master's thesis, TU Berlin, August 1991. in german.

[PE91]

P. Pepper and G. Egger. Applicative I/O and distributed systems: A critique of styles. unveröffentlichtes Papier an der FG Übersetzerbau, FB Informatik, Technische Universität Berlin, Jun. 1991.

[Pep91a]

P. Pepper. Literate Program Derivation. In M. Broy and M. Wirsing, editors, Methods of Programming, Lecture Notes on Computer Science 544, pages 101-124. Springer Verlag, Berlin, Heidelberg, New York, Berlin, 1991.

[Pep91b]

P. Pepper. The Programming Language OPAL (5th corrected edition). Technical Report 91-10, TU Berlin, June 1991.

[Pep91c]

P. Pepper. Transforming Algebraic Specifications - Lessons Learnt from an Example. In B. Möller, editor, Proc. IFIP TC 2 Conf. on Constructing Programs from Specifications, Pacific Grove, California, May 1991, pages 1-27, Amsterdam, 1991. Elsevier.

[PM91]

Peter Pepper and Bernhard Möller. Programming with (finite) mappings. In Manfred Broy, editor, Informatik und Mathematik, pages 381-405. Springer Verlag, Berlin, Heidelberg, New York, 1991.

1987 [BibTeX]

[BEH+87]

F.L. Bauer, H. Ehler, R. Horsch, B. Möller, H. Partsch, O. Paukner, and P. Pepper. The Munich Project CIP. Vol. II: The Transformation System CIP-S, LNCS 292, volume II. Springer Verlag, Berlin, Heidelberg, New York, Berlin, 1987.

[BPW87]

M. Broy, P. Pepper, and M. Wirsing. On the algebraic definition of programming languages. ACM Transactions on Programming Languages and Systems, 9(1):54-99, January 1987.

[Pep87a]

P. Pepper. Application of modal logics to the reasoning about applicative programs. In L.G.L.T. Meertens, editor, Program Specification and Transformation. Proc. IFIP TC 2 Working Conference, pages 429-449, Amsterdam, 1987. North-Holland.

[Pep87b]

P. Pepper. A simple calculus for program transformation (inclusive of induction). Science of Computer Programming, 9(3):221-262, 1987.

[Pep87c]

Peter Pepper. Specification of distributed systems using modal logics. In M. Paul, editor, Computerintegrierter Arbeitsplatz im Büro. Proc. GI - 17. Jahrestagung, volume 156 of Informatik Fachberichte, pages 110-121. Springer Verlag, Berlin, Heidelberg, New York, Berlin-Heidelberg-New York, 1987.

1986 [BibTeX]

[BMPW86]

M. Broy, B. Möller, P. Pepper, and M. Wirsing. Algebraic implementations preserve program correctness. Sci. Comp. Prog., 7:35-53, 1986.

[PP86]

H. Partsch and P. Pepper. Program transformations expressed by algebraic type manipulations. Technique et Sciences Informatiques, 5(3):197-212, 1986.

1985 [BibTeX]

[BBM+85]

F.L. Bauer, M. Broy, B. Möller, P. Pepper, M. Wirsing, et al. The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L. Number 183 in Lecture Notes on Computer Science. Springer Verlag, Berlin, Heidelberg, New York, Berlin, 1985.

[Pep85]

P. Pepper. Spezifikation verteilter Systeme mit modaler Logik. PhD thesis, Technische Universität München, 1985. (Habilitation).

1984 [BibTeX]

[Pep84a]

P. Pepper. Algebraic techniques for program specification. In P. Pepper, editor, Program Transformation and Programming Environments, pages 231-244, Berlin, 1984. Springer Verlag, Berlin, Heidelberg, New York.

[Pep84b]

P. Pepper. Inferential techniques for program development. In P. Pepper, editor, Program Transformation and Programming Environments, pages 275-290, Berlin, 1984. Springer Verlag, Berlin, Heidelberg, New York.

[Pep84c]

P. Pepper, editor. Program Transformation and Programming Environments, Berlin, 1984. Springer Verlag, Berlin, Heidelberg, New York.

1983 [BibTeX]

[BDP+83]

M. Broy, W. Dosch, H. Partsch, P. Pepper, and M. Wirsing. On hierarchies of abstract data types. Acta Informatica, 20:1-33, 1983.

[BP83]

M. Broy and P. Pepper. On the coherence of programming language and programming methodology. In J. Bormann, editor, Programming Languages and System Design, Proc. IFIP TC 2 Working Conf., Dresden, GDR, 7-10 March 1983, pages 41-53, Amsterdam, 1983. North-Holland.

[PP83]

H. Partsch and P. Pepper. Abstract data types as a tool for requirements engineering. In D. Kroenig and G. Hommel, editors, Requirements Engineering. Informatik-Fachberichte 74, pages 42-55. Springer Verlag, Berlin, Heidelberg, New York, Berlin, 1983.

1982 [BibTeX]

[BBD+82]

F.L. Bauer, M. Broy, W. Dosch, H. Partsch, P. Pepper, and M. Wirsing. Abstrakte Datentypen: Die algebraische Definition von Rechenstrukturen. Informatik Spektrum, 5:107-119, 1982.

[BP82]

M. Broy and P. Pepper. Combining algebraic and algorithmic reasoning: an approach to the Schorr-Waite algorithm. ACM Transactions on Programming Languages and Systems, 4(3):362-381, July 1982.

[Pep82]

Peter Pepper. Specification languages and program transformation. In J.K. Reid, editor, Relationship between Numerical Computation and Programming Languages, Proc. IFIP TC 2 Conference, Boulder, Aug. 3-7 1981, pages 331-346, Amsterdam, 1982. North-Holland.

1981 [BibTeX]

[BBD+81]

F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, B. Krieg-Brückner, A. Laut, M. Luckmann, T.A. Matzner, B. Möller, H. Partsch, P. Pepper, K. Samelson, R. Steinbrüggen, M. Wirsing, and H. Wössner. Programming in a wide spectrum language: a collection of examples. Science of Computer Programming, 1:73-114, 1981.

[BP+81a]

F. L. Bauer, P. Pepper, et al. Programming in a wide-spectrum language: a collection of examples. Science of Computer Programming, 1(2):73-114, 1981.

[BP81b]

M. Broy and P. Pepper. Program development as a formal activity. IEEE Transactions on Software Engineering, TSE-7(1):14-22, 1981.

1980 [BibTeX]

[BBPP80]

F.L. Bauer, M. Broy, H. Partsch, and P. Pepper. Das aktuelle Schlagwort: Programmtransformationen. Informatik Spektrum, 3:192-193, 1980.

[BPPW80]

M. Broy, H. Partsch, P. Pepper, and M. Wirsing. Semantic relations in programming languages. In S.H. Lavington, editor, Proc. IFIP Congress 1980, Melbourne, pages 101-106, Amsterdam, 1980. North-Holland.

[BPW80]

M. Broy, P. Pepper, and M. Wirsing. On relations between programs. In B. Robinet, editor, Proc. of the 4th International Symposium on Programming, Paris, April 1980. LNCS 83, pages 59-78, Berlin, 1980. Springer Verlag, Berlin, Heidelberg, New York.

1979 [BibTeX]

[BBP+79]

F.L. Bauer, M. Broy, H. Partsch, P. Pepper, and H. Woessner. Special transformation techniques. In F.L. Bauer and M. Broy, editors, Program Construction. Proc. of the International Summer School, Marktoberdorf 1978. Lecture Notes in Computer Science 69, pages 273-289, Berlin, 1979. Springer Verlag, Berlin, Heidelberg, New York.

[BDP+79]

M. Broy, W. Dosch, H. Partsch, P. Pepper, and M. Wirsing. Existential quantifiers in abstract data types. In 6th Internat. Coll. Automata, Languages and Programming, LNCS 71, pages 73-87, Berlin, 1979. Springer Verlag, Berlin, Heidelberg, New York.

[Pep79]

P. Pepper. A study on transformational semantics. In F.L. Bauer and M. Broy, editors, Program Construction. Proc. of the Int. Summer School, Marktoberdorf 1978, Lecture Notes on Computer Science 69, pages 322-405, Berlin, 1979. Springer Verlag, Berlin, Heidelberg, New York. (Dissertation).

1978 [BibTeX]

[BPPW78]

F.L. Bauer, H. Partsch, P. Pepper, and H. Wössner. A transformational approach to programming. In B. Robinet, editor, Program Transformations. Proc. of the 3rd Int. Symp. on Programming, March 28-30, pages 248-262, Paris, 1978. Dunod.

1977 [BibTeX]

[BPPW77]

F.L. Bauer, H. Partsch, P. Pepper, and H. Wössner. Techniques for program development. In Software Engineering Techniques. Infotech State of the Art Report 34, pages 25-50. Maidenhead: Infotech International, 1977.

1976 [BibTeX]

[PP76]

H. Partsch and P. Pepper. A family of rules for recursion removal. Information Processing Letters, 5(6):174-177, 1976.