• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 59 matches

• 2023
• 
  Ali Shakeri, Oliver Klemp, Bernd Westphal:
  Shaping a GAIA-X Data Ecosystem through Innovation Modeling. RE 2023: 190-200
• 
  Henning Schlender, Ralf Stemmer, Kim Grüttner, Günter Ehmen, Bernd Westphal, Friederike Bruns:
  Teaching Cyber-Physical Systems in Student Project Groups. SEUH 2023
• 
  Oliver Klemp, Bernd Westphal, Stefan Puch:
  IMoG - a methodology for modeling future microelectronic innovations. CoRR abs/2304.09110 (2023)
• 2022
• 
  Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann:
  Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. FMAS/ASYDE@SEFM 2022: 53-61
• 2021
• 
  Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
  A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci 2021
• 
  Bernd Westphal:
  On Education and Training in Formal Methods for Industrial Critical Systems. FMICS 2021: 85-103
• 
  Bernd Westphal:
  Quasi-Equal Clock Reduction On-the-Fly. NFM 2021: 375-391
• 
  Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal:
  Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops 2021
• 2020
• 
  Bernd Westphal:
  On Complementing an Undergraduate Software Engineering Course with Formal Methods. CSEE&T 2020: 1-10
• 
  Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal:
  On Implementable Timed Automata. FORTE 2020: 78-95
• 
  Michael Steinle, Bernd Westphal:
  Automatic Generation of Learning Assignments for Software Engineering Formalisms. SEUH 2020: 61-65
• 
  Bernd Westphal:
  Tutoring with Stylus-enabled Tablets. SEUH 2020: 44-48
• 2019
• 
  Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
  On Formal Verification of ACT-R Architectures and Models. CogSci 2019: 618-624
• 
  Bernd Westphal:
  Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. MoDELS (Companion) 2019: 690-699
• 
  Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post:
  Scalable Analysis of Real-Time Requirements. RE 2019: 234-244
• 
  Bernd Westphal:
  Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture). SEUH 2019: 21-33
• 2018
• 
  Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski:
  But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci 2018
• 
  Bernd Westphal:
  An Undergraduate Requirements Engineering Curriculum with Formal Methods. REET@RE 2018: 1-10
• 2017
• 
  Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal:
  On Global Scheduling Independency in Networks of Timed Automata. FORMATS 2017: 42-57
• 
  Marcus Kossatz, Sebastian Utzig, Simon Schneegans, Felix Lauer, Tobias Westphal, Jens Geelhaar, Bernd Froehlich, Patrick Riehmann:
  HistoGlobe - Teaching History Visually. VISIGRAPP (3: IVAPP) 2017: 201-208
• 2016
• 
  Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski:
  Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28(3): 499-527 (2016)
• 
  Christian Herrera, Bernd Westphal:
  The Model Checking Problem in Networks with Quasi-Equal Clocks. TIME 2016: 21-30
• 2015
• 
  Christian Herrera, Bernd Westphal:
  Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. Haifa Verification Conference 2015: 173-189
• 
  Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal:
  Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. SPIN 2015: 153-159
• 2014
• 
  Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha:
  The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. FM 2014: 658-672
• 
  Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski:
  Quasi-dependent variables in hybrid automata. HSCC 2014: 93-102
• 
  Oday Jubran, Bernd Westphal:
  Optimizing guard time for TDMA in a wireless sensor network - Case study. LCN Workshops 2014: 597-601
• 
  Ahmed Mahdi, Bernd Westphal, Martin Fränzle:
  Transformations for Compositional Verification of Assumption-Commitment Properties. RP 2014: 216-229
• 
  Christian Herrera, Bernd Westphal, Andreas Podelski:
  Quasi-Equal Clock Reduction: More Networks, More Queries. TACAS 2014: 295-309
• 2013
• 
  Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal:
  Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. 23(4): 676-725 (2013)

skipping 29 more matches