Werner Damm
发表
Hardi Hungar,
Jun Pang,
Christoph Scholl,
2007,
ATVA.
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.
Bernd Westphal,
Werner Damm,
Matthias Brill,
2004,
SoftSpez Final Report.
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.
Hardi Hungar,
Werner Damm,
Rainer Schlör,
1995
.
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
.
Dieter Rombach,
Michael Reinfrank,
Helmuth Partsch,
2006
.
Werner Damm,
2000,
FTRTFT.
Werner Damm,
1987,
Informatik-Fachberichte.
Amir Pnueli,
Werner Damm,
A. Pnueli,
1997,
CHARME.
Werner Damm,
1985,
MICRO 18.
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.
Martin Fränzle,
Werner Damm,
Sebastian Gerwinn,
2018,
AAAI Spring Symposia.
Werner Damm,
Andreas Goerdt,
W. Damm,
1986,
Inf. Control..
Viorica Sofronie-Stokkermans,
Werner Damm,
Matthias Horbach,
2015,
FroCos.
Holger Hermanns,
Werner Damm,
2007,
CAV.
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
.
Ernst-Rüdiger Olderog,
Werner Damm,
2002
.
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.
Holger Hermanns,
Werner Damm,
W. Damm,
2007
.
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2002,
FMCO.
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
.
Werner Damm,
2015,
FM.
Eckehard Schnieder,
Hartmut Ehrig,
Jörg Desel,
2004
.
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.
Stefan Ratschan,
Werner Damm,
Guilherme Pinto,
2005,
ATVA.
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.
Werner Damm,
2001,
UML.
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.
Werner Damm,
Eike Möhlmann,
Astrid Rakow,
2014,
HSCC.
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2005,
Sci. Comput. Program..
Werner Damm,
Jochen Klose,
W. Damm,
2001,
Formal Methods Syst. Des..
Werner Damm,
2008,
FMICS.
Werner Damm,
Gert Döhmen,
1985,
MICRO 18.
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.
Werner Damm,
Jochen Klose,
Hartmut Wittke,
2002
.
Andre Bolles,
Ernst-Rüdiger Olderog,
Andreas Hein,
2015
.
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..
Werner Damm,
Gert Döhmen,
W. Damm,
1987,
PARLE.
Martin Fränzle,
Werner Damm,
Willem Hagemann,
2019,
CREST@ETAPS.
Werner Damm,
2000,
ICFEM.
Alberto Sangiovanni-Vincentelli,
Bernhard Josko,
Martin Törngren,
2004
.
Werner Damm,
Elfriede Fehr,
1980,
CLAAP.
Amir Pnueli,
Werner Damm,
Sitvanit Ruah,
1998,
CONCUR.
Werner Damm,
1977,
ICALP.
Bernd Finkbeiner,
Werner Damm,
Astrid Rakow,
2016,
SYNT@CAV.
Amir Pnueli,
Bernhard Josko,
Werner Damm,
2001
.
Werner Damm,
1998,
PROCOMET.
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).
Hardi Hungar,
Bernhard Josko,
Werner Damm,
1999
.
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.
Werner Damm,
J. Helbig,
1994,
PROCOMET.
Hardi Hungar,
Ernst-Rüdiger Olderog,
Werner Damm,
2003,
FMCO.
Werner Damm,
Eike Möhlmann,
Astrid Rakow,
2020
.
Ernst Althaus,
Christoph Scholl,
Werner Damm,
2017,
Sci. Comput. Program..
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.
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality
Sebastian Winkel,
Friedrich Eisenbrand,
Reinhard Wilhelm,
2006,
12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).
Eike Thaden,
Stefan Henkler,
Ingo Stierand,
2013
.
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).
Werner Damm,
W. Damm,
1984,
MICRO 17.
Manfred Broy,
Andreas Vogelsang,
Klaus Pohl,
2012,
Model-Based Engineering of Embedded Systems.
Bernhard Josko,
Werner Damm,
Gert Döhmen,
1989,
REX Workshop.
Alexander Metzner,
Werner Damm,
2007
.
Werner Damm,
2006,
EMSOFT '06.
Werner Damm,
1979,
MFCS.
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.
Eckehard Schnieder,
Martin Fränzle,
Frank Köster,
2009
.
Bernd Finkbeiner,
Werner Damm,
W. Damm,
2011,
FM.
Bernd Becker,
Ernst-Rüdiger Olderog,
Andreas Podelski,
2007,
it Inf. Technol..
Bernhard Josko,
Werner Damm,
Gert Döhmen,
1990
.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Werner Damm,
2011,
Math. Comput. Sci..
Chris Hankin,
John Hughes,
Werner Damm,
2021
.
Dejan Nickovic,
Roberto Passerone,
Albert Benveniste,
2011
.
Werner Damm,
J Urgen,
Niehaus Karsten,
.