Conference, Workshop and Journal Publications*
2015
-
Towards Dependable CPS Infrastructures: Architectural and Operating-System Challenges
M. Völp, N. Asmussen, H. Härtig, B. Nöthen, G. Fettweis
Emerging Technologies and Factory Automation - Special Session on Secure and Resilient Industrial Automation and Control Systems (invited paper), Luxembourg, September 8 - 11, 2015 (to appear)
-
Uniform Control Over Heterogeneous Cores Through NoC-Level Isolation
N. Asmussen, B. Nöthen, M. Völp, O. Arnold, H. Härtig, and G. Fettweis
Design Automation Conference - Work in Progress, San Francisco, June 1-5, 2015 (to appear)
-
Towards an Interpretation of Mixed Criticality for Optimistic Scheduling
M. Völp, M. Roitzsch and H. Härtig
21st IEEE Real-Time and Embedded Technology and Applications Symposium - Work in Progress Session, Seattle, Washington, April 13-16, 2015 (to appear)
-
Taming Many Heterogeneous Cores
N. Asmussen, M. Völp, B. Nöthen, and A. Ungethüm
21st IEEE Real-Time and Embedded Technology and Applications Symposium - Demo Session, Seattle, Washington, April 13-16, 2015 (to appear)
-
Taming Heterogeneous Accelerators: Operating-Systems for Cores with no OS Support
N. Asmussen and M. Völp
20th Int. Conference on Architectural Support for Programming Languages and Operating Systems - Wild and Crazy Ideas, Istanbul, Turkey, March 14-18, 2015
-
Heterogeneity Beyond Hybrid Architectures: a Kernel for the Tomahawk
N. Asmussen and M. Völp
GI Fachgruppe Betriebssysteme - Frühjahrstreffen, Chemnitz, Germany, March 5-6, 2015
2014
-
Integrated circuits processing chemical information: Prospects and challenges
A. Richter, A. Voigt, R. Schüffny, S. Henker, and M. Völp
Design, Automation and Test in Europe Conference and Exhibition (DATE), Dresden, Germany, March 24-28, 2014
-
Locks: Picking key methods for a scalable quantitative analysis
C. Baier, M. Daum, B. Engel, H. Härtig, J. Klein, S. Klüppelholz, S. Märker, H. Tews, M. Völp
Journal of Computer and System Sciences (in print), avail. online July 2014
-
From silicon nanowire reconfigurable transistors to operating-system controlled circuit space
(Poster)
M. Raitza, M. Völp
2nd Dresden Nanoanalysis Symposium (Poster Session) Dresden, Germany, July 2014
-
Towards Computation with Microchemomechanical Systems
A. Voigt, R. Greiner, M. Allerdissen, A. Richter, S. Henker, M. Völp
International Journal of Foundations of Computer Science , Vol 25, Issue 04, June 2014
-
Has Energy Surpassed Timeliness? - Scheduling Energy-Constrained Mixed-Criticality Systems
M. Völp, M. Hähnel, A. Lackorzynski
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2014) Berlin, Germany, April 2014
-
What if we would degrade LO tasks in mixed-criticality systems?
M. Völp
20th IEEE Real-Time and Embedded Technology and Applications Symposium - Work in Progress Session (RTAS-WIP 2014) Berlin, Germany, April 2014
2013
-
On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality Scheduling
M. Völp, A. Lackorzynski, H. Härtig
1st International Workshop on Mixed Criticality Systems (WMC), co-located with RTSS 2013 Vancouver, Canada, December 2013
-
Predictable Coherent Caching with Incoherent Caches
A. Lackorzynski, B. Engel, M. Völp
Real-Time Linux WorkshopLugano-Manno, Switzerland, October 2013
-
The Case for Practical Multi-Resource and Multi-Level Scheduling Based on Energy/Utility
Hermann Härtig, Marcus Völp, Marcus Hähnel
19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, August 2013
-
Flat but Trustworthy: Security Aspects in Flattened Hierarchical Scheduling
Adam Lackorzynski, Marcus Völp, Alexander Warg
Workshop on Virtualization for Real-Time Embedded Systems (VtRES), colocated with RTCSA, Taipei, Taiwan, August 2013
-
Elastic Manycores: How to bring the OS back into the scheduling game?
Marcus Völp, Michael Roitzsch
1st Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2013), Aachen, Germany, August 2013
-
eBond: Energy Saving in Heterogeneous R.A.I.N
Marcus Hähnel, Björn Döbel, Hermann Härtig, Marcus Völp
ACM e-Energy 2013 Berkeley, CA, USA, May 2013
-
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker,
Hendrik Tews and Marcus Välp
5th NASA Formal Methods Symposium Moffet Field, CA, USA, May 2013
-
Turning x86 into a Hardware Simulator for Future Manycores
Nils Asmussen, Hermann Härtig, Marcus Völp
3rd Workshop on Systems for Future Multicore Architectures (SFMA'13)
Prague, Czech Republic, April 2013
-
Consolidate-to-Idle: The Second Dimension is Almost for Free
Marcus Völp, Johannes Steinmetz, Marcus Hähnel
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013)
WiP Session Philadelphia, USA, April 2013
-
On Confidentiality-Preserving Real-Time Locking Protocols
M. Völp, B. Engel, C. J. Hamann, H Härtig
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013) Philadelphia, USA, April 2013
-
The Potential of Energy/Utility-Accrual Scheduling
Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig
1st International WorkShop on Energy-Aware Systems, Communications and Security
(EASyCoSe 2013) Barcelona, Spain, March 2013
2012
-
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Core
H. Tews, M. Völp, T. Weber
7th Conference on Systems Software Verification (also EPTCS 102)Sydney, Australia, November 2012
-
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
C. Baier, M. Daum, B. Engel, H. Härtig, J. Klein, S. Klüppelholz, S. Märcker, H. Tews, M. Völp
7th Conference on Systems Software Verification (also EPTCS 102)Sydney, Australia, November 2012
-
First Experiences on PWCS synchronized Data Structures
B. Engel, M. Völp
Real-Time Linux WorkshopChapel Hill, USA, October 2012
-
Who is going to program this?
M. Völp, M. Roitzsch, H. Härtig
USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012) - Poster, Hollywood, CA, USA, October 2012
-
Flattening Hierarchical Scheduling
A. Lackorzynski, A. Warg, M. Völp, H. Härtig
International Conference on Embedded Software (EMSOFT 2012), Tampere, Finland, October 2012
-
The IMData Approach to Accelerating Data-Intensive Workloads
M. Völp, N. Asmussen, H. Härtig
Facing the Multicore-Challendge III - Poster, Stuttgart, Germany, September 2012
-
Waiting for locks: How long does it usually take?
C. Baier, M. Daum, B. Engel, H. Härtig, J. Klein, S. Klüppelholz, S. Märker, H. Tews, M. Völp
17th International Workshop on Formal Methods for Industrial Critical Systems (Co-located with FM 2012), Paris, August 2012 (also LNCS Volume 7437, 2012, pp 47-62)
-
Measuring Energy Consumption for Short Code Paths Using RAPL
M. Hähnel, B. Döbel, M. Völp, H.Härtig
GreenMetrics 2012 (Co-located with Sigmetrics), London UK, June 2012 (best student paper)
2011 and earlier
-
Turning Kriegers MCS Lock into a Send Queue or, a Case for Reusing Clever, Mostly Lock-Free Code in a Different Area
B. Engel, M. Völp
Real-Time Linux Workshop, Prague, October 2011
-
Formal Memory Models for the Verification of Low-Level Operating-System Code
H. Tews, M. Völp, T. Weber
Journal of Automated Reasoning - Vol 42, No 2-4, Operating System Verification , April 2009
-
Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels
M. Völp
3rd International Conference on Reliability and Security (ARES), March 2008
-
Avoiding Timing Channels in Fixed Priority Schedulers
M. Völp, C. J. Hamann, H Härtig
ACM Symposium on Information, Computer & Communication Security (ASIACCS), March 2008
-
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
H. Tews, T. Weber, M. Völp
3rd International Workshop in Systems Software Verification (SSV08), Sydney, February 2008
(Electronic Notes in Theoretical Computer Science Volume 217:)
-
Preliminary Thoughts on Verifying L4-Based Operating Systems
M. Völp
3rd International Workshop on Dependable Embedded Systems, October 2006
held in conjunction with the 25th Symposium on Reliable Distributed Systems
-
Preliminary Thoughts on Memory-Bus Scheduling
J. Liedtke, M. Völp, and K. Elphinstone
9th SIGOPS European Workshop, Kolding, Denmark, September 2000
-
Threads on an L4/x86 SMP Nucleus
M. Völp and J. Liedtke
1st Workshop on Microkernel Based Systems, Kiawah Island Resort, Charleston, SC, USA, December 1999
* Links to os.inf.tu-dresden.de point to author versions of submitted papers
Technical Reports and White Papers
-
Nova Micro-Hypervisor Verification
H. Tews, T. Weber, M. van Eekelen, P. van Rossum, M. Völp
Technical Report ICIS-R08012 (Robin Deliverable D.13 see also Hendrik's
Robin Page), April 2008
-
L4.Sec Preliminary Microkernel Reference Manual
-
The L4Ka Vision
J. Liedtke, U. Dannowski, K. Elphinstone, G. Liefländer,
E. Skoglund, V. Uhlig, C. Ceelen, A. Haeberlen, and M. Völp
White paper, April 2001
Patents
-
Verfahren und Einrichtung um eine eventuelle Schreibinkonsistenz in nicht kohärenten Architekturen abzusichern
M. Völp
Patent no. DE102012106759 A1, Technische Universität Dresden, Germany Jan 2014
-
Secured start-up of an electronic device having an SMP architecture
M. Völp
Patent no. FR2862397 (also: US2007113088), ST Microelectronics, France May 2005
-
Data encryption in an electronic apparatus with several symmetrical processors
M. Völp, C. Anguille
Patent no. EP1524795 (also: US2005138403), ST Microelectronics, France April 2005
-
Memory access control in an electronic apparatus
M. Völp, W. Orlando
Patent no. EP1548601 (also: US2005182909), ST Microelectronics, France June 2005
-
Multicontext processor architecture
M. Völp
Patent no. EP1522923 (also: US2005080120), ST Microelectronics, France April 2005
PhD Thesis
Graduate and Undergraduate Theses