Martin Pohlack

According to our database, Martin Pohlack authored at least 10 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Using model checking tools to triage the severity of security bugs in the Xen hypervisor.

Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2010

Runtime monitoring for open real- time systems.

Martin Pohlack

PhD thesis, 2010

The Velox Transactional Memory Stack.

Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Rivière, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel

IEEE Micro, 2010

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.

Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.

Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière

Proceedings of the European Conference on Computer Systems, 2010

2008

Video quality and system resources: Scheduling two opponents.

Michael Roitzsch, Martin Pohlack

J. Vis. Commun. Image Represent., 2008

2007

Enforceable component-based realtime contracts.

Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, Simone Röttger

Real Time Syst., 2007

2006

Principles for the Prediction of Video Decoding Times Applied to MPEG-1/2 and MPEG-4 Part 2 Video.

Michael Roitzsch, Martin Pohlack

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

2004

The COMQUAD Component Container Architecture.

Steffen Göbel, Christoph Pohl, Ronald Aigner, Martin Pohlack, Simone Röttger, Steffen Zschaler

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

2003

Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS).

Lars Reuther, Martin Pohlack

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003