Peter Pepper

Publication Activity (10 Years)

Years Active: 1976-2021
Publications (10 Years): 1

Top Venues

ENIS

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Guido Bacharach, Winfried Raab, Hans Pongratz, Peter Pepper
ICT-based continuous innovation and research in German university admissions. ENIS (2021)
Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz
A Compositional Semantics for Modelica-style Variable-structureModeling. EOOLT (2011)
Christoph Höger, Florian Lorenzen, Peter Pepper
Notes on the Separate Compilation of Modelica. EOOLT (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors CoRR (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors. MPC (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Evolving Specification Engineering. AMAST (2008)
Peter Pepper
Specification Techniques (Not Only) for Autonomous Systems. SJTU-TUB Joint Workshop (2008)
Petra Hofstedt, Peter Pepper
Integration of declarative and constraint programming. Theory Pract. Log. Program. 7 (1-2) (2007)
Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33 (9) (2007)
Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference (2006)
Petra Hofstedt, Peter Pepper
Integration of Declarative and Constraint Programming CoRR (2005)
Peter Pepper
Distributed Teaching of Formal Methods. TFM (2004)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Colimits for Concurrent Collectors. Verification: Theory and Practice (2003)
Mohamed Jmaiel, Peter Pepper
Development of communication protocols using algebraic and temporal specifications. Comput. Networks 42 (6) (2003)
Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp
From program languages to software languages. J. Syst. Softw. 60 (2) (2002)
Peter Pepper, Douglas R. Smith
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. 28 (2-3) (1997)
Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper
Solving large systems of differential equations in parallel using covers and skeletons. Algorithmic Languages and Calculi (1997)
Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages (1997)
Peter Pepper
Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. HICSS (1) (1997)
Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt
Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference (1996)
Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST (1996)
Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures (1994)
Peter Pepper
Program Development in an Algebraic Setting. Formal Program Development (1993)
Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
Algebreic Programming in Opal. Bull. EATCS 50 (1993)
Peter Pepper, Jürgen Exner, Mario Südholt
Funktionale Programmierung für massiv parallele Systeme. GI Jahrestagung (1993)
Peter Pepper, Jürgen Exner, Mario Südholt
Functional Development of Massively Parallel Programs (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Peter Pepper
Literate Program Derivation: A Case Study. Methods of Programming (1991)
Hartmut Ehrig, Peter Pepper, Fernando Orejas
On Recent Trends in Algebraic Specification. ICALP (1989)
Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15 (2) (1989)
Peter Pepper
An Algebraic View of Local Formalisms. ADT (1988)
Manfred Broy, Martin Wirsing, Peter Pepper
On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9 (1) (1987)
Peter Pepper
A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. 9 (3) (1987)
Peter Pepper
Specification of Distributed Systems Using Modal Logics. GI Jahrestagung (1987)
Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7 (1) (1986)
Peter Pepper
A simple calculus for program transformations Forschungsberichte, TU Munich (1984)
Helmuth Partsch, Peter Pepper
Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering (1983)
Peter Pepper
Correctness of Type Transformations. ADT (1983)
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
On Hierarchies of Abstract Data Types. Acta Informatica 20 (1983)
Peter Pepper
On the Algebraic Specification of Programming Languages. ADT (1982)
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5 (2) (1982)
Manfred Broy, Peter Pepper
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4 (3) (1982)
Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1 (1-2) (1981)
Manfred Broy, Peter Pepper
Program Development as a Formal Activity. IEEE Trans. Software Eng. 7 (1) (1981)
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
Programmtransformationen - Das aktuelle Schlagwort. Inform. Spektrum 3 (3) (1980)
Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
Semantic Relations in Programming Languages. IFIP Congress (1980)
Manfred Broy, Peter Pepper, Martin Wirsing
On Relations Between Programs. Symposium on Programming (1980)
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
Existential Quantifiers in Abstract Data Types. ICALP (1979)
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices 13 (12) (1978)
Peter Pepper
A Study on Transformational Semantics. Program Construction (1978)
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction (1978)
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
Systematics of Transformation Rules. Program Construction (1978)
Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
Special Transformation Techniques. Program Construction (1978)
Helmuth Partsch, Peter Pepper
A Family of Rules for Recursion Removal. Inf. Process. Lett. 5 (6) (1976)

Peter Pepper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Pepper