Path H - CRC 912: Highly Adaptive Energy-Efficient Computing (HAEC)

Introduction

banner path h

The DFG Collaborative Research Center (CRC/SFB 912) "Highly Adaptive Energy Efficient Computing(HAEC)" complements this cluster as Path H. HAEC focuses on large-scale, multi-chip computing platforms with disruptive wireless and optical inter-chip interconnects and on hardware/software adaptation methods for a new quality of energy-efficient computing. The understanding generated here can have major impacts on the other System-Oriented Paths and will be challenged in a much wider context. E.g., new devices from the Materials-Inspired Paths could be integrated into HAEC’s computing platform. Therefore, the CRC is scientifically linked to cfAED, even though it is organizationally independent (see CRC 912).

Investigators
Research Program

Since 2007, the global Internet’s server and network energy consumption and corresponding CO2 pollution exceeds that of worldwide air traffic. Addressing this increasing energy demand and the resulting ecological impact, the goal of the Collaborative Research Center HAEC is to research technologies enabling computing systems with high energy efficiency without compromising on high performance. A straightforward way for improving energy efficiency is to reduce the energy consumption of every individual hardware component in a system.

However, rather than ignoring the characteristics of applications, user communities, and contexts, HAEC strives for a comprehensive application-aware approach. As computational problems require the parallel execution of computational operations with complex and problem-specific intercommunication patterns, HAECs research focuses on highly-adaptive hardware interconnection systems capable of adapting to software needs to achieve a substantially higher level of efficiency than currently possible with fixed connections. In addition, energy efficiency is addressed by novel software-level adaptation schemes focusing on the utility of applications under different environmental conditions. This requires system states of applications and hardware to be monitored and strategies for improving application utility at run-time, taking into account optimizations from these two ends.

On the hardware side, a novel, highly adaptive and energy efficient interconnection architecture will be investigated and shall be demonstrated in the third (i.e., final) 4-year phase of HAEC (2019 – 2023). While state-of-the-art CMOS technology will be considered initially, new insights on efficient communication and computation components from other Paths shall be used to model the energy/ performance tradeoffs when available. On the software side, HAEC’s goal is to provide comprehensive energy-adaptive software technology, which exploits the versatile interconnection architecture for high application utility and that will require many innovations for run-time optimization.

Recent Achievements

tba

Publications

  • 2017

  • Albrecht Wolf, Philipp Schulz, David Öhmann, Meik Dörpinghaus, Gerhard Fettweis, "On the gain of joint decoding for multi-connectivity" (to appear), In Proceeding: IEEE Global Communications Conference (Globecom), Singapore, December 2017. [Bibtex & Downloads]
  • Sandra Bender, Patrick Seiler, Bernhard Klein, Meik Dörpinghaus, Dirk Plettemeier, Gerhard Fettweis, "Pathways towards Tb/s wireless" (to appear), In Proceeding: IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB), Salamanca, Spain, September 2017. [Bibtex & Downloads]
  • Lukas Landau, Meik Dörpinghaus, Rodrigo de Lamare, Gerhard Fettweis, "Achievable rate with 1-bit quantization and oversampling at the receiver using continuous phase modulation" (to appear), In Proceeding: IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB), Salamanca, Spain, September 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]
  • Sandra Bender, Meik Dörpinghaus, Gerhard Fettweis, "On the achievable rate of bandlimited continuous-time 1-bit quantized AWGN channels" , In Proceeding: IEEE International Symposium on Information Theory (ISIT), Aachen, Germany, June 2017. [Bibtex & Downloads]
  • Lukas Landau, Meik Dörpinghaus, Gerhard Fettweis, "1-bit quantization and oversampling at the receiver: Communication over bandlimited channels with noise" , In IEEE Communications Letters, vol. 21, no. 5, pp. 1007-1010, May 2017. [doi] [Bibtex & Downloads]
  • Markus Haehnel, Frehiwot Melak Arega, Waltenegus Dargie, Robert Khasanov, Jeronimo Castrillon, "Application Interference Analysis: Towards Energy-efficient Workload Management on Heterogeneous Micro-Server Architectures" , Proceedings of the 7th International Workshop on Big Data in Cloud Performance (DCPerf 17), co-located with the Infocom conference, May 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]
  • Albrecht Wolf, Diana Cristina González, Meik Dörpinghaus, Gerhard Fettweis, others, "On the many-help-one problem with independently degraded helpers" , In arXiv preprint arXiv:1701.06416, 2017. [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]
  • Albrecht Wolf, Diana C. González, Meik Dörpinghaus, Luciano L. Mendes, José. C. S. S. Filho, Gerhard Fettweis, "Outage Analysis for Decode-and-Forward Multirelay Systems Allowing Intra-Link Errors" , In IEEE Wireless Communications Letters, vol. PP, no. 99, 2017. [doi] [Bibtex & Downloads]
  • 2016

  • Semeen Rehman, Walaa El-Harouni, Muhammad Shafique, Akash Kumar, Jörg Henkel, "Architectural-Space Exploration of Approximate Multipliers" , Proceedings of the International Conference on Computer-Aided Design (ICCAD), Nov 2016. [Bibtex & Downloads]
  • Meik Dörpinghaus, "A lower bound on the entropy rate for a large class of stationary processes and its relation to the hyperplane conjecture" , In Proceeding: IEEE Information Theory Workshop (ITW), Cambridge, UK, September 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]
  • Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos, "Fast Compression of Large Semantic Web Data using X10" , In IEEE Transactions on Parallel and Distributed Systems, IEEE, vol. 27, no. 9, pp. 2603-2617, September 2016. [doi] [Bibtex & Downloads]
  • Amit Kumar Singh, Muhammad Shafique, Akash Kumar, Jörg Henkel, "Analysis and Mapping for Thermal and Energy Efficiency of 3-D Video Processing on 3-D Multicore Processors" , In IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. PP, no. 99, pp. 1-14, Aug 2016. [doi] [Bibtex & Downloads]
  • Tuan D. A. Nguyen, Akash Kumar, "XNoC: A Non-intrusive TDM Circuit-Switched Network-on-Chip" , In Proceeding: International Conference on Field Programmable Logic and Applications (FPL), pp. 1-11, Aug 2016. [Bibtex & Downloads]
  • Long Cheng, Spyros Kotoulas, "Efficient Large Outer Joins over MapReduce" , In Proceeding: Proc. 22nd International European Conference on Parallel Processing (Euro-Par 16), Springer, pp. 334-346, August 2016. [doi] [Bibtex & Downloads]
  • Sandra Bender, Lukas Landau, Meik Dörpinghaus, Gerhard Fettweis, "Communication with 1-bit quantization and oversampling at the receiver: Spectral constrained waveform optimization" , In Proceeding: IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Edinburgh, UK, July 2016. [Bibtex & Downloads]
  • Ang Li, Shuaiwen Leon Song, Mark Wijtvliet, Akash Kumar, Henk Corporaal, "SFU-Driven Transparent Approximation Acceleration on GPUs" , Proceedings of the 2016 International Conference on Supercomputing, pp. 15, Jun 2016. [Bibtex & Downloads]
  • Ang Li, Leon Shuaiwen Song, Eric Brugel, Akash Kumar, Daniel Chavarria, Henk Corporaal, "X: A Comprehensive Analytic Model for Parallel Machines" , In Proceeding: 30th International Parallel and Distributed Processing Symposium (IPDPS), May 2016. [Bibtex & Downloads]
  • Christoph Hofmann, Elke Franz, Silvia Santini, "A metric for adaptive routing on trustworthy paths" , Chapter in Open Problems in Network Security (Camenisch, Jan and Kesdoğan, Doğan) , Springer, vol. 9591, pp. 11-25, May 2016. [Bibtex & Downloads]
  • Alessio Zappone, Luca Sanguinetti, Giacomo Bacci, Eduard A. Jorswieck, Mérouane Debbah, "Energy-efficient power control: A look at 5G wireless technologies" , In IEEE Transactions on Signal Processing, vol. 64, no. 7, pp. 1668-1683, Apr 2016. [Bibtex & Downloads]
  • Mahnaz Sinaie, Alessio Zappone, Eduard A. Jorswieck, Paeiz Azmi, "A novel power consumption model for effective energy efficiency in wireless networks" , In IEEE Wireless Communications Letters, vol. 5, no. 2, pp. 152-155, Apr 2016. [Bibtex & Downloads]
  • Chres Wiant Sørensen, Achuthan Paramanathan, Juan Guerreron, Morten Videbæk Pedersen, Daniel Enrique Lucani Roetter, Frank H. P. Fitzek, "Leaner and Meaner: Network Coding in SIMD enabled Commercial Devices" , Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC), Apr 2016. [Bibtex & Downloads]
  • Ang Li, Leon Shuaiwen Song, Akash Kumar, Eddy Z. Zhang, Daniel Chavarria Gerardo, Henk Corporaal, "Critical Points Based Register-Concurrency Autotuning for GPUs" , In Proceeding: Design, Automation and Test in Europe Conference and Exhibition (DATE), March 2016. [Bibtex & Downloads]
  • Shyamsundar Venkataraman, Rui Santos, Akash Kumar, "A Flexible Inexact TMR Technique for SRAM-based FPGAs" , In Proceeding: Design, Automation and Test in Europe Conference and Exhibition (DATE), March 2016. [Bibtex & Downloads]
  • Siva Satyendra Sahoo, Akash Kumar, Bharadwaj Veeravalli, "Design and Evaluation of Reliability-oriented Task Re-Mapping in MPSoCs usingTime-Series Analysis of Intermittent faults" , In Proceeding: Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2016. [Bibtex & Downloads]
  • Tuan D. A. Nguyen, Akash Kumar, "PRFloor: An Automatic Floorplanner for Partially Reconfigurable FPGA Systems" , In Proceeding: The 24th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA), Feb 2016. [Bibtex & Downloads]
  • Alessio Zappone, Pin-Hsun Lin, Eduard A. Jorswieck, "Secrecy and energy efficiency in multiple-antenna systems" , Feb 2016. [Bibtex & Downloads]
  • Amit Kumar Singh, Mohammad Shafique, Akash Kumar, Joerg Henkel, "Resource and Throughput Aware Execution Trace Analysis for Efficient Run-Time Mapping on MPSoCs" , In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 35, no. 1, pp. 72-85, Jan 2016. [doi] [Bibtex & Downloads]
  • Michael Schröter, Tommy Rosenbaum, Pascal Chevalier, Bernd Heinemann, Sorin P. Voinigescu, Ed Preisler, Josef Böck, Anindya Mukherjee, "SiGe HBT technology: Future trends and TCAD based roadmap" , In Proceedings of the IEEE, vol. PP, no. 99, pp. 1-19, Jan 2016. [Bibtex & Downloads]
  • Pin-Hsun Lin, Eduard A. Jorswieck, "On the fast fading Gaussian wiretap channel with statistical channel state information at the transmitter" , In IEEE Transactions on Information Forensics and Security, vol. 11, no. 1, pp. 46-58, Jan 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]
  • 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]
  • Marwen Zorgui, Zouheir Rezki, Basel Alomair, Eduard A Jorswieck, Mohamed-Slim Alouini, "On the Ergodic Secret-Key Agreement Over Spatially Correlated Multiple-Antenna Channels With Public Discussion" , In Signal Processing, IEEE Transactions on, IEEE, vol. 64, no. 2, pp. 495–510, 2016. [Bibtex & Downloads]
  • Siavash Ghiasvand, Florina M Ciorba, Ronny Tsch, Wolfgang E Nagel, others, "Lessons Learned from Spatial and Temporal Correlation of Node Failures in High Performance Computers" , In Proceeding: 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), pp. 377–381, 2016. [Bibtex & Downloads]
  • Pan Cao, Wenjia Liu, John S Thompson, Chenyang Yang, Eduard A Jorswieck, "Semidynamic Green Resource Management in Downlink Heterogeneous Networks by Group Sparse Power Control" , In IEEE Journal on Selected Areas in Communications, IEEE, vol. 34, no. 5, pp. 1250–1266, 2016. [Bibtex & Downloads]
  • Jan Dirk Leufker, David Fritsche, Gregor Tretter, Corrado Carta, Frank Ellinger, "Dualband 180 GHz and 205 GHz medium-power high-gain amplifier on 130 nm BiCMOS" , In Proceeding: 2016 21st International Conference on Microwave, Radar and Wireless Communications (MIKON), pp. 1–4, 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]
  • Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch, "Column-Oriented Datalog Materialization for Large Knowledge Graphs" , Proceedings of the 30th AAAI Conference on Artificial Intelligence (Dale Schuurmans and Michael P. Wellman) , AAAI Press, pp. 258-264, 2016. [Bibtex & Downloads]
  • Markus Krötzsch, Sebastian Rudolph, "Is Your Database System a Semantic Web Reasoner?" , In KI, Springer, vol. 30, no. 2, pp. 169-176, 2016. [doi] [Bibtex & Downloads]
  • Markus Krötzsch, Tomáš Masopust, Michaël Thomazo, "On the Complexity of Universality for Partially Ordered NFAs" , Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier) , Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 58, pp. 61:1–61:14, 2016. [doi] [Bibtex & Downloads]
  • Markus Krötzsch, Veronika Thost, "Ontologies for Knowledge Graphs: Breaking the Rules" , Proceedings of the 15th International Semantic Web Conference (ISWC 2016) (Yolanda Gil and Elena Simperl and Paul Groth and Freddy Lecue and Markus Krötzsch and Alasdair Gray and Marta Sabou and Fabian Flöck and Hideaki Takeda) , Springer, vol. 9981, pp. 376-392, 2016. [doi] [Bibtex & Downloads]
  • Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch, "VLog: A Column-Oriented Datalog System for Large Knowledge Graphs" , Proceedings of the 15th International Semantic Web Conf. (ISWC 16), Posters and Demos (Takahiro Kawamura and Heiko Paulheim) , CEUR-WS.org, vol. 1690, 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]
  • Jan Dirk Leufker, David Fritsche, Guido Belfiore, Corrado Carta, Frank Ellinger, "Multi-Gb/s OOK mm-wave modulator ICs on 28 nm low-power digital CMOS" , In Proceeding: Ph. D. Research in Microelectronics and Electronics (PRIME), 2016 12th Conference on, pp. 1–4, 2016. [Bibtex & Downloads]
  • Alessio Zappone, Eduard Jorswieck, Amir Leshem, "Distributed resource allocation for energy efficiency in MIMO OFDMA wireless networks" , In IEEE Journal on Selected Areas in Communications, IEEE, vol. 34, no. 12, pp. 3451–3465, 2016. [Bibtex & Downloads]
  • Cong Sun, Eduard Axel Jorswieck, Ya-xiang Yuan, "Sum Rate Maximization for Non-Regenerative MIMO Relay Networks" , In IEEE Transactions on Signal Processing, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC 445 HOES LANE, PISCATAWAY, NJ 08855-4141 USA, vol. 64, no. 24, pp. 6392–6405, 2016. [Bibtex & Downloads]
  • Sandra Bender, Meik Dörpinghaus, Gerhard Fettweis, "On the achievable rate of bandlimited continuous-time AWGN channels with 1-bit output quantization" , In arXiv preprint arXiv:1612.08176, 2016. [Bibtex & Downloads]
  • Markus Krötzsch, Tomáš Masopust, Michaël Thomazo, "Complexity of Universality and Related Problems for Partially Ordered NFAs" , In arXiv preprint arXiv:1609.03460, 2016. [Bibtex & Downloads]
  • Goran Muri\ c, Eduard Jorswieck, Christian Scheunert, "Using LTI Dynamics to Identify the Influential Nodes in a Network" , In PloS one, Public Library of Science, vol. 11, no. 12, pp. e0168514, 2016. [Bibtex & Downloads]
  • 2015

  • Thomas Ilsche, Daniel Hackenberg, Stefan Graul, Joseph Schuchart, Robert Schöne, "Power measurements for compute nodes: Improving sampling rates, granularity and accuracy" , Proceedings of the International Green and Sustainable Computing Conference (IGSC), Dec 2015. [Bibtex & Downloads]
  • Ta-Yuan Liu, Pin-Hsun Lin, Shih-Chun Lin, Y.-W. Peter Hong, Eduard Axel Jorswieck, "To avoid or not to avoid CSI leakage in physical layer secret communication systems" , In IEEE Communications Magazine, vol. 53, no. 12, pp. 19-25, Dec 2015. [Bibtex & Downloads]
  • Stefan Borgwardt, Veronika Thost, "Temporal Query Answering in \emphDL-Lite with Negation" , Chapter in Proceedings of the Global Conference on Artificial Intelligence (GCAI) (Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov) , EasyChair, vol. 36, pp. 51-65, Dec 2015. [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]
  • Ang Li, Gert-Jan van den Braak, Akash Kumar, Henk Corporaal, "Adaptive and transparent cache bypassing for GPUs" , Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 17, Nov 2015. [Bibtex & Downloads]
  • László Szilágyi, Guido Belfiore, Ronny Henker, Frank Ellinger, "Bandwidth and power adaptive receiver amplifier design for optical communications in 80\,nm CMOS" , Proceedings of the SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC), Nov 2015. [Bibtex & Downloads]
  • Guido Belfiore, Paolo Valerio Testa, Ronny Henker, Frank Ellinger, "Design and measurements of 50\,Ω on-chip slow-wave conductor-backed coplanar transmission lines up to 220\,GHz" , Proceedings of the SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC), Nov 2015. [Bibtex & Downloads]
  • Pin-Hsun Lin, Frédéric Gilbert Gabry, Ragnar Thobaben, Eduard A. Jorswieck, Mikael Skoglund, "Interference neutralization vs.\ clean relaying in cognitive radio networks with secrecy" , In EAI Endorsed Transactions on Ambient Systems, vol. 15, no. 7, pp. e1, Nov 2015. [Bibtex & Downloads]
  • Mario Bielert, Kim Feldhoff, Florina M. Ciorba, Stefan Pfennig, Elke Franz, Thomas Ilsche, Wolfgang E. Nagel, "Verification of resilient communication models for the simulation of a highly adaptive energy-efficient computer" , Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC), Nov 2015. [Bibtex & Downloads]
  • Daniel Hernández, Aidan Hogan, Markus Krötzsch, "Reifying RDF: What works well with Wikidata?\strut" , Chapter in Proceedings of the International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS) (Thorsten Liebig and Achille Fokoue) , CEUR-WS.org, vol. 1457, pp. 32-47, Nov 2015. [Bibtex & Downloads]
  • R. Santos, S. Venkataraman, Akash Kumar, "Generic Scrubbing-based Architecture for Custom Error Correction Algorithms" , In Proceeding: Rapid System Prototyping (RSP), 2015 26th IEEE International Symposium on, Oct 2015. [Bibtex & Downloads]
  • M. Jenning, B. Klein, R. Hahnel, D. Plettemeier, D. Fritsche, G. Tretter, C. Carta, F. Ellinger, T. Nardmann, M. Schroter, K. Nieweglowski, K. Bock, J. Israel, A. Fischer, N. ul Hassan, L. Landau, M. Dörpinghaus, G. Fettweis, "Energy-efficient transceivers for ultra-highspeed computer board-to-board communication" , In Proceeding: IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB 2015), Montreal, Canada, October 2015. [Bibtex & Downloads]
  • Lukas Landau, Meik Dörpinghaus, Gerhard Fettweis, "Communications employing 1-bit quantization and oversampling at the receiver: Faster-than-Nyquist signaling and sequence design" , In Proceeding: IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB 2015), Montreal, Canada, October 2015. [Bibtex & Downloads]
  • Xiaohang Song, Lukas Landau, Johannes Israel, Gerhard P. Fettweis, "Strong LOS MIMO for short range mmWave communication – Towards 1\,Tbps wireless data busy" , Proceedings of the International Conference on Ubiquitous Wireless Broadband (ICUWB), Oct 2015. [Bibtex & Downloads]
  • Johannes Israel, Andreas Fischer, John Martinovic, "A branch-and-bound algorithm for discrete receive beamforming with improved bounds" , Proceedings of the International Conference on Ubiquitous Wireless Broadband (ICUWB), Oct 2015. [Bibtex & Downloads]
  • Najeeb ul Hassan, Iryna Andriyanova, Michael Lentmaier, Gerhard P. Fettweis, "Protograph design for spatially-coupled codes to attain an arbitrary diversity order" , Proceedings of the IEEE Information Theory Workshop (ITW), Oct 2015. [Bibtex & Downloads]
  • Tobias Nardmann, Julia Krause, Michael Schröter, "An evaluation of extraction methods for the collector resistance for InP DHBTs" , Proceedings of the IEEE Compound Semiconductor IC Symposium (CSICS), Oct 2015. [Bibtex & Downloads]
  • Andreas Pawlak, Steffen Lehmann, Paulius Sakalas, Julia Krause, Michael Schröter, Klaus Aufinger, Bertrand Ardouin, "SiGe HBT modeling for mm-wave circuit design" , Proceedings of the IEEE Bipolar/BiCMOS Circuits and Technology Meeting (BCTM), Oct 2015. [Bibtex & Downloads]
  • Andreas Pawlak, Steffen Lehmann, Paulius Sakalas, Michael Schröter, "DOTSEVEN insights into mm-wave modeling" , Proceedings of the IEEE Bipolar/BiCMOS Circuits and Technology Meeting (BCTM), Oct 2015. [Bibtex & Downloads]
  • Eduard A. Jorswieck, Stefano Tomasin, Aydin Sezgin, "Broadcasting into the uncertainty: Authentication and confidentiality by physical layer processing" , In Proceedings of the IEEE, vol. 103, no. 10, pp. 1702-1724, Oct 2015. [Bibtex & Downloads]
  • Simon Wunderlich, Juan Alberto Cabrera Guerrero, Frank Hanns Paul Fitzek, Morten Videbæk Pedersen, "Network coding parallelization based on matrix operations for multicore architectures" , Proceedings of the International Conference on Ubiquitous Wireless Broadband (ICUWB), Oct 2015. [Bibtex & Downloads]
  • Kateryna Rybina, Waltenegus Dargie, Subramanya Umashankar, Alexander Schill, "Modelling the Live Migration Time of Virtual Machines" , Chapter in On the Move to Meaningful Internet Systems: OTM 2015 Conferences (Christophe Debruyne and Hervé Panetto and Robert Meersman and Tharam Dillon and Georg Weichhart and Yuan An and Claudio Agostino Ardagna) , Springer, vol. 9415, pp. 575-593, Oct 2015. [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, Johannes Richter, Christian Scheunert, Eduard A. Jorswieck, "Confidential network coding: Physical layer vs.\ network layer" , Proceedings of the IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB), Workshop on Broadband Wireless Communication between Computer Boards (Atto-Nets), Oct 2015. [Bibtex & Downloads]
  • Elke Franz, Stefan Pfennig, Bho Matthiesen, Christian Scheunert, Eduard A. Jorswieck, "Energy models for communication of future computing platforms" , Proceedings of the IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB), Workshop on Broadband Wireless Communication between Computer Boards (Atto-Nets), Oct 2015. [Bibtex & Downloads]
  • Guido Belfiore, László Szilágyi, Ronny Henker, Frank Ellinger, "Low power laser driver design in 28\,nm CMOS for on-chip and chip-to-chip optical interconnect" , Chapter in Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015 (Ryszard S. Romaniuk) , SPIE, vol. 9662, pp. 1-08, Sep 2015. [Bibtex & Downloads]
  • Laszlo Szilagyi, Guido Belfiore, Ronny Henker, Frank Ellinger, "17 Gbps wireless optical receiver in 80 nm CMOS" , In Proceeding: Circuits and Systems Symposium (ICSyS), 2015 IEEE International, pp. 49–54, 2015. [Bibtex & Downloads]
  • László Szilágyi, Ronny Henker, Frank Ellinger, "A 0.68\,pJ/bit inductor-less optical receiver for 20\,Gbps with 0.0025\,mm² area in 28\,nm CMOS" , Proceedings of the IEEE International System-on-Chip Conference (SOCC), Sep 2015. [Bibtex & Downloads]
  • Carsten Rudolf Janda, Moritz Wiese, Janis Nötzel, Holger Boche, Eduard A. Jorswieck, "Wiretap-channels under constrained active and passive attacks" , Proceedings of the IEEE Conference on Communications and Network Security (CNS), Workshop on Physical-layer Methods for Wireless Security (PhySec), Sep 2015. [Bibtex & Downloads]
  • Frédéric Gilbert Gabry, Pin-Hsun Lin, Eduard A. Jorswieck, "Energy efficiency performance of cooperative schemes in cognitive radio networks with secrecy" , Proceedings of the IEEE Conference on Communications and Network Security (CNS), Poster session, Sep 2015. [Bibtex & Downloads]
  • Alessio Zappone, Bho Matthiesen, Eduard A. Jorswieck, "Energy efficiency in MIMO underlay and overlay device-to-device communications and cognitive radio systems" , Sep 2015. [Bibtex & Downloads]
  • Krzysztof Nieweglowski, Lukas Lorenz, Klaus-Jürgen Wolter, Karlheinz Bock, "Multichannel optical link based on polymer multimode waveguides for board-level interchip communication" , Proceedings of the IMAPS European Microelectronics Packaging Conference (EMPC), Sep 2015. [Bibtex & Downloads]
  • Lukas Lorenz, Ralf Rieske, Krzysztof Nieweglowski, Klaus-Jürgen Wolter, Karlheinz Bock, "Wafer-level integration technology for multi emitter high power fiber coupled lasers" , Proceedings of the IMAPS European Microelectronics Packaging Conference (EMPC), Sep 2015. [Bibtex & Downloads]
  • Seyedreza Hosseini, Kambiz Jamshidi, "Fundamental performance tradeoffs for reverse biased free carrier plasma dispersion effect based silicon optical modulators" , In Poster presentation at the International Conference on Photonics in Switching (PS), Sep 2015. [Bibtex & Downloads]
  • Anni-Yasmin Turhan, Erik Zenker, "Towards temporal Fuzzy Query Answering on Stream-based Data" , Chapter in Proceedings of the Workshop on High-Level Declarative Stream Processing (HiDeSt) (Nicklas, Daniela and Özçep, Özgür Lütfü) , CEUR-WS.org, vol. 1447, pp. 56-69, Sep 2015. [Bibtex & Downloads]
  • Veronika Thost, Erik Zenker, "Temporal query answering in a fuzzy world" , Chapter in Proceedings of the Posters and Demos Track of the International Conference on Semantic Systems (SEMANTiCS) (Agata Filipowska and Ruben Verborgh and Axel Polleres) , CEUR-WS.org, vol. 1481, pp. 84-87, Sep 2015. [Bibtex & Downloads]
  • Erdal Arıkan, Najeeb ul Hassan, Michael Lentmaier, Guido Montorsi, Jossy Sayir, "Challenges and some new directions in channel coding" , In Journal of Communications and Networks, vol. 17, no. 4, pp. 328-338, Aug 2015. [Bibtex & Downloads]
  • Muhammad Majid Butt, Eduard A. Jorswieck, Björn E. Ottersten, "Maximizing energy efficiency in multiple access channels by exploiting packet dropping and transmitter buffering" , In IEEE Transactions on Wireless Communications, vol. 14, no. 8, pp. 4129-4141, Aug 2015. [Bibtex & Downloads]
  • Mario Bielert, Florina M. Ciorba, Kim Feldhoff, Thomas Ilsche, Wolfgang E. Nagel, "HAEC-SIM: A simulation framework for highly adaptive energy-efficient computing platforms" , Proceedings of the EAI International Conference on Simulation Tools and Techniques (SIMUTools), Aug 2015. [Bibtex & Downloads]
  • Alessio Zappone, Luca Sanguinetti, Giacomo Bacci, Eduard A. Jorswieck, Mérouane Debbah, "Energy-efficient design of self-organizing massive MIMO networks" , Proceedings of the IEEE International Symposium on Wireless Communication Systems (ISWCS), Aug 2015. [Bibtex & Downloads]
  • Frédéric Gilbert Gabry, Alessio Zappone, Ragnar Thobaben, Eduard A. Jorswieck, Mikael Skoglund, "Energy efficiency analysis of cooperative jamming in cognitive radio networks with secrecy constraints" , In IEEE Wireless Communications Letters, vol. 4, no. 4, pp. 437-440, Aug 2015. [Bibtex & Downloads]
  • Bho Matthiesen, Alessio Zappone, Eduard A. Jorswieck, "Resource allocation for energy-efficient 3-way relay channels" , In IEEE Transactions on Wireless Communications, vol. 14, no. 8, pp. 4454-4468, Aug 2015. [doi] [Bibtex & Downloads]
  • Franz Baader, Stefan Borgwardt, Marcel Lippmann, "Temporal query entailment in the description logic SHQ" , In Journal of Web Semantics, vol. 33, pp. 71-93, Aug 2015. [Bibtex & Downloads]
  • Franz Eichhorn, Waltenegus Dargie, Christoph Möbius, Kateryna Rybina, "HAECubie: A Highly Adaptive and Energy-Efficient Computing Demonstrator" , Proceedings of the International Conference on Computer Communications and Networks (ICCCN), Aug 2015. [Bibtex & Downloads]
  • Christian Piechnick, Sebastian Götz, René Schöne, Uwe Aßmann, "Model-driven multi-quality auto-tuning of robotic applications" , Proceedings of the Joint Workshop on Model-Driven Robot, Software Engineering (MORSE) and View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO), Jul 2015. [Bibtex & Downloads]
  • Stefan Borgwardt, Veronika Thost, "Temporal Query Answering in the Description Logic $\mathcalEL$" , Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Jul 2015. [Bibtex & Downloads]
  • Andreas Fischer, John Martinovic, Eduard A. Jorswieck, Marat Mesyagutov, "Discrete receive beamforming" , In IEEE Signal Processing Letters, vol. 22, no. 7, pp. 958-962, Jul 2015. [Bibtex & Downloads]
  • Michael Lentmaier, Iryna Andriyanova, Najeeb ul Hassan, Gerhard P. Fettweis, "Spatial coupling – A way to improve the performance and robustness of iterative decoding" , Proceedings of the European Conference on Networks and Communications (EuCNC), Jun 2015. [Bibtex & Downloads]
  • Pin-Hsun Lin, Frédéric Gilbert Gabry, Ragnar Thobaben, Eduard A. Jorswieck, Mikael Skoglund, "Multi-phase transmission for secure cognitive radio networks" , Proceedings of the IEEE International Conference on Communications (ICC), Workshop on Physical Layer Security (WPLS), Jun 2015. [Bibtex & Downloads]
  • Fei Shen, Dongnan Li, Pin-Hsun Lin, Eduard A. Jorswieck, "Auction based spectrum sharing for hybrid access in macro-femtocell networks under QoS requirements" , Proceedings of the IEEE International Conference on Communications (ICC), Mobile and Wireless Networking Symposium (MWN), Jun 2015. [Bibtex & Downloads]
  • Alessio Zappone, Luca Sanguinetti, Giacomo Bacci, Eduard A. Jorswieck, Mérouane Debbah, "A framework for energy-efficient design of 5G technologies" , Proceedings of the IEEE International Conference on Communications (ICC), Jun 2015. [Bibtex & Downloads]
  • Alessio Zappone, Pin-Hsun Lin, Eduard A. Jorswieck, "Secrecy and energy efficiency in MIMO-ME systems" , Proceedings of the IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Jun 2015. [Bibtex & Downloads]
  • Wenjia Liu, Alessio Zappone, Chenyang Yang, Eduard A. Jorswieck, "Global EE optimization of massive MIMO systems" , Proceedings of the IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Jun 2015. [Bibtex & Downloads]
  • Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan, "Elastiq: Answering Similarity-threshold Instance Queries in EL" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Diego Calvanese and Boris Konev) , CEUR-WS.org, vol. 1350, pp. 388-400, Jun 2015. [Bibtex & Downloads]
  • Theofilos Mailis, Anni-Yasmin Turhan, Erik Zenker, "A Pragmatic Approach to Answering CQs over Fuzzy DL-Lite-ontologies – Introducing FLite" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Diego Calvanese and Boris Konev) , CEUR-WS.org, vol. 1350, pp. 469-480, Jun 2015. [Bibtex & Downloads]
  • Veronika Thost, Jan Holste, Özgür Lütfü Özçep, "On Implementing Temporal Query Answering in \emphDL-Lite (extended abstract)" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Diego Calvanese and Boris Konev) , CEUR-WS.org, vol. 1350, pp. 552-555, Jun 2015. [Bibtex & Downloads]
  • Iryna Andriyanova, Najeeb ul Hassan, Michael Lentmaier, Gerhard P. Fettweis, "SC-LDPC codes over the block-fading channel: Robustness to a synchronisation offset" , Proceedings of the IEEE Black Sea Conference on Communications and Networking (BlackSeaCom), May 2015. [Bibtex & Downloads]
  • Julia Krause, Michael Schröter, "Methods for determining the emitter resistance in SiGe HBTs: A review and evaluation across different technologies" , In IEEE Transactions on Electron Devices, vol. 62, no. 5, pp. 1363-1374, May 2015. [Bibtex & Downloads]
  • Guido Belfiore, László Szilágyi, Ronny Henker, Udo Jörges, Frank Ellinger, "Design of a 56\,Gbit/s 4-PAM inductor-less VCSEL driver IC in 130\,nm BiCMOS technology" , In IET Circuits, Devices & Systems, vol. 9, no. 3, pp. 213-220, May 2015. [Bibtex & Downloads]
  • László Szilágyi, Guido Belfiore, Ronny Henker, Frank Ellinger, "A high-voltage DC bias architecture implementation in a 17\,Gbps low-power common-cathode VCSEL driver in 80\,nm CMOS" , Proceedings of the International Symposium on Circuits and Systems (ISCAS), May 2015. [Bibtex & Downloads]
  • Seyedreza Hosseini, Kambiz Jamshidi, "Circuit modeling based optimization of high speed carrier depletion silicon modulators" , Chapter in Integrated Optics: Physics and Simulations II (Pavel Cheben and Jiří Čtyroký and Iñigo Molina-Fernández) , SPIE, vol. 9516, pp. 1-0, May 2015. [Bibtex & Downloads]
  • Seyed Mahmoud Jazayerifar, Daniel Bross, Kambiz Jamshidi, "A numerical investigation of silicon-based optical sampling" , Chapter in Integrated Optics: Physics and Simulations II (Pavel Cheben and Jiří Čtyroký and Iñigo Molina-Fernández) , SPIE, vol. 9516, pp. 1-08, May 2015. [Bibtex & Downloads]
  • Sebastian Götz, Ilias Gerostathopoulos, Filip Krikava, Adnan Shahzada, Romina Spalazzese, "Adaptive exchange of distributed partial models@run.time for highly dynamic systems" , Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015. [Bibtex & Downloads]
  • Waltenegus Dargie, "A Stochastic Model for Estimating the Power Consumption of a Processor" , In IEEE Transactions on Computers, vol. 63, no. 5, pp. 1311-1322, May 2015. [Bibtex & Downloads]
  • Ulrich Hans Peter Fischer-Hirchert, Krzysztof Nieweglowski, "Optical motherboard" , Chapter in Photonic Packaging Sourcebook: Fiber-Chip Coupling for Optical Components, Basic Calculations, Modules (Fischer-Hirchert, Ulrich Hans Peter) , Springer, pp. 217-239, Apr 2015. [Bibtex & Downloads]
  • László Szilágyi, Guido Belfiore, Ronny Henker, Frank Ellinger, "Area-efficient offset compensation and common-mode control circuit with switched-capacitor technique in an 18\,Gbps optical receiver in 80\,nm CMOS" , Proceedings of the Optical Interconnects Conference (OIC), Apr 2015. [Bibtex & Downloads]
  • Marcus Hähnel, Hermann Härtig, "Demo Abstract: An Energy/Utility Demo" , Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2015. [Bibtex & Downloads]
  • Andreas Fischer, Guntram Scheithauer, "Cutting and packing problems with placement constraints" , Chapter in Optimized Packings with Applications (Giorgio Fasano and János D. Pintér) , Springer, vol. 105, pp. 119-156, Mar 2015. [Bibtex & Downloads]
  • Somayeh Malakuti Khah Olun Abadi, Mehmet Akşit, "On liberating programs from von Neumann architecture via event-based modularization" , Proceedings of the International Conference on Modularity (MODULARITY), Mar 2015. [Bibtex & Downloads]
  • Gagandeep Singh, Lukas Landau, Gerhard P. Fettweis, "Finite length reconstructible ASK-sequences received with 1-bit quantization and oversampling" , Proceedings of the International ITG Conference on Systems, Communications and Coding (SCC), Feb 2015. [Bibtex & Downloads]
  • Paulius Sakalas, Michael Schröter, Herbert Zirath, "mm-wave noise modeling in advanced SiGe and InP HBTs" , In Journal of Computational Electronics, vol. 14, no. 1, pp. 62-71, Feb 2015. [Bibtex & Downloads]
  • Guido Belfiore, László Szilágyi, Ronny Henker, Frank Ellinger, "Common cathode VCSEL driver in 90\,nm CMOS enabling 25\,Gbit/s optical connection using a 14\,Gbit/s 850\,nm VCSEL" , In IET Electronics Letters, vol. 51, no. 4, pp. 349-351, Feb 2015. [Bibtex & Downloads]
  • Seyedreza Hosseini, Kambiz Jamshidi, "Modulation efficiency enhancement of an optical phase modulator using one-dimensional photonic crystal structures" , Chapter in Silicon Photonics X (Graham T. Reed and Michael R. Watts) , SPIE, vol. 9367, pp. 1-0, Feb 2015. [Bibtex & Downloads]
  • Theofilos Mailis, Anni-Yasmin Turhan, "Employing DL-Lite$_\textR$-Reasoners for Fuzzy Query Answering" , Chapter in Semantic Technology (Thepchai Supnithi and Takahira Yamaguchi and Jeff Z. Pan and Vilas Wuwongse and Marut Buranarach) , Springer, vol. 8943, pp. 63-78, Feb 2015. [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]
  • 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]
  • Dirk Habich, Patrick Damme, Wolfgang Lehner, "Optimierung der Anfrageverarbeitung mittels Kompression der Zwischenergebnisse" , 2015. [Bibtex & Downloads]
  • David Fritsche, Gregor Tretter, Corrado Carta, Frank Ellinger, "Millimeter-Wave Low-Noise Amplifier Design in 28-nm Low-Power Digital CMOS" , IEEE, 2015. [Bibtex & Downloads]
  • Kateryna Rybina, Waltenegus Dargie, René Schöne, Somayeh Malakuti, "Mutual Influence of Application-and Platform-Level Adaptations on Energy-Efficient Computing" , 2015. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti, Mehmet Aksit, "On liberating programs from the von neumann architecture via event-based modularization" , Companion Proceedings of the 14th International Conference on Modularity, pp. 31–34, 2015. [doi] [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]
  • Meik Dörpinghaus, Norbert Gaffke, Lorens A. Imhof, Rudolf Mathar, "A log-det inequality for random matrices" , In SIAM Journal on Matrix Analysis and Applications, SIAM, vol. 36, no. 3, pp. 1164–1179, 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]
  • Marwen Zorgui, Zouheir Rezki, Basel Alomair, Eduard A Jorswieck, Mohamed-Slim Alouini, "Secret-key agreement over spatially correlated multiple-antenna channels in the low-SNR regime" , In Proceeding: Communications and Network Security (CNS), 2015 IEEE Conference on, pp. 719–720, 2015. [Bibtex & Downloads]
  • David Schoeniger, Ronny Henker, Frank Ellinger, "A high-speed energy-efficient inductor-less transimpedance amplifier with adjustable gain for optical chip-to-chip communication" , In Proceeding: Microwave and Optoelectronics Conference (IMOC), 2015 SBMO/IEEE MTT-S International, pp. 1–5, 2015. [Bibtex & Downloads]
  • Patrick Seiler, Bernhard Klein, Niels Neumann, Dirk Plettemeier, "A novel method for measuring the dielectric properties of solid materials in the microwave range" , In Proceeding: Microwave Symposium (MMS), 2015 IEEE 15th Mediterranean, pp. 1–4, 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]
  • Daniel Hernández, Aidan Hogan, Markus Krötzsch, "Reifying RDF: What Works Well With Wikidata?" , Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems (Thorsten Liebig and Achille Fokoue) , CEUR-WS.org, vol. 1457, pp. 32-47, 2015. [Bibtex & Downloads]
  • D. Schoeniger, R. Henker, F. Ellinger, "High-speed transimpedance amplifier with runtime adaptive bandwidth and power consumption in 0.13 $\mu$m SiGe BiCMOS" , In Electronics Letters, IET, vol. 52, no. 2, pp. 154–156, 2015. [Bibtex & Downloads]
  • Paolo Valerio Testa, Corrado Carta, Frank Ellinger, "220 GHz wideband distributed active power combiner" , In Proceeding: Microwave Conference (APMC), 2015 Asia-Pacific, vol. 2, pp. 1–3, 2015. [Bibtex & Downloads]
  • Meik Dörpinghaus, "A Proof of the Hyperplane Conjecture for a Large Class of Probability Density Functions" , In arXiv preprint arXiv:1512.05423, 2015. [Bibtex & Downloads]
  • 2014

  • Andreas Fischer, Markus Herrich, Klaus Schönefeld, "Generalized Nash equilibrium problems – Recent advances and challenges" , In Pesquisa Operacional, vol. 34, no. 3, pp. 521-558, Dec 2014. [Bibtex & Downloads]
  • Alessio Zappone, Eduard A. Jorswieck, Stefano Buzzi, "Energy efficiency and interference neutralization in two-hop MIMO interference channels" , In IEEE Transactions on Signal Processing, vol. 62, no. 24, pp. 6481-6495, Dec 2014. [Bibtex & Downloads]
  • Kostas Ramantas, Nizar Zorba, Zuleita Ka Ming Ho, Pin-Hsun Lin, Eduard A. Jorswieck, "Massive interference neutralization in DIWINE network" , Proceedings of the IEEE International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Dec 2014. [Bibtex & Downloads]
  • Elke Franz, Stefan Pfennig, Tobias Reiher, "Efficiency of rateless secure network coding" , Chapter in Conference on Electronics, Telecommunications and Computers – CETC 2013 (Alessandro Fantoni and Artur J. Ferreira) , Elsevier, vol. 17, pp. 162-169, Dec 2014. [Bibtex & Downloads]
  • Pin-Hsun Lin, Frédéric Gilbert Gabry, Ragnar Thobaben, Eduard A. Jorswieck, Mikael Skoglund, "Clean relaying in cognitive radio networks with variational distance secrecy constraint" , Proceedings of the IEEE Global Communications Conference (Globecom), Workshop on Trusted Communications with Physical Layer Security (TCPLS), Dec 2014. [Bibtex & Downloads]
  • Stefano Tomasin, Eduard A. Jorswieck, "Pilot-based secret key agreement for reciprocal correlated MIMOME block fading channels" , Proceedings of the IEEE Global Communications Conference (Globecom), Workshop on Trusted Communications with Physical Layer Security (TCPLS), Dec 2014. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan, "Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities" , In International Journal of Approximate Reasoning, vol. 55, no. 9, pp. 1939-1970, Dec 2014. [Bibtex & Downloads]
  • Sebastian Götz, Thomas Ilsche, Jorge Cardoso, Josef Spillner, Thomas Kissinger, Uwe Aßmann, Wolfgang Lehner, Wolfgang E. Nagel, Alexander Schill, "Energy-efficient databases using sweet spot frequencies" , Proceedings of the IEEE/ACM International Conference on Utility and Cloud Computing (UCC), Workshop on Green Cloud Computing (GCC), Dec 2014. [Bibtex & Downloads]
  • Marcus Hähnel, Julian Alfredo Mendez, Veronika Thost, Anni-Yasmin Turhan, "Bridging the application knowledge gap – Using ontology-based situation recognition to support energy-aware resource scheduling" , Proceedings of the Workshop on Adaptive and Reflective Middleware (ARM), Dec 2014. [Bibtex & Downloads]
  • Mahdi M. Khafaji, Corrado Carta, Klaus Tittelbach-Helmrich, Daniel Mičušík, Gunter Fischer, Johann Christoph Scheytt, Frank Ellinger, "A 32\,GS/s Multiplexer with 1\,kbit Memory for Arbitrary Signal Generation for Testing Digital-to-Analog Converters" , In IET Circuits, Devices & Systems, vol. 8, no. 6, pp. 459-468, Nov 2014. [doi] [Bibtex & Downloads]
  • Alessio Zappone, Pan Cao, Eduard A. Jorswieck, "Low-complexity energy efficiency optimization with statistical CSI in two-hop MIMO systems" , In IEEE Signal Processing Letters, vol. 21, no. 11, pp. 1398-1402, Nov 2014. [Bibtex & Downloads]
  • Alessio Zappone, Pin-Hsun Lin, Eduard A. Jorswieck, "Energy-efficient secure communications in MISO-SE systems" , Proceedings of the Asilomar Conference on Signals, Systems and Computers (Asilomar), Nov 2014. [Bibtex & Downloads]
  • Axel Dreves, Francisco Facchinei, Andreas Fischer, Markus Herrich, "A new error bound result for generalized Nash equilibrium problems and its algorithmic application" , In Computational Optimization and Applications, vol. 59, no. 1–2, pp. 63-84, Oct 2014. [Bibtex & Downloads]
  • Nitin Sukhija, Brandon Malone, Srishti Srivastava, Ioana Banicescu, Florina M. Ciorba, "A learning-based selection for portfolio scheduling of scientific applications on heterogeneous computing systems" , In Parallel and Cloud Computing, vol. 3, no. 4, pp. 66-81, Oct 2014. [Bibtex & Downloads]
  • Thomas Ilsche, Joseph Schuchart, Robert Schöne, Daniel Hackenberg, "Tools for high performance computing" , Proceedings of the International Workshop on Parallel Tools for High Performance Computing, Oct 2014. [Bibtex & Downloads]
  • Tobias Nardmann, Julia Krause, Michael Schröter, "An evaluation of extraction methods for the emitter resistance for InP DHBTs" , Proceedings of the IEEE Compound Semiconductor IC Symposium (CSICS), Oct 2014. [Bibtex & Downloads]
  • Pin-Hsun Lin, Eduard A. Jorswieck, "On the fading Gaussian wiretap channel with statistical channel state information at transmitter" , Proceedings of the IEEE Conference on Communications and Network Security (CNS), Workshop on Physical-layer Methods for Wireless Security (PhySec), Oct 2014. [Bibtex & Downloads]
  • Marcus Hähnel, Hermann Härtig, "Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform" , Proceedings of the Workshop on Power-Aware Computing and Systems (HotPower), Oct 2014. [Bibtex & Downloads]
  • Meik Dörpinghaus, Günther Koliander, Giuseppe Durisi, Erwin Riegler, Heinrich Meyr, "Oversampling increases the pre-log of noncoherent Rayleigh fading channels." , In IEEE Transactions on Information Theory, vol. 60, no. 9, pp. 5673-5681, September 2014. [Bibtex & Downloads]
  • Lukas Landau, Gerhard P. Fettweis, "On reconstructable ASK-sequences for receivers employing 1-bit quantization and oversampling" , Proceedings of the IEEE International Conference on Ultra-Wideband (ICUWB), Sep 2014. [Bibtex & Downloads]
  • Tim Hälsig, Lukas Landau, Gerhard Paul Fettweis, "Spectral efficient communications employing 1-bit quantization and oversampling at the receiver" , Proceedings of the IEEE Vehicular Technology Conference (VTC-Fall), Sep 2014. [Bibtex & Downloads]
  • Mahadevan Balasubramaniam, Ioana Banicescu, Florina Monica Ciorba, "Scalability analysis and evaluation of divisible load scheduling" , Proceedings of the International Conference on Parallel Processing (ICPP), Sep 2014. [Bibtex & Downloads]
  • Andreas Pawlak, Steffen Lehmann, Michael Schröter, "A simple and accurate method for extracting the emitter and thermal resistance of BJTs and HBTs" , Proceedings of the IEEE Bipolar/BiCMOS Circuits and Technology Meeting (BCTM), Sep 2014. [doi] [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, Sabrina Engelmann, Anne Wolf, "End-to-End Key Establishment using Physical Layer Key Generation with Specific Attacker Models" , Proceedings of the Workshop on Communication Security (WCS), Sep 2014. [Bibtex & Downloads]
  • Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann, "A metamodel family for role-based modelling and programming languages" , Chapter in Software Language Engineering (Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju) , Springer, vol. 8706, pp. 141-160, Sep 2014. [Bibtex & Downloads]
  • Dorian Merz, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan, "Reasoning in ALC with Fuzzy Concrete Domains" , Chapter in KI 2014: Advances in Artificial Intelligence (Carsten Lutz and Michael Thielscher) , Springer, vol. 8736, pp. 171-182, Sep 2014. [Bibtex & Downloads]
  • Thomas Kissinger, Tim Kiefer, Benjamin Schlegel, Dirk Habich, Daniel Molka, Wolfgang Lehner, "ERIS: A NUMA-aware in\nobreakdash-memory storage engine for analytical workload" , Proceedings of the International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures (ADMS), Sep 2014. [Bibtex & Downloads]
  • Giuseppa Alfano, Alessio Zappone, Eduard A. Jorswieck, Guido Montorsi, "Mutual information of phase-noise impaired wireless networks" , Proceedings of the International Symposium on Wireless Communication Systems (ISWCS), Aug 2014. [Bibtex & Downloads]
  • Bho Matthiesen, Alessio Zappone, Eduard A. Jorswieck, "Spectral and energy efficiency in 3-way relay channels with circular message exchanges" , Proceedings of the International Symposium on Wireless Communication Systems (ISWCS), Aug 2014. [doi] [Bibtex & Downloads]
  • Timothy Hansen, Florina M. Ciorba, Anthony A. Maciejewski, Howard Jay Siegel, Srishti Srivastava, Ioana Banicescu, "Heuristics for robust allocation of resources to parallel applications with uncertain execution times in heterogeneous systems with uncertain availability" , Proceedings of the World Congress on Engineering (WCE), Jul 2014. [Bibtex & Downloads]
  • Robert Schöne, Joseph Schuchart, Thomas Ilsche, Daniel Hackenberg, "Scalable tools for non-intrusive performance debugging of parallel Linux workloads" , Proceedings of the Ottawa Linux Symposium (OLS), Jul 2014. [Bibtex & Downloads]
  • Christian Piechnick, Georg Püschel, Sebastian Götz, Thomas Kühn, Ronny Kaiser, Uwe Aßmann, "Towards context modeling in space and time" , Chapter in Proceedings of the International Conference on Software Technologies: Applications and Foundations (STAF), International Workshop on Model-Driven Robot Software Engineering (MORSE) (Uwe Aßmann and Gerd Wagner) , CEUR-WS.org, vol. 1319, pp. 42-53, Jul 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "Decidable Gödel description logics without the finitely-valued model property" , Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Jul 2014. [Bibtex & Downloads]
  • Felix Distel, Jamal Atif, Isabelle Bloch, "Concept Dissimilarity with Triangle Inequality" , Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Jul 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "Gödel Description Logics with General Models" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus) , CEUR-WS.org, vol. 1193, pp. 391-403, Jul 2014. [Bibtex & Downloads]
  • Lukas Landau, Gerhard Paul Fettweis, "Information rates employing 1-bit quantization and oversampling" , Proceedings of the IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Jun 2014. [Bibtex & Downloads]
  • Najeeb ul Hassan, Michael Lentmaier, Iryna Andriyanova, Gerhard P. Fettweis, "Improving code diversity on block-fading channels by spatial coupling" , Proceedings of the IEEE International Symposium on Information Theory (ISIT), Jun 2014. [Bibtex & Downloads]
  • Giuseppa Alfano, Alessio Zappone, Eduard Axel Jorswieck, Guido Montorsi, "Energy-efficiency of phase-noise impaired wireless networks" , In Poster presentation at the European Conference on Networks and Communications (EuCNC), Jun 2014. [Bibtex & Downloads]
  • Mahadevan Balasubramaniam, Ioana Banicescu, Florina M. Ciorba, "Robustness prediction and evaluation of divisible load scheduling on heterogeneous systems with uncertain perturbations" , Proceedings of the International Symposium on Parallel and Distributed Computing (ISPDC), Jun 2014. [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, "Adjustable Redundancy for Secure Network Coding in a Unicast Scenario" , Proceedings of the International Symposium on Network Coding (NetCod), Jun 2014. [Bibtex & Downloads]
  • Georg Püschel, Sebastian Götz, Claas Wilke, Christian Piechnick, Uwe Aßmann, "Testing Self-adaptive Software – Requirement Analysis and Solution Scheme" , In International Journal on Advances in Software, vol. 7, no. 1–2, pp. 88-100, Jun 2014. [Bibtex & Downloads]
  • Till Kolditz, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Online Bit Flip Detection for In\nobreakdash-Memory B-Trees on Unreliable Hardware" , Proceedings of the ACM International Conference on Management of Data (SIGMOD), International Workshop on Data Management on New Hardware (DaMoN), Jun 2014. [doi] [Bibtex & Downloads]
  • Tim Kiefer, Thomas Kissinger, Benjamin Schlegel, Dirk Habich, Daniel Molka, Wolfgang Lehner, "ERIS live: A NUMA-aware in\nobreakdash-memory storage engine for tera-scale multiprocessor systems" , Proceedings of the ACM International Conference on Management of Data (SIGMOD), Jun 2014. [Bibtex & Downloads]
  • Christoph Möbius, Waltenegus Dargie, Alexander Schill, "Power Consumption Estimation Models for Processors, Virtual Machines, and Servers" , In IEEE Transactions on Parallel and Distributed Systems, vol. 25, no. 6, pp. 1600-1614, Jun 2014. [Bibtex & Downloads]
  • Tim Hälsig, Lukas Landau, Gerhard Paul Fettweis, "Information rates for faster-than-Nyquist signaling with 1-bit quantization and oversampling at the receiver" , Proceedings of the IEEE Vehicular Technology Conference (VTC-Spring), May 2014. [Bibtex & Downloads]
  • Simon Järmyr, Björn E. Ottersten, Eduard A. Jorswieck, "Statistical framework for optimization in the multi-user MIMO uplink with ZF-DFE" , In IEEE Transactions on Signal Processing, vol. 62, no. 10, pp. 2730-2745, May 2014. [Bibtex & Downloads]
  • Alessio Zappone, Pan Cao, Eduard A. Jorswieck, "Green resource allocation in relay-assisted MIMO systems with statistical channel state information" , Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014. [Bibtex & Downloads]
  • Pan Cao, Eduard A. Jorswieck, "Robust optimization for multi-cell interfering MIMO-MAC under limited feedback" , Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014. [Bibtex & Downloads]
  • Nitin Sukhija, Brandon Malone, Srishti Srivastava, Ioana Banicescu, Florina M. Ciorba, "Portfolio-based selection of robust dynamic loop scheduling algorithms using machine learning" , Proceedings of the IEEE International Parallel & Distributed Processing Symposium (IPDPS) Workshops, May 2014. [Bibtex & Downloads]
  • Christian Piechnick, Sebastian Richly, Thomas Kühn, Sebastian Götz, Georg Püschel, Uwe Aßmann, "ContextPoint: An Architecture for Extrinsic Meta-Adaptation in Intelligent Environments" , Proceedings of the International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), May 2014. [Bibtex & Downloads]
  • Waltenegus Dargie, Jianjun Wen, "Power-Latency Trade-offs in Virtualized Environments" , Proceedings of the IEEE International Conference on Advanced Information Networking and Applications (AINA), International Symposium on Frontiers of Information Systems and Network Applications (FINA), May 2014. [Bibtex & Downloads]
  • Sabrina Engelmann, Anne Wolf, Eduard A. Jorswieck, "Precoding for secret key generation in multiple antenna channels with statistical channel state information" , Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014. [Bibtex & Downloads]
  • Zuleita Ka Ming Ho, Eduard A. Jorswieck, "Signal leakage neutralisation in instantaneous non-regenerative relaying networks under channel uncertainty" , In IET Communications, Special Issue on Secure Physical Layer Communications, vol. 8, no. 8, pp. 1285-1295, May 2014. [Bibtex & Downloads]
  • Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Software Product Line Model Checking" , In Presentation, April 2014. [Bibtex & Downloads]
  • Tobias Nardmann, Michael Schröter, "Modeling the base-collector capacitance of III–V devices" , In HICUM Workshop, Apr 2014. [Bibtex & Downloads]
  • Uwe Aßmann, Sebastian Götz, Jean-Marc Jézéquel, Brice Morin, Mario Trapp, "A Reference Architecture and Roadmap for Models@run.time Systems" , Chapter in Models@run.time (Nelly Bencomo and Robert France and Betty H. C. Cheng and Uwe Aßmann) , Springer, vol. 8378, pp. 1-18, Apr 2014. [Bibtex & Downloads]
  • Marcus Völp, Marcus Hähnel, Adam Lackorzynski, "Has Energy Surpassed Timeliness? – Scheduling Energy-Constrained Mixed-Criticality Systems" , Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2014. [Bibtex & Downloads]
  • Uroschanit Yodprasit, Stefan Schumann, Corrado Carta, Frank Ellinger, "10–15Gbps V-Band OOK Transmitters in 0.25µm SiGe BiCMOS Technology" , Proceedings of the German Microwave Conference (GeMiC), Mar 2014. [Bibtex & Downloads]
  • Sebastian Oeste, Andreas Knüpfer, Thomas Ilsche, "Towards parallel performance analysis tools for the OpenSHMEM standard" , Chapter in OpenSHMEM and Related Technologies – Experiences, Implementations, and Tools (Stephen Poole and Oscar Hernandez and Pavel Shamis) , Springer, vol. 8356, pp. 90-104, Mar 2014. [Bibtex & Downloads]
  • Rami Mochaourab, Pan Cao, Eduard A. Jorswieck, "Alternating rate profile optimization in single stream MIMO interference channels" , In IEEE Signal Processing Letters, vol. 21, no. 2, pp. 221-224, Feb 2014. [Bibtex & Downloads]
  • Alessio Zappone, Pan Cao, Eduard A. Jorswieck, "Energy efficiency optimization in relay-assisted MIMO systems with perfect and statistical CSI" , In IEEE Transactions on Signal Processing, vol. 62, no. 2, pp. 443-457, Jan 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]
  • Christoph Möbius, Waltenegus Dargie, "Statistical Analysis of the Workload of a Video Hosting Server" , Chapter in Analytical and Stochastic Modeling Techniques and Applications, Springer, pp. 223–237, 2014. [doi] [Bibtex & Downloads]
  • Daniel Hackenberg, Thomas Ilsche, Joseph Schuchart, Robert Schöne, Wolfgang E Nagel, Marc Simon, Yiannis Georgiou, "HDEEM: high definition energy efficiency monitoring" , Proceedings of the 2nd International Workshop on Energy Efficient Supercomputing, pp. 1–10, 2014. [doi] [Bibtex & Downloads]
  • David Oehmann, Albrecht J Fehske, Gerhard P Fettweis, "Non-Stationary Traffic Conditions in Transient Flow Level Models for Cellular Networks" , European Wireless 2014; 20th European Wireless Conference; Proceedings of, pp. 1–6, 2014. [Bibtex & Downloads]
  • Florina M Ciorba, Thomas Ilsche, Elke Franz, Stefan Pfennig, Christian Scheunert, Ulf Markwardt, Joseph Schuchart, Daniel Hackenberg, Robert Schöne, Andreas Knüpfer, others, "Analysis of Parallel Applications on a High Performance–Low Energy Computer" , In Proceeding: Euro-Par 2014: Parallel Processing Workshops, pp. 474–485, 2014. [doi] [Bibtex & Downloads]
  • Iraklis Psaroudakis, Thomas Kissinger, Danica Porobic, Thomas Ilsche, Erietta Liarou, Pinar Tözün, Anastasia Ailamaki, Wolfgang Lehner, "Dynamic fine-grained scheduling for energy-efficient main-memory queries" , Proceedings of the Tenth International Workshop on Data Management on New Hardware, pp. 1, 2014. [doi] [Bibtex & Downloads]
  • Georg Püschel, Christian Piechnick, Sebastian Götz, Christoph, "A Combined Simulation and Test Case Generation Strategy for Self-Adaptive Systems" , In Journal On Advances in Software, vol. 7, no. 34, pp. 686–696, 2014. [Bibtex & Downloads]
  • Johannes Gorner, Sebastian Hoppner, Dennis Walter, Michael Haas, Dirk Plettemeier, Rene Schuffny, "An energy efficient multi-bit TSV transmitter using capacitive coupling" , In Proceeding: Electronics, Circuits and Systems (ICECS), 2014 21st IEEE International Conference on, pp. 650–653, 2014. [doi] [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]
  • Krzysztof Nieweglowski, Ronny Henker, Frank Ellinger, Klaus-Jürgen Wolter, "Performance of step index multimode waveguides with tuned numerical aperture for on-board optical links" , In Proceeding: SPIE OPTO, pp. 899105–899105, 2014. [Bibtex & Downloads]
  • Kateryna Rybina, Abhinandan Patni, Alexander Schill, "Analysing the Migration Time of Live Migration of Multiple Virtual Machines" , In Proceeding: 4th International Conference on Cloud Computing and Services Science (CLOSER 2014), 2014. [Bibtex & Downloads]
  • Martin Elstner, Jörg Axthelm, Alexander Schiller, "Sugar-based Molecular Computing by Material Implication" , In Angewandte Chemie International Edition, Wiley Online Library, vol. 53, no. 28, pp. 7339–7343, 2014. [doi] [Bibtex & Downloads]
  • Michael Jenning, Dirk Plettemeier, "1 x 4 antenna array for chip-to-chip communication at 180GHz" , In Proceeding: Electromagnetics in Advanced Applications (ICEAA), 2014 International Conference on, pp. 81–84, 2014. [Bibtex & Downloads]
  • Michael Jenning, Dirk Plettemeier, "180 GHz on-chip integrated bow-tie antenna" , In Proceeding: Antennas and Propagation Society International Symposium (APSURSI), 2014 IEEE, pp. 362–363, 2014. [Bibtex & Downloads]
  • Michael Jenning, Dirk Plettemeier, "Miniaturized integrated Butler Matrix for 180 GHz chip-to-chip communication" , In Proceeding: Antenna Technology:" Small Antennas, Novel EM Structures and Materials, and Applications"(iWAT), 2014 International Workshop on, pp. 47–50, 2014. [Bibtex & Downloads]
  • Mahdi Khafaji, Corrado Carta, Klaus Tittelbach-Helmrich, Daniel Micusik, Gunter Fischer, Johann Christoph Scheytt, Frank Ellinger, "A 32 GSps multiplexer with 1 kbit memory for arbitrary signal generation for testing digital-to-analogue converters" , In IET Circuits, Devices & Systems, IET, vol. 8, no. 6, pp. 459–468, 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, Gerhard Fettweis, "Adaptive runtime management of heterogenous MPSoCs: Analysis, acceleration and silicon prototype" , In Proceeding: System-on-Chip (SoC), 2014 International Symposium on, pp. 1–4, 2014. [doi] [Bibtex & Downloads]
  • Oliver Arnold, Benedikt Noethen, Gerhard Fettweis, "CM_ISA++: An instruction set for dynamic task scheduling units for more than 1000 cores" , In Proceeding: System-on-Chip Conference (SOCC), 2014 27th IEEE International, pp. 29–34, 2014. [doi] [Bibtex & Downloads]
  • Oliver Arnold, Felix Neumaerker, Gerhard Fettweis, "L2_ISA++: Instruction set architecture extensions for 4G and LTE-advanced MPSoCs" , In Proceeding: System-on-Chip (SoC), 2014 International Symposium on, pp. 1–8, 2014. [doi] [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]
  • Paolo Valerio Testa, Guido Belfiore, David Fritsche, Corrado Carta, Frank Ellinger, "170 GHz SiGe-BiCMOS Loss-Compensated Distributed Amplifier" , In Proceeding: Compound Semiconductor Integrated Circuit Symposium (CSICs), 2014 IEEE, pp. 1–4, 2014. [doi] [Bibtex & Downloads]
  • Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan, "Certain Answers in a Rough World" , Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus) , CEUR-WS.org, vol. 1193, pp. 709-712, 2014. [Bibtex & Downloads]
  • Sebastian Götz, Thomas Ilsche, Jorge Cardoso, Josef Spillner, Uwe Aßmann, Wolfgang Nagel, Alexander Schill, "Energy-Efficient Data Processing at Sweet Spot Frequencies" , In Proceeding: On the Move to Meaningful Internet Systems: OTM 2014 Workshops, pp. 154–171, 2014. [doi] [Bibtex & Downloads]
  • Sebastian Götz, Thomas Kühn, Christian Piechnick, Georg Püschel, Uwe Aßmann, "A Models@ run. time Approach for Multi-objective Self-optimizing Software" , Chapter in Adaptive and Intelligent Systems, Springer, pp. 100–109, 2014. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti, Claas Wilke, "Energy aspects: modularizing energy-aware applications" , Proceedings of the 3rd International Workshop on Green and Sustainable Software, pp. 23–30, 2014. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti, Mehmet Aksit, "Emergent gummy modules: modular representation of emergent behavior" , Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, pp. 15–24, 2014. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti, Mehmet Aksit, "Event-based modularization: how emergent behavioral patterns must be modularized?" , Proceedings of the 13th workshop on Foundations of aspect-oriented languages, pp. 7–12, 2014. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti, "Detecting Emergent Interference in Integration of Multiple Self-Adaptive Systems" , Proceedings of the 2014 European Conference on Software Architecture Workshops, pp. 24, 2014. [doi] [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, Florina M Ciorba, Thomas Ilsche, Wolfgang E Nagel, "Modeling communication delays for network coding and routing for error-prone transmission" , In Proceeding: Future Generation Communication Technology (FGCT), 2014 Third International Conference on, pp. 19–24, 2014. [doi] [Bibtex & Downloads]
  • Thomas Kissinger, Tim Kiefer, Benjamin Schlegel, Dirk Habich, Daniel Molka, Wolfgang Lehner, "ERIS: A NUMA-Aware In-Memory Storage Engine for Analytical Workloads" , In Proceedings of the VLDB Endowment, vol. 7, no. 14, 2014. [Bibtex & Downloads]
  • Theofilos Mailis, Anni-Yasmin Turhan, "Employing DL-LiteR-Reasoners for Fuzzy Query Answering⋆" , Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014), LNCS, 2014. [Bibtex & Downloads]
  • Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan, "Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics" , Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings (Roman Kontchakov and Marie-Laure Mugnier) , Springer, vol. 8741, pp. 124-139, 2014. [doi] [Bibtex & Downloads]
  • Waltenegus Dargie, "Estimation of the Cost of VM Migration" , In Proceeding: Computer Communication and Networks (ICCCN), 2014 23rd International Conference on, pp. 1–8, 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]
  • Pan Cao, Alessio Zappone, Eduard Jorswieck, "Grouping-based Interference Alignment with IA-Cell Assignment in Multi-Cell MIMO MAC under Limited Feedback" , IEEE, 2014. [Bibtex & Downloads]
  • M. Hahnel, H. Hartig, "Heterogeneity by the numbers" , In HotPower, 2014. [Bibtex & Downloads]
  • Bernd Holfeld, Antje Relitz, Thomas Wirth, Eduard Jorswieck, "Joint multicell subchannel assignment with interference control and resource fairness in multiband OFDMA cellular networks" , In Proceeding: Dynamic Spectrum Access Networks (DYSPAN), 2014 IEEE International Symposium on, pp. 467–476, 2014. [Bibtex & Downloads]
  • Rami Mochaourab, Eduard A Jorswieck, "Coalitional games in MISO interference channels: Epsilon-core and coalition structure stable set" , In IEEE Transactions on Signal Processing, IEEE, vol. 62, no. 24, pp. 6507–6520, 2014. [Bibtex & Downloads]
  • Uroschanit Yodprasit, Stefan Schumann, Corrado Carta, Frank Ellinger, "10-15-Gbps V-Band OOK Transmitters in 0.25-$\mu$m SiGe BiCMOS Technology" , In Proceeding: Microwave Conference (GeMIC), 2014 German, pp. 1–4, 2014. [Bibtex & Downloads]
  • 2013

  • Najeeb ul Hassan, Ali E. Pusane, Michael Lentmaier, Gerhard P. Fettweis, Jr. Costello, "Non-uniform windowed decoding schedules for spatially coupled codes" , Proceedings of the IEEE Global Communications Conference (Globecom), Dec 2013. [Bibtex & Downloads]
  • Eduard Axel Jorswieck, Anne Wolf, Sabrina Engelmann, "Secret key generation from reciprocal spatially correlated MIMO channels" , Proceedings of the IEEE Global Communications Conference (Globecom), Dec 2013. [Bibtex & Downloads]
  • Mahadevan Balasubramaniam, Ioana Banicescu, Florina M. Ciorba, "Scheduling data parallel workloads – A comparative study of two common algorithmic approaches" , Proceedings of the International Conference on Parallel Processing (ICPP), Oct 2013. [Bibtex & Downloads]
  • Tobias Nardmann, Paulius Sakalas, Frank Chen, Tommy Rosenbaum, Michael Schröter, "A Geometry Scalable Approach to InP HBT Compact Modeling for mm-Wave Applications" , Proceedings of the IEEE Compound Semiconductor IC Symposium (CSICS), Oct 2013. [doi] [Bibtex & Downloads]
  • Somayeh Malakuti Khah Olun Abadi, "Complex event processing with event modules" , Proceedings of the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Workshop on Reactivity, Events and Modularity (REM), Oct 2013. [Bibtex & Downloads]
  • G. Tretter, D. Fritsche, C. Carta, F. Ellinger, "10-GS/s track and hold circuit in 28 nm CMOS" , In Proceeding: Semiconductor Conference Dresden-Grenoble (ISCDG), 2013 International, pp. 1–3, 2013. [Bibtex & Downloads]
  • Muhammad Majid Butt, Eduard A. Jorswieck, "Maximizing system energy efficiency by exploiting multiuser diversity and loss tolerance of the applications" , In IEEE Transactions on Wireless Communications, vol. 12, no. 9, pp. 4392-4401, Sep 2013. [Bibtex & Downloads]
  • Tobias Nardmann, Michael Schröter, Paulius Sakalas, Bryan Lee, "A length-scalable compact model for InP DHBTs" , Proceedings of the International Semiconductor Conference Dresden–Grenoble (ISCDG), Sep 2013. [doi] [Bibtex & Downloads]
  • Tommy Rosenbaum, Michael Schröter, Andreas Pawlak, Steffen Lehmann, "Automated transit time and transfer current extraction for single transistor geometries" , Proceedings of the IEEE Bipolar/BiCMOS Circuits and Technology Meeting (BCTM), Sep 2013. [doi] [Bibtex & Downloads]
  • Andreas Pawlak, Michael Schröter, Alexander Fox, "Geometry scalable model parameter extraction for mm-wave SiGe-heterojunction transistors" , Proceedings of the IEEE Bipolar/BiCMOS Circuits and Technology Meeting (BCTM), Sep 2013. [doi] [Bibtex & Downloads]
  • David Schöniger, Ronny Henker, Stefan Schumann, Frank Ellinger, "A low-noise energy-efficient inductor-less 50\,Gbit/s transimpedance amplifier with high gain-bandwidth product in 0.13\,µm SiGe BiCMOS" , Proceedings of the International Semiconductor Conference Dresden–Grenoble (ISCDG), Sep 2013. [Bibtex & Downloads]
  • Johannes Richter, Christian Scheunert, Sabrina Gerbracht, Eduard A. Jorswieck, "Secrecy in the two-way relay channel with compute-and-forward" , Proceedings of the Information Theory Workshop (ITW), Sep 2013. [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, "Comparison of different secure network coding paradigms concerning transmission efficiency" , Proceedings of the International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Sep 2013. [Bibtex & Downloads]
  • Claas Wilke, Sebastian Richly, Sebastian Götz, Uwe Aßmann, "Energy Profiling as a Service" , Proceedings of the Workshop Umweltinformatik zwischen Nachhaltigkeit und Wandel’’ (UINW), Sep 2013. [Bibtex & Downloads]
  • Stefan Borgwardt, Marcel Lippmann, Veronika Thost, "Temporal query answering in the description logic \emphDL-Lite" , Chapter in Logics in Artificial Intelligence (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt) , Springer, vol. 8152, pp. 165-180, Sep 2013. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan, "Computing role-depth bounded generalizations in the description logic ELOR" , Chapter in KI 2013: Advances in Artificial Intelligence (Ingo J. Timm and Matthias Thimm) , Springer, vol. 8077, pp. 49-60, Sep 2013. [Bibtex & Downloads]
  • Johannes Richter, Elke Franz, Sabrina Gerbracht, Stefan Pfennig, Eduard A. Jorswieck, "Physical layer security vs.\ network layer secrecy: Who wins on the untrusted two-way relay channel?" , Proceedings of the International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Sep 2013. [Bibtex & Downloads]
  • Zuleita Ka Ming Ho, Eduard A. Jorswieck, Sabrina Gerbracht, "Information leakage neutralization for the multi-antenna non-regenerative relay-assisted multi-carrier interference channel" , In IEEE Journal on Selected Areas in Communications, vol. 31, no. 9, pp. 1672-1686, Sep 2013. [Bibtex & Downloads]
  • Sabrina Engelmann, Zuleita Ka Ming Ho, Eduard A. Jorswieck, "Interference leakage neutralization in two-hop wiretap channels with partial CSI" , Proceedings of the International Symposium on Wireless Communication Systems (ISWCS), Aug 2013. [Bibtex & Downloads]
  • Georg Püschel, Sebastian Richly, Sebastian Götz, Christian Piechnick, Uwe Aßmann, "Energy consumption and efficiency in mobile applications: A user feedback study" , Proceedings of the IEEE International Conference on Green Computing and Communications (GreenCom), Aug 2013. [Bibtex & Downloads]
  • Alessio Zappone, Pan Cao, Eduard A. Jorswieck, "Energy efficiency optimization in relay-assisted MIMO systems with statistical CSI" , Proceedings of the IEEE China Summit and International Conference on Signal and Information Processing (ChinaSIP), Jul 2013. [Bibtex & Downloads]
  • Ronny Hahnel, Dirk Plettemeier, "60\,GHz Broadside Radiating Vivaldi Antenna" , Proceedings of the IEEE International Symposium on Antennas and Propagation (AP-S), Jul 2013. [Bibtex & Downloads]
  • Krzysztof Nieweglowski, Ralf Rieske, Ronny Henker, David Schöniger, Frank Ellinger, Klaus-Jürgen Wolter, "Optical interconnects for adaptive high performance computing" , Proceedings of the IEEE International Students and Young Scientists Workshop on Photonics and Microsystems, Jul 2013. [Bibtex & Downloads]
  • Christopher Mauermann, Sebastian Sohr, Ralf Rieske, Krzysztof Nieweglowski, Klaus-Jürgen Wolter, "Photolithographic structuring of planar optical waveguides on flexible, organic substrates" , Proceedings of the IEEE International Students and Young Scientists Workshop on Photonics and Microsystems, Jul 2013. [Bibtex & Downloads]
  • Benjamin Zarrieß, Anni-Yasmin Turhan, "Computing the lcs w.r.t.\ general EL+-TBoxes" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch) , CEUR-WS.org, vol. 1014, pp. 477-488, Jul 2013. [Bibtex & Downloads]
  • Stefan Borgwardt, Marcel Lippmann, Veronika Thost, "Temporal Query Answering in \emphDL-Lite" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch) , CEUR-WS.org, vol. 1014, pp. 80-92, Jul 2013. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan, "Role-depth bounded Least Common Subsumer in Prob-EL with Nominals" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch) , CEUR-WS.org, vol. 1014, pp. 670-688, Jul 2013. [Bibtex & Downloads]
  • Hannes Voigt, Thomas Kissinger, Wolfgang Lehner, "SMIX – Self-Managing Indexes for Dynamic Workloads" , Proceedings of the International Conference on Scientific and Statistical Database Management (SSDBM), Jul 2013. [Bibtex & Downloads]
  • Mahdi M. Khafaji, Corrado Carta, Elena Sobotta, Daniel Mičušík, Frank Ellinger, "An inductorless 34\,Gbit/s half-rate 4:1 multiplexer in 0.25\,µm SiGe technology" , Proceedings of the Conference on Ph.D.\ Research in Microelectronics and Electronics (PRIME), Jun 2013. [Bibtex & Downloads]
  • Pan Cao, Eduard A. Jorswieck, "Source energy-saving performance in amplify-and-forward relay-assisted wireless system" , Proceedings of the IEEE Vehicular Technology Conference (VTC-Spring), Jun 2013. [Bibtex & Downloads]
  • Alessio Zappone, Eduard A. Jorswieck, Stefano Buzzi, "Energy-aware competitive power control in relay-assisted interference channels with direct transmitters-receivers link" , Proceedings of the IEEE Vehicular Technology Conference (VTC-Spring), Jun 2013. [Bibtex & Downloads]
  • Srishti Srivastava, Brandon Malone, Nitin Sukhija, Ioana Banicescu, Florina M. Ciorba, "Predicting the flexibility of dynamic loop scheduling using an artificial neural network" , Proceedings of the International Symposium on Parallel and Distributed Computing (ISPDC), Jun 2013. [Bibtex & Downloads]
  • Mahadevan Balasubramaniam, Ioana Banicescu, Florina M. Ciorba, "Analyzing the robustness of scheduling algorithms using divisible load theory on heterogeneous systems" , Proceedings of the International Symposium on Parallel and Distributed Computing (ISPDC), Jun 2013. [Bibtex & Downloads]
  • Stefan Pfennig, Elke Franz, "Secure network coding: Dependency of efficiency on network topology" , Proceedings of the IEEE International Conference on Communications (ICC), Symposium on Communication and Information System Security (CIS), Jun 2013. [Bibtex & Downloads]
  • Lukas Michael Maas, Thomas Kissinger, Dirk Habich, Wolfgang Lehner, "BUZZARD: A NUMA-Aware In\nobreakdash-Memory Indexing System" , Proceedings of the ACM International Conference on Management of Data (SIGMOD), Jun 2013. [Bibtex & Downloads]
  • Zuleita Ka Ming Ho, Eduard A. Jorswieck, "Secure degrees of freedom on widely linear instantaneous relay-assisted interference channel" , Proceedings of the IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Jun 2013. [Bibtex & Downloads]
  • Nitin Sukhija, Ioana Banicescu, Srishti Srivastava, Florina M. Ciorba, "Evaluating the flexibility of dynamic loop scheduling on heterogeneous systems in the presence of fluctuating load using SimGrid" , Proceedings of the IEEE International Parallel & Distributed Processing Symposium (IPDPS) Workshops, May 2013. [Bibtex & Downloads]
  • Krzysztof Nieweglowski, Ralf Rieske, Sebastian Sohr, Klaus-Jürgen Wolter, "Design and optimization of planar multimode waveguides for high speed board-level optical interconnects" , Proceedings of the IEEE Electronic Components and Technology Conference (ECTC), May 2013. [Bibtex & Downloads]
  • Sebastian Götz, Claas Wilke, Sebastian Richly, Georg Püschel, Uwe Aßmann, "Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean Optimization" , Proceedings of the International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), May 2013. [Bibtex & Downloads]
  • Georg Püschel, Sebastian Götz, Claas Wilke, Uwe Aßmann, "Towards Systematic Model-based Testing of Self-adaptive Systems" , Proceedings of the International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), May 2013. [Bibtex & Downloads]
  • Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig, "eBond: Energy Saving in Heterogeneous R.A.I.N\strut" , Proceedings of the ACM International Conference on Future Energy Systems (e-Energy), May 2013. [doi] [Bibtex & Downloads]
  • Zuleita Ka Ming Ho, Eduard A. Jorswieck, Sabrina Gerbracht, "Efficient information leakage neutralization on a relay-assisted multi-carrier interference channel" , Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2013. [Bibtex & Downloads]
  • Sebastian Götz, Julian Alfredo Mendez, Veronika Thost, Anni-Yasmin Turhan, "OWL 2 reasoning to detect energy-efficient software variants from context" , Chapter in Proceedings of the International Workshop on OWL: Experiences and Directions (OWLED) (Mariano Rodriguez-Muro and Simon Jupp and Kavitha Srinivas) , CEUR-WS.org, vol. 1080, May 2013. [Bibtex & Downloads]
  • Alessio Zappone, Zhijiat Chong, Eduard A. Jorswieck, Stefano Buzzi, "Energy-aware competitive power control in relay-assisted interference wireless networks" , In IEEE Transactions on Wireless Communications, vol. 12, no. 4, pp. 1860-1871, Apr 2013. [doi] [Bibtex & Downloads]
  • Daniel Hackenberg, Thomas Ilsche, Robert Schöne, Daniel Molka, Maik Schmidt, Wolfgang Erwin Nagel, "Power measurement techniques on standard compute nodes: A quantitative comparison" , Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Apr 2013. [Bibtex & Downloads]
  • Marcus Völp, Johannes Steinmetz, Marcus Hähnel, "Consolidate-to-Idle: The Second Dimension is Almost for Free" , Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2013. [Bibtex & Downloads]
  • M. Roitzsch, S. Wächtler, H. Härtig, "Atlas: Look-ahead scheduling using workload metrics" , In Proceeding: 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 1-10, April 2013. [doi] [Bibtex & Downloads]
  • Sebastian Götz, René Schöne, Claas Wilke, Julian Alfredo Mendez, Uwe Aßmann, "Towards predictive self-optimization by situation recognition" , Proceedings of the Workshop on Energy Aware Software-Engineering and Development (EASED@BUIS), Apr 2013. [Bibtex & Downloads]
  • Alaa Brihi, Waltenegus Dargie, "Dynamic voltage and frequency scaling in multimedia servers" , In Proceeding: Advanced Information Networking and Applications (AINA), 2013 IEEE 27th International Conference on, IEEE, pp. 374–380, Mar 2013. [doi] [Bibtex & Downloads]
  • Gerhard P. Fettweis, Najeeb ul Hassan, Lukas Landau, Erik Fischer, "Wireless interconnect for board and chip level" , Proceedings of the Conference on Design, Automation & Test in Europe (DATE), Mar 2013. [doi] [Bibtex & Downloads]
  • Ioana Banicescu, Florina M. Ciorba, Srishti Srivastava, "Performance Optimization of Scientific Applications using an Autonomic Computing Approach" , Chapter in Scalable Computing and Communications: Theory and Practice (Samee U. Khan and Albert Y. Zomaya and Lizhe Wang) , Wiley, pp. 437-466, Mar 2013. [Bibtex & Downloads]
  • Claas Wilke, Sebastian Richly, Christian Piechnick, Sebastian Götz, Georg Püschel, Uwe Aßmann, "Comparing mobile applications’ energy consumption" , Proceedings of the ACM Symposium on Applied Computing (SAC), Mar 2013. [Bibtex & Downloads]
  • Claas Wilke, Sebastian Götz, Sebastian Richly, "JouleUnit – A generic framework for software energy profiling and testing" , Proceedings of the Workshop Green In Software Engineering, Green By Software Engineering’’ (GIBSE), Mar 2013. [Bibtex & Downloads]
  • Wolfgang Lehner, "Energy-Efficient In\nobreakdash-Memory Database Computing" , Proceedings of the Conference on Design, Automation & Test in Europe (DATE), Mar 2013. [Bibtex & Downloads]
  • Waltenegus Dargie, Eldora Eldora, Julian Alfredo Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan, "Situation recognition for service management systems using OWL 2 reasoners" , Proceedings of the IEEE Workshop on Context Modeling and Reasoning (CoMoRea), Mar 2013. [Bibtex & Downloads]
  • Eduard A. Jorswieck, Rami Mochaourab, "Shannon meets Walras on interference networks" , Proceedings of the IEEE Information Theory and Applications Workshop (ITA), Feb 2013. [Bibtex & Downloads]
  • Lukas Landau, Stefan Krone, Gerhard P. Fettweis, "Intersymbol-interference design for the maximum information rates with 1-bit quantization and oversampling at the receiver" , Proceedings of the International ITG Conference on Systems, Communications and Coding (SCC), Jan 2013. [Bibtex & Downloads]
  • Johannes Israel, Andreas Fischer, "An approach to discrete receive beamforming" , Proceedings of the International ITG Conferences on Systems, Communication and Coding (SCC), Jan 2013. [Bibtex & Downloads]
  • Eduard A. Jorswieck, "Secret key region in multiple antenna wiretap interference channels with public discussion" , Proceedings of the International ITG Conference on Systems, Communications and Coding (SCC), Jan 2013. [Bibtex & Downloads]
  • Nelly Bencomo, Gordon Blair, Sebastian Götz, Brice Morin, Bernhard Rumpe, "Report on the 7th International Workshop on Models@run.time" , In ACM SIGSOFT Software Engineering Notes, vol. 38, no. 1, pp. 27-30, Jan 2013. [Bibtex & Downloads]
  • Rafael Peñaloza Nyssen, Anni-Yasmin Turhan, "Instance-based non-standard inferences in EL with subjective probabilities" , Chapter in Uncertainty Reasoning for the Semantic Web II (Bobillo, Fernando and da Costa, Paulo Cesar G. and d Amato, Claudia and Fanizzi, Nicola and Laskey, Kathryn Blackmond and Laskey, Kenneth J. and Lukasiewicz, Thomas and Nickles, Matthias and Pool, Michael) , Springer, vol. 7123, pp. 80-98, Jan 2013. [Bibtex & Downloads]
  • Anja Strunk, "A lightweight model for estimating energy cost of live migration of virtual machines" , In Proceeding: Cloud Computing (CLOUD), 2013 IEEE Sixth International Conference on, pp. 510–517, 2013. [doi] [Bibtex & Downloads]
  • Anja Strunk, Waltenegus Dargie, "Does live migration of virtual machines cost energy?" , In Proceeding: Advanced Information Networking and Applications (AINA), 2013 IEEE 27th International Conference on, pp. 514–521, 2013. [doi] [Bibtex & Downloads]
  • Benjamin Schlegel, Tim Kiefer, Thomas Kissinger, Wolfgang Lehner, "pcApriori: scalable apriori for multiprocessor systems" , Proceedings of the 25th International Conference on Scientific and Statistical Database Management, pp. 20, 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]
  • David Ohmann, Albrecht Fehske, Gerhard Fettweis, "Transient flow level models for interference-coupled cellular networks" , In Proceeding: 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2013. [doi] [Bibtex & Downloads]
  • David Schoeniger, Ronny Henker, Stefan Schumann, Frank Ellinger, "A low-noise energy-efficient inductor-less 50 Gbit/s transimpedance amplifier with high gain-bandwidth product in 0.13 $\mu$m SiGe BiCMOS" , In Proceeding: Semiconductor Conference Dresden-Grenoble (ISCDG), 2013 International, pp. 1–5, 2013. [doi] [Bibtex & Downloads]
  • Erik Fischer, David Öhmann, Albrecht Fehske, Gerhard P Fettweis, "Design Space Exploration of Many-Core NoCs Based on Queueing-Theoretic Models" , In International Journal On Advances in Systems and Measurements, vol. 6, no. 3 and 4, pp. 272–286, 2013. [Bibtex & Downloads]
  • Hannes Voigt, Thomas Kissinger, Wolfgang Lehner, "SMIX: self-managing indexes for dynamic workloads" , Proceedings of the 25th International Conference on Scientific and Statistical Database Management, pp. 24, 2013. [doi] [Bibtex & Downloads]
  • Kateryna Rybina, Waltenegus Dargie, Anja Strunk, Alexander Schill, "Investigation into the energy cost of live migration of virtual machines" , In Proceeding: Sustainable Internet and ICT for Sustainability (SustainIT), 2013, pp. 1–8, 2013. [doi] [Bibtex & Downloads]
  • L. Haupt, J. Stiller, WE Nagel, "A fast spectral element solver combining static condensation and multigrid techniques" , In Journal of Computational Physics, Elsevier, vol. 255, pp. 384–395, 2013. [doi] [Bibtex & Downloads]
  • Lukas M Maas, Thomas Kissinger, Dirk Habich, Wolfgang Lehner, "BUZZARD: a NUMA-aware in-memory indexing system" , Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, pp. 1285–1286, 2013. [doi] [Bibtex & Downloads]
  • Michael Jenning, Dirk Plettemeier, "Automated Generation of Feeding Networks for Arbitrary Sized Rectangular Antenna Arrays" , In Proceeding: Antennas and Propagation Society International Symposium (APSURSI), 2013 IEEE, pp. 2153–2154, 2013. [Bibtex & Downloads]
  • Mahdi Khafaji, Corrado Carta, Elena Sobotta, Daniel Micusik, Frank Ellinger, "An inductorless 34 Gbit/s half-rate 4: 1 multiplexer in 0.25-$\mu$m SiGe technology" , In Proceeding: Ph. D. Research in Microelectronics and Electronics (PRIME), 2013 9th Conference on, pp. 265–268, 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]
  • Rafael Penaloza, Anni-Yasmin Turhan, "Instance-Based Non-standard Inferences in EL with Subjective Probabilities" , Chapter in Uncertainty Reasoning for the Semantic Web II, Springer, pp. 80–98, 2013. [doi] [Bibtex & Downloads]
  • Stefan Fraedrich, Michael Jenning, Christoph Statz, Dirk Plettemeier, "An evolutionary-approach for material parameter determination in a broad frequency range" , In Proceeding: Antennas and Propagation (EuCAP), 2013 7th European Conference on, pp. 3305–3308, 2013. [Bibtex & Downloads]
  • Sebastian Götz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan, "OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context." , In Proceeding: OWLED, 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]
  • Thomas Kissinger, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Qppt: Query processing on prefix trees" , In Proceeding: CIDR, 2013. [Bibtex & Downloads]
  • Thomas Kissinger, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Query processing on prefix trees live" , Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, pp. 1105–1108, 2013. [doi] [Bibtex & Downloads]
  • Waltenegus Dargie, Jianjun Wen, "A Probabilistic Model for Estimating the Power Consumption of Processors and Network Interface Cards" , In Proceeding: Trust, Security and Privacy in Computing and Communications (TrustCom), 2013 12th IEEE International Conference on, pp. 845–852, 2013. [doi] [Bibtex & Downloads]
  • Wolfgang Lehner, "Energy-efficient in-memory database computing" , Proceedings of the Conference on Design, Automation and Test in Europe, pp. 470–474, 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]
  • 2012

  • Sabrina Gerbracht, Eduard A. Jorswieck, Gan Zheng, Björn E. Ottersten, "Non-regenerative two-hop wiretap channels using interference neutralization" , Proceedings of the IEEE International Workshop on Information Forensics and Security (WIFS), Dec 2012. [doi] [Bibtex & Downloads]
  • Jörg Herricht, Paulius Sakalas, Mindaugas Ramonas, Michael Schröter, Christoph Jungemann, Anindya Mukherjee, Kai Erik Moebus, "Systematic compact modeling of correlated noise in bipolar transistors" , In IEEE Transactions on Microwave Theory and Techniques, vol. 60, no. 11, pp. 3403-3412, Nov 2012. [Bibtex & Downloads]
  • Hendrik Tews, Marcus Völp, Tjark Weber, "On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code" , Proceedings of the Systems Software Verification Conference (SSV), Nov 2012. [Bibtex & Downloads]
  • Robert Schöne, Daniel Hackenberg, Daniel Molka, "Memory Performance at Reduced CPU Clock Speeds: An Analysis of Current x86_64 Processors" , Proceedings of the USENIX Conference on Power-Aware Computing and Systems (HotPower), Oct 2012. [Bibtex & Downloads]
  • Michael Schröter, Andreas Pawlak, Anindya Mukherjee, "HICUM-Productization and Support Update: Implementation of HICUM/L2 version 2.31" , In CMC Meeting, Oct 2012. [Bibtex & Downloads]
  • Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, Uwe Aßmann, "A role-based language for collaborative robot applications" , Chapter in Leveraging Applications of Formal Methods, Verification, and Validation (Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen) , Springer, vol. 336, pp. 1-15, Oct 2012. [Bibtex & Downloads]
  • Marcus Völp, Michael Roitzsch, Hermann Härtig, "Who is Going to Program This?" , In Poster presentation at the USENIX Symposium on Operating Systems Design and Implementation (OSDI), Oct 2012. [Bibtex & Downloads]
  • Najeeb ul Hassan, Ali E. Pusane, Michael Lentmaier, Gerhard P. Fettweis, Jr. Costello, "Reduced complexity window decoding schedules for coupled LDPC codes" , Proceedings of the IEEE Information Theory Workshop (ITW), Sep 2012. [Bibtex & Downloads]
  • Stefan Krone, Gerhard P. Fettweis, "Communications with 1-bit quantization and oversampling at the receiver: Benefiting from inter-symbol-interference" , Proceedings of the IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2012. [Bibtex & Downloads]
  • Johannes Richter, Christian Scheunert, Eduard A. Jorswieck, "An efficient branch-and-bound algorithm for compute-and-forward" , Proceedings of the IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2012. [doi] [Bibtex & Downloads]
  • Pan Cao, Zhijiat Chong, Zuleita Ka Ming Ho, Eduard A. Jorswieck, "Energy-efficient power allocation for amplify-and-forward MIMO relay channel" , Proceedings of the IEEE International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Sep 2012. [Bibtex & Downloads]
  • Zhijiat Chong, Nizar Zorba, Eduard A. Jorswieck, "Energy-efficient modulation selection and feedback quantization" , Proceedings of the IEEE International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), Sep 2012. [Bibtex & Downloads]
  • Ralf Rieske, Sebastian Sohr, Krzysztof Nieweglowski, Klaus-Jürgen Wolter, "Assembly tolerance requirements for photonics packaging of multi-cell laser power converters" , Proceedings of the Electronics System-Integration Technology Conference (ESTC), Sep 2012. [Bibtex & Downloads]
  • Elke Franz, Stefan Pfennig, André Fischer, "Efficiency of Secure Network Coding Schemes" , Chapter in Communications and Multimedia Security (De Decker, Bart and Chadwick, David W.) , Springer, vol. 7394, pp. 145-159, Sep 2012. [Bibtex & Downloads]
  • Claas Wilke, Sebastian Richly, Georg Püschel, Christian Piechnick, Sebastian Götz, Uwe Aßmann, "Energy labels for mobile applications" , Proceedings of the Workshop Entwicklung energiebewusster Software’’ (EEbS), Sep 2012. [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza Nyssen, "A tableau algorithm for fuzzy description logics over residuated De Morgan lattices" , Chapter in Web Reasoning and Rule Systems (Markus Krötzsch and Umberto Straccia) , Springer, vol. 7497, pp. 9-24, Sep 2012. [Bibtex & Downloads]
  • Karsten Lehmann, Anni-Yasmin Turhan, "A Framework for Semantic-based Similarity Measures for ELH-Concepts" , Chapter in Logics in Artificial Intelligence (del Cerro, Luis Fariñas and Herzig, Andreas and Mengin, Jérôme) , Springer, vol. 7519, pp. 307-319, Sep 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]
  • Thomas Kissinger, Benjamin Schlegel, Matthias Böhm, Dirk Habich, Wolfgang Lehner, "A high-throughput in\nobreakdash-memory index, durable on flash-based SSD: Insights into the winning solution of the SIGMOD programming contest 2011" , In ACM SIGMOD Record, vol. 41, no. 3, pp. 44-50, Sep 2012. [Bibtex & Downloads]
  • Najeeb ul Hassan, Michael Lentmaier, Gerhard P. Fettweis, "Comparison of LDPC block and LDPC convolutional codes based on their decoding latency" , Proceedings of the International Symposium on Turbo Codes and Iterative Information Processing (ISTC), Aug 2012. [Bibtex & Downloads]
  • Ralf Rieske, "Photonic system integration of optical wave guides in MOEMS" , Chapter in Bio and Nano Packaging Techniques for Electron Devices: Advances in Electronic Device Packaging (Gerald Gerlach and Klaus-Jürgen Wolter) , Springer, pp. 539-556, Jul 2012. [Bibtex & Downloads]
  • Christian Piechnick, Sebastian Richly, Sebastian Götz, Claas Wilke, Uwe Aßmann, "Using Role-Based Composition to support Unanticipated, Dynamic Adaption – Smart Application Grids" , Proceedings of the International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), Jul 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]
  • Srishti Srivastava, Nitin Sukhija, Ioana Banicescu, Florina M. Ciorba, "Analyzing the robustness of dynamic loop scheduling for heterogeneous computing systems" , Proceedings of the International Symposium on Parallel and Distributed Computing (ISPDC), Jun 2012. [Bibtex & Downloads]
  • Klaus-Jürgen Wolter, Martina Bieberle, Helmut Budzier, Gerald Gerlach, Thomas Zerna, "Zerstörungsfreie Prüfung elektronischer Baugruppen mittels bildgebender Verfahren" , Verlag Dr. Markus A. Detert, Jun 2012. [Bibtex & Downloads]
  • Sebastian Götz, Claas Wilke, Sebastian Cech, Uwe Aßmann, "Architecture and mechanisms of energy auto-tuning" , Chapter in Sustainable ICTs and Management Systems for Green Computing (Wen-Chen Hu and Naima Kaabouch) , IGI Global, pp. 45-73, Jun 2012. [Bibtex & Downloads]
  • Sebastian Götz, Claas Wilke, Sebastian Richly, Uwe Aßmann, "Approximating quality contracts for energy auto-tuning software" , Proceedings of the International Workshop on Green and Sustainable Software (GREENS), Jun 2012. [Bibtex & Downloads]
  • Sven Karol, Christoff Bürger, Uwe Aßmann, "Towards well-formed fragment composition with reference attribute grammars" , Proceedings of the International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), Jun 2012. [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "How fuzzy is my fuzzy description logic?" , Chapter in Automated Reasoning (Bernhard Gramlich and Dale Miller and Ulrike Sattler) , Springer, vol. 7364, pp. 82-96, Jun 2012. [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza Nyssen, "Undecidability of Fuzzy Description Logics" , Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Jun 2012. [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "Gödel negation makes unwitnessed consistency crisp" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Yevgeny Kazakov and Domenico Lembo and Frank Wolter) , CEUR-WS.org, vol. 846, pp. 103-113, Jun 2012. [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza Nyssen, "Non-Gödel negation makes unwitnessed consistency undecidable" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Yevgeny Kazakov and Domenico Lembo and Frank Wolter) , CEUR-WS.org, vol. 846, pp. 411-421, Jun 2012. [Bibtex & Downloads]
  • Andreas Ecke, Anni-Yasmin Turhan, "Role-depth Bounded Least Common Subsumers for EL+ and ELI" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Yevgeny Kazakov and Domenico Lembo and Frank Wolter) , CEUR-WS.org, vol. 846, pp. 147-157, Jun 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]
  • Stefan Krone, Gerhard P. Fettweis, "Capacity of communications channels with 1-bit quantization and oversampling at the receiver" , Proceedings of the IEEE Sarnoff Symposium, May 2012. [Bibtex & Downloads]
  • Eduard A. Jorswieck, Johannes Richter, "Compute-and-forward in the two-hop multi-antenna X-channel" , Proceedings of the International Symposium on Communications, Control and Signal Processing (ISCCSP), May 2012. [doi] [Bibtex & Downloads]
  • Alessio Zappone, Zhijiat Chong, Eduard A. Jorswieck, Stefano Buzzi, "Green resource allocation in relay-assisted multicarrier IC networks considering circuit dissipated power" , Proceedings of the International Conference on Future Energy System (e-Energy), May 2012. [Bibtex & Downloads]
  • Florina M. Ciorba, Timothy Hansen, Srishti Srivastava, Ioana Banicescu, Anthony A. Maciejewski, Howard Jay Siegel, "A combined dual-stage framework for robust scheduling of scientific applications in heterogeneous environments with uncertain availability" , Proceedings of the IEEE International Parallel & Distributed Processing Symposium (IPDPS) Workshops, May 2012. [Bibtex & Downloads]
  • Mahadevan Balasubramaniam, Nitin Sukhija, Florina M. Ciorba, Ioana Banicescu, Srishti Srivastava, "Towards the scalability of dynamic loop scheduling techniques via discrete event simulation" , Proceedings of the IEEE International Parallel & Distributed Processing Symposium (IPDPS) Workshops, May 2012. [Bibtex & Downloads]
  • Andreas Ecke, Anni-Yasmin Turhan, "Optimizations for the role-depth bounded least common subsumer in EL+" , Chapter in Proceedings of the International Workshop on OWL: Experiences and Directions (OWLED) (Pavel Klinov and Matthew Horridge) , CEUR-WS.org, vol. 849, pp. 01-05, May 2012. [Bibtex & Downloads]
  • Thomas Kissinger, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "it KISS-Tree: Smart Latch-Free In\nobreakdash-Memory Indexing on Modern Architectures" , Proceedings of the ACM International Conference on Management of Data (SIGMOD), International Workshop on Data Management on New Hardware (DaMoN), May 2012. [Bibtex & Downloads]
  • Michael Schröter, Tommy Rosenbaum, Gerald Wedel, Julia Krause, Andreas Pawlak, "TCAD-based SiGe HBT Technology Roadmap Generation" , In ITRS Spring Meeting, Apr 2012. [Bibtex & Downloads]
  • Michael Schröter, Tommy Rosenbaum, Andreas Pawlak, "RF/AMS SiGeC HBT Roadmap: TCAD and compact modeling results" , In Version 1 of the ITRS 2014 tables, CEDIC, Apr 2012. [Bibtex & Downloads]
  • Marcus Hähnel, Björn Döbel, Michael Roitzsch, Marcus Völp, "Towards Characterizing Decoding Complexity as Energy-Utility Functions" , Proceedings of the Conference on Design, Automation & Test in Europe (DATE), Mar 2012. [Bibtex & Downloads]
  • Thomas Kissinger, Dirk Habich, Wolfgang Lehner, "Direct Stream and Query Processing for Live Sensor Data Analytics" , Proceedings of the Conference on Design, Automation & Test in Europe (DATE), Mar 2012. [Bibtex & Downloads]
  • Gerhard Paul Fettweis, Wolfgang Erwin Nagel, Wolfgang Lehner, "Pathways to servers of the future: Highly Adaptive Energy Efficient Computing (HAEC)" , Proceedings of the Conference on Design, Automation & Test in Europe (DATE), Mar 2012. [doi] [Bibtex & Downloads]
  • Stefan Krone, Lukas Landau, Falko Guderian, Björn Almeroth, Hermann Hensel, Martin Laabs, Michael Jenning, Dirk Plettemeier, Gerhard P. Fett