Concepedia

Bernd Westphal

BW

Statistics

Publications

12

Citations

273

H-Index

11

Active since

2004

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

University of Freiburg

Saarland University

Bernd Westphal is an author at Carl von Ossietzky Universität Oldenburg specializing in formal methods, computer science, and computing.

Publications per year

2004–2019

12

Publications

12

The Rhapsody UML Verification Environment

I. Schinz, Tobe Toben, C. Mrugalla et al. · 2004 · 54 citations

Computing, Computer Engineering, Computer Science +17

Live and let die: LSC based verification of UML models

Werner Damm, Bernd Westphal · Science of Computer Programming · 2004 · 34 citations

Computing, Computer Engineering, Computer Science +14

The rhapsody UML verification environment

I. Schinz, Tobe Toben, C. Mrugalla et al. · 2004 · 31 citations

Computing, Computer Engineering, Computer Science +17

Scalable Analysis of Real-Time Requirements

Vincent Langenfeld, Daniel Dietsch, Bernd Westphal et al. · 2019 · 28 citations

Engineering, Automotive Engineering, Computer Science +15

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

Werner Damm, Hans-Jörg Peter, JAN RAKOW et al. · Mathematical Structures in Computer Science · 2013 · 25 citations

Engineering, Automotive Engineering, Systems Engineering +16

1–5 of 12