1
0
0
(1 - 30 von 35
)
dblp: Marcus Völp
dblp.uni-trier.de
Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig: On confidentiality-preserving real-time locking protocols. IEEE Real-Time and Embedded …
Seminar Series - Dr. Marcus Völp: Verifying Cyber Physical ...
cfaed.tu-dresden.de
During my stay at the Carnegie Mellon University, I was involved with Andre´ Platzer and his group in the verification of cyber physical systems. In this talk, I will give an …
Marcus Völp
os.inf.tu-dresden.de
I'm postdoc at the Operating Systems Group of Prof. Hermann Härtig of the Technische Universität Dresden and leader of the cfaed research group Microkernel-Based …
Wissenschaft
askra.de
... , Hermann, Joachim, Sascha, Steffen und Marcus Völp. Kopie: Vortrag auf der Systems Software Verification Converence (SSV 2012) am 30. November in ...
Science by Hendrik Tews
askra.de
Done together with Christel, Benjamin, Sascha, Steffen and Marcus Völp. copy: Solving Operating-Systems Problems with Probabilistic Model Checking, presentation for the resilience path of cfaed (the Center for Advancing Electronics Dresden), TU Dresden, Mai 3rd, [copy slides]
cfaed Research Group Leaders - cfaed - TU Dresden
cfaed.tu-dresden.de
Prof. Dr. Thorsten-Lars Schmidt. Assistant Professor at Kent State University, Ohio, USA. DNA Chemistry. Associate Professor Dr.-Ing. Marcus Völp. Université du Luxembourg, SnT - Interdisciplinary Centre for Security, Reliability and Trust / Personal Page. Microkernel-Based Systems for Heterogeneous Architectures.
SysTEX 2017
systex.ibr.cs.tu-bs.de
Marcus Völp, Jeremie Decouchant, Christoph Lambert, Maria Fernandes, and Paulo Esteves-Verissimo (SnT - University of Luxembourg) Challenges For Scaling Applications Across Enclaves (Short Paper) Jethro G. Beekman (Fortanix) and Donald E. Porter (Fortanix and UNC Chapel Hill) Scaling Databases using Trusted Hardware Proxies
FIS - Forschungsinformationssystem der TU Dresden
forschungsinfo.tu-dresden.de
Service ; Exzellenz; Forschungs-informationssystem. Recherche; Forschung Live; ... Marcus Völp. Tagung, Kongress, Vorlesungsreihe. ACM Symposium on ...
Intel und SnT kooperieren, um selbstfahrende Autos sicherer ...www.science.lu › autonomes-fahren › intel-und-snt-ko...
www.science.lu
... Forscher Dr.-Ing. Marcus Völp der Universität Luxemburg. „Allein Windows 10 hat rund 50 Millionen Codezeilen, um ein Beispiel zu nennen.
Graduate School & Postgraduate Program - cfaed
cfaed.tu-dresden.de
Marcus Völp, RGL Orchestration . The Graduate School & Postgraduate Program aim to develop cfaed´s PhD students, Postdocs, Research Group Leaders, and young Professors into innovative minds, groundbreaking reseachers, and inspiring educators.
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coqwww.scienceopen.com › book
www.scienceopen.com
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. Authors: Vincent Rahli , Ivana Vukotic , Marcus Völp , Paulo Esteves-Verissimo.
Re: seL4 kernel is formally verified
www.mail-archive.com
Marcus Voelp Mon, 17 Aug :54: Hi Nicholas, Nicholas Mc Guire wrote: > What did supprise me a bit is that: > …
Publikationen — Professur für Algebraische und logische ...
tu-dresden.de
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp Locks: Picking key methods for a scalable quantitative analysis Journal of Computer and System Sciences, Volume 81(1), 2015, pp , Link. Christel Baier, Cesare Tinelli (editors)
seL4 kernel is formally verified
www.mail-archive.com
Re: seL4 kernel is formally verified Nicholas Mc Guire. Re: seL4 kernel is formally verified Marcus Voelp. Re: seL4 kernel is formally verified Gernot Heiser
Publikationen — Institut für Wissenschaftliches Rechnen — TU Dresden
tu-dresden.de
Marcus Völp et al.: The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-Cmos Hardware. 1st International Workshop on Post-Moore’s Era …
Search results for "Hendrik Tews" – FacetedDBLP
dblp.l3s.de
1, Hendrik Tews, Marcus Völp, Tjark Weber · Formal Memory Models for the ...
sortiert nach Relevanz / Datum