Bernd Westphal

66 papers A* 1A 4B 10C 3Misc 1Journal 7Unranked 38

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