BibTeX records: Martin Pohlack

download as .bib file

@inproceedings{DBLP:conf/fmcad/CookDKMPPTW20,
  author       = {Byron Cook and
                  Bj{\"{o}}rn D{\"{o}}bel and
                  Daniel Kroening and
                  Norbert Manthey and
                  Martin Pohlack and
                  Elizabeth Polgreen and
                  Michael Tautschnig and
                  Pawel Wieczorkiewicz},
  title        = {Using model checking tools to triage the severity of security bugs
                  in the Xen hypervisor},
  booktitle    = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
                  Israel, September 21-24, 2020},
  pages        = {185--193},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_26},
  doi          = {10.34727/2020/ISBN.978-3-85448-042-6\_26},
  timestamp    = {Thu, 14 Jan 2021 08:55:22 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/CookDKMPPTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Pohlack2010,
  author       = {Martin Pohlack},
  title        = {Runtime monitoring for open real- time systems},
  school       = {Dresden University of Technology},
  year         = {2010},
  url          = {https://d-nb.info/1008071455},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Pohlack2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/micro/AfekDFFGHRSUMHMDPCHDGKTKSNR10,
  author       = {Yehuda Afek and
                  Ulrich Drepper and
                  Pascal Felber and
                  Christof Fetzer and
                  Vincent Gramoli and
                  Michael Hohmuth and
                  Etienne Rivi{\`{e}}re and
                  Per Stenstr{\"{o}}m and
                  Osman S. Unsal and
                  Walther Maldonado and
                  Derin Harmanci and
                  Patrick Marlier and
                  Stephan Diestelhorst and
                  Martin Pohlack and
                  Adri{\'{a}}n Cristal and
                  Ibrahim Hur and
                  Aleksandar Dragojevic and
                  Rachid Guerraoui and
                  Michal Kapalka and
                  Sasa Tomic and
                  Guy Korland and
                  Nir Shavit and
                  Martin Nowack and
                  Torvald Riegel},
  title        = {The Velox Transactional Memory Stack},
  journal      = {{IEEE} Micro},
  volume       = {30},
  number       = {5},
  pages        = {76--87},
  year         = {2010},
  url          = {https://doi.org/10.1109/MM.2010.80},
  doi          = {10.1109/MM.2010.80},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/micro/AfekDFFGHRSUMHMDPCHDGKTKSNR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosys/ChristieCDHPFNRFMR10,
  author       = {Dave Christie and
                  Jae{-}Woong Chung and
                  Stephan Diestelhorst and
                  Michael Hohmuth and
                  Martin Pohlack and
                  Christof Fetzer and
                  Martin Nowack and
                  Torvald Riegel and
                  Pascal Felber and
                  Patrick Marlier and
                  Etienne Rivi{\`{e}}re},
  editor       = {Christine Morin and
                  Gilles Muller},
  title        = {Evaluation of AMD's advanced synchronization facility within a complete
                  transactional memory stack},
  booktitle    = {European Conference on Computer Systems, Proceedings of the 5th European
                  conference on Computer systems, EuroSys 2010, Paris, France, April
                  13-16, 2010},
  pages        = {27--40},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1755913.1755918},
  doi          = {10.1145/1755913.1755918},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/ChristieCDHPFNRFMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micro/ChungYDPHCG10,
  author       = {Jae{-}Woong Chung and
                  Luke Yen and
                  Stephan Diestelhorst and
                  Martin Pohlack and
                  Michael Hohmuth and
                  David Christie and
                  Dan Grossman},
  title        = {{ASF:} {AMD64} Extension for Lock-Free Data Structures and Transactional
                  Memory},
  booktitle    = {43rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
                  {MICRO} 2010, 4-8 December 2010, Atlanta, Georgia, {USA}},
  pages        = {39--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/MICRO.2010.40},
  doi          = {10.1109/MICRO.2010.40},
  timestamp    = {Tue, 31 May 2022 14:39:58 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/ChungYDPHCG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jvcir/RoitzschP08,
  author       = {Michael Roitzsch and
                  Martin Pohlack},
  title        = {Video quality and system resources: Scheduling two opponents},
  journal      = {J. Vis. Commun. Image Represent.},
  volume       = {19},
  number       = {8},
  pages        = {473--488},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jvcir.2008.09.007},
  doi          = {10.1016/J.JVCIR.2008.09.007},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jvcir/RoitzschP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/HartigZPAGPR07,
  author       = {Hermann H{\"{a}}rtig and
                  Steffen Zschaler and
                  Martin Pohlack and
                  Ronald Aigner and
                  Steffen G{\"{o}}bel and
                  Christoph Pohl and
                  Simone R{\"{o}}ttger},
  title        = {Enforceable component-based realtime contracts},
  journal      = {Real Time Syst.},
  volume       = {35},
  number       = {1},
  pages        = {1--31},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11241-006-9002-1},
  doi          = {10.1007/S11241-006-9002-1},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HartigZPAGPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/RoitzschP06,
  author       = {Michael Roitzsch and
                  Martin Pohlack},
  title        = {Principles for the Prediction of Video Decoding Times Applied to {MPEG-1/2}
                  and {MPEG-4} Part 2 Video},
  booktitle    = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2006), 5-8 December 2006, Rio de Janeiro, Brazil},
  pages        = {271--280},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RTSS.2006.36},
  doi          = {10.1109/RTSS.2006.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/RoitzschP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wicsa/GobelPAPRZ04,
  author       = {Steffen G{\"{o}}bel and
                  Christoph Pohl and
                  Ronald Aigner and
                  Martin Pohlack and
                  Simone R{\"{o}}ttger and
                  Steffen Zschaler},
  title        = {The {COMQUAD} Component Container Architecture},
  booktitle    = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
                  2004), 12-15 June 2004, Oslo, Norway},
  pages        = {315--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/WICSA.2004.1310717},
  doi          = {10.1109/WICSA.2004.1310717},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/GobelPAPRZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/ReutherP03,
  author       = {Lars Reuther and
                  Martin Pohlack},
  title        = {Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic
                  Active Subset {(DAS)}},
  booktitle    = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2003), 3-5 December 2003, Cancun, Mexico},
  pages        = {374--385},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/REAL.2003.1253285},
  doi          = {10.1109/REAL.2003.1253285},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/ReutherP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.