Path G - Resilience

Introduction

banner path g

Today, reliability issues already lead to diminishing performance returns when transitioning to smaller CMOS gate lengths. Soon the costs of traditional resilience mechanisms will cancel most of the benefits gained from transitioning to a new technology. The goal of the Resilience Path is to keep the costs of resilience as low as possible by focusing on flexible, application-specific, adaptive resiliency mechanisms. Reliable information processing with unreliable and adjustable components will be researched, taking into account the projected heterogeneity of future systems and the fault characteristics of new materials-inspired technologies.

Investigators
Overall Goal + Justification

It can be assumed that most post-CMOS technologies, such as the ones investigated in cfAED, will exhibit high error rates. In particular, not only the rate of single event upsets (e.g., bit flips) will increase, but also accelerated aging (e.g., transistor performance degradation) and transistor variability (e.g., threshold voltage). This will result in an increasing rate of transient and permanent errors. To mask these errors, we need to pay a cost in terms of energy, speed, and transistor count. We informally refer to this as the resilience cost. Extrapolating state-of-the-art approaches to future resilience needs, the cost of resilience will eventually prevent the use of new technology generations: the benefits of a new technology must exceed the cost increase of resilience.

The overall goal of the Resilience Path is to reduce the resilience cost. Depending on the context, different emphasis must be given to the costs of energy, speed, and transistor count. For example, a required balance between speed and energy differs widely between a mobile device and high performance servers. The Resilience Path is driven by the hypothesis that a sufficient cost reduction can be achieved by combining the best ideas that exist on different sub-layers. A system can be viewed as a layered system consisting of hardware and software sub-layers. A variety of ideas have been proposed to improve the resilience on each sub-layer. Hence, components that populate these sub-layers come with their own resilience mechanisms.

To achieve a substantial cost reduction, we not only need novel mechanisms but also to orchestrate these mechanisms in an intelligent way. Our general approach to reduce the cost is to dynamically adapt the degree of resilience to the current needs of the applications. Consider, e.g., a banking and a gaming application executed within a browser. The banking application needs to be optimized for integrity, and the gaming application for speed. To allow for such optimizations, we need to explicitly state the resilience requirements of an application. In the simplest case, an application will select its current resilience requirements from a set of pre-specified resilience classes. For more fine-grained control, we will investigate the use of resilience contracts: these contracts can be used to express dynamic resilience requirements negotiated and orchestrated between all sub-layers.

Research Approach

path-g graphic

The overall goal of this Path is to reduce the cost of resilience. Our approach is based on the observation that the cost of resilience does not only depend on the error rate and types of the underlying technology but also on the resilience requirements and the inherent resilience of applications, possibly changing during runtime. Hence, our aim is to provide dynamic control of application resilience. In this way, we can orchestrate to only pay the cost of the currently needed degree of resilience. We will perform a dynamic cross-layer reconfiguration to tune the resilience mechanisms that are implemented on the various layers of a computer system. Dynamic resilience control will not only facilitate the adaptation regarding changing application requirements but also with respect to fluctuating error rates caused by, for example, environment changes or aging effects.

Our vision is to use the best resilience mechanisms on each sub-layer and combine them into one resilient computing stack as depicted in the scheme above. We also need to orchestrate these layers within one computer system and potentially, across multiple machines within distributed systems. This Path’s Research Modules are divided into horizontal “layers” (RM L1-4) and vertical “orchestration” modules (RM O1-O3). This Path integrates the expertise of the two new Strategic Professorships Processor Design and Compiler Construction, and of the new ZMDI endowed professorship Circuits for Energy Efficiency. An Research Group Leader (RGL) position Orchestration of Resilience Mechanisms will be created.

Path Activities

cfaed, TU Dresden @ EuroSys 2017

Published on in RESILIENCE PATH

Our work on "SGXBounds: Memory Safety for Shielded Execution" has been accepted at EuroSys 2017 - a top conference in computer systems. The work proposes an efficient technique to achieve memory safety for shielded execution. Memory safety is the most critical component for ensuring software reliability against faults, and security against vulnerabilities. Surprisingly, SGXBounds beats the state-of-the-art software AddressSanitizer from Google, and Intel MPX hardware ISA extensions for memory safety! Furthermore, SGXBounds not only detect memory safety violations, but also tolerates them to ensure high availability for software systems. SGXBounds' design is based on a simple idea to use tagged pointer in the context of secure enclaves.

Read more …

Dr. Marco Zimmerling Wins 2015 ACM SIGBED Paul Caspi Memorial Dissertation Award

Published on in RESILIENCE PATH

Congratulations to Dr. Marco Zimmerling, who was announced to receive the 2015 ACM SIGBED Paul Caspi Memorial Dissertation Award! The committee honors Dr. Zimmerling for his thesis "End-to-end Predictability and Efficiency in Low-power Wireless Networks", which he completed at ETH Zurich. Dr. Zimmerling has been leading cfaed's Networked Embedded Systems Group since November 2015.

The ACM SIGBED Paul Caspi Memorial Dissertation Award is given by the Special Interest Group on Embedded Systems (SIGBED) of the Association for Computing Machinery (ACM). ACM is the world's largest educational and scientific computing society. The award has been established in 2013 in memory of Dr. Paul Caspi (1944-2012). The award recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems. The winner was selected by a committee, chaired by Prof. Wang Yi. Seven nominations for the award have been received from Germany, Sweden, Switzerland, and USA.

Resilience Path: Paper to WWW 2016 Accepted

Published on in RESILIENCE PATH

After the success of INFOCOM’16, the Resilience Path of cfaed celebrates yet another top-tier publication: A paper on the integration of incremental and approximate computations has been accepted to WWW 2016, a leading conference in the area of "Big Data" analytics. This paper is especially important for our efforts to strengthen the 5G Lab, and the HAEC initiatives at cfaed to support the development of the Tactile Internet. In particular, the proposed data analytics system, called IncApprox, uses a combination of incremental and approximate computing paradigms to enable low-latency energy efficient stream processing.

Read more …

cfaed Paper Accepted at INFOCOM 2016

Published on in RESILIENCE PATH

Another great success for cfaed: Three of our scientists had their paper on efficient and anonymous communication in Darknets accepted at INFOCOM, which, according to Microsoft Academic Research, is the top conference in the entire field of computer science. The paper titled “Anonymous Addresses for Efficient and Resilient Routing in F2F Overlays” was written by Stefanie Roos, Martin Beck, and Thorsten Strufe.

Read more …

Inaugural lectures: Prof. Strufe & Prof. Castrillon

Published on in RESILIENCE PATH

On January 28th 2015, Prof. Jeronimo Castrillon together with Prof. Thorsten Strufe gave their inaugural lectures on “Compilers for Multi and Many Processor Systems” and “Privacy vs. Surveillance and Censorship in Online Services”, respectively. The lectures were well attended, with around 130 colleagues, students and friends coming mostly from the Computer Science and Electrical Engineering faculties. In this event, both professors gave an introduction to themselves and their research areas in collegial, friendly atmosphere. The presentations were followed by a get together, full with interesting follow-up discussions.

Publications

Publications

  • 2017

  • Arun Subramaniyan, Semeen Rehman, Muhammad Shafique, Akash Kumar, Jörg Henkel, "Soft Error-Aware Architectural Exploration for Designing Reliability Adaptive Cache Hierarchies in Multi-Cores" (to appear), Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. [Bibtex & Downloads]
  • Walaa El-Harouni, Semeen Rehman, Bharath Srinivas Prabakaran, Akash Kumar, Rehan Hafiz, Muhammad Shafique, "Embracing Approximate Computing for Energy-Efficient Motion Estimation in High Efficiency Video Coding" (to appear), Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. [Bibtex & Downloads]
  • Martin Brüstel, Akash Kumar, "Accounting for Systematic Errors in Approximate Computing" (to appear), Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. [Bibtex & Downloads]
  • Stefanie Roos, Martin Byrenheid, Clemens Deusser, Thorsten Strufe, "BD-CAT: Balanced Dynamic Content Addressing in Trees" , In Proceeding: IEEE INFOCOM, 2017. [Bibtex & Downloads]
  • 2016

  • Semeen Rehman, Walaa El-Harouni, Muhammad Shafique, Akash Kumar, Jörg Henkel, "Architectural-Space Exploration of Approximate Multipliers" (to appear), Proceedings of the International Conference on Computer-Aided Design (ICCAD), Nov 2016. [Bibtex & Downloads]
  • Paolo Valerio Testa, Corrado Carta, Frank Ellinger, "Analysis and Design of a 220-GHz Wideband SiGe BiCMOS Distributed Active Combiner" , In IEEE Transactions on Microwave Theory and Techniques, vol. 64, no. 10, pp. 3049–3059, Oct 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]
  • Siva Satyendra Sahoo, Bharadwaj Veeravalli, Akash Kumar, "Cross-layer fault-tolerant design of real-time systems" , In Proceeding: International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), pp. 1–6, Sept 2016. [Bibtex & Downloads]
  • Chia-Yu Liu, Y. W. P. Hong, Pin-Hsun Lin, E. A. Jorswieck, "Jamming-resistant frequency hopping system with secret key generation from channel observations" , In Proceeding: 2016 IEEE Information Theory Workshop (ITW), pp. 46-50, Sept 2016. [doi] [Bibtex & Downloads]
  • M. Mittelbach, E. A. Jorswieck, "Cascade channels with infinite memory" , In Proceeding: 2016 IEEE International Symposium on Information Theory (ISIT), pp. 2779-2783, July 2016. [doi] [Bibtex & Downloads]
  • A. Zappone, P. H. Lin, E. Jorswieck, "Artificial-noise-assisted energy-efficient secure transmission in 5G with imperfect CSIT and antenna correlation" , In Proceeding: 2016 IEEE 17th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), pp. 1-5, July 2016. [doi] [Bibtex & Downloads]
  • A. Zappone, P. H. Lin, E. Jorswieck, "Confidential and energy-efficient multiple-antenna communications with artificial noise" , In Proceeding: 2016 23rd International Conference on Telecommunications (ICT), pp. 1-5, May 2016. [doi] [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]
  • P. H. Lin, F. Gabry, R. Thobaben, E. A. Jorswieck, M. Skoglund, "Multi-Phase Smart Relaying and Cooperative Jamming in Secure Cognitive Radio Networks" , In IEEE Transactions on Cognitive Communications and Networking, vol. 2, no. 1, pp. 38-52, March 2016. [doi] [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]
  • Joerg Thalheim, Pramod Bhatotia, Christof Fetzer, "Inspector: Data Provenance using Intel Processor Trace (PT)" , In Proceeding: proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS), 2016. [Bibtex & Downloads]
  • Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer, "Elzar: Triple Modular Redundancy using Intel AVX" , In Proceeding: proceedings of IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016. [Bibtex & Downloads]
  • Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer, "HAFT: Hardware-assisted Fault Tolerance" , In Proceeding: proceedings of ACM European Conference on Computer Systems (EuroSys), 2016. [Bibtex & Downloads]
  • Dhanya R. Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, Rodrigo Rodrigues, "IncApprox: A Data Analytics System for Incremental Approximate Computing" , In Proceeding: proceedings of International Conference on World Wide Web (WWW), 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]
  • A. Zappone, P. H. Lin, E. Jorswieck, "Energy Efficiency of Confidential Multi-Antenna Systems with Artificial Noise and Statistical CSI" , In IEEE Journal of Selected Topics in Signal Processing, vol. PP, no. 99, pp. 1-1, 2016. [doi] [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]
  • Jieying Chen, Michel Ludwig, Dirk Walther, "On Computing Minimal EL-Subsumption Modules" , Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016. (Oliver Kutz and Sergio de Cesare and Maria M. Hedblom and Tarek Richard Besold and Tony Veale and Frederik Gailly and Giancarlo Guizzardi and Mark Lycett and Chris Partridge and Oscar Pastor and Michael Gr uninger and Fabian Neuhaus and Till Mossakowski and Stefano Borgo and Loris Bozzato and Chiara Del Vescovo and Martin Homola and Frank Loebe and Adrien Barton and Jean-R\ emi Bourguet) , vol. 1660, 2016. [Bibtex & Downloads]
  • Stefanie Roos, Martin Beck, Thorsten Strufe, "Anonymous Addresses for Efficient and Resilient Routing in F2F Overlays" , In Proceeding: IEEE INFOCOM, 2016. [Bibtex & Downloads]
  • Pascal Brueckner, Martin Beck, Thorsten Strufe, "Poster: Increasing the Exposure of Honeypots" , In Proceeding: Research in Attack, Intrusions, and Defenses (RAID), 2016. [Bibtex & Downloads]
  • Christoph Hofmann, Elke Franz, Silvia Santini, "Open Problems in Network Security: IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, Switzerland, October 29, 2015, Revised Selected Papers" , Springer International Publishing, pp. 11–25, Cham, 2016. [doi] [Bibtex & Downloads]
  • S. Pfennig, E. Franz, "eSPOC: enhanced Secure Practical Network Coding for Better Efficiency and Lower Latency" , In Proceeding: Proc. of GlobeCom NetCod 2016 (to appear), 2016. [Bibtex & Downloads]
  • Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell, "Markov Chains and Unambiguous B$\backslash$" uchi Automata" , In arXiv preprint arXiv:1605.00950, 2016. [Bibtex & Downloads]
  • Christel Baier, "Family-Based Modeling and Analysis for Probabilistic Systems–Featuring PROFEAT" , Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, vol. 9633, pp. 287, 2016. [Bibtex & Downloads]
  • 2015

  • P. H. Lin, E. A. Jorswieck, R. F. Schaefer, M. Mittelbach, "On the Degradedness of Fast Fading Gaussian Multiple-Antenna Wiretap Channels with Statistical Channel State Information at the Transmitter" , In Proceeding: 2015 IEEE Globecom Workshops (GC Wkshps), pp. 1-5, Dec 2015. [doi] [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]
  • A. Wolf, E. A. Jorswieck, C. R. Janda, "Worst-case secrecy rates in MIMOME systems under input and state constraints" , In Proceeding: Information Forensics and Security (WIFS), 2015 IEEE International Workshop on, pp. 1-6, Nov 2015. [doi] [Bibtex & Downloads]
  • Jan Dirk Leufker, David Fritsche, Gregor Tretter, Mahdi Khafaji, Corrado Carta, Frank Ellinger, "Design, modelling and characterization of transmission lines for mm-wave silicon ICs" , In Proceeding: 2015 SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC), IEEE, pp. 1–4, Nov 2015. [doi] [Bibtex & Downloads]
  • Paolo Valerio Testa, Corrado Carta, Frank Ellinger, "Gain-bandwidth tuning techniques for loss-compensated Travelling Wave Amplifiers" , In Proceeding: 2015 SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference (IMOC), IEEE, pp. 1–4, Nov 2015. [doi] [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Improving Code Generation for Software-based Error Detection" , Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES), co-located with ESWEEK 2015, pp. 16–30, Amsterdam, The Netherlands, Oct 2015. ([link]) [Bibtex & Downloads]
  • Jeronimo Castrillon, "Analysis and software synthesis of KPN applications" , In Design of Robotics and Embedded systems, Analysis, and Modeling Seminar (DREAMS) (invited talk), Oct 2015. ([link]) [Bibtex & Downloads]
  • 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]
  • G. Muri\ c, C. Scheunert, E. A. Jorswieck, "On modeling epidemics in networks using linear time-invariant dynamics" , In Proceeding: Wireless and Mobile Computing, Networking and Communications (WiMob), 2015 IEEE 11th International Conference on, pp. 138-146, Oct 2015. [doi] [Bibtex & Downloads]
  • Paolo Valerio Testa, Robert Paulo, Corrado Carta, Frank Ellinger, "250 GHz SiGe-BiCMOS Cascaded Single-Stage Distributed Amplifier" , In Proceeding: 2015 IEEE Compound Semiconductor Integrated Circuit Symposium (CSICS), IEEE, pp. 1–4, Oct 2015. [doi] [Bibtex & Downloads]
  • Norman A. Rink, Dmitrii Kuvaiskii, Jeronimo Castrillon, Christof Fetzer, "Compiling for Resilience: the Performance Gap" , Chapter in Parallel Computing: On the Road to Exascale (ParCo 2015). Extended from Proceedings of the Mini-Symposium on Energy and Resilience in Parallel Programming (ERPP 2015) (Gerhard R. Joubert and Hugh Leather and Mark Parsons and Frans Peters and Mark Sawyer) , IOS Press, vol. 27, pp. 721–730, Edinburgh, Scotland, Sep 2015. [doi] [Bibtex & Downloads]
  • S. Salimi, E. A. Jorswieck, M. Skoglund, P. Papadimitratos, "Key agreement over an interference channel with noiseless feedback: Achievable region distributed allocation" , In Proceeding: Communications and Network Security (CNS), 2015 IEEE Conference on, pp. 59-64, Sept 2015. [doi] [Bibtex & Downloads]
  • A. K. Chorppath, F. Shen, T. Alpcan, E. Jorswieck, H. Boche, "Bayesian mechanisms and learning for wireless networks security with QoS requirements" , In Proceeding: 2015 IEEE International Conference on Communications (ICC), pp. 7180-7185, June 2015. [doi] [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan, "Similarity-based relaxed instance queries" , In Journal of Applied Logic, Elsevier, 2015. [doi] [Bibtex & Downloads]
  • Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "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]
  • Diogo Behrens, Marco Serafini, "Scalable Error Isolation for Distributed Systems" , In technology, vol. 26, pp. 51, 2015. [Bibtex & Downloads]
  • G. Tretter, D. Fritsche, JD Leufker, C. Carta, F. Ellinger, "Zero-Ohm transmission lines for millimetre-wave circuits in 28 nm digital CMOS" , In Electronics Letters, IET, 2015. [doi] [Bibtex & Downloads]
  • Jan Dirk Leufker, Corrado Carta, Frank Ellinger, "A 60 GHz 24.5 dBm wideband distributed active transformer power amplifier on 250 nm BiCMOS" , In Proceeding: Microwave Conference (GeMiC), 2015 German, pp. 139–141, 2015. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza, "The limits of decidability in fuzzy description logics with general concept inclusions" , In Artificial Intelligence, Elsevier, vol. 218, pp. 23–55, 2015. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, Marco Cerami, Rafael Peñaloza, "The Complexity of Subsumption in Fuzzy EL" , 2015. [Bibtex & Downloads]
  • S. Hoppner, Dennis Walter, Thomas Hocker, Stephan Henker, S. Hanzsche, Daniel Sausner, Georg Ellguth, J-U Schlussler, Holger Eisenreich, R. Schuffny, "An Energy Efficient Multi-Gbit/s NoC Transceiver Architecture With Combined AC/DC Drivers and Stoppable Clocking in 65 nm and 28 nm CMOS" , IEEE, 2015. [doi] [Bibtex & Downloads]
  • Till Kolditz, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Online Bit Flip Detection for In-Memory B-Trees Live!" , 2015. [Bibtex & Downloads]
  • Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek, "The Hanoi Omega-Automata Format" , In Proceeding: Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), Springer, vol. 9206, pp. 479–486, 2015. [Bibtex & Downloads]
  • 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]
  • Stefan Borgwardt, Rafael Peñaloza, "Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics" , Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings (Carsten Lutz and Silvio Ranise) , Springer, vol. 9322, pp. 49-65, 2015. [doi] [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]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Probabilistic Query Answering in the Bayesian Description Logic$\backslash$ mathcal $\$BE$\$$\$L$\$" , Chapter in Scalable Uncertainty Management, Springer, pp. 21–35, 2015. [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael, "Answering EL Queries in the Presence of Preferences" , Proceedings of the 28th International Workshop on Description Logics (DL 15) (Diego Calvanese and Boris Konev) , CEUR Workshop Proceedings, vol. 1350, 2015. [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Dynamic Bayesian Description Logics" , Proceedings of the 28th International Workshop on Description Logics (DL 15) (Diego Calvanese and Boris Konev) , CEUR Workshop Proceedings, vol. 1350, 2015. [Bibtex & Downloads]
  • Christel Baier, "Reasoning About Cost-Utility Constraints in Probabilistic Models" , Chapter in Reachability Problems, Springer, pp. 1–6, 2015. [Bibtex & Downloads]
  • Sebastian Hoppner, Stefan Haenzsche, Stefan Scholze, Rene Schuffny, "An all-digital PWM generator with 62.5 ps resolution in 28nm CMOS technology" , In Proceeding: Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, pp. 1738–1741, 2015. [Bibtex & Downloads]
  • Andreas Dixius, Dennis Walter, Sebastian Hoppner, Holger Eisenreich, Rene Schuffny, "A deep-submicron CMOS flow for general-purpose timing-detection insertion" , In Proceeding: Mixed Design of Integrated Circuits & Systems (MIXDES), 2015 22nd International Conference, pp. 248–253, 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]
  • Stefan Borgwardt, Rafael Peñaloza, "Reasoning in Infinitely Valued G-IALCQ" , In arXiv preprint arXiv:1509.08761, 2015. [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Dynamic Bayesian ontology languages" , In arXiv preprint arXiv:1506.08030, 2015. [Bibtex & Downloads]
  • Mario Alviano, Rafael Penaloza, "Fuzzy answer set computation via satisfiability modulo theories" , In Theory and Practice of Logic Programming, Cambridge Univ Press, vol. 15, no. 4-5, pp. 588–603, 2015. [Bibtex & Downloads]
  • Daniel Borchmann, "Exploring Faulty Data" , Chapter in Formal Concept Analysis, Springer, pp. 219–235, 2015. [Bibtex & Downloads]
  • Andre Martin, Tiaraju Smaneoto, Tobias Dietze, Andrey Brito, Christof Fetzer, "User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing Systems" , In Proceeding: Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, pp. 462–473, 2015. [Bibtex & Downloads]
  • Marko Noack, Johannes Partzsch, Christian G Mayr, Stefan Hänzsche, Stefan Scholze, Sebastian Höppner, Georg Ellguth, Rene Schüffny, "Switched-capacitor realization of presynaptic short-term-plasticity and stop-learning synapses in 28 nm CMOS" , In Frontiers in neuroscience, Frontiers Media SA, vol. 9, 2015. [Bibtex & Downloads]
  • Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan, "Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies" , In arXiv preprint arXiv:1508.02626, 2015. [Bibtex & Downloads]
  • Johannes Richter, Christian Scheunert, Sabrina Engelmann, Eduard A Jorswieck, "Secrecy in the two-way untrusted relay channel with compute-and-forward" , In Proceeding: Communications (ICC), 2015 IEEE International Conference on, pp. 4357–4362, 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]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Probabilistic Query Answering in the Bayesian Description Logic $\mathcalBE\!L$" , Springer Science + Business Media, vol. 9310, pp. 21-35, 2015. [doi] [Bibtex & Downloads]
  • Shasha Feng, Michel Ludwig, Dirk Walther, "Deciding Subsumers of Least Fixpoint Concepts w.r.t. general $\mathcalEL$-TBoxes" , Springer Science + Business Media, vol. 9324, pp. 59-71, 2015. [doi] [Bibtex & Downloads]
  • Shasha Feng, Michel Ludwig, Dirk Walther, "Foundations for the Logical Difference of EL-TBoxes" , In Proceeding: GCAI 2015. Global Conference on Artificial Intelligence (Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov) , EasyChair, vol. 36, pp. 93–112, 2015. [Bibtex & Downloads]
  • Stefanie Roos, Thorsten Strufe, "On the Impossibility of Efficient Self-Stabilization in Virtual Overlays with Churn" , In Proceeding: IEEE INFOCOM, 2015. [Bibtex & Downloads]
  • Stefanie Roos, Giang Truong Nguyen, Thorsten Strufe, "Integrating Churn into the Formal Analysis of Routing Algorithms" , In Proceeding: GI/IEEE NetSys, 2015. [Bibtex & Downloads]
  • Sadia Moriam, Yexin Yan, Erik Fischer, Elke Franz, Gerhard P. Fettweis, "Resilient and Efficient Communication in Many-Core Systems using Network Coding" , In Proceeding: 34th IEEE International Performance Computing and Communications Conference (IPCCC), 2015. [Bibtex & Downloads]
  • 2014

  • S. Tomasin, E. Jorswieck, "Pilot-based secret key agreement for reciprocal correlated MIM #x00D3;ME block fading channels" , In Proceeding: 2014 IEEE Globecom Workshops (GC Wkshps), pp. 1343-1348, Dec 2014. [doi] [Bibtex & Downloads]
  • Michel Ludwig, "Just: a Tool for Computing Justifications w.r.t. EL Ontologies" , Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) (Samantha Bail and Birte Glimm and Ernesto Jiménez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller) , vol. 1207, pp. 1-7, July 2014. [Bibtex & Downloads]
  • Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Software Product Line Model Checking" , In Presentation, April 2014. [Bibtex & Downloads]
  • Andreas Ecke, Raphael Penaloza, Anni-Yasmin Turhan, "Answering instance queries relaxed by concept similarity" , Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR’14), Vienna, Austria, AAAI Press, 2014. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan, "Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities" , In International Journal of Approximate Reasoning, Elsevier, vol. 55, no. 9, pp. 1939–1970, 2014. [doi] [Bibtex & Downloads]
  • Andreas Ecke, Rafael Penaloza, Anni-Yasmin Turhan, "Mary, What’s Like All Cats?" , 2014. [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]
  • Chiara Del Vescovo, Rafael Penaloza, "DeaLing with Ontologies using CODs" , 2014. [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]
  • Christian Piechnick, Sebastian Richly, Thomas Kühn, Sebastian Götz, Georg Püschel, Uwe Aßmann, "ContextPoint: An Architecture for Extrinsic Meta-Adaptation in Smart Environments" , In Proceeding: ADAPTIVE 2014, The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 121–128, 2014. [Bibtex & Downloads]
  • Carsten Rudolf Janda, Christian Scheunert, Eduard A Jorswieck, "Wiretap-Channels with Constrained Active Attacks" , 2014. [doi] [Bibtex & Downloads]
  • Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer, "HardPaxos: Replication Hardened Against Hardware Errors" , In Technische Universität Dresden, Tech. Rep, 2014. [doi] [Bibtex & Downloads]
  • DANIEL BORCHMANN, RAFAEL PEÑALOZA, WENQIAN WANG, "CLASSIFYING SOFTWARE BUG REPORTS USING METHODS FROM FORMAL CONCEPT ANALYSIS." , In Studia Universitatis Babes-Bolyai, Informatica, vol. 59, 2014. [Bibtex & Downloads]
  • Dmitrii Kuvaiskii, Christof Fetzer, "Practical Encoded Processing" , In Proceeding: Reliable Distributed Systems (SRDS), 2014 IEEE 33rd International Symposium on, pp. 335–336, 2014. [doi] [Bibtex & Downloads]
  • Dorian Merz, Rafael Penaloza, Anni-Yasmin Turhan, "Reasoning in ALC with Fuzzy Concrete Domains" , KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings, vol. 8736, pp. 171, 2014. [Bibtex & Downloads]
  • Franz Baader, Marcel Lippmann, "Runtime verification using the temporal description logic ALC-LTL revisited" , In Journal of Applied Logic, Elsevier, vol. 12, no. 4, pp. 584–613, 2014. [doi] [Bibtex & Downloads]
  • Franz Baader, Stefan Borgwardt, Rafael Peñaloza, "On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions" , In Journal of Philosophical Logic, Springer, pp. 1–30, 2014. [doi] [Bibtex & Downloads]
  • Franz Baader, "Ontology-Based Monitoring of Dynamic Systems" , AAAI Press, 2014. [Bibtex & Downloads]
  • Felix Distel, Jamal Atif, Isabelle Bloch, "Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations" , In Proceeding: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) (Torsten Schaub and Gerhard Friedrich and Barry O Sullivan) , IOS Press, vol. 263, pp. 249-254, 2014. [doi] [Bibtex & Downloads]
  • Frezewd Lemma Tena, Thomas Knauth, Christof Fetzer, "PowerCass: Energy Efficient, Consistent Hashing Based Storage for Micro Clouds Based Infrastructure" , In Proceeding: Cloud Computing (CLOUD), 2014 IEEE 7th International Conference on, pp. 48–55, 2014. [doi] [Bibtex & Downloads]
  • Gulay Yalcin, Anita Sobe, Derin Harmanci, Alexey Voronin, Jons-Tobias Wamhoff, Pascal Felber, Osman Unsal, Adrian Cristal, Christof Fetzer, "Combining error detection and transactional memory for energy-efficient computing below safe operation margins" , In Proceeding: Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd Euromicro International Conference on, pp. 248–255, 2014. [doi] [Bibtex & Downloads]
  • Ismail Ilkan Ceylan, Rafael Penaloza, "Bayesian Description Logics" , 2014. [Bibtex & Downloads]
  • Ismail Ilkan Ceylan, Rafael Penaloza, "Reasoning in the Description Logic BEL Using Bayesian Networks" , In Proceeding: Workshops at the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014. [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Penaloza, "The Bayesian Description Logic $\$$\backslash$mathcal$\$BEL$\$$\$" , Chapter in Automated Reasoning, Springer, pp. 480–494, 2014. [doi] [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Tight Complexity Bounds for Reasoning in the Description Logic$\backslash$ mathcal $\$BE$\$$\backslash$ kern-. 1em$\$L$\$" , Chapter in Logics in Artificial Intelligence, Springer, pp. 77–91, 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]
  • Johannes Richter, Christian Scheunert, Sabrina Engelmann, Eduard A Jorswieck, "Weak Secrecy in the Multi-Way Untrusted Relay Channel with Compute-and-Forward" , In arXiv preprint arXiv:1406.5886, 2014. [doi] [Bibtex & Downloads]
  • Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber, Dave Dice, "The TURBO diaries: application-controlled frequency scaling explained" , Proceedings of the 2014 USENIX conference on USENIX Annual Technical Conference, pp. 193–204, 2014. [Bibtex & Downloads]
  • Karsten Lehmann, Rafael Peñaloza, "The complexity of computing the behaviour of lattice automata on infinite trees" , In Theoretical Computer Science, Elsevier, vol. 534, pp. 53–68, 2014. [doi] [Bibtex & Downloads]
  • Marcus Hähnel, Julian 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 13th Workshop on Adaptive and Reflective Middleware, pp. 3, 2014. [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]
  • Peter Okech, Nicholas Mc Guire, Christof Fetzer, "Utilizing Inherent Diversity in Complex Software Systems" , 2014. [Bibtex & Downloads]
  • Rafael Penaloza, Aparna Saisree Thuluva, "COBRA, a Demo" , 2014. [Bibtex & Downloads]
  • Rafael Penaloza, "Automata-based reasoning in Fuzzy Description Logics" , In bstracts, pp. 103, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza, "Consistency reasoning in lattice-based fuzzy description logics" , In International Journal of Approximate Reasoning, Elsevier, vol. 55, no. 9, pp. 1917–1938, 2014. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza, "Finite Lattices Do Not Make Reasoning in ALCOI Harder" , Chapter in Uncertainty Reasoning for the Semantic Web III, Springer, pp. 122–141, 2014. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza, "Decidable Gödel description logics without the finitely-valued model property" , Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 14) (Chitta Baral and Giuseppe DeGiacomo and Thomas Eiter) , AAAI Press, pp. 228–237, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Felix Distel, Rafael Peñaloza, "Gödel description logics with general models" , Proceedings of the 27th International Workshop on Description Logics (DL’14), CEUR Workshop Proceedings, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, José A Leyva Galano, Rafael Peñaloza, "Gödel PL0 with Greatest Fixed-Point Semantics⋆" , In Proceeding: Proc. of the 27th Int. Workshop on Description Logics (DL’14), pp. 83, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, José A Leyva Galano, Rafael Peñaloza, "The Fuzzy Description Logic G-PL0 with Greatest Fixed-Point Semantics⋆" , Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings, vol. 8761, pp. 62, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Marco Cerami, Rafael Peñaloza, "Many-valued horn logic is hard" , 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, Marcel Lippmann, Veronika Thost, "Temporalizing rewritable query languages over knowledge bases" , In Web Semantics: Science, Services and Agents on the World Wide Web, Elsevier, 2014. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, "Fuzzy Description Logics with General Concept Inclusions" , PhD thesis, Saechsische Landesbibliothek-Staats-und Universitaetsbibliothek Dresden, 2014. [Bibtex & Downloads]
  • Stefan Haenzsche, Sebastian Hoppner, Rene Schuffny, "A 10 bit 16 MS/s redundant SAR ADC with flexible window function for a digitally controlled DC-DC converter in 28 nm CMOS" , In Proceeding: NORCHIP, 2014, pp. 1–4, 2014. [doi] [Bibtex & Downloads]
  • Stefan Haenzsche, Sebastian Hoppner, Georg Ellguth, Rene Schuffny, "A 12-b 4-MS/s SAR ADC With Configurable Redundancy in 28-nm CMOS Technology" , In Circuits and Systems II: Express Briefs, IEEE Transactions on, IEEE, vol. 61, no. 11, pp. 835–839, 2014. [doi] [Bibtex & Downloads]
  • Till Kolditz, Thomas Kissinger, Benjamin Schlegel, Dirk Habich, Wolfgang Lehner, "Online bit flip detection for in-memory B-trees on unreliable hardware" , Proceedings of the Tenth International Workshop on Data Management on New Hardware, pp. 5, 2014. [doi] [Bibtex & Downloads]
  • Uroschanit Yodprasit, Stefan Schumann, Jan-Dirk Leufker, Corrado Carta, Frank Ellinger, "60-GHz OOK multi-chip transceiver modules for multi-Gbps wireless communications" , In Proceeding: European Microwave Conference (EuMC), 2014 44th, pp. 1000–1003, 2014. [doi] [Bibtex & Downloads]
  • Yue Ma, Rafael Penaloza, "Towards Parallel Repair: An Ontology Decomposition-based Approach⋆" , 2014. [Bibtex & Downloads]
  • John Thompson, Xing-Lai Ge, Hsiao-Chun Wu, Ralf Irmer, Hongbo Jiang, Gerhard Fettweis, Siavash Alamouti, "5G wireless communication systems: prospects and challenges [guest editorial]" , In Communications Magazine, IEEE, IEEE, vol. 52, no. 2, pp. 62–64, 2014. [Bibtex & Downloads]
  • Gerhard P Fettweis, "The tactile internet: Applications and challenges" , In Vehicular Technology Magazine, IEEE, IEEE, vol. 9, no. 1, pp. 64–70, 2014. [Bibtex & Downloads]
  • Jing Lv, Eduard A Jorswieck, "Transmission Strategies for MIMO Overlay Spectrum Sharing" , In Proceeding: Smart Antennas (WSA), 2014 18th International ITG Workshop on, pp. 1–5, 2014. [Bibtex & Downloads]
  • Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan, "Bridging the Application Knowledge Gap" , 2014. [Bibtex & Downloads]
  • Jing Lv, Alessio Zappone, Eduard A Jorswieck, "Energy-efficient MIMO underlay spectrum sharing with rate splitting" , In Proceeding: Signal Processing Advances in Wireless Communications (SPAWC), 2014 IEEE 15th International Workshop on, pp. 174–178, 2014. [Bibtex & Downloads]
  • Christian Mayr, Johannes Partzsch, Marko Noack, Stefan Hanzsche, Stefan Scholze, Sebastian Hoppner, Georg Ellguth, Rene Schuffny, "A biological-realtime neuromorphic system in 28 nm CMOS using low-leakage switched capacitor circuits" , IEEE, 2014. [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "The Bayesian Description Logic $\mathcalBEL$" , In Proceeding: Automated Reasoning, Springer Science + Business Media, vol. 8562, pp. 480-494, 2014. [doi] [Bibtex & Downloads]
  • İsmail İlkan Ceylan, Rafael Peñaloza, "Tight Complexity Bounds for Reasoning in the Description Logic $\mathcalBE\kern-.1emL$" , In Proceeding: Logics in Artificial Intelligence, Springer Science + Business Media, vol. 8761, pp. 77-91, 2014. [doi] [Bibtex & Downloads]
  • Michel Ludwig, Rafael Peñaloza, "Error-Tolerant Reasoning in the Description Logic $\mathcalE\!L$" , In Proceeding: Logics in Artificial Intelligence (Eduardo Fermé and João Leite) , Springer Science + Business Media, vol. 8761, pp. 107-121, 2014. [doi] [Bibtex & Downloads]
  • Hani Salah, Stefanie Roos, Thorsten Strufe, "Characterizing Graph-Theoretic Properties of a Large-Scale DHT: Measurements vs. Simulations" , In Proceeding: IEEE ISCC, 2014. [Bibtex & Downloads]
  • 2013

  • M. Mittelbach, E. A. Jorswieck, "Information regular and #x03C8;-mixing channels" , Information Theory Proceedings (ISIT), 2013 IEEE International Symposium on, pp. 2094-2098, July 2013. [doi] [Bibtex & Downloads]
  • Adrian Cristal, P. Felber, C. Fetzer, D. Harmanci, A. Sobe, O. Unsal, JT Wamhoff, G. Yalcin, "Leveraging transactional memory for energyefficient computing below safe operation margins" , Proceedings of the 8th ACM SIGPLAN Workshop on Transactional Computing, ser. TRANSACT. ACM, 2013. [Bibtex & Downloads]
  • Andreas Ecke, Michel Ludwig, Dirk Walther, "The Concept Difference for EL-Terminologies using Hypergraphs." , In Proceeding: DChanges, 2013. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan, "Computing Role-Depth Bounded Generalizations in the Description Logic ELOR" , Chapter in KI 2013: Advances in Artificial Intelligence, Springer, pp. 49–60, 2013. [doi] [Bibtex & Downloads]
  • Andreas Ecke, Rafael Penaloza, Anni-Yasmin Turhan, "Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals." , In Proceeding: Description Logics, pp. 670–688, 2013. [Bibtex & Downloads]
  • Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan, "Towards instance query answering for concepts relaxed by similarity measures" , In WL4AI-2013, pp. 50, 2013. [Bibtex & Downloads]
  • Andreas Herzig, Emiliano Lorini, Dirk Walther, "Reasoning about actions meets strategic logics" , Chapter in Logic, Rationality, and Interaction, Springer, pp. 162–175, 2013. [doi] [Bibtex & Downloads]
  • Benjamin Zarrieß, Anni-Yasmin Turhan, "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013" , IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 (Francesca Rossi) , IJCAI/AAAI, pp. 1191-1197, 2013. [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]
  • Diogo Behrens, Christof Fetzer, Flavio P Junqueira, Marco Serafini, "Towards transparent hardening of distributed systems" , Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, pp. 4, 2013. [doi] [Bibtex & Downloads]
  • Diogo Behrens, Stefan Weigert, Christof Fetzer, "Automatically tolerating arbitrary faults in non-malicious settings" , In Proceeding: Dependable Computing (LADC), 2013 Sixth Latin-American Symposium on, pp. 114–123, 2013. [doi] [Bibtex & Downloads]
  • Franz Baader, Stefan Borgwardt, Marcel Lippmann, "Temporalizing ontology-based data access" , Chapter in Automated Deduction–CADE-24, Springer, pp. 330–344, 2013. [doi] [Bibtex & Downloads]
  • Frezewd Lemma, Johannes Schad, Christof Fetzer, "Dynamic Replication Technique for Micro-Clouds Based Distributed Storage System" , In Proceeding: Cloud and Green Computing (CGC), 2013 Third International Conference on, pp. 48–53, 2013. [doi] [Bibtex & Downloads]
  • Jan Dirk Leufker, Axel Strobel, Corrado Carta, Frank Ellinger, "A wideband planar microstrip to coplanar stripline transition (balun) at 35 GHz" , In Proceeding: Ph. D. Research in Microelectronics and Electronics (PRIME), 2013 9th Conference on, pp. 305–308, 2013. [doi] [Bibtex & Downloads]
  • Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber, "Transactional encoding for tolerating transient hardware errors" , Chapter in Stabilization, Safety, and Security of Distributed Systems, Springer, pp. 1–16, 2013. [doi] [Bibtex & Downloads]
  • Mario Alviano, Rafael Penaloza, "Fuzzy answer sets approximations" , In Theory and Practice of Logic Programming, Cambridge Univ Press, vol. 13, no. 4-5, pp. 753–767, 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 Peñaloza, Tingting Zou, "Rough EL Classification" , Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch) , CEUR-WS.org, vol. 1014, pp. 415-427, 2013. [Bibtex & Downloads]
  • Rafael Peñaloza, Tingting Zou, "Roughening the Envelope" , Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt) , Springer, vol. 8152, pp. 71–86, 2013. [doi] [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza, "About Subsumption in Fuzzy EL" , Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr otzsch) , CEUR-WS.org, vol. 1014, pp. 526-538, 2013. [Bibtex & Downloads]
  • Stefan Borgwardt, Rafael Peñaloza, "Positive Subsumption in Fuzzy EL with General T-norms" , Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, AAAI Press, pp. 789–795, 2013. [Bibtex & Downloads]
  • Stefan Borgwardt, Marcel Lippmann, Veronika Thost, "Temporal query answering in the description logic DL-Lite" , Chapter in Frontiers of Combining Systems, Springer, pp. 165–180, 2013. [doi] [Bibtex & Downloads]
  • S. Hoppner, Dennis Walter, Holger Eisenreich, Stefan Schiefer, R. Schuffny, "Live demonstration: A 90GBit/s serial NoC link over 6mm in 65nm CMOS technology" , In Proceeding: Circuit Theory and Design (ECCTD), 2013 European Conference on, pp. 1–1, 2013. [doi] [Bibtex & Downloads]
  • S. Hoppner, Stefan Haenzsche, Georg Ellguth, Dennis Walter, Holger Eisenreich, R. Schuffny, "A fast-locking ADPLL with instantaneous restart capability in 28-nm CMOS technology" , In Circuits and Systems II: Express Briefs, IEEE Transactions on, IEEE, vol. 60, no. 11, pp. 741–745, 2013. [doi] [Bibtex & Downloads]
  • Syed Kewaan Ejaz, Diogo Behrens, Thomas Knauth, Christof Fetzer, "Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction" , In Proceeding: Cloud Computing (CLOUD), 2013 IEEE Sixth International Conference on, pp. 422–429, 2013. [doi] [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 Knauth, Christof Fetzer, "dsync: Efficient Block-wise Synchronization of Multi-Gigabyte Binary Data." , In Proceeding: LISA, pp. 45–58, 2013. [Bibtex & Downloads]
  • Olaf Landsiedel, Federico Ferrari, Marco Zimmerling, "Chaos: Versatile and Efficient All-to-all Data Sharing and In-network Processing at Scale" , Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, ACM, pp. 1:1–1:14, New York, NY, USA, 2013. [doi] [Bibtex & Downloads]
  • Andreas Ecke, Michel Ludwig, Dirk Walther, "The Concept Difference for EL-Terminologies using Hypergraphs" , Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013), vol. 1008, 2013. [Bibtex & Downloads]
  • 2012

  • Álvaro Fernández-Díaz, Christel Baier, Clara Benac-Earle, Lars-Åke Fredlund, "Static Partial Order Reduction for Probabilistic Concurrent Systems" , Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST), Sep 2012. [Bibtex & Downloads]
  • Paolo Zuliani, Christel Baier, Edmund Melson Clarke, "Rare-event verification for stochastic hybrid systems" , Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Jul 2012. [Bibtex & Downloads]
  • Christel Baier, Tomáš Brázdil, Marcus Größer, Antonín Kučera, "Stochastic game logic" , In Acta Informatica, vol. 49, no. 4, pp. 203-224, Jun 2012. [Bibtex & Downloads]
  • S. Gerbracht, C. Scheunert, E. A. Jorswieck, "Secrecy Outage in MISO Systems With Partial Channel Information" , In IEEE Transactions on Information Forensics and Security, vol. 7, no. 2, pp. 704-716, April 2012. [doi] [Bibtex & Downloads]
  • Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "Waiting for locks: How long does it usually take?" , Springer, 2012. [doi] [Bibtex & Downloads]
  • Marcus Daum Christel Baier, Marcus Völp, "Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code" , In Proceeding: Proc. of the 7th Conference on Systems Software Verification (SSV 12), vol. 102, pp. 156–166, 2012. [Bibtex & Downloads]
  • Sebastian Ertel, Christof Fetzer, Michael J. Beckerle, "Brief Announcement: Fast Travellers: Infrastructure-independent Deadlock Resolution in Resource-restricted Distributed Systems" , Proceedings of the 26th International Conference on Distributed Computing, Springer-Verlag, pp. 433–434, Berlin, Heidelberg, 2012. [doi] [Bibtex & Downloads]
  • 0

  • Christof Fetzer, Frezewd Lemma, Thomas Knauth, "Energy-Efficient Storage and Processing in Edge Clouds" . [Bibtex & Downloads]
  • Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan, "Conjunctive Query Answering with Finitely Many Truth Degrees⋆" . [Bibtex & Downloads]
  • André Martin, Andrey Brito, Christof Fetzer, "When Stream Processing crosses MapReduce" . [Bibtex & Downloads]
  • Johannes Richter, Jan Hejtmánek, Eduard A Jorswieck, Jan Sykora, "Non-Cooperative Compute-and-Forward Strategies in Gaussian Multi-Source Multi-Relay Networks" . [Bibtex & Downloads]
  • E. Jorswieck, L. Lai, W. K. Ma, H. V. Poor, W. Saad, A. L. Swindlehurst, "Guest Editorial: Signal Processing for Wireless Physical Layer Security" , In IEEE Journal on Selected Areas in Communications. [Bibtex & Downloads]