Travelled to:2 × Germany
Collaborated with:V.Rahli I.Vukotic P.J.E.Veríssimo N.Fulton S.Mitsch J.Quesel A.Platzer A.Richter A.Voigt R.Schüffny S.Henker Nils Asmussen Benedikt Nöthen H.Härtig Gerhard P. Fettweis
Talks about:system (2) velisario (1) heterogen (1) protocol (1) prospect (1) challeng (1) byzantin (1) theorem (1) process (1) manycor (1)
Person: Marcus Völp
DBLP: V=ouml=lp:Marcus
Contributed to:
2015
2014
2018
2016Wrote 4 papers:
- CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
- DATE-2014-RichterVSHV #challenge
- Integrated circuits processing chemical information: Prospects and challenges (AR, AV, RS, SH, MV), p. 1.
- ESOP-2018-RahliVVV #coq #fault tolerance #named #protocol
- Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (VR, IV, MV, PJEV), pp. 619–650.
- ASPLOS-2016-AsmussenVNHF #co-evolution #design #hardware #named
- M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores (NA, MV, BN, HH, GPF), pp. 189–203.