Bernd Westphal

550 total citations
26 papers, 170 citations indexed

About

Bernd Westphal is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Bernd Westphal has authored 26 papers receiving a total of 170 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Software, 15 papers in Computational Theory and Mathematics and 10 papers in Artificial Intelligence. Recurrent topics in Bernd Westphal's work include Formal Methods in Verification (15 papers), Model-Driven Software Engineering Techniques (13 papers) and Real-Time Systems Scheduling (6 papers). Bernd Westphal is often cited by papers focused on Formal Methods in Verification (15 papers), Model-Driven Software Engineering Techniques (13 papers) and Real-Time Systems Scheduling (6 papers). Bernd Westphal collaborates with scholars based in Germany, Denmark and Taiwan. Bernd Westphal's co-authors include Werner Damm, Daniel Dietsch, Andreas Podelski, Jochen Hoenicke, Björn Wachter, Ina Schaefer, J. Bauer, Sergiy Bogomolov, Samuel L. Becker and Michael Sonnenschein and has published in prestigious journals such as Cognitive Science, Science of Computer Programming and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Bernd Westphal

23 papers receiving 158 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Bernd Westphal Germany	8	101	97	74	42	24	26	170
Michael von der Beeck Germany	6	96 1.0×	60 0.6×	89 1.2×	27 0.6×	29 1.2×	11	137
Karl Meinke Sweden	7	62 0.6×	52 0.5×	79 1.1×	45 1.1×	12 0.5×	24	150
Hardi Hungar Germany	7	68 0.7×	78 0.8×	70 0.9×	8 0.2×	26 1.1×	12	138
Oszkár Semeráth Hungary	8	131 1.3×	33 0.3×	62 0.8×	67 1.6×	7 0.3×	21	185
Michaela Huhn Germany	8	65 0.6×	58 0.6×	70 0.9×	17 0.4×	35 1.5×	31	149
Philipp Reinkemeier Germany	6	50 0.5×	83 0.9×	39 0.5×	7 0.2×	42 1.8×	10	153
Srđan Krstić Switzerland	5	49 0.5×	40 0.4×	54 0.7×	33 0.8×	24 1.0×	16	129
Giles Reger United Kingdom	7	70 0.7×	52 0.5×	79 1.1×	40 1.0×	15 0.6×	32	151
David Servat France	7	56 0.6×	25 0.3×	69 0.9×	36 0.9×	37 1.5×	15	134
Ileana Ober France	7	85 0.8×	52 0.5×	57 0.8×	37 0.9×	42 1.8×	21	147

Countries citing papers authored by Bernd Westphal

Since Specialization

Citations

This map shows the geographic impact of Bernd Westphal's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bernd Westphal with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bernd Westphal more than expected).

Fields of papers citing papers by Bernd Westphal

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bernd Westphal. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bernd Westphal. The network helps show where Bernd Westphal may publish in the future.

Co-authorship network of co-authors of Bernd Westphal

This figure shows the co-authorship network connecting the top 25 collaborators of Bernd Westphal. A scholar is included among the top collaborators of Bernd Westphal based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bernd Westphal. Bernd Westphal is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Westphal, Bernd, et al.. (2021). A Formal Operational Model of ACT-R: Structure and Behaviour. eScholarship (California Digital Library). 43(43).

2.

Becker, Samuel L., et al.. (2021). Hanfor: Semantic Requirements Review at Scale.. 1 indexed citations

3.

Westphal, Bernd. (2019). Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture).. 21–33. 1 indexed citations

4.

Westphal, Bernd, et al.. (2019). On Formal Verification of ACT-R Architectures and Models.. Cognitive Science. 618–624. 3 indexed citations

5.

Dietsch, Daniel, et al.. (2019). Scalable Analysis of Real-Time Requirements. 234–244. 17 indexed citations

6.

Westphal, Bernd, et al.. (2018). But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.. Cognitive Science. 1 indexed citations

7.

Westphal, Bernd. (2018). An Undergraduate Requirements Engineering Curriculum with Formal Methods. 1–10. 7 indexed citations

8.

Westphal, Bernd, et al.. (2016). Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects of Computing. 28(3). 499–527. 7 indexed citations

9.

Westphal, Bernd, et al.. (2014). Optimizing guard time for TDMA in a wireless sensor network - Case study. 2. 597–601. 5 indexed citations

10.

Westphal, Bernd, et al.. (2012). Towards successful subcontracting for software in small to medium-sized enterprises. 1. 42–51. 1 indexed citations

11.

Dietsch, Daniel, et al.. (2011). Disambiguation of industrial standards through formalization and graphical languages. 6416. 265–270. 3 indexed citations

12.

Wachter, Björn & Bernd Westphal. (2007). The spotlight principle: on combining process-summarizing state abstractions. 182–198. 4 indexed citations

13.

Damm, Werner, et al.. (2006). On the Expressive Power of Live Sequence Charts.. 225–246. 3 indexed citations

14.

Westphal, Bernd, et al.. (2006). Concurrent LSC Verification. Electronic Notes in Theoretical Computer Science. 145. 95–111. 1 indexed citations

15.

Bauer, J., et al.. (2006). Specification and Verification of Dynamic Communication Systems. 189–200. 4 indexed citations

16.

Westphal, Bernd. (2006). LSC Verification for UML Models with Unbounded Creation and Destruction. Electronic Notes in Theoretical Computer Science. 144(3). 133–145. 7 indexed citations

17.

Westphal, Bernd, et al.. (2004). The Rhapsody UML Verification Environment. 174–183. 31 indexed citations

18.

Damm, Werner & Bernd Westphal. (2004). Live and let die: LSC based verification of UML models. Science of Computer Programming. 55(1-3). 117–159. 17 indexed citations

19.

Westphal, Bernd, et al.. (2004). The rhapsody UML verification environment. 174–183. 16 indexed citations

20.

Westphal, Bernd, et al.. (2002). Relating LSC Specifications to UML models. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact