Bernd Westphal
Orcid: 0000-0002-6824-0567Affiliations:
- University of Freiburg, Germany
According to our database1,
Bernd Westphal
authored at least 56 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
2
1
4
4
4
2
1
1
2
5
4
4
2
1
3
4
2
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
2022
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions.
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022
2021
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021
2020
Proceedings of the Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26., 2020
Proceedings of the Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26., 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020
2019
Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture).
Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Teaching Software Modelling in an Undergraduate Introduction to Software Engineering.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019
2018
Proceedings of the 8th IEEE International Workshop on Requirements Engineering Education and Training, 2018
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.
Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018
2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2016
Ready for testing: ensuring conformance to industrial standards through formal verification.
Formal Aspects Comput., 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Proceedings of the IEEE 39th Conference on Local Computer Networks, Edmonton, AB, Canada, 8-11 September, 2014, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.
Math. Struct. Comput. Sci., 2013
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Formal Techniques for Distributed Systems, 2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
2012
Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
2011
Disambiguation of industrial standards through formalization and graphical languages.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010
2008
Specification and verification of dynamic topology systems: on the applicability of query- and data-type-reduction-based abstractions.
PhD thesis, 2008
2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Program Analysis and Compilation, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Proceedings of the 3rd Workshop on Software Model Checking, 2005
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
2000
Combining Methodical Procedures from Knowledge Discovery in Databases and Individual-Oriented Simulation -- Data Mining in Time Series.
Proceedings of the Medical Data Analysis, First International Symposium, 2000