BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: V=ouml=lp:Marcus

Contributed to:

CADE 20152015
DATE 20142014
ESOP 20182018
ASPLOS 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.