Vorstand OFFIS Sprecher Bereichsvorstand Verkehr
Direktor des Forschungszentrums Sicherheitskritische Systeme - / - Leiter der Abteilung Sicherheitskritische Eingebettete Systeme - / - Sprecher des Sonderforschungsbereiches/Transregio AVACS - Automatic Verification and Analyis of Complex Systems
Vorstandsvorsitzender SafeTRANS e.V. - / - Mitglied EiCOSE Steering Board - / - Mitglied Artemis Innovation Working Group - / - Sprecher des Steuerkreises der Nationalen Roadmap für eingebettete Systeme - / - Vorsitzender des Aufsichtsrates der BTC Embedded Systems - / - Mitglied Editorial Board "Journal of Formal Methods in System Design"
Verkehr
Verkehr: Vorstand
modellbasierter Entwurf eingebetteter Systeme, Formale Verifikationsmethoden, Sicherheitsanalyse, Echtzeitanalyse, Spezifikationssprachen und Hybride Systeme, Entwicklungsprozesse für eingebettete Systeme
D122
+49 441 9722-500
+49 441 9722-502
OFFIS
http://ses.informatik.uni-oldenburg.de/30854.html
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
2012
DATE 2011
Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;
2011
50th IEEE Conference on Decision and Control and European Control Conference
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
2011
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
2011
Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)
International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)
Büker, Matthias; Damm, Werner; Ehmen, Günter; Stierand, Ingo
2011
Proc. International Symposium on Industrial Embedded Systems (SIES'11)
International Symposium on Industrial Embedded Systems (SIES'11)
Büker, Matthias; Damm, Werner; Ehmen, Günter; Metzner, Alexander; Stierand, Ingo; Thaden, Eike
2011
OFFIS Technical Report
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
2011
SAE World Congress 2009
Damm, Werner; Josko, Bernhard; Peikenkamp, Thomas
2009
IEEE Design and Test of Computers
Passerone, Roberto; Hafaiedh, Imene Ben; Graf, Susanne; Benveniste, Albert; Cancila, Daniela; Cuccuru, Arnaud; Gérard; Sébastien; Terrier, Francois; Ferrari, Alberto; Mangeruca, Leonardo; Josko, Bernhard; Peikenkamp, ThomasSangiovanni-Vincentelli, Alberto
2009
Achatz, Reinhod; Beetz, Klaus; Broy, Manfred; Dämbkes, Heinrich; Damm, Werner; Grimm, Klaus; Liggesmeyer, Peter
2009
IEEE Design & Test of Computers
Roberto Passeron; Imene Ben Hafaiedh; Albert Benveniste; Daniela Cancila; arnaud Cuccuru; Werner Damm; Alberto Ferrari; Sebastien Gerard; Susanne Graf; Bernhard Josko; Leonardo Mangeruca; Thomas Peikenkamp; Alberto Sangiovanni-Vincentelli; Francois Terrie
2009
Proceedings Design, Automation and Test in Europe, 2008. DATE08
Date
Damm, W,; Josko, B.; Metzner, A.; Di Natale, M., Heinecke, H.; Kopetz, H.; Sangiovanni-Vincentelli, A.
2008
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
2007
Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm
Damm, Werner; Toben, Tobe; Westphal, Bernd
2007
Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger;Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Bernd
2007
Information Technology
Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm
2007
Lecture Notes in Computer Science
Werner Damm; Holger Hermanns
2007
International Journal of Foundations of Computer Science
Werner Damm; Guilherme Pinto; Stefan Ratschan
2007
3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)
Bauer, Jörg; Damm, Werner; Toben, Tobe; Westphal, Bernd
2007
Proceedings of the GM R&D Workshop, Bangalore, India
GM R&D Workshop
Damm, Werner; Metzner, Alexander
2007
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications.
Eisenbrand, F.; Damm, W.; Metzner, A.; Shmonin, G.; Wilhelm, R.; Winkel, S.
2006
Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)
Damm, W.; Disch, S.; Hungar, H.; Pang, J.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.
2006
Damm, W.; Pinto, G.; Ratschan, S.
2006
Proceedings, Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET 2006)
Damm, Werner
2006
Damm, W.; Hungar, H., Olderog, E.-R.
2006
Damm, W.; Schulte, C.; Segelken, M.; Wittke, H.; Higgen, U.; Eckrich, M.
2006
Integration of Software Specification Techniques for Applications in Engineering
Brill, Matthias; Buschermöhle, Ralf; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut
2006
Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,
Böde, Eckard; Damm, Werner; Hoyem, Jarl; Josko, Bernhard; Niehaus, Jürgen; Segelken, Marc
2006
Automotive Software - Connected Services in Mobile Networks
ARTIST and NSF Workshop on Automotive Software Development
Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken
2006
Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel
Werner Damm
2006
Automated Technology for Verification and Analysis (ATA)
Damm, W.; Pinto, G.; Ratschan, S.
2005
Damm, Werner; Westphal, Bernd
2005
5th International Conference on Application of Concurrency to System Design (ACSD 2005)
Damm, Werner
2005
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
2005
Proceedings, FIT 2005 - Foundations of Interface Technologies
Damm, Werner; Votintseva, Angelika; Metzner, Alexander; Josko, Bernhard; Peikenkamp, Thomas; Böde, Eckard
2005
Proc. FMCO '03: Formal Methods for Components and Objects
Damm, W.; Hungar, H.; Olderog, E.-R.
2004
Integration of Software Specification Techniques for Applications in Engineering
Brill, Mathias; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut
2004
IFAC Symposium on Advances in Automotive Control, University of Salerno, Italy, 2004
Brunel, J.-Y.; Damm, W.; Ferrari, A.; Freund, U.; Josko, B.; Kowalewski, S.; Sangiovanni-Vincentelli, A.; Torngren, M.; Thurner, T.; Hasseln, H. von
2004
Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
2004
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
2003
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Damm, Werner; Westphal, Bernd
2003
Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
2003
Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002)
Bohn, J.; Damm, W.; Klose, J.; Moik, A.; Wittke, H.
2003
7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems, FTRTFT 2002
Damm, W.; Jonsson, B.
2002
2002
Bienmüller, T.; Damm, W.; Klose, J.; Wittke, H.
2001
Damm, Werner; Cohen, Moshe
2001
Damm, W.; Klose, J.
2001
12th international Conference on Computer Aided Verification, CAV
Bienmüller, T.; Damm, W.; Wittke, H.
2000
Appelrath, Hans-Jürgen; Damm, Werner; Menke, Karl-Heinz; Nebel, Wolfgang; Thoben, Wilfried
2000
Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK
Bienmüller, T.; Brockmeyer, U.; Damm, W.; Döhmen, G.; Eßmann, C.; Holberg, H. J.; Hungar, H.; Josko, B.; Schlör, R.; Wittich, G.; Wittke, H.; Clements, G.
1999
Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems
Damm, W.; Döhmen, G.; Klose, J.
1999
Correct System Design
Bienmüller, T.; Bohn, J.; Brinkmann, H.; Brockmeyer, U.; Damm, W.; Hungar, H.; Jansen, P.
1999
Proc of the 9th International Conference on Conucrrency (CONCUR)
Damm, W.; Pnueli, A.; Ruah, S.
1998
18th Conference on Foundations of Software Technology and Theroretical Computer Science
Bohn, J.; Damm, W.; Grumberg, O.; Hungar, H.; Laster, K.
1998
Compositionality: The Significant Difference; International Symposium COMPOS '97
Damm, W.; Josko, B.; Hungar, H.; Pnueli, A.
1998
offis.de