Bernd Westphal
发表
Andreas Podelski,
Marco Muñiz,
Bernd Westphal,
2013,
FORMATS.
Bernd Westphal,
Werner Damm,
Matthias Brill,
2004,
SoftSpez Final Report.
Bernd Westphal,
Werner Damm,
Matthias Brill,
2004,
SoftSpez Final Report.
Bernd Westphal,
Werner Damm,
2002,
FMCO.
Ina Schaefer,
Bernd Westphal,
Jörg Kreiker,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Bernd Westphal,
B. Westphal,
2018,
2018 IEEE 8th International Workshop on Requirements Engineering Education and Training (REET).
Bernd Westphal,
Tobe Toben,
Tobe Toben,
2006,
FASE.
Bernd Westphal,
2019,
SEUH.
Bernd Westphal,
2008
.
Andreas Podelski,
Bernd Westphal,
Daniel Dietsch,
2011,
2011 IEEE 19th International Requirements Engineering Conference.
Bernd Westphal,
Björn Wachter,
2007
.
Bernd Westphal,
Werner Damm,
Tobe Toben,
2006,
Program Analysis and Compilation.
Michael Sonnenschein,
Frank Köster,
Bernd Westphal,
2000,
ISMDA.
Andreas Podelski,
Marco Muñiz,
Bernd Westphal,
2016,
Formal Aspects of Computing.
Bernd Westphal,
Oday Jubran,
B. Westphal,
2013,
RTNS '13.
Bernd Westphal,
Martin Wehrle,
Ahmad Siyar Andisha,
2015,
SPIN.
Andreas Podelski,
Bernd Westphal,
Daniel Dietsch,
2011,
FM.
Andreas Podelski,
Bernd Westphal,
Christian Herrera,
2014,
TACAS.
Andreas Podelski,
Marco Muñiz,
Bernd Westphal,
2012,
FORMATS.
Bernd Westphal,
Jan-Hendrik Rakow,
Tobe Toben,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Bernd Westphal,
Sergio Feo Arenis,
2013,
NASA Formal Methods.
Bernd Westphal,
Sergio Feo Arenis,
Milan Vujinovic,
2017,
FORMATS.
Bernd Westphal,
Jochen Klose,
Hartmut Wittke,
2006,
CAV.
Andreas Podelski,
Bernd Westphal,
2015
.
Bernd Westphal,
Jörg Kreiker,
Tobe Toben,
2007,
ATVA.
Bernd Westphal,
Tobe Toben,
2006,
Electron. Notes Theor. Comput. Sci..
Bernd Westphal,
Werner Damm,
Jörg Kreiker,
2007,
AGTIVE.
Bernd Westphal,
Werner Damm,
Jan-Hendrik Rakow,
2013,
Mathematical Structures in Computer Science.
Martin Fränzle,
Bernd Westphal,
Ahmed Mahdi,
2014,
RP.
Bernd Westphal,
Jochen Klose,
B. Westphal,
2007
.
Bernd Westphal,
Sergio Feo Arenis,
2013,
FMOODS/FORTE.
Bernd Westphal,
2006,
Electron. Notes Theor. Comput. Sci..
Bernd Westphal,
Tobe Toben,
Ingo Schinz,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Andreas Podelski,
Marco Muñiz,
Bernd Westphal,
2012,
FORMATS.
Andreas Podelski,
Bernd Westphal,
2012
.
Bernd Westphal,
Werner Damm,
2004,
SoftSpez Final Report.
Bernd Westphal,
Christian Herrera,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Bernd Westphal,
Christian Herrera,
2015,
Haifa Verification Conference.
Bernd Westphal,
Björn Wachter,
2007,
VMCAI.
Bernd Westphal,
2012
.
Bernd Westphal,
Oday Jubran,
B. Westphal,
2014,
39th Annual IEEE Conference on Local Computer Networks Workshops.
Bernd Westphal,
Stephan Arlt,
Jelena Barth,
2012,
ACES-MB '12.
Marco Muñiz,
Bernd Westphal,
Daniel Dietsch,
2014,
FM.
Sergiy Bogomolov,
Andreas Podelski,
Marco Muñiz,
2014,
HSCC.
Andreas Podelski,
Bernd Westphal,
Daniel Dietsch,
2012,
2012 Fifth IEEE International Workshop on Requirements Engineering and Law (RELAW).
Andreas Podelski,
Bernd Westphal,
Rebecca Albrecht,
2018,
CogSci.
Andreas Podelski,
Bernd Westphal,
Vincent Langenfeld,
2019,
CogSci.
Bernd Westphal,
Werner Damm,
W. Damm,
2005,
Sci. Comput. Program..
Bernd Westphal,
Gustav Steinhoff,
Christof Stamm,
2003,
The Lancet.