Werner Damm

According to our database, Werner Damm authored at least 111 papers between 1977 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.

Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith

ACM Trans. Cyber Phys. Syst., January, 2024

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.

Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith

ACM Trans. Cyber Phys. Syst., January, 2024

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.

Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith

ACM Trans. Cyber Phys. Syst., January, 2024

2023

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2020

Identification and Quantification of Hazardous Scenarios for Automated Driving.

Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

Dynamic Conflict Resolution Using Justification Based Reasoning.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Justification Based Reasoning in Dynamic Conflict Resolution.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

CoRR, 2019

Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic.

Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.

Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Contracts for System Design.

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen

Found. Trends Electron. Des. Autom., 2018

Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving.

Werner Damm, Roland Galbas

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, 2018

A Formal Semantics for Traffic Sequence Charts.

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow

Proceedings of the Principles of Modeling, 2018

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles.

Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.

Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

Autonome Systeme - Fähigkeiten und Anforderungen.

Werner Damm, Ralf Kalmar

Inform. Spektrum, 2017

2016

What You Really Need To Know About Your Neighbor.

Werner Damm, Bernd Finkbeiner, Astrid Rakow

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2015

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Contracts for Schedulability Analysis.

Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned.

Werner Damm

Proceedings of the FM 2015: Formal Methods, 2015

A conceptual model of system of systems.

Werner Damm, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

2014

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16).

Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun

NII Shonan Meet. Rep., 2014

Component based design of hybrid systems: a case study on concurrency and coupling.

Werner Damm, Eike Möhlmann, Astrid Rakow

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Automatic Compositional Synthesis of Distributed Systems.

Werner Damm, Bernd Finkbeiner

Proceedings of the FM 2014: Formal Methods, 2014

2013

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.

Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal

Math. Struct. Comput. Sci., 2013

2012

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems.

Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone

Eur. J. Control, 2012

Introduction to the SPES Modeling Framework.

Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans

Math. Comput. Sci., 2011

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.

Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden

Proceedings of the Industrial Embedded Systems (SIES), 2011

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Crossing the Bridge between Similar Games.

Jan-David Quesel, Martin Fränzle, Werner Damm

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.

Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Does It Pay to Extend the Perimeter of a World Model?

Werner Damm, Bernd Finkbeiner

Proceedings of the FM 2011: Formal Methods, 2011

Using contract-based component specifications for virtual integration testing and architecture design.

Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Towards Component Based Design of Hybrid Systems: Safety and Stability.

Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli

Proceedings of the Time for Verification, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli

IEEE Des. Test Comput., 2009

2008

Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.

Werner Damm

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Software Components for Reliable Automotive Systems.

Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale

Proceedings of the Design, Automation and Test in Europe, 2008

2007

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).

Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm

it Inf. Technol., 2007

Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.

Werner Damm, Guilherme Pinto, Stefan Ratschan

Int. J. Found. Comput. Sci., 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2007

Verification and Synthesis of OCL Constraints Via Topology Analysis.

Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.

Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Embedded system development for automotive applications: trends and challenges.

Werner Damm

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

On the Expressive Power of Live Sequence Charts.

Werner Damm, Tobe Toben, Bernd Westphal

Proceedings of the Program Analysis and Compilation, 2006

Automatic Verification of Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi

ACM Trans. Embed. Comput. Syst., 2005

Live and let die: LSC based verification of UML models.

Werner Damm, Bernd Westphal

Sci. Comput. Program., 2005

A discrete-time UML semantics for concurrency and communication in safety-critical applications.

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Sci. Comput. Program., 2005

Automatic Validation and Verification in a Model-Based Development Process.

Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Controlling Speculative Design Processes Using Rich Component Models.

Werner Damm

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Model Checking (Grundlagen und Praxiserfahrungen).

Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf

Inform. Spektrum, 2004

Introduction to Subject Area 'Charts'.

Werner Damm, Bernd Westphal

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.

Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Formal Verification of LSCs in the Development Process.

Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Adding Value to Automotive Models.

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken

Proceedings of the Automotive Software, 2004

2003

A Semantics for Distributed Execution of Statemate.

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm

Formal Aspects Comput., 2003

Recent Trends in the Development of Safety Critical Systems.

Werner Damm

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.

Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

On the Verification of Cooperating Traffic Agents.

Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Eliminating Queues from RT UML Model Representations.

Werner Damm, Bengt Jonsson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).

Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke

Informationstechnik Tech. Inform., 2001

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.

Werner Damm, Jochen Klose

Formal Methods Syst. Des., 2001

LSCs: Breathing Life into Message Sequence Charts.

Werner Damm, David Harel

Formal Methods Syst. Des., 2001

Understanding UML - Pains and Rewards.

Werner Damm

Proceedings of the «UML» 2001, 2001

2000

Die EVENTS-Architektur (The EVENTS Architecture).

Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl

Informationstechnik Tech. Inform., 2000

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung.

Hans-Jürgen Appelrath, Werner Damm, K.-H. Menke, Wolfgang Nebel, Wilfried Thoben

Inform. Forsch. Entwickl., 2000

Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.

Werner Damm

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Challenges in the Verification of Electronic Control Units.

Werner Damm

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

The STATEMATE Verification Environment - Making It Real.

Tom Bienmüller, Werner Damm, Hartmut Wittke

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999

1998

Verifying electronic control unit: today and tomorrow.

Werner Damm

Proceedings of the Programming Concepts and Methods, 1998

First-Order-CTL Model Checking.

Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Herbrand Automata for Hardware Verification.

Werner Damm, Amir Pnueli, Sitvanit Ruah

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

A Compositional Real-Time Semantics of STATEMATE Designs.

Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Verifying out-of-order executions.

Werner Damm, Amir Pnueli

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

A RISC Approach to Weak Cache Coherence.

Jürgen Risau, Alfred Mikschl, Werner Damm

Proceedings of the Euro-Par '96 Parallel Processing, 1996

MSparc: A Multithreaded Sparc.

Alfred Mikschl, Werner Damm

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Statecharts.

Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

What if model checking must be truly symbolic.

Hardi Hungar, Orna Grumberg, Werner Damm

Proceedings of the Correct Hardware Design and Verification Methods, 1995

An Extended Gradient Model for NUMA Multiprocessor Systems.

Feixiong Liu, Thomas Peikenkamp, Werner Damm

Proceedings of the Algorithms, 1995

1994

Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.

Werner Damm, Johannes Helbig

Proceedings of the Programming Concepts, 1994

1993

VHDL/S - integrating statecharts, timing diagrams, and VHDL.

Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb

Microprocess. Microprogramming, 1993

A net-based semantics for VHDL.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the European Design Automation Conference 1993, 1993

Verification of timing Properties of VHDL.

Costas Courcoubetis, Werner Damm, Bernhard Josko

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Specification and verification of VHDL-based system-level hardware designs.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the Specification and validation methods, 1993

1989

Specifying distributed computer architectures in AADL.

Werner Damm, Gert Döhmen

Parallel Comput., 1989

Modular Verification of Petri Nets: The Temporal Logic Approach.

Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Distributed Implementation of Programmed Graph Reduction.

Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

A Microprogramming Logic.

Werner Damm

IEEE Trans. Software Eng., 1988

1987

An Axiomatic Approach to the Specification of Distributed Computer Architectures.

Werner Damm, Gert Döhmen

Proceedings of the PARLE, 1987

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Werner Damm

Informatik-Fachberichte 146, Springer, ISBN: 3-540-18320-5, 1987

1986

The AADL/S* Approach to Firmware Design Verification.

Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt

IEEE Softw., 1986

An Automata-Theoretical Characterization of the OI-Hierarchy

Werner Damm, Andreas Goerdt

Inf. Control., 1986

1985

Verification of microprogrammed computer architectures in the S*-system: a case study.

Werner Damm, Gert Döhmen

Proceedings of the 18th annual workshop on Microprogramming, 1985

Design and specification of microprogrammed computer architectures.

Werner Damm

Proceedings of the 18th annual workshop on Microprogramming, 1985

1984

An axiomatization of low-level parallelism in microarchitectures.

Werner Damm

Proceedings of the 17th annual workshop on Microprogramming, 1984

1983

A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.

Werner Damm, Bernhard Josko

Acta Informatica, 1983

A Sound and Relatively* Compete Axiomatization of Clarke's Language L₄.

Werner Damm, Bernhard Josko

Proceedings of the Logics of Programs, 1983

1982

The IO- and OI-Hierarchies.

Werner Damm

Theor. Comput. Sci., 1982

An Automata-Theoretic Characterization of the OI-Hierarchy.

Werner Damm, Andreas Goerdt

Proceedings of the Automata, 1982

1981

Combining T and level-N.

Werner Damm, Irène Guessarian

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Top-Down Tree-Transducers for Infinite Trees I.

J. Bilstein, Werner Damm

Proceedings of the CAAP '81, 1981

1980

A schematalogical approach to the alalysis of the procedure concept in algol-languages.

Werner Damm, Elfriede Fehr

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979

An Algebraic Extension of the Chomsky-Hierarchy.

Werner Damm

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

On the Power of Self-Application and Higher Type-Recursion.

Werner Damm, Elfriede Fehr

Proceedings of the Automata, 1978

1977

Higher type program schemes and their tree languages.

Werner Damm

Proceedings of the Theoretical Computer Science, 1977

Higher Type Recursion and Self-Application as Control Structures.

Werner Damm, Elfriede Fehr, Klaus Indermark

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

Languages Defined by Higher Type Program Schemes.

Werner Damm

Proceedings of the Automata, 1977