Marcus Völp

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2054	1058
H-index	21	16
i10-index	36	20

240

120

180

2005200620072008200920102011201220132014201520162017201820192020202120222023202420257 10 4 6 18 18 25 10 46 88 76 115 154 171 193 188 191 200 209 227 41

גישה ציבורית

הצג הכל

39 מאמרים

9 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Hermann HärtigProfessor Computer Science, Technische Universität Dresdenכתובת אימייל מאומתת בדומיין tu-dresden.de
Paulo Esteves-VerissimoProfessor of Computer Science, RC3, CEMSE -- KAUSTכתובת אימייל מאומתת בדומיין kaust.edu.sa
Jérémie DecouchantAssistant Professor (Universitair Docent, tenured), Delft University of Technologyכתובת אימייל מאומתת בדומיין tudelft.nl
Marcus HähnelKernkonzept GmbHכתובת אימייל מאומתת בדומיין kernkonzept.com
Vincent RahliUniversity of Birminghamכתובת אימייל מאומתת בדומיין bham.ac.uk
Bjoern DoebelAmazon Web Servicesכתובת אימייל מאומתת בדומיין os.inf.tu-dresden.de
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of Technologyכתובת אימייל מאומתת בדומיין kit.edu
Ivana (Todorovic) VukoticPhD candidate, University of Luxembourgכתובת אימייל מאומתת בדומיין uni.lu
Francisco RochaPostdoctoral scholar, The Pennsylvania State Universityכתובת אימייל מאומתת בדומיין psu.edu
Gerhard P. FettweisVodafone Chair Professor, TU Dresden / Barkhausen Institut, Dresdenכתובת אימייל מאומתת בדומיין tu-dresden.de
Christel BaierTU Dresdenכתובת אימייל מאומתת בדומיין tu-dresden.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresdenכתובת אימייל מאומתת בדומיין tcs.inf.tu-dresden.de
Stefan MitschSchool of Computing, DePaul Universityכתובת אימייל מאומתת בדומיין depaul.edu
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.כתובת אימייל מאומתת בדומיין amazon.com
Jan-David QueselGoogleכתובת אימייל מאומתת בדומיין google.com
Walter M. WeberProfessor of Nanoelectronics at TU Wienכתובת אימייל מאומתת בדומיין tuwien.ac.at
Jens TrommerNamlab gGmbHכתובת אימייל מאומתת בדומיין namlab.com
Thomas MikolajickScientific Director, NaMLab GmbH and Professor for Nanoelectronics, TU Dresdenכתובת אימייל מאומתת בדומיין namlab.com
Steffen MärckerFaculty of Computer Science, TU Dresdenכתובת אימייל מאומתת בדומיין tu-dresden.de
Akash KumarFull Professor, Chair of Embedded Systems, Ruhr University Bochumכתובת אימייל מאומתת בדומיין rub.de

עקוב אחר

Marcus Völp

CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg

כתובת אימייל מאומתת בדומיין uni.lu

operating systems microkernels intrusion tolerance


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Measuring energy consumption for short code paths using RAPL‏ M Hähnel, B Döbel, M Völp, H Härtig‏ ACM SIGMETRICS Performance Evaluation Review 40 (3), 13-17, 2012‏	395	2012
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems‏ N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer‏ Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015‏	334	2015
M3: A hardware/operating-system co-design to tame heterogeneous manycores‏ N Asmussen, M Völp, B Nöthen, H Härtig, G Fettweis‏ Proceedings of the Twenty-First International Conference on Architectural …, 2016‏	93	2016
Flattening hierarchical scheduling‏ A Lackorzyński, A Warg, M Völp, H Härtig‏ Proceedings of the tenth ACM international conference on Embedded software …, 2012‏	88	2012
Formally verified differential dynamic logic‏ R Bohrer, V Rahli, I Vukotic, M Völp, A Platzer‏ Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017‏	82	2017
Towards safe and secure autonomous and cooperative vehicle ecosystems‏ A Lima, F Rocha, M Völp, P Esteves-Veríssimo‏ Proceedings of the 2nd ACM workshop on cyber-physical systems security and …, 2016‏	69	2016
Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits‏ J Trommer, A Heinzig, T Baldauf, T Mikolajick, WM Weber, M Raitza, ...‏ 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 169-174, 2016‏	65	2016
Exploiting transistor-level reconfiguration to optimize combinational circuits‏ M Raitza, A Kumar, M Völp, D Walter, J Trommer, T Mikolajick, WM Weber‏ Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017‏	63	2017
Velisarios: Byzantine fault-tolerant protocols powered by Coq‏ V Rahli, I Vukotic, M Völp, P Esteves-Verissimo‏ Programming Languages and Systems: 27th European Symposium on Programming …, 2018‏	60	2018
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems‏ M Völp, M Hähnel, A Lackorzynski‏ 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014‏	60	2014
Vulnerability analysis and mitigation of directed timing inference based attacks on time-triggered systems‏ K Krüger, M Volp, G Fohler‏ Leibniz International Proceedings in Informatics 106, 2018‏	46	2018
Avoiding timing channels in fixed-priority schedulers‏ M Völp, CJ Hamann, H Härtig‏ Proceedings of the 2008 ACM symposium on Information, computer and …, 2008‏	41	2008
A hardware/software stack for heterogeneous systems‏ J Castrillon, M Lieber, S Klüppelholz, M Völp, N Asmussen, U Assmann, ...‏ IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017‏	39	2017
Privileged execution context restricting use of hardware resources by other execution contexts‏ M Volp‏ US Patent 7,730,544, 2010‏	30	2010
Formal memory models for the verification of low-level operating-system code‏ H Tews, M Völp, T Weber‏ Journal of Automated Reasoning 42, 189-227, 2009‏	29	2009
On confidentiality-preserving real-time locking protocols‏ M Völp, B Engel, CJ Hamann, H Härtig‏ 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013‏	27	2013
Threat adaptive byzantine fault tolerant state-machine replication‏ DS Silva, R Graczyk, J Decouchant, M Völp, P Esteves-Verissimo‏ 2021 40th International Symposium on Reliable Distributed Systems (SRDS), 78-87, 2021‏	26	2021
Accurate filtering of privacy-sensitive information in raw genomic data‏ J Decouchant, M Fernandes, M Völp, FM Couto, P Esteves-Veríssimo‏ Journal of biomedical informatics 82, 1-12, 2018‏	24	2018
eBond: energy saving in heterogeneous RAIN‏ M Hähnel, B Döbel, M Völp, H Härtig‏ Proceedings of the fourth international conference on Future energy systems …, 2013‏	23	2013
Secure booting of an electronic apparatus with SMP architecture‏ M Volp‏ US Patent 7,624,261, 2009‏	22	2009

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים