Alexander Walsch

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Labor Intensive

Formal Verification

Landmark Extraction

Design Rationale

Top Venues

University of Mannheim (PHD)

Education History

University of Mannheim

PHD

Publications

Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Axel Busboom, Simone Schuler, Alexander Walsch
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. ARCH@CPSWeek (2016)