Alexander Walsch

According to our database, Alexander Walsch authored at least 3 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.

Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle

Proceedings of the 2018 Annual American Control Conference, 2018

2016

formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification.

Axel Busboom, Simone Schuler, Alexander Walsch

Proceedings of the ARCH@CPSWeek 2016, 2016

2002

Architecture and prototype of a real-time processor farm running at 1 MHz.

Alexander Walsch

PhD thesis, 2002