Scientific Publications and Articles

2022

  • Bernhard Aichernig, Edi Muškardin, Andrea Pferscher: Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols, 4th International Workshop on Formal Methods for Autonomous Systems, FMAS 2022 and 4th International Workshop on Automated and Verifiable Software sYstem DEvelopment: FMAS / ASYDE 2022 - Berlin, Germany. September 2022. Link to Pure
     
  • Bernhard Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler: Constrained Training of Recurrent Neural Networks for Automata Learning - 20th International Conference on Software Engineering and Formal Methods: SEFM 2022 - Berlin, Germany. September 2022. Link to Pure
     
  • Edi Muškardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler: AALpy: An active automata learning library, Innovations in Systems and Software Engineering, DOI: 10.1007/s11334-022-00449-3, 2022. Link to Pure
     
  • G. Gomez-Bravo, R. Teschl and W. Bösch: Circularly Polarized Ultra-Wideband Antenna for Dependable Wireless Localization Systems, 2022 International Conference on Broadband Communications for Next Generation Networks and Multimedia Applications (CoBCom), 2022, pp. 1-7, doi: 10.1109/CoBCom55489.2022.9880640   Link to PURE.
  • S. Munoz Gutierrez, G. Steinbauer-Wagner: The Need for a Meta-Architecture for Robot Autonomy. In the Proceedings of the Second Workshop on Agents and Robots for Reliable Engineered Autonomy. Vienna, Austria, Jul 2022. Link to PURE.
  • A.Pferscher, B. Aichernig: Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. In the proceedings of NASA Formal Methods - 14th International Symposium, Caltech, Pasadena, United States. May 2022.
  • H. Brunner, M. Stocker, M. Schuh, M. Schuß, C.A. Boano, and K. Römer. Understanding and Mitigating the Impact of Wi-Fi 6E Interference on Ultra-Wideband Communications and Ranging. In Proceedings of the 21st International Conference on Information Processing in Sensor Networks (IPSN). Virtual event. May 2022.
  • M. Schuh, H. Brunner, M. Stocker, M. Schuß, C.A. Boano, and K. Römer. First Steps in Benchmarking the Performance of Heterogeneous Ultra-Wideband Platforms. In Proceedings of the 5th International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench), in conjunction with the CPS-IoT Week. Virtual event. May 2022.
  • M. Stocker, M. Schuh, H. Brunner, C.A. Boano, and K. Römer. On the Performance of IEEE 802.15.4z-Compliant Ultra-Wideband Devices. In Proceedings of the 5th International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench), in conjunction with the CPS-IoT Week. Virtual event. May 2022.

2021

  • A. B. Alothman Alterkawi, S. W. Sattler, R. Teschl and W. Bösch: A reconfigurable dual-mode Filter in Embedded Suspended Stripline Substrate Technology (ESSS), 2021 IEEE MTT-S International Microwave Filter Workshop (IMFW), 2021. Link to PURE.

  • A. Fuchs, C. Knoll, F. Pernkopf: Distribution Mismatch Correction for Improved Robustness in Deep Neural Networks. Distribution Shifts: Connecting Methods and Applications. December, 2021. Link to PURE. 

  • B. Aichernig & A. Pferscher: Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. 24th International Symposium on Formal Methods: FM' 2021 - Virtuell, China, November, 2021. Link to PURE.

  • E. Muskardin, B. Aichernig, I. Pill, A. Pferscher, M. Tappler: AALpy: An Active Automata Learning Library. 19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australia, October 2021. Link to PURE.

  • B. Gigerl, R. Primas, S. Mangard: Secure and Efficient Software Masking on Superscalar Pipelined Processors. Advances in Cryptology - ASIACRYPT 2021, Singapore, 2021. Link to PURE.

  • M. Steinberger, M. Horn, A. Ferrara: Adaptive Control of Multivariable Networked Systems with uncertain Time Delays, IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2021.3083563, 2021. Link to PURE.

  • M. Steinberger, M. Horn: A Less-Conservative Stability Criterion for Networked Control Systems with time-varying Packet Delays, IET Control Theory & Applications, p. 1–16, DOI: 10.1049/cth2.12182, 2021. Link to PURE.

  • J. Davila, M. Tranninger, L. Fridman: Finite-Time State-Observer for a Class of Linear Time-Varying Systems with Unknown Inputs.IEEE Transactions on Automatic Control, July, 2021. Link to PURE.

  • M. Tranninger, M. Ruderman: Stability Analysis of a Linear Parameter Varying Adaptive Output Feedback Control System. In the proceedings of the 4th IFAC Workshop on Linear Parameter-Varying Systems. July, 2021. Link to PURE.

  • H. Leisenberger, C. Knoll, R. Seeber, F. Pernkopf. "Convergence Behavior of Belief Propagation: Estimating Regions of Attraction via Lyapunov Functions." In Proceedings of the 37th Conference on Uncertainty in Artificial Intelligence, 2021. Link to PURE.
  • M. Palmisano, M. Steinberger, M. Horn: Optimal finite-horizon control for Networked Control Systems in the presence of random delays and packet losses, IEEE Control System Letters, 5 (1), 271-276, 2021
  • M. Stocker, M. Gallacher, C.A. Boano, and K. Römer. Performance of Support Vector Regression in Correcting UWB Ranging Measurements under LOS/NLOS Conditions. In Proceedings of the 4th International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench), in conjunction with the CPS-IoT Week. Virtual event. May 2021.
  • E. Salomon, L. Happ Botler, K. Diwold, C.A. Boano, and K. Römer. Comparison of Channel State Information driven and RSSI-based WiFi Distance Estimation. In Proceedings of the 18th International Conference on Embedded Wireless Systems and Networks (EWSN), poster session. Virtual event. February 2021. Best Poster Award.
  • M. Tappler, B. Aichernig, G. Bacci, M. Eichlseder, K. G. Larsen: L*-Based Learning of Markov Decision Processes in the Formal Aspects of Computing, 31 March, 2021. Link to PURE.
  • B. Gigerl, V. Hadzic, R. Primas, S. Mangard, R. Bloem: "Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs". In the Proceedings of the 30th USENIX Security Symposium, 2021. Link to PURE.
  • M. Steinberger and M. Horn. “A Stability Criterion for Networked Control Systems With Packetized Transmissions”. In: IEEE Control Systems Letters 5.3 (July 2021), pp. 911-916. Link to PURE.
  • B. Aichernig, E. Muskardin, A. Pferscher: „Learning-Based Fuzzing of IoT Message Brokers” at IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), virtual event, April 2021. Link to PURE.
  • M. Tranninger, R. Seeber, M. Steinberger, M. Horn: Beobachterentwurf für lineare, zeitvariante Systeme mittels Spektraltheorie in Automatisierungstechnik, De Gruyter Oldenbourg, 26 Jan 2021. Link to PURE.
  • M. Palmisano, M. Steinberger and M. Horn: “Optimal finite-horizon control for Networked Control Systems in the presence of random delays and packet losses”. In: IEEE Control Systems Letters 5.1, Jan. 2021. Link to PURE.

2020

  • T. Eckstein, G. Steinbauer: “Action-Based Programming with YAGI - An Update on Usability and Performance”. In: Fujita H., Fournier-Viger P., Ali M., Sasaki J. (eds) Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices. IEA/AIE 2020. Lecture Notes in Computer Science, vol 12144.

  • P. Kohout, M. De Bortoli, J. Ludwiger, T. Ulz, G. Steinbauer: A multi-robot architecture for the RoboCup Logistics League. Elektrotech. Inftech. 137, 291–296 (2020).

  • B. K. Aichernig, M. Tappler, F. Wallner: “Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning”. TAP@STAF 2020: 3-22. Link to PURE.

  • M. Rath, E. Leitinger, A. Nguyen and K. Witrisal: “Directionally Resolved UWB Channel Modeling for Environment-Aware Positioning”, 2020 14th European Conference on Antennas and Propagation (EuCAP), pp. 1-5, 2020. Link to PURE.

  • T. Wilding, E. Leitinger, U. Muehlmann and K. Witrisal: “Modeling Human Body Influence in UWB Channels”, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-6, 2020. Link to PURE.

  • J. Köhler, W. Bösch, E. Leitgeb and R. Teschl: “Field Bending Omega-Type Metamaterial Lens for Ku Band”. In Proceedings of the 12th International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP), Porto, Portugal, 2020. Link to PURE.

  • M. Stocker, B. Großwindhager, C.A. Boano, and K. Römer: “Towards Secure and Scalable UWB-based Positioning Systems”. In Proceedings of the 17th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). Delhi NCR, India. December 2020. Link to PURE.

  • C. Knoll, F. Pernkopf. "Belief propagation: accurate marginals or accurate partition function—where is the difference?" in Journal of Statistical Mechanics: Theory and Experiment; Machine Learning Special Issue. Volume 2020, Number 12. Link to PURE.

  • L. Botler, M. Spörk, K. Diwold, and K. Römer: “Direction Finding with UWB and BLE: A Comparative Study”. In Proceedings of the 17th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). Delhi NCR, India. December 2020. Link to PURE.

  • A. Pferscher, B. Aichernig: Learning Abstracted Non-deterministic Finite State Machines at the 32nd IFIP International Conference on Testing Software and Systems. Italian, December, 2020. Link to PURE.
  • L. Botler, L. Batista Ribeiro, K. Diwold, and K. Römer: “On the Potential of Distance Bounding based on UWB Received Signal Strength”. In Proceedings of the 10th International Conference on Pervasive and Parallel Computing, Communication and Sensors (PECCS). Online event. November 2020. Link to PURE.
  • B. Maderbacher, A. F. Karl, R. Bloem: Placement of Runtime Checks to Counteract Fault Injections at the 20th International Conference, RV 2020. Los Angeles, October, 2020. Link to PURE.
  • F. Wen, J. Kulmer, K. Witrisal and H. Wymeersch: „5G Positioning and Mapping with Diffuse Multipath”. IEEE Transactions on Wireless Communications. October 2020.

  • B.Aichernig, B. Maderbacher: Step-Wise Development of Provably Correct Actor Systems at the 9th International Symposium, ISoLA 2020. Link to PURE.

  • R. Martins-Gomes, B. Aichernig, M. Baunach. A Formal Modeling Approach for Portable Low-Level OS Functionality at the 18th international Conference on Software Engineering and Formal Methods (SEFM), Amsterdam, 2020. Link to PURE.

  • K. Römer: The Internet of Things, in Atlas of Digital Architecture, Hirschberg, Hovestadt, Fritz (Eds.), Birkhäuser Verlag GmbH, ISBN 978-3-0356-1990-4, 2020.
  • M. Zambelli, P. Carulli, M. Steinberger, M. Horn and A. Ferrara: “A Novel Formation Creation Algorithm for Heterogeneous Vehicles in Highway Scenarios: Assessment and Experimental Validation”. In: IFAC-PapersOnLine: Proceedings of the 21st IFAC World Congress, Juli 2020. Link to PURE.
  • A. H. Nguyen, M. Rath, E. Leitinger, K. Nguyen and K. Witrisal: “Gaussian Process Modeling of Specular Multipath Components”. Applied Sciences. 10. 5216. 10.3390/app10155216. July 2020. Link to PURE.

  • S. Lambert Hölzl, R. Seeber, M. Tranninger, R. Bauer, M. Horn. Lyapunov-Based Observer Design for Steam Boilers in the Proceedings of the 21st IFAC World Congress. Germany, July, 2020. Link to PURE.

  • M. Steinberger, M. Tranninger, M. Horn, K. H. Johansson. How to Simulate Networked Control Systems with Variable Time Delays? in the Proceedings of the 21st IFAC World Congress. Germany, July, 2020. Link to PURE.

  • M. Tranninger, R. Seeber, M. Steinberger, M. Horn. Efficient Temperature Profile Estimation for Silicon Wafers based on Subspace Observers in the Proceedings of the 21st IFAC World Congress. Germany, July, 2020. Link to PURE.

  • M. Rath, J. Kulmer, E. Leitinger, K. Witrisal: “Single-Anchor Positioning: Multipath Processing With Non-Coherent Directional Measurements”. IEEE Access. 10.1109/ACCESS.2020.2993197. May 2020. Link to PURE.

  • M. Tranninger, R. Seeber, M. Steinberger, M. Horn. Uniform Detectability of Linear Time Varying Systems With Exponential Dichotomy. IEEE Control Systems Letters, May, 2020. Link to PURE.

  • A. Pferscher, B. Aichernig, M. Tappler. From Passive to Active: Learning Timed Automata Efficiently. 12th NASA Formal Methods Symposium (NFM 2020) Moffet Field, USA, May 12-14, 2020. Link to PURE.
  • M. Spörk, J. Classen, C.A. Boano, M. Hollick, and K. Römer. Improving the Reliability of Bluetooth Low Energy Connections. In Proceedings of the 17th International Conference on Embedded Wireless Systems and Networks (EWSN), ranked CORE A. Lyon, France. February 2020. Link to PURE.
  • L. Tarricone, J. Grosinger: “Augmented RFID technologies for the internet of things and beyond”. Sensors (Switzerland), February 2020. Link to PURE.
  • M. Steinberger, M. Tranninger, M. Horn, K.H. Johansson: How to Simulate Networked Control Systems with Variable Time Delays?, IFAC PapersOnLine 53 (2), p. 3098-3103, 2020
  • M. Tranninger, R. Seeber, M. Steinberger, M. Horn: Efficient Temperature Profile Estimation for Silicon Wafers based on Subspace Observers, IFAC PapersOnLine 53 (2), p. 5952-5957, 2020

2019

  • J. Ludwiger, M. Steinberger, M. Horn: Spatially Distributed Networked Sliding Mode Control, IEEE Control Systems Letters, 3 (4), p. 972-977, 2019
  • M. Steinberger, M. Horn, A. Ferrara: Discrete-time Model Reference Adaptive Sliding Mode Control for Systems in State-Space Representation, IEEE Conference on Decision and Control, Nice, p. 6007-6012, 2019
  • E. Leitinger, S. Grebien and K. Witrisal: “Multipath-based SLAM Exploiting AoA and Amplitude Information”. 2019 IEEE International Conference on Communications Workshops (ICC Workshops), 2019. Link to PURE.
  • C. Knoll, F. Kulmer, F. Pernkopf. “Guided Selection of Accurate Belief Propagation Fixed Points“ in NeurIPS Workshop: Machine Learning and the Physical Sciences. December, 2019. Link to PURE.
  • M. Tranninger, R. Seeber, S. Zhuk, M. Steinberger, M. Horn. Detectability Analysis and Observer Design for Linear Time Varying Systems. 58th Conference on Decision and Control - Nice, France, December, 2019. Link to PURE.
  • R. Bloem, H. Chockler, M. Ebrahimi, O. Strichman: “Synthesizing Reactive Systems Using Robustness and Recovery Specifications”. FMCAD 2019: 147-151. Link to PURE.
  • L. Botler, K. Diwold, and K. Römer: „E-SALDAT: Efficient Single-Anchor Localization of Dual-Antenna Tags”. In Proceedings of the 16th Workshop on Positioning, Navigation and Communications (WPNC). Bremen, Germany. October 2019. Link to PURE.
  • B.K. Aichernig, R. Bloem, M. Ebrahimi, M. Horn, F. Pernkopf, W. Roth, A. Rupp, M. Tappler, M. Tranninger. Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. In Testing Software and Systems – In Proceedings of the 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019. *Best Paper Award*. Link to PURE.
  • M. Tappler, B. K. Aichernig, G. Bacci, M. Eichlseder, K.G. Larsen. L*-Based Learning of Markov Decision Processes. In Proceedings od the "In Formal Methods – The Next 30 Years – Third World Congress", FM 2019, Porto, Portugal, October 7-11, 2019. Link to PURE.
  • E. Leitinger, F. Meyer, F. Hlawatsch, K. Witrisal, F. Tufvesson and M. Z. Win: “A belief propagation algorithm for multipath-based SLAM”. IEEE transactions on wireless communications, IEEE, vol. 18, nb. 12, pp. 5613 - 5629, September 2019. Link to PURE.
  • M. Tappler, B. K. Aichernig, K. G. Larsen, F. Lorber. Time to Learn – Learning Timed Automata from Tests. In Formal Modeling and Analysis of Timed Systems – In the Proceedings of the 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019. Link to PURE.
  • M. Malenko, M. Baunach: “Device Driver and System Call Isolation in Embedded Devices” at Euromicro Conference on Digital System Design (DSD), 2019. Link to PURE.
  • B.K. Aichernig, M. Tappler. Probabilistic black-box reachability checking (extended version). Form. Methods. Syst. Des., S.I.: Runtime Verification 2017 (published online), 2019. Link to PURE.
  • A. Langiu, C.A. Boano, M. Schuß, and K. Römer. UpKit: An Open-Source, Portable, and Lightweight Update Framework for Constrained IoT Devices. In Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS), ranked CORE A. Dallas, TX, USA. July 2019. Link to PURE.
  • M. Spörk, C.A. Boano, and K. Römer. Performance and Trade-offs of the new PHY Modes of BLE 5. In Proceedings of the International Workshop on Pervasive Systems in the IoT Era (PERSIST-IoT) in conjunction with the 20th International ACM Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc). Catania, Italy. July 2019. Link to PURE.
  • M. Malenko, M. Baunach: “Hardware/Software Co-designed Peripheral Protection in Embedded Devices”. IEEE Int’l Conference on Industrial Cyber-Physical Systems (ICPS), 2019. Link to PURE.
  • A. Rupp, M. Tranninger, J. Zubaca, M. Steinberger, M. Horn and R. Wallner: “Fast and Low-Cost Testing of Advanced Driver Assistance Systems Using Small-Scale Vehicles”. In: Proceedings of the 9th IFAC Symposium on Advances in Automotive Control (AAC 2019), June 2019. Link to PURE.
  • M. Tranninger, R. Seeber, M. Steinberger, M. Horn. Exact State Reconstruction for LTI-Systems with Non-Differentiable Unknown Inputs. 18th European Control Conference - Naples, Italy, June, 2019. Link to PURE.
  • R. Hofmann, C.A. Boano, and K. Römer. X-Burst: Enabling Multi-Platform Cross-Technology Communication between Constrained IoT Devices. In Proceedings of the 16th IEEE International Conference on Sensing, Communication and Networking (SECON). Boston, MA, USA. June 2019. Link to PURE.
  • M.Schwarz, S. Weiser, D. Gruss. Practical Enclave Malware with Intel SGX. In Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA) 2019, Gothenburg, Sweden, June 2019. Link to PURE.
  • M. Malenko, M. Baunach: “Hardware/Software Co-designed Security Extensions for Embedded Devices”. 32nd Int’l Conference on Architecture of Computing Systems (ARCS), 2019. Link to PURE.
  • F. Foukalas, P. Pop, F. Théoleyre, C.A. Boano, and C. Buratti. Dependable Wireless Industrial IoT Networks: Recent Advances and Open Challenges. In Proceedings of the 24th IEEE European Test Symposium (ETS). Baden Baden, Germany. May 2019. Link to PURE.
  • B. Großwindhager, M. Stocker, M. Rath, C.A. Boano, and K. Römer. SnapLoc: An Ultra-Fast UWB-Based Indoor Localization System for an Unlimited Number of Tags. In Proceedings of the 18th International Conference on Information Processing in Sensor Networks (IPSN), ranked CORE A*. Montréal, Canada. April 2019. Link to PURE.
  • R. Jacob, C.A. Boano, U. Raza, M. Zimmerling, and L. Thiele. Towards a Methodology for Experimental Evaluation in Low-Power Wireless Networking. In Proceedings of the 2nd International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench). Montreal, Canada. April 2019. Link to PURE.

  • M. S. Bakr, B. Großwindhager, M. Rath, J. Kulmer, I. C. Hunter, R. A. Abd-Alhameed, K. Witrisal, C. A. Boano, K. Römer, and W. Bösch. Compact Broadband Frequency Selective Microstrip Antenna and its Application to Indoor Positioning Systems for Wireless Networks. In IET Microwaves, Antennas and Propagation. March 2019. Link to PURE.

  • M. Spörk, C.A. Boano, and K. Römer. Improving the Timeliness of Bluetooth Low Energy in Noisy RF Environments. In Proceedings of the 16th International Conference on Embedded Wireless Systems and Networks (EWSN). Beijing, China. February 2019. Link to PURE.
  • M. Schuß, C.A. Boano, M. Weber, M. Schulz, M. Hollick, and K. Römer. JamLab-NG: Benchmarking Low-Power Wireless Protocols under Controllable and Repeatable Wi-Fi Interference. In Proceedings of the 16th International Conference on Embedded Wireless Systems and Networks (EWSN). Beijing, China, February 2019. Link to PURE.
  • K. Römer, K. Witrisal, M. Baunach, R. Bloem, M.Horn: Dependable Internet of Things, Sensornets 2019, Prague, Czech Republic, February 2019. Link to PURE.
  • R. Martins Gomes, M. Baunach: “Code Generation from Formal Models for Automatic RTOS Portability”. IEEE/ACM Int’l Symposium on Code Generation and Optimization (CGO), 2019. Link to PURE.
  • S. Weiser, M. Werner, F. Brasser, M. Malenko, S. Mangard, A.R. Sadeghi: TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V. In Network and Distributed System Security Symposium (NDSS) 2019. Link to PURE.
  • S. W. Sattler, A. B. Alothman Alterkawi, F. Gentili, R. Teschl, E. Schlaffer, B Reitmaier, W. Bösch: “Embedded Suspended Stripline Substrate Technology (ESSS) as a Catalyst for Low-loss PCB Structures in the Ka-Band”. In Proceedings of the 2019 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications (IMWS-AMP), Bochum, Germany, 2019. Link to PURE.

2018

  • J. Ludwiger, M. Steinberger, M. Horn, G. Kubin, A. Ferrara: Discrete Time Sliding Mode Control Strategies for Buffered Networked Systems, IEEE Conference on Decision and Control, Miami, p. 6735-6740, 2018
  • T. Wilding, S. Grebien, U. Mühlmann and K. Witrisal: “Accuracy Bounds for Array-based Positioning in Dense Multipath Channels”, Sensors, vol. 18, nb. 12, December 2018. Link to PURE.
  • B. Aichernig, R. Bloem, M. Ebrahimi, M. Tappler, J. Winter: Automata Learning for Symbolic Execution. In proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. IEEE CS, p. 130 – 138. Link to PURE.
  • B. Aichernig, M. Tappler: Efficient Active Automata Learning via Mutation Testing, 2018, in Journal of Automated Reasoning. Link to PURE.
  • B. Aichernig, W. Mostowski, M.R. Mousavi, M. Tappler, M. Taromirad: Model Learning and Model-Based Testing, 2018. Book chapter: Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2018, Revised Papers. Springer Nature, p. 74 – 100. Link to PURE.
  • M. S. Bakr, I. C. Hunter, W. Bösch: Miniature Triple-Mode Dielectric Resonator Filters. In: IEEE Transactions on Microwave Theory and Techniques, 22 October 2018. Link to PURE.
  • B. Großwindhager, M. Rath, J. Kulmer, M. S. Bakr, C.A. Boano, K. Witrisal, and K. Römer. SALMA: UWB-based Single-Anchor Localization System using Multipath Assistance. In Proceedings of the 16th ACM International Conference on Embedded Networked Sensor Systems (SenSys). Shenzhen, China. November 2018. Link to PURE.        
  • B. Großwindhager, M. Rath, M. S. Bakr, P.Greiner, C. A. Boano, K. Witrisal, F. Gentili, J.Grosinger, W. Bösch, and K. Römer: Dependable Wireless Communication and Localization in the Internet of Things. In: The Philosophy of Mission-Oriented Sensor Networks and Systems - Volume 2: Advances. H. M. Ammari, D. Frank Hsu, D. Lyons, D. S. L. Wei, G. M. Weiss (Eds.), ISBN 978-3-319-92384-0, Springer, October 2018. Link to PURE.
  • B. K. Aichernig and R. Schumi: “How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols”. In Quantitative Evaluation of Systems – 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, Lecture Notes in Computer Science. Springer, 2018. (doi:10.1007/978-3-319-99154-2_3). Link to PURE.
  • S. Weiser, A. Zankl, R. Spreitzer, K. Miller, S. Mangard, G. Sigl: DATA - Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries. In proceedings of the 27th USENIX Security Symposium - Baltimore, USA. Aug 2018. Link to PURE.
  • B. Großwindhager, C. A. Boano, M. Rath, and K. Römer: Concurrent Ranging with Ultra-Wideband Radios: From Experimental Evidence to a Practical Solution. In Proceedings of the 38th IEEE International Conference on Distributed Computing Systems (ICDCS), July 2018. Link to PURE.
  • B. Großwindhager, C. A. Boano, M. Rath, and K. Römer: Runtime Adaptation of PHY Settings for Dependable UWB Communications: Poster Abstract. In Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), April 2018. Link to PURE.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Miniature Triple-Mode Dielectric Resonator Filters. In the proceedings of International Microwave Symposium (IMS). Philadelphia, USA, 2018. Link to PURE.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Broadband Dual-Mode Dielectric Resonator Filters. In the proceedings of the 15th International Wireless Symposium (IWS). Chengdu, China, 2018. Link to PURE.
  • A. I. Hammoodi,  M. S. Bakr, M. Milanova and H. K. Raad. Isolation Enhancement Between Two Closely Spaced Rectangular Patches for MIMO. In proceedings of the 12th European Conference on Antennas and Propagation (EuCAP). London, UK, 2018. Link to PURE.
  • A. B. A. Alterkawi, M. S. Bakr, R. Teschl, W. Bösch and M. Bozzi. A compact half-mode substrate integrated waveguide filter based on a circular resonator. In Proceedings of the 11th German Microwave Conference (GeMiC) pp. 131-133. Freiburg, Germany, 2018. Link to PURE.
  • B. Großwindhager, C.A. Boano, M. Rath, and K. Römer. Enabling Runtime Adaptation of Physical Layer Settings for Dependable UWB Communications. In Proceedings of the 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). Chania, Greece. June 2018. Link to PURE.
  • C.A. Boano, S. Duquennoy, A. Förster, O. Gnawali, R. Jacob, H.S. Kim, O. Landsiedel, R. Marfievici, L. Mottola, G.P. Picco, X. Vilajosana, T. Watteyne, and M. Zimmerling. Towards a Benchmark for Low-power Wireless Networking. In Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench). Porto, Portugal. April 2018. Link to PURE.
  • M. Schuß, C.A. Boano, and K. Römer. Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems. In Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench). Porto, Portugal. April 2018. Link to PURE.
  • S. Weiser, R. Spreitzer, L. Bodner: Single Trace Attack against RSA Key Generation in Intel SGX SSL. To appear in the 13th ACM ASIA Conference on Information, Computer and Communications Security (ASIACCS 18), Incheon, Republic of Korea, 2018. Link to PURE.
  • M. Schwarz, M. Lipp, D. Gruß, S. Weiser, C. L. N. Maurice, R. Spreitzer, S. Mangard: "KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks" in Network and Distributed System Security Symposium 2018. San Diego, United States. February 2018. Link to PURE.

2017

  • J. Ludwiger, M. Steinberger, M. Rotulo, M. Horn, A. Luppi, G. Kubin, A. Ferrara: Towards Networked Sliding Mode Control, IEEE Conference on Decision and Control, Melbourne, p. 6021-6026, 2017
  • A. B. A. Alterkawi, M. S. Bakr, R. Teschl, W. Bösch and M. Bozzi. A compact half-mode substrate integrated waveguide filter based on a circular resonator. In the proceedings of 11th German Microwave Conference (GeMiC) pp. 131-133. Freiburg, Germany, 2017. Link to PURE.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Miniature Triple-Mode Dielectric Resonator Filters. In the proceedings of International Microwave Symposium 2018 (IMS). Philadelphia, USA, 2017. Link to PURE.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Broadband Dual-Mode Dielectric Resonator Filters. In the proceedings of the 15th International Wireless Symposium (IWS) 2018. Chengdu, China, 2017. Link to PURE.
  • A. I. Hammoodi,  M. S. Bakr, M. Milanova and H. K. Raad. Isolation Enhancement Between Two Closely Spaced Rectangular Patches for MIMO. In proceedings of the 12th European Conference on Antennas and Propagation (EuCAP). London, UK, 2017. Link to PURE.
  • B. Großwindhager, A. Rupp, M. Tappler, M. Tranninger, S. Weiser, B. K. Aichernig, C. A. Boano, M. Horn, G. Kubin, S. Mangard, M. Steinberger, K. Römer: Dependable Internet of Things for Networked Cars in International Journal of Computing, 2017, Volume 16, Issue 4. Link to PURE.
  • B. Großwindhager, M. Rath, J. Kulmer, S. Hinteregger, M.S. Bakr, C.A. Boano, K. Witrisal, and K. Römer. UWB-based Single-anchor Low-cost Indoor Localization System. In Proceedings of the 15th ACM International Conference on Embedded Networked Sensor Systems (SenSys), demo session. Delft, The Netherlands. November 2017. Link to PURE.
  • M.S. Bakr, A. Alterkawi, F. Gentili, W. Bosch: Reconfigurable UWB patch antenna: Cognitive Radio in IMSW, Sep., 2017. Link to PURE.
  • M.S. Bakr, L. Saad, Ian C. Hunter, W. Bosch: Dual-Mode Dual-band Filter Conductor-Loaded Dielectric Resonator Filters, in EuMc, October, 2017. Link to PURE. 
  • B. K. Aichernig and M. Tappler: Probabilistic Black-Box Reachability Checking. In Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA; September 15, 2017. Link to PURE. 
  • M. Spörk, C.A. Boano, M. Zimmerling, and K. Römer: BLEach: Exploiting the Full Potential of IPv6 over BLE in Constrained Embedded IoT Devices. (To Appear) In Proceedings of the 15th ACM International Conference on Embedded Networked Sensor Systems (SenSys), Delft, The Netherlands; November 2017. Link to PURE.
  • T. Sparber, C.A. Boano, S.S. Kanhere, and K. Römer: Mitigating Radio Interference in Large IoT Networks through Dynamic CCA Adjustment -in Proceedings of the 1st International Workshop on Very Large Internet of Things (VLIoT) in conjunction with the 43rd International Conference on Very Large Databases (VLDB), Munich, Germany; August 2017. Link to PURE.
  • Schwarz, M.; Weiser, S.; Gruss, D.; Maurice, C.; Mangard, S.: Malware Guard Extension: Using SGX to Conceal Cache Attack -in 14th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Bonn, Germany; 6-7 July 2017. Link to PURE.
  • Rath, M.; Kulmer, J.; Bakr, M.S.; Großwindhager, B.; Witrisal, K.: Multipath-assisted Indoor Positioning Enabled by Directional UWB Sector Antennas -in: The 18th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2017), Sapporo, Japan; 3-6 July, 2017. Link to PURE.
  • B. K. Aichernig and M. Tappler: "Learning from Faults: Mutation Testing in Active Automata Learning". In 2017 NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227), Moffett Field, Ca., USA; 16-18 May, 2017.  Link to PURE.
  • Weiser, S.; Werner, M.: SGXIO: Generic Trusted I/O Path for Intel SGX. –in: 7th ACM Conference on Data and Application Security and Privacy 2017 (CODASPY '17), Scottsdale, Arizona, USA; 22-24 March, 2017. Link to PURE.
  • Boano, C.A; Schuß, M.; Römer, K.: EWSN Dependability Competition: Experiences and Lessons Learned. IEEE Internet of Things Newsletter. 14 Mar, 2017. Link to PURE.
  • Tappler, M.; Aichernig, B.K; Bloem, R.: Model-Based Testing IoT Communication via Active Automata Learning. –in: 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, 13-18 March, 2017. Link to PURE.
  • Maurice, C.; Weber, M.; Schwarz, M.; Giner, L.; Gruss, D.; Boano, C.A.; Römer, K.; Mangard, S.: Hello from the Other Side: SSH over Robust Cache Covert Channels in the Cloud. -in: The Network and Distributed System Security Symposium (NDSS 2017), San Diego, USA, 26 Feb- 3 March, 2017.
  • Großwindhager, B.; Bakr, M. S.; Rath, M.; Gentili, F.; Bösch, W.; Witrisal, K.; Boano, C. A. and Römer, K. Switchable Directional Antenna System for UWB-based Internet of Things Applications. - in: International Conference on Embedded Wireless Systems and Networks (EWSN2017). Uppsala, Sweden, 20-22 Feb, 2017. Link to PURE.
  • Schuß, M.; Boano, C.A; Weber, M.; Römer, K.: A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge. -in:14th International Conference on Embedded Wireless Systems and Networks (EWSN 2017), Uppsala, Sweden; 20-22 Feb, 2017. Link to PURE.
  • Bloem, R.; Chockler, H.; Ebrahimi, M.; Strichman O.: Synthesizing Non-Vacuous Systems. -in: Bouajjani A., Monniaux D. (eds) Verification, Model Checking, and Abstract Interpretation (VMCAI 2017). Lecture Notes in Computer Science, vol 10145. Springer, Cham, Paris, France; 15-17 Jan, 2017. Link to PURE.

2016

  • Nguyen, A. H.; Rath, M.; Leitinger, E.; Hinteregger, S.; Nguyen, K. V.; Witrisal, K.: Channel Capacity Analysis of Indoor Environments for Location-aware Communications. -in: 59th annual IEEE Global Communications Conference (GLOBECOM 2016), Washington, DC, USA; 4-8 Dec, 2016. Link to PURE.
  • Boano, C.A; Römer, K.; Bloem, R.; Witrisal, K.; Baunach, M.; Horn M.: Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Springer e&i Elektrotechnik & Informationstechnik, DOI 10.1007/s00502-016-0436-4; Nov, 2016. Link to PURE.
  • Baunach, M. C.; Malenko, M.: Real-Time and Security Requirements for the Internet of Things Operating Systems.-in: ECHTZEIT 2016, Gesellschaft für Informatik (GI); 17 Nov, 2016. Link to PURE.
  • Bakr, M. S.; Gentili, F. & Bösch, W.: Triple Mode Dielectric-Loaded Cavity Band Pass Filter. -in: Mediterranean Microwave Symposium (MMS2016), Abu Dhabi, UAE; 20 Sep, 2016. Link to PURE.
  • Bakr, M. S.; Gentili, F. & Bösch, W.: A TE11 Dual-Mode Monoblock Dielectric Resonator Filter. -in: Asia Pacific Microwave Conference, India; 5 Sep, 2016. Link to PURE.

  • Wetzker, U.; Splitt, I.; Zimmerling, M.; Boano, C. A.; Römer, K.: Troubleshooting Wireless Coexistence Problems in the Industrial Internet of Things. In Proceedings of the 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC). Paris, France. August 2016. Link to PURE.

  • Aichernig, B.; Bloem, R.; Pernkopf, F.; Röck, F.; Schrank, T.*, Tappler, M.: Learning Models of a Network Protocol using Neural Network Language Models. -in: 37th IEEE Symposium on Security and Privacy (SP 2016), San Jose, CA, USA; 22-26 May, 2016. Link to PURE.

2015

  • Oppermann, F. J.; Boano, C. A.; Zuniga, M. A.; Römer, K. U.: Automatic Protocol Configuration for Dependable Internet of Things Applications. - in: 10th IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp), Florida, USA; 26-29 Oct, 2015. Link to PURE.
  • Leitinger, E.; Meissner, P.; Lafer, M.; Witrisal, K.: Simultaneous Localization and Mapping using Multipath Channel Information. - in: IEEE ICC 2014 Workshop on Advances in Network Localization and Navigation (ANLN) (2015) In Press. IEEE International Conference on Communications ; 2015. Link to PURE.