Werner Damm

发表

Bernd Finkbeiner, Bernd Becker, Ernst-Rüdiger Olderog, 2011 .
David Harel, Werner Damm, W. Damm, 2022 .
Werner Damm, Thomas Peikenkamp, Eike Möhlmann, 2018, Principles of Modeling.
Bernd Westphal, Werner Damm, Matthias Brill, 2004, SoftSpez Final Report.
Hardi Hungar, Orna Grumberg, Jürgen Bohn, 1998, FSTTCS.
Bernhard Josko, Jürgen Niehaus, Werner Damm, 2004, ASWSD.
Bernhard Josko, Werner Damm, Rainer Schlör, 1995, Specification and validation methods.
Wilhelm Hasselbring, Thomas Wolf, Bernhard Josko, 2004, Informatik-Spektrum.
Hardi Hungar, Orna Grumberg, Werner Damm, 1995, CHARME.
Peter Jansen, Hardi Hungar, Jürgen Bohn, 1999, Correct System Design.
Hardi Hungar, Bernhard Josko, Ingo Stierand, 2011, 2011 Design, Automation & Test in Europe.
Bernhard Josko, Werner Damm, 1983, Logic of Programs.
Bernd Westphal, Werner Damm, 2002, FMCO.
Albert Benveniste, Philipp Reinkemeier, Ingo Stierand, 2015, FORMATS.
Martin Fränzle, Werner Damm, Jan-David Quesel, 2011, FORMATS.
Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Amir Pnueli, Werner Damm, A. Pnueli, 1997, CHARME.
Bernd Westphal, Werner Damm, Tobe Toben, 2006, Program Analysis and Compilation.
Amir Pnueli, Hardi Hungar, Bernhard Josko, 1997, COMPOS.
Alberto L. Sangiovanni-Vincentelli, Sébastien Gérard, François Terrier, 2009, IEEE Design & Test of Computers.
Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .
Werner Damm, Eike Möhlmann, Astrid Rakow, 2020 .
David Harel, Werner Damm, W. Damm, 1999, Formal Methods Syst. Des..
Werner Damm, Gert Döhmen, 1989, Parallel Comput..
Bernhard Josko, Costas Courcoubetis, Werner Damm, 1993, CAV.
Eike Thaden, Ingo Stierand, Alexander Metzner, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.
Werner Damm, Andreas Goerdt, W. Damm, 1986, Inf. Control..
Viorica Sofronie-Stokkermans, Werner Damm, Matthias Horbach, 2015, FroCos.
Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..
Ralf Kalmar, Werner Damm, 2017, Informatik-Spektrum.
François Terrier, Alberto Sangiovanni-Vincentelli, Albert Benveniste, 2009 .
Werner Damm, Jochen Klose, Hartmut Wittke, 2001, Informationstechnik Tech. Inform..
Werner Damm, Jürgen Risau, Alfred Mikschl, 1996, Euro-Par, Vol. II.
Hardi Hungar, Jun Pang, Christoph Scholl, 2006, ATVA.
Werner Damm, W. Damm, 1982, Theor. Comput. Sci..
Amir Pnueli, Henning Dierks, Werner Damm, 2010, Essays in Memory of Amir Pnueli.
Bernhard Josko, Werner Damm, Thomas Peikenkamp, 2009 .
Werner Damm, Irène Guessarian, 1981, MFCS.
Bernd Finkbeiner, Werner Damm, W. Damm, 2014, FM.
Werner Damm, Jochen Klose, Gert Döhmen, 1999 .
Hans-Jürgen Appelrath, Wolfgang Nebel, Werner Damm, 2000, Inform. Forsch. Entwickl..
Bengt Jonsson, Werner Damm, 2002, FTRTFT.
Werner Damm, Alfred Mikschl, W. Damm, 1996, Euro-Par, Vol. II.
Werner Damm, 2003, Electron. Notes Theor. Comput. Sci..
Martin Fränzle, Andreas Lüdtke, Werner Damm, 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).
Werner Damm, J. Bilstein, 1981, CAAP.
Martin Fränzle, Jürgen Niehaus, Alexander Metzner, 2003, Formal Aspects of Computing.
Alberto L. Sangiovanni-Vincentelli, Bernhard Josko, Marco Di Natale, 2008, 2008 Design, Automation and Test in Europe.
Werner Damm, Klaus Indermark, Elfriede Fehr, 1977, Formal Description of Programming Concepts.
Ingo Stierand, Werner Damm, Matthias Büker, 2011, FMICS.
Bernd Westphal, Werner Damm, Jörg Kreiker, 2007, AGTIVE.
Ernst-Rüdiger Olderog, Werner Damm, Fault-Tolerant Systems, 1996, Lecture Notes in Computer Science.
Werner Damm, Hartmut Wittke, Tom Bienmüller, 2000, CAV.
Werner Damm, Elfriede Fehr, 1978, ICALP.
Jürgen Niehaus, Werner Damm, Alfred Mikschl, 2000 .
Bernd Westphal, Werner Damm, Jan-Hendrik Rakow, 2013, Mathematical Structures in Computer Science.
Werner Damm, 1977, Theoretical Computer Science.
Amir Pnueli, Bernhard Josko, Werner Damm, 2005, Sci. Comput. Program..
Werner Damm, Jochen Klose, W. Damm, 2001, Formal Methods Syst. Des..
Werner Damm, Rainer Schlör, Peter Kelb, 1993, Microprocess. Microprogramming.
Werner Damm, Thomas Peikenkamp, Eike Möhlmann, 2018 .
Martin Fränzle, Werner Damm, Eckard Böde, 2020, IMBSA.
Martin Fränzle, Werner Damm, Willem Hagemann, 2019, ArXiv.
Jun Sun, Alexander Pretschner, Werner Damm, 2014, NII Shonan Meeting Report.
Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.
Werner Damm, W. Damm, 1988, IEEE Trans. Software Eng..
Martin Fränzle, Werner Damm, Willem Hagemann, 2019, CREST@ETAPS.
Alberto Sangiovanni-Vincentelli, Bernhard Josko, Martin Törngren, 2004 .
Amir Pnueli, Werner Damm, Sitvanit Ruah, 1998, CONCUR.
Bernd Finkbeiner, Werner Damm, Astrid Rakow, 2016, SYNT@CAV.
Amir Pnueli, Bernhard Josko, Werner Damm, 2001 .
Bernd Westphal, Werner Damm, 2004, SoftSpez Final Report.
Hardi Hungar, Ernst-Rüdiger Olderog, Werner Damm, 2006 .
Werner Damm, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Henning Dierks, Christoph Scholl, Werner Damm, 2012, Sci. Comput. Program..
Bernhard Josko, Werner Damm, Rainer Schlör, 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.
Hardi Hungar, Ernst-Rüdiger Olderog, Werner Damm, 2003, FMCO.
Werner Damm, Eike Möhlmann, Astrid Rakow, 2020 .
Bernhard Josko, Werner Damm, W. Damm, 1983, Acta Informatica.
Werner Damm, Marc Segelken, Hartmut Wittke, 2003, GI Jahrestagung.
Werner Damm, Thomas Peikenkamp, Feixiong Liu, 1995, ASIAN.
Werner Damm, Andreas Goerdt, W. Damm, 1982, ICALP.
Alberto L. Sangiovanni-Vincentelli, Werner Damm, 2015, SWEC@CPSWeek.
Sebastian Winkel, Friedrich Eisenbrand, Reinhard Wilhelm, 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).
Ernst-Rüdiger Olderog, Jun Pang, André Platzer, 2007, Formal Methods and Hybrid Real-Time Systems.
Rita Loogen, Herbert Kuchen, Werner Damm, 1989, PARLE.
Werner Damm, Roland Galbas, W. Damm, 2018, 2018 IEEE/ACM 1st International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS).
Manfred Broy, Andreas Vogelsang, Klaus Pohl, 2012, Model-Based Engineering of Embedded Systems.
Bernhard Josko, Werner Damm, Gert Döhmen, 1989, REX Workshop.
Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Werner Damm, 2012, Eur. J. Control.
Stefan Ratschan, Werner Damm, Guilherme Pinto, 2005, Int. J. Found. Comput. Sci..
Carsten Ihlemann, Viorica Sofronie-Stokkermans, Werner Damm, 2011, HSCC '11.
Bernd Westphal, Werner Damm, W. Damm, 2005, Sci. Comput. Program..
Werner Damm, Gert Döhmen, Klaus Merkel, 1986, IEEE Software.
Ingo Stierand, Kim Grüttner, Werner Damm, 2019, DESTION@CPSIoTWeek.
Bernd Finkbeiner, Werner Damm, W. Damm, 2011, FM.
Bernhard Josko, Werner Damm, Gert Döhmen, 1990 .
Carsten Ihlemann, Viorica Sofronie-Stokkermans, Werner Damm, 2011, Math. Comput. Sci..
Dejan Nickovic, Roberto Passerone, Albert Benveniste, 2011 .
Werner Damm, J Urgen, Niehaus Karsten, .