Bernd Westphal

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 23

Top Venues

SEUH

CogSci

HSCC

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Henning Schlender, Ralf Stemmer, Kim Grüttner, Günter Ehmen, Bernd Westphal, Friederike Bruns
Teaching Cyber-Physical Systems in Student Project Groups. SEUH (2023)
Ali Shakeri, Oliver Klemp, Bernd Westphal
Shaping a GAIA-X Data Ecosystem through Innovation Modeling. RE (2023)
Oliver Klemp, Bernd Westphal, Stefan Puch
IMoG - a methodology for modeling future microelectronic innovations. CoRR (2023)
Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. FMAS/ASYDE@SEFM (2022)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci (2021)
Bernd Westphal
On Education and Training in Formal Methods for Industrial Critical Systems. FMICS (2021)
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops (2021)
Bernd Westphal
Quasi-Equal Clock Reduction On-the-Fly. NFM (2021)
Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal
On Implementable Timed Automata. FORTE (2020)
Bernd Westphal
On Complementing an Undergraduate Software Engineering Course with Formal Methods. CSEE&T (2020)
Bernd Westphal
Tutoring with Stylus-enabled Tablets. SEUH (2020)
Michael Steinle, Bernd Westphal
Automatic Generation of Learning Assignments for Software Engineering Formalisms. SEUH (2020)
Bernd Westphal
Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. MoDELS (Companion) (2019)
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
Scalable Analysis of Real-Time Requirements. RE (2019)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
On Formal Verification of ACT-R Architectures and Models. CogSci (2019)
Bernd Westphal
Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture). SEUH (2019)
Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci (2018)
Bernd Westphal
An Undergraduate Requirements Engineering Curriculum with Formal Methods. REET@RE (2018)
Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal
On Global Scheduling Independency in Networks of Timed Automata. FORMATS (2017)
Christian Herrera, Bernd Westphal
The Model Checking Problem in Networks with Quasi-Equal Clocks. TIME (2016)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28 (3) (2016)
Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. SPIN (2015)
Christian Herrera, Bernd Westphal
Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. Haifa Verification Conference (2015)
Ahmed Mahdi, Bernd Westphal, Martin Fränzle
Transformations for Compositional Verification of Assumption-Commitment Properties. RP (2014)
Oday Jubran, Bernd Westphal
Optimizing guard time for TDMA in a wireless sensor network - Case study. LCN Workshops (2014)
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
Quasi-dependent variables in hybrid automata. HSCC (2014)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. FM (2014)
Christian Herrera, Bernd Westphal, Andreas Podelski
Quasi-Equal Clock Reduction: More Networks, More Queries. TACAS (2014)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Detecting Quasi-equal Clocks in Timed Automata. FORMATS (2013)
Sergio Feo Arenis, Bernd Westphal
Parameterized Verification of Track Topology Aggregation Protocols. FMOODS/FORTE (2013)
Sergio Feo Arenis, Bernd Westphal
Formal Verification of a Parameterized Data Aggregation Protocol. NASA Formal Methods (2013)
Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. 23 (4) (2013)
Oday Jubran, Bernd Westphal
Formal approach to guard time optimization for TDMA. RTNS (2013)
Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS (2012)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Timed Automata with Disjoint Activity. FORMATS (2012)
Bernd Westphal, Daniel Dietsch, Sergio Feo Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
Towards successful subcontracting for software in small to medium-sized enterprises. RELAW (2012)
Jelena Barth, Bernd Westphal, Stephan Arlt
Model-based development of embedded systems' user interfaces. ACES-MB@MoDELS (2012)
Daniel Dietsch, Bernd Westphal, Andreas Podelski
System Verification through Program Verification. FM (2011)
Daniel Dietsch, Sergio Feo Arenis, Bernd Westphal, Andreas Podelski
Disambiguation of industrial standards through formalization and graphical languages. RE (2011)
Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow
Spotlight Abstraction of Agents and Areas. Quantitative and Qualitative Analysis of Network Protocols (2010)
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE (2007)
Björn Wachter, Bernd Westphal
The Spotlight Principle. VMCAI (2007)
Jörg Bauer, Tobe Toben, Bernd Westphal
Mind the Shapes: Abstraction Refinement Via Topology Invariants. ATVA (2007)
Bernd Westphal, Tobe Toben
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. FASE (2006)
Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
Check It Out: On the Efficient Formal Verification of Live Sequence Charts. CAV (2006)
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
Specification and Verification of Dynamic Communication Systems. ACSD (2006)
Werner Damm, Tobe Toben, Bernd Westphal
On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation (2006)
Tobe Toben, Bernd Westphal
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. Electron. Notes Theor. Comput. Sci. 145 (2006)
Bernd Westphal
LSC Verification for UML Models with Unbounded Creation and Destruction. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Werner Damm, Bernd Westphal
Live and let die: LSC based verification of UML models. Sci. Comput. Program. 55 (1-3) (2005)
Werner Damm, Bernd Westphal
Introduction to Subject Area 'Charts'. SoftSpez Final Report (2004)
Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report (2004)
Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Formal Verification of LSCs in the Development Process. SoftSpez Final Report (2004)
Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal
The Rhapsody UML Verification Environment. SEFM (2004)
Werner Damm, Bernd Westphal
Live and Let Die: LSC-Based Verification of UML-Models. FMCO (2002)
Frank Köster, Roland Radtke, Bernd Westphal, Michael Sonnenschein
Combining Methodical Procedures from Knowledge Discovery in Databases and Individual-Oriented Simulation -- Data Mining in Time Series. ISMDA (2000)

Bernd Westphal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Westphal