Publications

The position paper of the Orchestration path has been accepted at the 1st International Workshop on Post-Moore's Era Supercomputing (PMES'16) and was presented in Salt Lake City, USA on Monday, Nov 14, 2016.


Orch Publications

  • 2017

  • Fazal Hameed, Christian Menard, Jeronimo Castrillon, "Efficient STT-RAM Last-Level-Cache Architecture to replace DRAM Cache" (to appear), Proceedings of the International Symposium on Memory Systems (MemSys 17), Oct 2017. [Bibtex & Downloads]
  • Adilla Susungi, Norman A. Rink, Jeronimo Castrillon, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, Jochen Fröhlich, "Towards Compositional and Generative Tensor Optimizations" (to appear), Proceedings of the ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Vancouver, Canada, October 23-24, 2017 (GPCE 17), Oct 2017. [Bibtex & Downloads]
  • Sven Karol, Tobias Nett, Jeronimo Castrillon, Ivo F. Sbalzarini, "A Domain-Specific Language and Editor for Parallel Particle Methods" , In ArXiv e-prints, Sep 2017. [Bibtex & Downloads]
  • Sven Karol, Tobias Nett, Pietro Incardona, Nesrine Khouzami, Jeronimo Castrillon, Ivo F. Sbalzarini, "A Language and Development Environment for Parallel Particle Methods" , Proceedings of the 5th International Conference on Particle-based Methods. Fundamentals and Applications PARTICLES 2017 (P. Wriggers and M. Bischoff and E. Oñate and D.R.J. Owen and T. Zohdi) , Sep 2017. [Bibtex & Downloads]
  • Jeronimo Castrillon, Tei-Wei Kuo, Heike E. Riel, Matthias Lieber, "Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)" , In Dagstuhl Reports (Jerónimo Castrillón-Mazo and Tei-Wei Kuo and Heike E. Riel and Matthias Lieber) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 7, no. 2, pp. 1–22, Dagstuhl, Germany, Aug 2017. [doi] [Bibtex & Downloads]
  • Andrés Goens, Sergio Siccha, Jeronimo Castrillon, "Symmetry in Software Synthesis" , In ACM Transactions on Architecture and Code Optimization (TACO), ACM, vol. 14, no. 2, pp. 20:1–20:26, New York, NY, USA, Jul 2017. [doi] [Bibtex & Downloads]
  • Christian Menard, Matthias Jung, Jeronimo Castrillon, Norbert Wehn, "System Simulation with gem5 and SystemC: The Keystone for Full Interoperability" , Proceedings of the IEEE International Conference on Embedded Computer Systems Architectures Modeling and Simulation (SAMOS), Jul 2017. [Bibtex & Downloads]
  • Andrés Goens, Robert Khasanov, Marcus Hähnel, Till Smejkal, Hermann Härtig, Jeronimo Castrillon, "TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings" , Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 17), ACM, pp. 11–20, New York, NY, USA, Jun 2017. [doi] [Bibtex & Downloads]
  • Gerald Hempel, Andrés Goens, Josefine Asmus, Jeronimo Castrillon, Ivo F. Sbalzarini, "Robust Mapping of Process Networks to Many-Core Systems Using Bio-Inspired Design Centering" , Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 17), ACM, pp. 21–30, New York, NY, USA, Jun 2017. [doi] [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Extending a Compiler Backend for Complete Memory Error Detection" , In Proceeding: Lecture Notes in Informatics: Automotive - Safety & Security 2017 (Peter Dencker and Herbert Klenk and Hubert Kelle and Erhard Plödereder) , pp. 61–74, May 2017. (Best paper award) [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Trading Fault Tolerance for Performance in AN Encoding" , Proceedings of the ACM International Conference on Computing Frontiers (CF 17), ACM, pp. 183–190, New York, NY, USA, May 2017. [doi] [Bibtex & Downloads]
  • Michael Raitza, Jens Trommer, Akash Kumar, Marcus Völp, Dennis Walter, Walter Weber, Thomas Mikolajick, "Exploiting Transistor-Level Reconfiguration to Optimize Combinational Circuits" , Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. [Bibtex & Downloads]
  • Fazal Hameed, Jeronimo Castrillon, "Rethinking On-chip DRAM Cache for Simultaneous Performance and Energy Optimization" , Proceedings of the 2017 Design, Automation and Test in Europe conference (DATE), EDA Consortium, pp. 362–367, Mar 2017. [doi] [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "flexMEDiC: flexible Memory Error Detection by Combined data encoding and duplication" , Proceedings of the 2nd International Workshop on Resiliency in Embedded Electronic Systems (REES), co-located with DATE 2017, pp. 15–22, Mar 2017. [Bibtex & Downloads]
  • Andrés Goens, Jeronimo Castrillon, "Optimizing for Data-Parallelism in Kahn Process Networks" , In Proceeding: ACM SRC at International Symposium on Code Generationand Optimization (CGO), Feb 2017. [Bibtex & Downloads]
  • Jeronimo Castrillon, "Flexible and Scalable Dataflow Programming for Manycores" , In Tutorial for heterogeneous multicore design automation: current and future, held in conjunction with the 12th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC) (invited talk), Jan 2017. [Bibtex & Downloads]
  • Jeronimo Castrillon, "On Mapping to Multi/Manycores" , In 10th International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG-2017), held in conjunction with the 12th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC) (invited talk), Jan 2017. [Bibtex & Downloads]
  • Rui Santos, Shyamsundar Venkataraman, Akash Kumar, "Scrubbing Mechanism for Heterogeneous Applications in Reconfigurable Devices" , In ACM Transactions on Design Automation of Electronic Systems (TODAES), 2017. [Bibtex & Downloads]
  • Lisa Hutschenreiter and, "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination" (to appear), In Proceeding: Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2017. [Bibtex & Downloads]
  • David Müller and, "LTL to Deterministic Emerson-Lei Automata" , In Proceeding: Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2017. [Bibtex & Downloads]
  • Jörg Stiller, "Nonuniformly weighted Schwarz smoothers for spectral element multigrid" , In Journal of Scientific Computing, vol. 72, no. 1, pp. 81–96, 2017. [Bibtex & Downloads]
  • Matthias Lieber, Wolfgang E. Nagel, "Highly scalable SFC-based dynamic load balancing and its application to atmospheric modeling" , In Future Generation Computer Systems, 2017. [doi] [Bibtex & Downloads]
  • Immo Huismann, Matthias Lieber, Jörg Stiller, Jochen Fröhlich, "Load Balancing for CPU-GPU Coupling in Computational Fluid Dynamics" (to appear), In Proceeding: Proc. of PPAM 2017, 2017. [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Factorizing the factorization – a spectral-element solver for elliptic equations with linear operation count" , In Journal of Computational Physics, vol. 346, pp. 437-448, 2017. [doi] [Bibtex & Downloads]
  • Lisa Hutschenreiter, Christel Baier, Joachim Klein, "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination" , In Proceeding: Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2017. [Bibtex & Downloads]
  • Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking" , In Formal Aspects of Computing, 2017. [Bibtex & Downloads]
  • Christel Baier and, "Synthesis of Optimal Resilient Control Strategies" , In Proceeding: Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2017. [Bibtex & Downloads]
  • Christel Baier and, "Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms" , In Proceeding: Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST), 2017. [Bibtex & Downloads]
  • Steffen Märcker and, "Computing Conditional Probabilities: Implementation and Evaluation" , In Proceeding: Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017. [Bibtex & Downloads]
  • Linda Leuschner and, "Towards Automated Configuration of Systems with Non-Functional Constraints" , Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS), 2017. [Bibtex & Downloads]
  • Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz, "Towards Automated Configuration of Systems with Non-Functional Constraints" , Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS), 2017. [Bibtex & Downloads]
  • Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz, "Computing Conditional Probabilities: Implementation and Evaluation" , In Proceeding: Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017. [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, \v Luboš Koren\v ciak, Antonín Ku\v cera, Vojt\v ech \v Rehák, "Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms" , In Proceeding: Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST), 2017. [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, \v Luboš Koren\v ciak, Antonín Ku\v cera, Vojt\v ech \v Rehák, "Synthesis of Optimal Resilient Control Strategies" , In Proceeding: Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2017. [Bibtex & Downloads]
  • Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich, "Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes" , In Proceeding: Proc. of the 29th International Conference on Computer Aided Verification (CAV), Part I, Springer, vol. 10426, pp. 160–180, 2017. [Bibtex & Downloads]
  • Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller, "Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata" , In International Journal on Software Tools for Technology Transfer, pp. 1–16, 2017. [Bibtex & Downloads]
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich, "Maximizing the Conditional Expected Reward for Reaching the Goal" , In Proceeding: Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, Springer, vol. 10206, pp. 269–285, 2017. [Bibtex & Downloads]
  • "SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings" , Springer, vol. 10139, 2017. [Bibtex & Downloads]
  • "SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings" , Springer, vol. 10139, 2017. [Bibtex & Downloads]
  • "Proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 2017" , Springer, vol. 10139, 2017. [Bibtex & Downloads]
  • 2016

  • Norman A. Rink, Jeronimo Castrillon, "Comprehensive Backend Support for Local Memory Fault Tolerance" , Technical report, Technische Universität Dresden, pp. 11, Dec 2016. [Bibtex & Downloads]
  • Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andres Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, "The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware" , Proceedings of the 1st International Workshop on Post-Moore s Era Supercomputing (PMES), Co-located with The International Conference for High Performance Computing, Networking, Storage and Analysis (SC16), Salt Lake City, USA, Nov 2016. [Bibtex & Downloads]
  • Christian Menard, Andrés Goens, Jeronimo Castrillon, "High-Level NoC Model for MPSoC Compilers" , Proceedings of the IEEE Nordic Circuits and Systems Conference (NORCAS 16), pp. 1-6, Copenhagen, Denmark, Nov 2016. [doi] [Bibtex & Downloads]
  • Nam Khanh Pham, Akash Kumar, Khin Mi Mi Aung, "Automatic framework to generate reconfigurable accelerators for option pricing applications" , In Proceeding: International Conference on Reconfigurable Computing and FPGAs (ReConFig), Nov 2016. [Bibtex & Downloads]
  • Andres Goens, Robert Khasanov, Jeronimo Castrillon, Simon Polstra, Andy Pimentel, "Why Comparing System-level MPSoC Mapping Approaches is Difficult: a Case Study" , Proceedings of the IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-16), pp. 281-288, Ecole Centrale de Lyon, Lyon, France, Sep 2016. [doi] [Bibtex & Downloads]
  • Benjamin Schiller, Clemens Deusser, Jeronimo Castrillon, Thorsten Strufe, "Compile- and Run-time Approaches for the Selection of Efficient Data Structures for Dynamic Graph Analysis" , In Journal of Applied Network Science, vol. 1, no. 9, pp. 1–22, Sep 2016. [doi] [Bibtex & Downloads]
  • Andrés Goens, Jeronimo Castrillon, Maximilian Odendahl, Rainer Leupers, "An Optimal Allocation of Memory Buffers for Complex Multicore Platforms" , In Journal of Systems Architecture, Elsevier, vol. 66-67, pp. 69–83, May 2016. [doi] [Bibtex & Downloads]
  • Pham Nam Khanh, Akash Kumar, Khin Mi Mi Aung, "Machine Learning Approach to Generate Pareto Front for List-scheduling Algorithms" , Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES, Sankt Goar, Germany, May 23-25, 2016, pp. 127–134, May 2016. (Awarded with Best presentation award of SCOPES 2016) [doi] [Bibtex & Downloads]
  • N. U. Hassan, M. Schlüter, G. P. Fettweis, "Fully parallel window decoder architecture for spatially-coupled LDPC codes" , In Proceeding: 2016 IEEE International Conference on Communications (ICC), pp. 1-6, May 2016. [Bibtex & Downloads]
  • Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, Gerhard Fettweis, "M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores" (to appear), Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems, ACM, April 2016. [Bibtex & Downloads]
  • Jeronimo Castrillon, "Programming Heterogeneous Embedded Systems for IoT" , In Workshop get-togethers toward a sustainable collaboration in IoT (invited talk), Apr 2016. ([link]) [Bibtex & Downloads]
  • Sven Karol, Norman A. Rink, Bálint Gyapjas, Jeronimo Castrillon, "Fault Tolerance with Aspects: a Feasibility Study" , Proceedings of the 15th International Conference on Modularity, ACM, pp. 66–69, New York, NY, USA, Mar 2016. [doi] [Bibtex & Downloads]
  • Christian Menard, "Mapping KPN-Based Applications to the NoC-Based Tomahawk Architectures" , Master's thesis, TU Dresden, 3/2016. [Bibtex & Downloads]
  • Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich, "Greener Bits: Formal Analysis of Demand Response" , In Proceeding: Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, vol. 9938, pp. 323–339, 2016. [doi] [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Factorizing the factorization - a spectral-element solver for elliptic equations with linear operation count" , arXiv:1601.08179v1, 2016. [Bibtex & Downloads]
  • Johannes Mey, Sven Karol, Uwe Aßmann, Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Using Semantics-Aware Composition and Weaving for Multi-Variant Progressive Parallelization" , In Procedia Computer Science, Elsevier, vol. 80, pp. 1554–1565, 2016. [doi] [Bibtex & Downloads]
  • Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat" , In Proceeding: Proc. of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE), Springer, vol. 9633, pp. 287–304, 2016. [Bibtex & Downloads]
  • Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz, "Modeling Role-Based Systems with Exogenous Coordination" , In Proceeding: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Springer, vol. 9660, pp. 122–139, 2016. [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Fast static condensation for the Helmholtz equation in a spectral-element discretization" , Chapter in Parallel Processing and Applied Mathematics, Springer, pp. 371–380, 2016. [doi] [Bibtex & Downloads]
  • Pham Nam Khanh, Amit Kumar Singh, Akash Kumar, Khin Mi Mi Aung, "Leakage Aware Resource Management Approach with Machine Learning Optimization Framework for Partially Reconfigurable Architectures" , In Microprocessors and Microsystems, 2016. [Bibtex & Downloads]
  • Christel Baier, "Cost-Utility Analysis in Probabilistic Models" , In Proceeding: Proc. of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), IEEE, pp. 1, 2016. [doi] [Bibtex & Downloads]
  • Daniel Gburek, Christel Baier, Sascha Klüppelholz, "Composition of Stochastic Transition Systems Based on Spans and Couplings" , In Proceeding: Proc. of the 43rd International Colloquium on Automata, Languages and Programming (ICALP), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 55, pp. 102:1–102:15, 2016. [Bibtex & Downloads]
  • Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell, "Markov Chains and Unambiguous Büchi Automata" , In Proceeding: Proc. of the 28th International Conference on Computer Aided Verification (CAV) - Part I, Springer, vol. 9779, pp. 23–42, 2016. [Bibtex & Downloads]
  • Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller, "Advances in Symbolic Probabilistic Model Checking with PRISM" , In Proceeding: Proc. of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, vol. 9636, pp. 349–366, 2016. [Bibtex & Downloads]
  • Matthias Lieber, Kerstin Gößner, Wolfgang E. Nagel, "The Potential of Diffusive Load Balancing at Large Scale" , Proceedings of the 23rd European MPI Users Group Meeting, ACM, pp. 154–157, 2016. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Dirk Habich, Wolfgang Lehner, "Limitations of Intra-operator Parallelism Using Heterogeneous Computing Resources" , Springer International Publishing, pp. 291–305, Cham, 2016. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, "Heterogeneity-Aware Query Optimization" , In Proceeding: VLDB 2016 PhD Workshop, 2016. [Bibtex & Downloads]
  • Jörg Stiller, "Robust multigrid for high-order discontinuous Galerkin methods: A fast Poisson solver suitable for high-aspect ratio Cartesian grids" , In Journal of Computational Physics, vol. 327, pp. 317–336, 2016. [Bibtex & Downloads]
  • Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell, "Markov Chains and Unambiguous Büchi Automata" , In arXiv preprint arXiv:1605.00950, 2016. [Bibtex & Downloads]
  • Sebastian Haas, Oliver Arnold, Stefan Scholze, Sebastian Höppner, Georg Ellguth, Andreas Dixius, Annett Ungethüm, Eric Mier, Benedikt Nöthen, Emil Matúš, others, "A database accelerator for energy-efficient query processing and optimization" , In Proceeding: Nordic Circuits and Systems Conference (NORCAS), 2016 IEEE, pp. 1–5, 2016. [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Cascadic Multigrid in a Spectral-Element Context" , In PAMM, Wiley Online Library, vol. 16, no. 1, pp. 841–842, 2016. [Bibtex & Downloads]
  • Joerg Stiller, "Robust Multigrid for Cartesian Interior Penalty DG Formulations of the Poisson Equation in 3D" , In arXiv preprint arXiv:1612.04796, 2016. [Bibtex & Downloads]
  • 2015

  • Michael Raitza, Markus Vogt, Christian Hochberger, Thilo Pionteck, "RAW 2014: Random Number Generators on FPGAs" , In ACM Trans. Reconfigurable Technol. Syst., ACM, vol. 9, no. 2, pp. 15:1–15:21, New York, NY, USA, Dec 2015. [doi] [Bibtex & Downloads]
  • Christoff Bürger, Johannes Mey, René Schöne, Sven Karol, Daniel Langner, "Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning" , Proceedings of the 10th International Workshop on Models@run.time (MRT), Nov 2015. ([link]) [Bibtex & Downloads]
  • Benjamin Schiller, Jeronimo Castrillon, Thorsten Strufe, "Efficient data structures for dynamic graph analysis" , Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) (Lisa O Conner) , IEEE Computer Society, pp. 497–504, Bangkok, Thailand, Nov 2015. [doi] [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Improving Code Generation for Software-based Error Detection" , Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES), co-located with ESWEEK 2015, pp. 16–30, Amsterdam, The Netherlands, Oct 2015. ([link]) [Bibtex & Downloads]
  • Jeronimo Castrillon, "Analysis and software synthesis of KPN applications" , In Design of Robotics and Embedded systems, Analysis, and Modeling Seminar (DREAMS) (invited talk), Oct 2015. ([link]) [Bibtex & Downloads]
  • Jeronimo Castrillon, "Dataflow programming for heterogeneous computing systems" , In Tutorial Algorithmic Specification, Tools and Algorithms for Programming Heterogeneous Platforms. Co-located with the 24th International Conference on Parallel Architectures and Compilation Techniques (PACT 15), Oct 2015. ([link]) [Bibtex & Downloads]
  • Markus Vogt, Gerald Hempel, Jeronimo Castrillon, Christian Hochberger, "GCC-Plugin for Automated Accelerator Generation and Integration on Hybrid FPGA-SoCs" , Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP), Sep 2015. ([link]) [Bibtex & Downloads]
  • Jeronimo Castrillon, "Orchestration: Turning material breakthroughs into application performance" , In Dresden Microelectronics Academy, (invited talk), Sep 2015. [Bibtex & Downloads]
  • Norman A. Rink, Dmitrii Kuvaiskii, Jeronimo Castrillon, Christof Fetzer, "Compiling for Resilience: the Performance Gap" , Chapter in Parallel Computing: On the Road to Exascale (ParCo 2015). Extended from Proceedings of the Mini-Symposium on Energy and Resilience in Parallel Programming (ERPP 2015) (Gerhard R. Joubert and Hugh Leather and Mark Parsons and Frans Peters and Mark Sawyer) , IOS Press, vol. 27, pp. 721–730, Edinburgh, Scotland, Sep 2015. [doi] [Bibtex & Downloads]
  • Gerald Hempel, Markus Vogt, Jeronimo Castrillon, Christian Hochberger, "Software-Backed Caching and Virtual Addressing for Generated Accelerators in SoC FPGAs" , Proceedings of 41st EUROMICRO Conference on Software Engineering and Advanced Applications - Work in Progress Session (Grosspietsch, Erwin and Klöckner, Konrad) , SEA-Publications: SEA-SR-44, Funchal, Madeira (Portugal), August 2015. [Bibtex & Downloads]
  • Sven Karol, Pietro Incardona, Yaser Afshar, Ivo Sbalzarini, Jeronimo Castrillon, "Towards a Next-Generation Parallel Particle-Mesh Language" , Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI), pp. 15–18, Jul 2015. ([link]) [Bibtex & Downloads]
  • Nils Asmussen, Benedikt Nöthen, Marcus Völp, Oliver Arnold, Hermann Härtig, Gerhard Fettweis, "Uniform Control Over Heterogeneous Cores Through NoC-Level Isolation" , In Proceeding: Design Automation Conference (DAC), Work in Progress Session, San Francisco, June 2015. [Bibtex & Downloads]
  • Jeronimo Castrillon, "Portable Libraries and Programming Environments" , In HiPEAC Computing Systems Week, (invited talk), May 2015. [Bibtex & Downloads]
  • Sven Karol, "Well-Formed and Scalable Invasive Software Composition" , PhD thesis, TU Dresden, May 2015. ([pdf] [tool]) [Bibtex & Downloads]
  • A. Ungethum, D. Habich, T. Karnagel, W. Lehner, N. Asmussen, M. Volp, B. Nothen, G. Fettweis, "Query processing on low-energy many-core processors" , In Proceeding: Data Engineering Workshops (ICDEW), 2015 31st IEEE International Conference on, pp. 155-160, April 2015. [doi] [Bibtex & Downloads]
  • Jeronimo Castrillon, Lothar Thiele, Lars Schorr, Weihua Sheng, Ben Juurlink, Mauricio Alvarez-Mesa, Angela Pohl, Ralph Jessenberger, Victor Reyes, Rainer Leupers, "Multi/Many-core Programming: Where Are We Standing?" , Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), EDA Consortium, pp. 1708–1717, San Jose, CA, USA, Mar 2015. ([link]) [Bibtex & Downloads]
  • Nils Asmussen, Marcus Völp, "Taming Heterogeneous Accelerators: Operating-Systems for Cores with no OS Support" , In Proceeding: 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Wild and Crazy Ideas Session, March 2015. [Bibtex & Downloads]
  • Amnon Barak, Zvi Drezner, Ely Levy, Matthias Lieber, Amnon Shiloh, "Resilient gossip algorithms for collecting online management information in exascale clusters" , In Concurrency and Computation: Practice and Experience, Wiley Online Library, vol. 27, no. 17, pp. 4797–4818, Jan 2015. [doi] [Bibtex & Downloads]
  • Jeronimo Castrillon, "Tools and dataflow-based programming models for heterogeneous MPSoCs" , In Workshop on Power-Efficient GPU and Many-core Computing (PEGPUM 15) in conjunction with the HiPEAC Conference (invited talk), Jan 2015. [Bibtex & Downloads]
  • Jeronimo Castrillon, "Simulation and Estimation for MPSoC Programming Tools" , In Proceeding: Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO 15), in conjunction with the HiPEAC Conference (keynote), Jan 2015. [Bibtex & Downloads]
  • 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" , In Journal of Computer and System Sciences, Elsevier, vol. 81, no. 1, pp. 258–287, 2015. [doi] [Bibtex & Downloads]
  • Clemens Dubslaff, Christel Baier, Sascha Klüppelholz, "Probabilistic Model Checking for Feature-Oriented Systems" , Chapter in Transactions on Aspect-Oriented Software Development XII, Springer, pp. 180–220, 2015. [doi] [Bibtex & Downloads]
  • Marcus Völp, Michael Roitzsch, Hermann Härtig, "Towards an Interpretation of Mixed Criticality for Optimistic Scheduling" , In Proceeding: 21st IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 15, 2015. [Bibtex & Downloads]
  • Nils Asmussen, Marcus Völp, "Heterogeneity Beyond Hybrid Architectures" , In GI Fachgruppe Betriebssysteme - Frühjahrstreffen, 2015. [Bibtex & Downloads]
  • Sebastian Götz, Nelly Bencomo, Robert France, "Devising the Future of the Models@ run. time Workshop" , In ACM SIGSOFT Software Engineering Notes, ACM, vol. 40, no. 1, pp. 26–29, 2015. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Dirk Habich, Wolfgang Lehner, "Local vs. Global Optimization: Operator Placement Strategies in Heterogeneous Environments" , In Computing, vol. 1, pp. O2, 2015. [Bibtex & Downloads]
  • Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek, "The Hanoi Omega-Automata Format" , In Proceeding: Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), Springer, vol. 9206, pp. 479–486, 2015. [Bibtex & Downloads]
  • Sebastian Ertel, Christof Fetzer, Pascal Felber, "Ohua: Implicit Dataflow Programming for Concurrent Systems" , Proceedings of the Principles and Practices of Programming on The Java Platform, ACM, pp. 51–64, New York, NY, USA, 2015. [doi] [Bibtex & Downloads]
  • Andrés Goens, Jeronimo Castrillon, "Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs" , In Proceeding: IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), November 3 - 6, 2015, Foz do Iguaçu, Brazil, 2015. [Bibtex & Downloads]
  • Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff, "Ratio and weight quantiles" , Chapter in Mathematical Foundations of Computer Science 2015, Springer, pp. 344–356, 2015. [Bibtex & Downloads]
  • Clemens Dubslaff, Christel Baier, "Quantitative Analysis of Communication Scenarios" , Chapter in Formal Modeling and Analysis of Timed Systems, Springer, pp. 76–92, 2015. [Bibtex & Downloads]
  • Christel Baier, "Reasoning About Cost-Utility Constraints in Probabilistic Models" , Chapter in Reachability Problems, Springer, pp. 1–6, 2015. [Bibtex & Downloads]
  • Joachim Klein, Christel Baier, Sascha Klüppelholz, "Compositional construction of most general controllers" , In Acta Informatica, Springer, pp. 1–40, 2015. [Bibtex & Downloads]
  • Till Smejkal, Adam Lackorzynski, Benjamin Engel, Marcus Völp, "Transactional IPC in Fiasco. OC" , In OSPERT 2015, pp. 19, 2015. [Bibtex & Downloads]
  • Marco Salvalaglio, Rainer Backofen, Roberto Bergamaschini, Francesco Montalenti, Axel Voigt, "Faceting of equilibrium and metastable nanostructures: a Phase-Field model of surface diffusion tackling realistic shapes" , In Crystal Growth & Design, ACS Publications, 2015. [Bibtex & Downloads]
  • T. Witkowski, S. Ling, S. Praetorius, A. Voigt, "Software concepts and numerical algorithms for a scalable adaptive parallel finite element method" , In Advances in Computational Mathematics, Springer, pp. 1–33, 2015. [Bibtex & Downloads]
  • Marcus Volp, Nils Asmussen, Hermann Hartig, Benedikt Nothen, Gerhard Fettweis, "Towards dependable CPS infrastructures: Architectural and operating-system challenges" , In Proceeding: Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference on, pp. 1–8, 2015. [Bibtex & Downloads]
  • Nils Asmussen, Marcus Volp, Benedikt Nothen, Annett Ungethum, "Demo abstract: Taming many heterogeneous cores" , In Proceeding: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, pp. 329–329, 2015. [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Two-level parallelization of a fluid mechanics algorithm exploiting hardware heterogeneity" , In Computers & Fluids, vol. 117, pp. 114-124, 2015. [doi] [Bibtex & Downloads]
  • Marcus Hahnel, Hermann Hartig, "Demo abstract: An energy/utility demo-Energy-aware resource scheduling under utility considerations" , In Proceeding: 2015 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 330, 2015. [Bibtex & Downloads]
  • Tobias Kempe, Alvaro Aguilera, Wolfgang Nagel, Jochen Fröhlich, "Performance of a projection method for incompressible flows on heterogeneous hardware" , In Computers & Fluids, Elsevier, vol. 121, pp. 37–43, 2015. [Bibtex & Downloads]
  • Vinay Suryaprakash, Jesper Moller, Gerhard Fettweis, "On the modeling and analysis of heterogeneous radio access networks using a Poisson cluster process" , In Wireless Communications, IEEE Transactions on, IEEE, vol. 14, no. 2, pp. 1035–1047, 2015. [Bibtex & Downloads]
  • Vinay Suryaprakash, Peter Rost, Gerhard Fettweis, "Are Heterogeneous Cloud-Based Radio Access Networks Cost Effective?" , In Selected Areas in Communications, IEEE Journal on, IEEE, vol. 33, no. 10, pp. 2239–2251, 2015. [Bibtex & Downloads]
  • Immo Huismann, Jörg Stiller, Jochen Fröhlich, "Two-level parallelization of a fluid mechanics algorithm exploiting hardware heterogenity" , In Computers & Fluids, Elsevier, 2015. [Bibtex & Downloads]
  • František Blahoudek Tomáš Babiak, Jan Strej\vcek, "The Hanoi Omega-Automata Format" , In Proceeding: Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), Springer, vol. 9206, pp. 479–486, 2015. [Bibtex & Downloads]
  • 2014

  • Jeronimo Castrillon, "Compiler Flow for Processors and Systems" , In Winter School on Design, Programming and Applications of Multi Processor System on Chip (invited talk), Nov 2014. [Bibtex & Downloads]
  • Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Software Product Line Model Checking" , In Presentation, April 2014. [Bibtex & Downloads]
  • Benedikt Noethen, Oliver Arnold, Esther Perez Adeva, Tobias Seifert, Erik Fischer, Steffen Kunze, Emil Matus, Gerhard Fettweis, Holger Eisenreich, Georg Ellguth, others, "10.7 A 105GOPS 36mm 2 heterogeneous SDR MPSoC with energy-aware dynamic scheduling and iterative detection-decoding for 4G in 65nm CMOS" , In Proceeding: Solid-State Circuits Conference Digest of Technical Papers (ISSCC), 2014 IEEE International, pp. 188–189, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, "Trade-off analysis meets probabilistic model checking" , Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich, "Probabilistic model checking for energy-utility analysis" , Chapter in Horizons of the Mind. A Tribute to Prakash Panangaden, Springer, pp. 96–123, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner, "Energy-utility analysis for resilient systems using probabilistic model checking" , Chapter in Application and Theory of Petri Nets and Concurrency, Springer, pp. 20–39, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich, "Probabilistic Model Checking and Non-standard Multi-objective Reasoning" , Chapter in Fundamental Approaches to Software Engineering, Springer, pp. 1–16, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, "Synthesis of Reo Connectors for Strategies and Controllers" , In Fundamenta Informaticae, IOS Press, vol. 130, no. 1, pp. 1–20, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich, "Weight monitoring with linear temporal logic: Complexity and decidability" , Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 11, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, "Computing conditional probabilities in Markovian models efficiently" , Chapter in Tools and Algorithms for the Construction and Analysis of Systems, Springer, pp. 515–530, 2014. [doi] [Bibtex & Downloads]
  • Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, "Energy-utility quantiles" , Chapter in NASA Formal Methods, Springer, pp. 285–299, 2014. [doi] [Bibtex & Downloads]
  • Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Model Checking for Energy Analysis in Software Product Lines" , In Proceeding: Proc. of the 13th International Conference on Modularity (MODULARITY), ACM, pp. 169–180, 2014. [Bibtex & Downloads]
  • Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Härtig, "Overhead of a decentralized gossip algorithm on the performance of HPC applications" , Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers, pp. 10, 2014. [doi] [Bibtex & Downloads]
  • Immo Huismann, Lars Haupt, Jörg Stiller, Jochen Fröhlich, "Sum factorization of the static condensed Helmholtz equation in a three-dimensional spectral element discretization" , In PAMM, Wiley Online Library, vol. 14, no. 1, pp. 969–970, 2014. [doi] [Bibtex & Downloads]
  • Adam Lackorzynski, Marcus Völp, Alexander Warg, "Flat but trustworthy: security aspects in flattened hierarchical scheduling" , In ACM SIGBED Review, ACM, vol. 11, no. 2, pp. 8–12, 2014. [Bibtex & Downloads]
  • Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz, "Are Good-for-Games Automata Good for Probabilistic Model Checking?" , Chapter in Language and Automata Theory and Applications, Springer, pp. 453–465, 2014. [doi] [Bibtex & Downloads]
  • Matthias Lieber, Wolfgang E Nagel, "Scalable high-quality 1D partitioning" , In Proceeding: High Performance Computing & Simulation (HPCS), 2014 International Conference on, pp. 112–119, 2014. [doi] [Bibtex & Downloads]
  • Matthias Lieber, Wolfgang E Nagel, Hartmut Mix, "Scalability Tuning of the Load Balancing and Coupling Framework FD4" , In Proceeding: NIC Symposium 2014, vol. 47, pp. 363-370, 2014. [Bibtex & Downloads]
  • Marcus Völp, "What if we would degrade LO tasks in mixed-criticality systems?" , In Proceeding: 20th IEEE Real-Time and Embedded Technology and Applications Symposium-Work in Progress Session (RTAS-WIP 2014), Berlin, Germany, 2014. [Bibtex & Downloads]
  • Marcus Volp, Marcus Hahnel, Adam Lackorzynski, "Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems" , In Proceeding: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014 IEEE 20th, pp. 275–284, 2014. [doi] [Bibtex & Downloads]
  • Marcus Völp, Michael Roitzsch, "Elastic Manycores" , In Proceeding: Euro-Par 2013: Parallel Processing Workshops, pp. 749–758, 2014. [doi] [Bibtex & Downloads]
  • Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski, "Stochastic Timed Automata" , In Logical Methods in Computer Science (LMCS), vol. 10, no. 4, pp. 1–73, 2014. [Bibtex & Downloads]
  • Oliver Arnold, Sebastian Haas, Gerhard Fettweis, Benjamin Schlegel, Thomas Kissinger, Tomas Karnagel, Wolfgang Lehner, "HASHI: An Application-Specific Instruction Set Extension for Hashing" , In ADMS@ VLDB, pp. 25–33, 2014. [Bibtex & Downloads]
  • Oliver Arnold, Sebastian Haas, Gerhard Fettweis, Benjamin Schlegel, Thomas Kissinger, Wolfgang Lehner, "An Application-specific Instruction Set for Accelerating Set-oriented Database Primitives" , Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, ACM, pp. 767–778, New York, NY, USA, 2014. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Dirk Habich, Benjamin Schlegel, Wolfgang Lehner, "Heterogeneity-Aware Operator Placement in Column-Store DBMS" , In Datenbank-Spektrum, Springer, vol. 14, no. 3, pp. 211–221, 2014. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Roman Dementiev, Ravi Rajwar, Konrad Lai, Thomas Legler, Benjamin Schlegel, Wolfgang Lehner, "Improving in-memory database index performance with Intel\textregistered Transactional Synchronization Extensions" , In Proceeding: High Performance Computer Architecture (HPCA), 2014 IEEE 20th International Symposium on, pp. 476–487, 2014. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Matthias Hille, Mario Ludwig, Dirk Habich, Wolfgang Lehner, Max Heimel, Volker Markl, "Demonstrating efficient query processing in heterogeneous environments" , Proceedings of the 2014 ACM SIGMOD international conference on Management of data, pp. 693–696, 2014. [doi] [Bibtex & Downloads]
  • Sebastian Ertel, Pascal Felber, "A Framework for the Dynamic Evolution of Highly-available Dataflow Programs" , Proceedings of the 15th International Middleware Conference, ACM, pp. 157–168, New York, NY, USA, 2014. [doi] [Bibtex & Downloads]
  • John Thompson, Xiaohu Ge, Hsiao-Chun Wu, Ralf Irmer, Hong Jiang, Gerhard Fettweis, Siavash Alamouti, "5G wireless communication systems: prospects and challenges Part 2" , In IEEE Communications Magazine, no. 52, pp. 24–25, 2014. [Bibtex & Downloads]
  • Gerhard P Fettweis, "The tactile internet: Applications and challenges" , In Vehicular Technology Magazine, IEEE, IEEE, vol. 9, no. 1, pp. 64–70, 2014. [Bibtex & Downloads]
  • M. Hahnel, H. Hartig, "Heterogeneity by the numbers" , In HotPower, 2014. [Bibtex & Downloads]
  • Dirk Habich, Stefanie Gahrig, Wolfgang Lehner, "Towards Optimal Execution of Density-based Clustering on Heterogeneous Hardware." , In Proceeding: BigMine, pp. 104–119, 2014. [Bibtex & Downloads]
  • 2013

  • Adam Lackorzynski, Benjamin Engel, Marcus Völp, "PredictableCoherentCachingwithIncoherentCaches" , Proceedingsof15thReal-TimeLinuxWorkshop, Lugano-Manno, Switzerland, 10/2013. [Bibtex & Downloads]
  • Benjamin Schlegel, Tomas Karnagel, Tim Kiefer, Wolfgang Lehner, "Scalable frequent itemset mining on many-core processors" , Proceedings of the Ninth International Workshop on Data Management on New Hardware, pp. 3, 2013. [doi] [Bibtex & Downloads]
  • Christel Baier, "Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata" , Chapter in Algebraic Informatics, Springer, pp. 4–5, 2013. [doi] [Bibtex & Downloads]
  • Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select." , In Proceeding: NASA Formal Methods, pp. 307–321, 2013. [doi] [Bibtex & Downloads]
  • Hermann Härtig, Marcus Völp, Marcus Hähnel, "The case for practical multi-resource and multi-level scheduling based on Energy/Utility." , In Proceeding: RTCSA, pp. 175–182, 2013. [doi] [Bibtex & Downloads]
  • Johannes Israel, John Martinovic, Andreas Fischer, Michael Jenning, Lukas Landau, "Optimal antenna positioning for wireless board-to-board communication using a butler matrix beamforming network" , In Proceeding: Smart Antennas (WSA), 2013 17th International ITG Workshop on, pp. 1–7, 2013. [Bibtex & Downloads]
  • Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig, "eBond: energy saving in heterogeneous RAIN" , Proceedings of the fourth international conference on Future energy systems, pp. 193–202, 2013. [Bibtex & Downloads]
  • Marcus Hahnel, Marcus Volp, Bjorn Dobel, Hermann Hartig, "The potential of energy/utility-accrual scheduling" , In Proceeding: Advanced Information Networking and Applications Workshops (WAINA), 2013 27th International Conference on, pp. 1636–1641, 2013. [Bibtex & Downloads]
  • Michael Ummels, Christel Baier, "Computing quantiles in Markov reward models" , In Proceeding: Foundations of Software Science and Computation Structures, pp. 353–368, 2013. [doi] [Bibtex & Downloads]
  • Marcus Völp, Adam Lackorzynski, Hermann Härtig, "On the expressiveness of fixed priority scheduling contexts for mixed criticality scheduling" , In Proc. WMC, RTSS, pp. 13–18, 2013. [Bibtex & Downloads]
  • Marcus Volp, Benjamin Engel, C. Hamann, Hermann Hartig, "On confidentiality-preserving real-time locking protocols" , In Proceeding: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th, pp. 153–162, 2013. [doi] [Bibtex & Downloads]
  • Nils Asmussen, Hermann Härtig, Marcus Völp, "Turning x86 into a Hardware Simulator for Future Manycores" , Proceedings of the 3rd Workshop on Systems for Future Multicore Architectures, 2013. [Bibtex & Downloads]
  • Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Muller, "Distributed wait state tracking for runtime MPI deadlock detection" , In Proceeding: High Performance Computing, Networking, Storage and Analysis (SC), 2013 International Conference for, pp. 1–12, 2013. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Dirk Habich, Benjamin Schlegel, Wolfgang Lehner, "The HELLS-join: a heterogeneous stream join for extremely large windows" , Proceedings of the Ninth International Workshop on Data Management on New Hardware, pp. 2, 2013. [doi] [Bibtex & Downloads]
  • Tomas Karnagel, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Stream Join Processing on Heterogeneous Processors." , In Proceeding: BTW Workshops, pp. 17–26, 2013. [Bibtex & Downloads]
  • Sebastian Ertel, Michael J. Beckerle, "Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine" , In Proceeding: Second Workshop on Languages for the Multicore Era (Co-located with ECOOP 13), 2013. [Bibtex & Downloads]
  • Oliver Arnold, Emil Matus, Benedikt Noethen, Friedrich Pauls, Gerhard Fettweis, "Towards elastic SDR architectures using dynamic task management" , In Proceeding: Global Conference on Signal and Information Processing (GlobalSIP), 2013 IEEE, pp. 1286–1289, 2013. [Bibtex & Downloads]
  • Oliver Arnold, Benedikt Noethen, Gerhard Fettweis, "A Flexible Analytic Model for a Dynamic Task-Scheduling Unit for Heterogeneous MPSoCs" , In Proceeding: International Conference on Advances in System Simulation (SIMUL 13), Venice Italy, vol. 27, no. 1.11, 2013. [Bibtex & Downloads]
  • Benedikt Noethen, Oliver Arnold, Gerhard Fettweis, "On the impact of dynamic data management for distributed local memories in heterogeneous MPSoCs" , In Proceeding: System on Chip (SoC), 2013 International Symposium on, pp. 1–7, 2013. [Bibtex & Downloads]
  • 2012

  • Benjamin Engel, Marcus Voelp, "First Experiences on PWCS synchronized Data Structures" , In Proceeding: 14th Real Time Linux Workshop, October 2012. [Bibtex & Downloads]
  • Álvaro Fernández-Díaz, Christel Baier, Clara Benac-Earle, Lars-Åke Fredlund, "Static Partial Order Reduction for Probabilistic Concurrent Systems" , Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST), Sep 2012. [Bibtex & Downloads]
  • Paolo Zuliani, Christel Baier, Edmund Melson Clarke, "Rare-event verification for stochastic hybrid systems" , Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Jul 2012. [Bibtex & Downloads]
  • Christel Baier, Tomáš Brázdil, Marcus Größer, Antonín Kučera, "Stochastic game logic" , In Acta Informatica, vol. 49, no. 4, pp. 203-224, Jun 2012. [Bibtex & Downloads]
  • Adam Lackorzyński, Alexander Warg, Marcus Völp, Hermann Härtig, "Flattening hierarchical scheduling" , Proceedings of the tenth ACM international conference on Embedded software, pp. 93–102, 2012. [doi] [Bibtex & Downloads]
  • Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "Waiting for locks: How long does it usually take?" , Springer, 2012. [doi] [Bibtex & Downloads]
  • Marcus Daum Christel Baier, Marcus Völp, "Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code" , In Proceeding: Proc. of the 7th Conference on Systems Software Verification (SSV 12), vol. 102, pp. 156–166, 2012. [Bibtex & Downloads]
  • Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig, "Measuring energy consumption for short code paths using RAPL" , In ACM SIGMETRICS Performance Evaluation Review, ACM, vol. 40, no. 3, pp. 13–17, 2012. [Bibtex & Downloads]
  • 0

  • Marcus Völp, Johannes Steinmetz, Marcus Hähnel, "Consolidate-to-Idle" , In Proceeding: 19th Real-Time and Embedded Technology and Applications Symposium, vol. 19, pp. 9–12. [Bibtex & Downloads]
  • Siqi Ling, Wieland Marth, Simon Praetorius, Axel Voigt, "An Adaptive Finite Element Multi-Mesh Approach for Interacting Deformable Objects in Flow" , In Computational Methods in Applied Mathematics. [Bibtex & Downloads]