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

Published on in RESILIENCE PATH

Our work on "SGXBounds: Memory Safety for Shielded Execution" has been awarded the best paper award at EuroSys'17 -- a top conference in computer systems. SGXBounds proposes an efficient technique to achieve memory safety for shielded execution. Memory safety is the most critical property for ensuring software reliability, and security. 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, and a compact memory layout in the context of secure enclaves.

The lead author for the project is Dmitrii Kuvaiskii from the Resilience Path at cfaed, who is jointly advised by Christof Fetzer and Pramod Bhatotia.

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.

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.

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.

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.

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

  • 2021

  • Siva Satyendra Sahoo, Akash Kumar, Martin Decky, Samuel C. B. Wong, Geoff V. Merrett, Yinyuan Zhao, Jiachen Wang, Xiaohang Wang, Amit Kumar Singh, "Emergent design challenges for embedded systems and paths forward: mixed-criticality, energy, reliability and security perspectives", Proceedings of the 2021 International Conference on Hardware/Software Codesign and System Synthesis, ACM, Sep 2021. [doi] [Bibtex & Downloads]
  • Sadia Moriam, Elke Franz, Paul Walther, Akash Kumar, Thorsten Strufe, Gerhard Fettweis, "Efficient Communication Protection of Many-Core Systems against Active Attackers", In Electronics, MDPI AG, vol. 10, no. 3, pp. 238, Jan 2021. [doi] [Bibtex & Downloads]

  • 2019

  • M. Mousavi, H. R. Pourshaghaghi, H. Corporaal, A. Kumar, "Scatter Scrubbing: A Method to Reduce SEU Repair Time in FPGA Configuration Memory", In Proceeding: 2019 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), pp. 1-6, Oct 2019. [doi] [Bibtex & Downloads]

  • 2018

  • Sadia Moriam, Elke Franz, Paul Walther, Akash Kumar, Thorsten Strufe, Gerhard Fettweis, "Protecting Communication in Many-Core Systems against Active Attackers", Proceedings of the 2018 on Great Lakes Symposium on VLSI, pp. 45–50, May 2018. [Bibtex & Downloads]
  • Anup Das, Akash Kumar, "Dataflow-Based Mapping of Spiking Neural Networks on Neuromorphic Hardware", Proceedings of the 2018 on Great Lakes Symposium on VLSI, pp. 419–422, May 2018. [Bibtex & Downloads]
  • B. S. Prabakaran, S. Rehman, M. A. Hanif, S. Ullah, G. Mazaheri, A. Kumar, M. Shafique, "DeMAS: An efficient design methodology for building approximate adders for FPGA-based systems", In Proceeding: 2018 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 917-920, March 2018. [doi] [Bibtex & Downloads]
  • Chin Hau Hoo, Akash Kumar, "ParaDRo: A Parallel Deterministic Router Based on Spatial Partitioning and Scheduling", Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, pp. 67–76, 2018. [Bibtex & Downloads]
  • Siva Satyendra Sahoo, Bharadwaj Veeravalli, Akash Kumar, "CLRFrame: An Analysis Framework for Designing Cross-Layer Reliability in Embedded Systems", In Proceeding: 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID), pp. 1-6, Jan 2018. [Bibtex & Downloads]
  • Siva Satyendra Sahoo, Tuan Duy Anh Nguyen, B. Veeravalli, Akash Kumar, "Lifetime-aware Design Methodology for Dynamic Partially Reconfigurable Systems", In Proceeding: 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 1-6, Jan 2018. [Bibtex & Downloads]
  • Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski, "Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance", In Proceeding: European Workshop on Performance Engineering, pp. 78–93, 2018. [Bibtex & Downloads]
  • Ing Linda Herrmann, "Formal Configuration of Fault-Tolerant Systems", 2018. [Bibtex & Downloads]

  • 2017

  • Siavash Ghiasvand, Florina M. Ciorba, "Towards Adaptive Resilience in High Performance Computing", Proceedings of WiP in 25th EUROMICRO International Conference on Parallel, Distributed and Network-based Processing (Grosspietsch, E. and Kloeckner, K.), SEA-Publications-Austria, pp. 5–6, St. Petersburg, Russia, Oct 2017. [Bibtex & Downloads]
  • Siavash Ghiasvand, Florina M. Ciorba, "Event Pattern Identification in Anonymized System Logs", In International Supercomputing, Jun 2017. [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Extending a Compiler Backend for Complete Memory Error Detection", In Proceeding: Lecture Notes in Informatics: Automotive - Safety & Security 2017 (Peter Dencker and Herbert Klenk and Hubert Kelle and Erhard Plödereder), pp. 61–74, May 2017. (Best paper award) [Bibtex & Downloads]
  • Norman A. Rink, Jeronimo Castrillon, "Trading Fault Tolerance for Performance in AN Encoding", Proceedings of the ACM International Conference on Computing Frontiers (CF'17), ACM, pp. 183–190, New York, NY, USA, May 2017. [doi] [Bibtex & Downloads]
  • Muhammad Shafique, Semeen Rehman, Florian Kriebel, Muhammad Usman Karim Khan, Bruno Zatt, Arun Subramaniyan, Bruno Boessio Vizzotto, Jorg Henkel, "Application-Guided Power-Efficient Fault Tolerance for H.264 Context Adaptive Variable Length Coding", In IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), vol. 66, no. 4, pp. 560–574, Apr 2017. [doi] [Bibtex & Downloads]
  • Martin Brüstel, Akash Kumar, "Accounting for Systematic Errors in Approximate Computing", 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", Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. (Best paper nominee) [Bibtex & Downloads]
  • 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", Proceedings of the 2017 Design, Automation & Test in Europe Conference & Exhibition, March 2017. [Bibtex & Downloads]
  • Marco Zimmerling, Luca Mottola, Pratyush Kumar, Federico Ferrari, Lothar Thiele, "Adaptive Real-Time Communication for Wireless Cyber-Physical Systems", In ACM Transactions on Cyber-Physical Systems, Association for Computing Machinery (ACM), vol. 1, no. 2, pp. 1–29, Feb 2017. [doi] [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]
  • Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer, "SGXBounds: Memory Safety for Shielded Execution", Proceedings of the 2017 ACM European Conference on Computer Systems (EuroSys), 2017. [Bibtex & Downloads]
  • Sina Mahmoodi Khorandi, Siavash Ghiasvand, Mohsen Sharifi, "Reducing Load Imbalance of Virtual Clusters via Reconfiguration and Adaptive Job Scheduling", Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, IEEE Press, pp. 992–999, Piscataway, NJ, USA, 2017. [doi] [Bibtex & Downloads]
  • David Müller andSalomon Sickert, "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]
  • 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]
  • 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, Antonín Ku\vcera, Vojt\vech \vRehák, others, "Synthesis of optimal resilient control strategies", In Proceeding: International Symposium on Automated Technology for Verification and Analysis, pp. 417–434, 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]
  • Daniel Borchmann, Tom Hanika, Sergei Obiedkov, "On the Usability of Probably Approximately Correct Implication Bases", In arXiv preprint arXiv:1701.00877, 2017. [Bibtex & Downloads]
  • Stefanie Roos, Martin Byrenheid, Clemens Deusser, Thorsten Strufe, "Balanced Dynamic Content Addressing in Trees", In arXiv preprint arXiv:1701.03522, 2017. [Bibtex & Downloads]
  • Christel Baier, Sascha Klüppelholz, Sascha Wunderlich, "Towards automated variant selection for heterogeneous tiled architectures", Chapter in Models, Algorithms, Logics and Tools, Springer, pp. 382–399, 2017. [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]
  • Siavash Ghiasvand, Florina M Ciorba, Wolfgang E Nagel, "Turning Privacy Constraints into Syslog Analysis Advantage", In The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016. [Bibtex & Downloads]
  • Kuan-Hsun Chen, Jian-Jia Chen, Florian Kriebel, Semeen Rehman, Muhammad Shafique, Jorg Henkel, "Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity", In IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), vol. 65, no. 11, pp. 3441–3455, Nov 2016. [doi] [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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • Siavash Ghiasvand, Florina M Ciorba, "Toward Resilience in HPC: A Prototype to Analyze & Predict System Behavior", In International Supercomputing, Jun 2016. [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]
  • 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]
  • 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]
  • 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]
  • 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, 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]
  • 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]
  • 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üninger 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émi Bourguet), vol. 1660, 2016. [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]
  • 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]
  • 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]
  • André Martin, Andrey Brito, Christof Fetzer, "Real-time social network graph analysis using StreamMine3G", Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, pp. 322–329, 2016. [Bibtex & Downloads]
  • Romain Jacob, Marco Zimmerling, Pengcheng Huang, Jan Beutel, Lothar Thiele, "Towards Real-time Wireless Cyber-physical Systems", In Edited by Sebastian Altmeyer, pp. 7, 2016. [Bibtex & Downloads]
  • Felix Neumarker, Sebastian Höppner, Andreas Dixius, Christian Mayr, "True random number generation from bang-bang ADPLL jitter", In Proceeding: Nordic Circuits and Systems Conference (NORCAS), 2016 IEEE, pp. 1–5, 2016. [Bibtex & Downloads]
  • Sadia Moriam, Gerhard P Fettweis, "Fault Tolerant Deadlock-Free Adaptive Routing Algorithms for Hexagonal Networks-on-Chip", In Proceeding: Digital System Design (DSD), 2016 Euromicro Conference on, pp. 131–137, 2016. [Bibtex & Downloads]
  • Florian Kriebel, Muhammad Shafique, Semeen Rehman, Jörg Henkel, Siddharth Garg, "Variability and Reliability Awareness in the Age of Dark Silicon", In IEEE Design & Test, IEEE, vol. 33, no. 2, pp. 59–67, 2016. [Bibtex & Downloads]
  • Florian Kriebel, Semeen Rehman, Arun Subramaniyan, Segnon Jean Bruno Ahandagbe, Muhammad Shafique, Jörg Henkel, "Reliability-Aware Adaptations for Shared Last-Level Caches in Multi-Cores", In ACM Transactions on Embedded Computing Systems (TECS), ACM, vol. 15, no. 4, pp. 67, 2016. [Bibtex & Downloads]
  • Sebastian Haas, Oliver Arnold, Benedikt Nöthen, Stefan Scholze, Georg Ellguth, Andreas Dixius, Sebastian Höppner, Stefan Schiefer, Stephan Hartmann, Stephan Henker, others, "An MPSoC for energy-efficient database query processing", In Proceeding: Design Automation Conference (DAC), 2016 53nd ACM/EDAC/IEEE, pp. 1–6, 2016. [Bibtex & Downloads]
  • Romain Jacob, Marco Zimmerling, Pengcheng Huang, Jan Beutel, Lothar Thiele, "End-to-end Real-time Guarantees in Wireless Cyber-physical Systems", In Proceeding: Real-Time Systems Symposium (RTSS), 2016 IEEE, pp. 167–178, 2016. [Bibtex & Downloads]
  • Franz Baader, Pavlos Marantidis, Alexander Okhotin, "Approximate Unification in the Description Logic$\backslash$ mathcal $\{$FL$}$ _0", In Proceeding: European Conference on Logics in Artificial Intelligence, pp. 49–63, 2016. [Bibtex & Downloads]
  • Sven Jager, Benjamin Schiller, Thorsten Strufe, Kay Hamacher, "StreAM-T_g: Algorithms for Analyzing Coarse Grained RNA Dynamics Based on Markov Models of Connectivity-Graphs", In Proceeding: International Workshop on Algorithms in Bioinformatics, pp. 197–209, 2016. [Bibtex & Downloads]
  • Dhanya R. Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, Rodrigo Rodrigues, "IncApprox", Proceedings of the 25th International Conference on World Wide Web - WWW \textquotesingle16, Association for Computing Machinery (ACM), 2016. [doi] [Bibtex & Downloads]

  • 2015

  • Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan, "Similarity-based relaxed instance queries", In Journal of Applied Logic, Elsevier, vol. 13, no. 4, pp. 480–508, Dec 2015. [doi] [Bibtex & Downloads]
  • 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]
  • Dmitrii Kuvaiskii, Christof Fetzer, "&\# x0394;-Encoding: Practical Encoded Processing", In Proceeding: Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, pp. 13–24, 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]
  • 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]
  • 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]
  • \.Ismail \.Ilkan 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]
  • \.Ismail \.Ilkan Ceylan, Thomas Lukasiewicz, RafaelPeñaloza, "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]
  • \.Ismail \.Ilkan 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]
  • \.Ismail \.Ilkan 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]
  • 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]
  • \.Ismail \.Ilkan Ceylan, Rafael Peñaloza, "Probabilistic Query Answering in the Bayesian Description Logic $\mathcal{BE\!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 $\mathcal{EL}$-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]
  • 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]
  • 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]
  • Stefan Haenzsche, Sebastian Höppner, Rene Schüffny, "A 10 bit 16-to-26 MS/s flexible window SAR ADC for digitally controlled DC–DC converters in 28 nm CMOS", In Analog Integrated Circuits and Signal Processing, Springer, vol. 84, no. 3, pp. 421–431, 2015. [Bibtex & Downloads]
  • Till Kolditz, Dirk Habich, Patrick Damme, Wolfgang Lehner, Dmitrii Kuvaiskii, Oleksii Oleksenko, Christof Fetzer, "Resiliency-aware Data Compression for In-memory Database Systems.", In Proceeding: DATA, pp. 326–331, 2015. [Bibtex & Downloads]
  • Till Kolditz, Dirk Habich, Dmitrii Kuvaiskii, Wolfgang Lehner, Christof Fetzer, "Needles in the Haystack—Tackling Bit Flips in Lightweight Compressed Data", In Proceeding: International Conference on Data Management Technologies and Applications, pp. 135–153, 2015. [Bibtex & Downloads]
  • Dmitrii Kuvaiskii, Christof Fetzer, "$\Delta$-encoding: practical encoded processing", In Proceeding: Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, pp. 13–24, 2015. [Bibtex & Downloads]

  • 2014

  • 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, Dec 2014. [doi] [Bibtex & Downloads]
  • 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]
  • Franz Baader, Stefan Borgwardt, Rafael Peñaloza, "On the Decidability Status of Fuzzy A $\mscrL$ C \textdollar\mathcal $\lbrace$A$\rbrace$\mathcal $\lbrace$L$\rbrace$\mathcal $\lbrace$C$\rbrace$\textdollar with General Concept Inclusions" , In Journal of Philosophical Logic, Springer Nature, vol. 44, no. 2, pp. 117–146, Oct 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 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]
  • 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]
  • \.Ismail \.Ilkan Ceylan, Rafael Penaloza, "The Bayesian Description Logic $\{$$\backslash$mathcal$\{$BEL$}$$}$", Chapter in Automated Reasoning, Springer, pp. 480–494, 2014. [doi] [Bibtex & Downloads]
  • \.Ismail \.Ilkan 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, 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]
  • \.Ismail \.Ilkan Ceylan, Rafael Peñaloza, "The Bayesian Description Logic ${\mathcal{BEL}}$", In Proceeding: Automated Reasoning, Springer Science + Business Media, vol. 8562, pp. 480-494, 2014. [doi] [Bibtex & Downloads]
  • \.Ismail \.Ilkan Ceylan, Rafael Peñaloza, "Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$", 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 $\mathcal{E\!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]
  • 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]
  • Stefan Borgwardt, José A Leyva Galano, Rafael Peñaloza, "Gödel FL_0 with Greatest Fixed-Point Semantics.", In Proceeding: Description Logics, pp. 71–82, 2014. [Bibtex & Downloads]
  • Stefan Borgwardt, José A Leyva Galano, Rafael Peñaloza, "The fuzzy description logic G-FL0 with greatest fixed-point semantics", Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA’14), vol. 8761, pp. 62–76, 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, 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ötzsch), 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]
  • Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, 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]
  • Wolfgang Lehner, Gerhard Fettweis, "Technology Time Machine 2012-Paving the path for the future technology developments [includes 9 white papers]", In Proceeding: Technology Time Machine Symposium (TTM), 2012 IEEE, pp. 1–38, 2012. [Bibtex & Downloads]

  • Previous Years

  • 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]
  • Dorian Merz, Rafael Penaloza, Anni-Yasmin Turhan, "Reasoning in 긔 Lc with Fuzzy Concrete Domains", In KI 2014: Advances in Artificial Intelligence, Springer, pp. 171. [Bibtex & Downloads]
  • "Lessons Learned from Spatial and Temporal Correlation of Node Failures in High Performance Computers, author=Ghiasvand, Siavash and Ciorba, Florina M and Tschueter, Ronny and Nagel, Wolfgang E" , In Proceeding: 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), pages=377–381, year=2016, organization=IEEE month=feb, doi=10.1109/pdp.2016.101, url=http://ieeexplore.ieee.org/document/7445361/. [Bibtex & Downloads]
  • André Martin, Andrey Brito, Christof Fetzer, "Elastic and Secure Energy Forecasting in Cloud Environments". [Bibtex & Downloads]
  • Fabian Mager, Johannes Neumann, Carsten Herrmann, Marco Zimmerling, Frank Fitzek, "All-to-all Communication in Multi-hop Wireless Networks with Mixer". [Bibtex & Downloads]
  • Matthias Werner, Till Kolditz, Tomas Karnagel, Dirk Habich, Wolfgang Lehner, "Multi-GPU Approximation Methods for Silent Data Corruption of AN Codes". [Bibtex & Downloads]
  • Tobias Stumpf, "How to Protect the Protector?", Proceedings of the th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’), Student Forum. IEEE Computer Society Press, June.(Cited on page.). [Bibtex & Downloads]
  • Michel Ludwig, Boris Konev, "Towards Practical Uniform Interpolation and Forgetting for 긔 Lc TBoxes". [Bibtex & Downloads]
  • Ulf Wetzker, Ingmar Splitt, Marco Zimmerling, Carlo Alberto Boano, Kay Römer, "Troubleshooting Wireless Coexistence Problems in the Industrial Internet of Things". [Bibtex & Downloads]
  • Franz Baader, Pavlos Marantidis, Alexander Okhotin, "Approximate Unification in the Description Logic FL0". [Bibtex & Downloads]
  • Franz Baader, Stefan Borgwardt, Rafael Peñaloza, "On the Decidability Status of Fuzzy 긔 Lc with General Concept Inclusions", Citeseer. [Bibtex & Downloads]