| 2018 | ICSE | Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving. | Werner Damm, Roland Galbas |
| 2015 | FM | AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned. | Werner Damm |
| 2014 | FM | Automatic Compositional Synthesis of Distributed Systems. | Werner Damm, Bernd Finkbeiner |
| 2011 | DATE | Using contract-based component specifications for virtual integration testing and architecture design. | Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand |
| 2011 | FM | Does It Pay to Extend the Perimeter of a World Model? | Werner Damm, Bernd Finkbeiner |
| 2011 | FMICS | An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. | Matthias Bker, Werner Damm, Gnter Ehmen, Ingo Stierand |
| 2008 | DATE | Software Components for Reliable Automotive Systems. | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | FMICS | Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. | Werner Damm |
| 2007 | ATVA | 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 |
| 2006 | ATVA | 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 |
| 2006 | EMSOFT | Embedded system development for automotive applications: trends and challenges. | Werner Damm |
| 2006 | RTCSA | 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 |
| 2005 | ATVA | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. | Werner Damm, Guilherme Pinto, Stefan Ratschan |
| 2003 | GI | Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. | Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich |
| 2000 | CAV | The STATEMATE Verification Environment - Making It Real. | Tom Bienmller, Werner Damm, Hartmut Wittke |
| 2000 | ICFEM | Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. | Werner Damm |
| 1998 | CONCUR | Herbrand Automata for Hardware Verification. | Werner Damm, Amir Pnueli, Sitvanit Ruah |
| 1996 | EuroPar | MSparc: A Multithreaded Sparc. | Alfred Mikschl, Werner Damm |
| 1996 | EuroPar | A RISC Approach to Weak Cache Coherence. | Jrgen Risau, Alfred Mikschl, Werner Damm |
| 1993 | CAV | Verification of timing Properties of VHDL. | Costas Courcoubetis, Werner Damm, Bernhard Josko |
| 1985 | MICRO | Design and specification of microprogrammed computer architectures. | Werner Damm |
| 1985 | MICRO | Verification of microprogrammed computer architectures in the S*-system: a case study. | Werner Damm, Gert Dhmen |
| 1984 | MICRO | An axiomatization of low-level parallelism in microarchitectures. | Werner Damm |
| 1982 | ICALP | An Automata-Theoretic Characterization of the OI-Hierarchy. | Werner Damm, Andreas Goerdt |
| 1981 | MFCS | Combining T and level-N. | Werner Damm, Irne Guessarian |
| 1979 | MFCS | An Algebraic Extension of the Chomsky-Hierarchy. | Werner Damm |
| 1978 | ICALP | On the Power of Self-Application and Higher Type-Recursion. | Werner Damm, Elfriede Fehr |
| 1977 | ICALP | Languages Defined by Higher Type Program Schemes. | Werner Damm |