Person. André Platzer

Alexander von Humboldt Professor · Karlsruhe Institute of Technology · cs.cmu.edu/~aplatzer · 0000-0001-7238-5710
PhD advisorErnst-Rüdiger Olderog
PostdocsJean-Baptiste Jeannin
PhDCarl von Ossietzky Universität Oldenburg
Master’sKarlsruhe Institute of Technology

Papers

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016
DOI

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System jeannin-2015-aTACAS · 2015
DOI · pldb
andreplatzer person entries/rolodex/andreplatzer.hel