Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm; Model-Based Safety and Assessment; September / 2020

Werner Damm, Eike Möhlmann, and Astrid Rakow; Validation and Verification of Automated Systems; 12 / 2019

Eckard Böde, Matthias Büker, Werner Damm, Martin Fränzle, Birte Kramer, Christian Neurohr, Sebastian Vander Maelen; Juli / 2019

Werner Damm and Martin Fränzle and Andreas Lüdtke and Jochem W. Rieger and Alexander Trende and Anirudh Unni; 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019; 2019

Werner Damm and Günter Ehmen and Kim Grüttner and Philipp Ittershagen and Björn Koopmann and Frank Poppen and Ingo Stierand; Proceedings of the Workshop on Design Automation for CPS and IoT (DESTION'19); 04 / 2019

Eckard Böde and Werner Damm and Günter Ehmen and Martin Fränzle and Kim Grüttner and Philipp Ittershagen and Bernhard Josko and Björn Koopmann and Frank Poppen and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 316; 06 / 2019

Werner Damm, Eike Möhlmann, and Astrid Rakow; Validation and Verification of Automated Systems; 12 / 2019

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday; July / 2018

Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; Foundations and Trends in Electronic Design Automation; 2018

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; Janurary / 2018

Damm, W. and Kalmar, Ralf; Informatik-Spektrum; 2017

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 302; 10 / 2017

Damm, Werner and Heidl, Peter; Recommendations on Actions and Research Challenges; 2017

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017

Ernst Althaus and Björn Beber and Werner Damm and Stefan Disch and Willem Hagemann and Astrid Rakow and Christoph Scholl and Uwe Waldmann and Boris Wirtz; Science of Computer Programming; 2017

Werner Damm and Eike Möhlmann and Astrid Rakow; 2016

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid; June / 2016

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

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid; Proceedings Fifth Workshop on Synthesis, Toronto, Canada, July 17-18, 2016; 2016

Damm, Werner and Sangiovanni-Vincentelli, Alberto; Proceedings Second International Workshop on the Swarm at the Edge of the Cloud, CPS Week 2015; April / 2015

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Formal Modeling and Analysis of Timed Systems; 2015

Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; July / 2015

Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; July / 2015

Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica; Frontiers of Combining Systems; 2015

Böde, Eckard and Daembkes, Heinrich and Damm, Werner and Griebel, Franziska and Köster, Frank and Lemmer, Karsten and Lüdtke, Andreas and Niehaus, Jürgen and Peikenkamp, Thomas; Haus der Technik (Expert Verlag); 2015

Damm, Werner and Finkbeiner, Bernd; FM 2014: Formal Methods; 2014

Werner Damm and Eike Möhlmann and Astrid Rakow; Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14; 2014

Werner Damm and Willem Hagemann and Eike Möhlmann and Astrid Rakow; 2014

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike; 01 / 2013

Damm, Werner and Peter, Hans-Jörg and Rakow, Jan and Westphal, Bernd; Mathematical Structures in Computer Science; 2013

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike; SAE International Journal of Passenger Cars- Electronic and Electrical Systems; 05 / 2013

Damm, Werner and Reinkemeier, Philipp and Benveniste, Albert and Caillaud, Benoit and Nickovicy, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Sangiovanni-Vincentelli, Alberto and Henzinger, Tom and Larsen, Kim; IEEE Computer; 12 / 2012

Broy, Manfred and Damm, Werner and Henkler, Stefan and Pohl, Klaus and Vogelsang, Andreas and Weyer, Thorsten; Model-Based Engineering of Embedded Systems; 2012

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto; European Journal of Control; 02 / 2012

Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo; Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11); 09 / 2011

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 3 / 2011

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; Proc. International Symposium on Industrial Embedded Systems (SIES'11); 07 / 2011

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; 03 / 2011

Quesel, Jan-David and Fränzle, Martin and Damm, Werner; Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings; 01 / 2011

Sangiovanni-Vincentelli, Alberto and Damm, Werner and Passerone, Roberto ; 12 / 2011

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and ; 03 / 2011

Damm, Werner and Josko, Bernhard and Peikenkamp, Thomas; 04 / 2009

Roberto Passerone and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru and Werner Damm and Alberto Ferrari and Sébastien Gérard and Susanne Graf and Bernhard Josko and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrier; IEEE Design & Test of Computers; 2009

Passerone, Roberto and Hafaiedh, Imene Ben and Graf, Susanne and Benveniste, Albert and Cancila, Daniela and Cuccuru, Arnaud and Gérard and Sébastien and Terrier, Francois and Ferrari, Alberto and Mangeruca, Leonardo and Josko, Bernhard and Peikenkamp, Thomas and Sangiovanni-Vincentelli, Alberto; IEEE Design & Test of Computers; 5 / 2009

Achatz, Reinhod and Beetz, Klaus and Broy, Manfred and Dämbkes, Heinrich and Damm, Werner and Grimm, Klaus and Liggesmeyer, Peter; 12 / 2009

Damm, W, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.; Proceedings Design, Automation and Test in Europe, 2008. DATE08; 01 / 2008

Damm, Werner and Metzner, Alexander; Proceedings of the GM R&D Workshop, Bangalore, India; 01 / 2007

Damm, Werner and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd; Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays; 01 / 2007

Werner Damm and Holger Hermanns; Lecture Notes in Computer Science; 01 / 2007

Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris; Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007; 01 / 2007

Werner Damm and Guilherme Pinto and Stefan Ratschan; International Journal of Foundations of Computer Science; 01 / 2007

Damm, Werner and Toben, Tobe and Westphal, Bernd; Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm; 01 / 2007

Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm; Information Technology; 01 / 2007

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd; 10 / 2007

Eckard Böde and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken; Automotive Software - Connected Services in Mobile Networks; 01 / 2006

Böde, Eckard and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and Segelken, Marc; Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,; 01 / 2006

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.; Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06); 01 / 2006

Werner Damm; 01 / 2006

Damm, Werner; Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006); 01 / 2006

Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut; Integration of Software Specification Techniques for Applications in Engineering; 06 / 2006

Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.; 06 / 2006

Damm, W. and Pinto, G. and Ratschan, S.; 01 / 2006

Eisenbrand, F. and Damm, W. and Metzner, A. and Shmonin, G. and Wilhelm, R. and Winkel, S.; Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications.; 01 / 2006

Damm, W. and Hungar, H., Olderog, E.-R.; 01 / 2006

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; 01 / 2005

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard; Proceedings, FIT 2005 - Foundations of Interface Technologies; 08 / 2005

Damm, Werner; 5th International Conference on Application of Concurrency to System Design (ACSD 2005); 01 / 2005

Damm, W. and Pinto, G. and Ratschan, S.; Automated Technology for Verification and Analysis (ATA); 01 / 2005

Damm, Werner and Westphal, Bernd; 01 / 2005

Brill, Mathias and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut; Integration of Software Specification Techniques for Applications in Engineering; 01 / 2004

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

Damm, W. and Hungar, H. and Olderog, E.-R.; Proc. FMCO '03: Formal Methods for Components and Objects; 01 / 2004

Brunel, J.-Y. and Damm, W. and Ferrari, A. and Freund, U. and Josko, B. and Kowalewski, S. and Sangiovanni-Vincentelli, A. and Torngren, M. and Thurner, T. and Hasseln, H. von; IFAC Symposium on Advances in Automotive Control, University of Salerno, Italy, 2004; 01 / 2004

Fränzle, Martin and Niehaus, Jürgen and Metzner, Alexander and Damm, Werner; 12 / 2003

Damm, Werner and Westphal, Bernd; Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures; 01 / 2003

Bohn, J. and Damm, W. and Klose, J. and Moik, A. and Wittke, H.; Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002); 05 / 2003

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures; 01 / 2003

; 01 / 2002

Damm, W. and Jonsson, B.; 7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems, FTRTFT 2002; 09 / 2002

Damm, Werner and Cohen, Moshe; 01 / 2001

Bienmüller, T. and Damm, W. and Klose, J. and Wittke, H.; 01 / 2001

Damm, W. and Harel, D.; 01 / 2001

Damm, W. and Klose, J.; 01 / 2001

Appelrath, Hans-Jürgen and Damm, Werner and Menke, Karl-Heinz and Nebel, Wolfgang and Thoben, Wilfried; 01 / 2000

Bienmüller, T. and Damm, W. and Wittke, H.; 12th international Conference on Computer Aided Verification, CAV; 01 / 2000

Bienmüller, T. and Brockmeyer, U. and Damm, W. and Döhmen, G. and Eßmann, C. and Holberg, H. J. and Hungar, H. and Josko, B. and Schlör, R. and Wittich, G. and Wittke, H. and Clements, G.; Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK; 01 / 1999

Damm, W. and Döhmen, G. and Klose, J.; Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems; 01 / 1999

Bienmüller, T. and Bohn, J. and Brinkmann, H. and Brockmeyer, U. and Damm, W. and Hungar, H. and Jansen, P.; Correct System Design; 01 / 1999

Damm, W. and Josko, B. and Hungar, H. and Pnueli, A.; Compositionality: The Significant Difference; International Symposium COMPOS '97; 01 / 1998

Bohn, J. and Damm, W. and Grumberg, O. and Hungar, H. and Laster, K.; 18th Conference on Foundations of Software Technology and Theroretical Computer Science; 05 / 1998

Damm, W. and Pnueli, A. and Ruah, S.; Proc of the 9th International Conference on Conucrrency (CONCUR); 01 / 1998