Bernd Westphal - Citegraph

Author Info

Name	Affiliation	Papers
BERND WESTPHAL	Albert-Ludwigs-Universität Freiburg, Freiburg, Germany	21
Collaborators	Citations	PageRank
23	43	8.45
Referers	Referees	References
72	326	216

Search Limit

100326

Publications (21 rows)

Collaborators (23 rows)

Referers (72 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
On Implementable Timed Automata.	1	0.35	2020
Teaching Software Modelling In An Undergraduate Introduction To Software Engineering	0	0.34	2019
Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture).	0	0.34	2019
Scalable Analysis of Real-Time Requirements	0	0.34	2019
An Undergraduate Requirements Engineering Curriculum with Formal Methods	0	0.34	2018
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.	0	0.34	2018
Ready for testing: ensuring conformance to industrial standards through formal verification.	2	0.49	2016
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions	2	0.39	2015
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.	4	0.48	2014
Quasi-Equal Clock Reduction: More Networks, More Queries.	3	0.39	2014
Quasi-dependent variables in hybrid automata	5	0.43	2014
Optimizing guard time for TDMA in a wireless sensor network - Case study	2	0.39	2014
Formal Verification of a Parameterized Data Aggregation Protocol.	1	0.36	2013
Parameterized Verification of Track Topology Aggregation Protocols.	0	0.34	2013
Formal approach to guard time optimization for TDMA	4	0.72	2013
Detecting quasi-equal clocks in timed automata	3	0.40	2013
Timed automata with disjoint activity	6	0.45	2012
Reducing quasi-equal clocks in networks of timed automata	9	0.52	2012
Model-based development of embedded systems' user interfaces	0	0.34	2012
Towards successful subcontracting for software in small to medium-sized enterprises	0	0.34	2012
System verification through program verification	1	0.37	2011