Dependable Internet of Things

Boano, Carlo Alberto (Co-Investigator (CoI))
Kubin, Gernot (Co-Investigator (CoI))
Bloem, Roderick (Co-Investigator (CoI))
Horn, Martin (Co-Investigator (CoI))
Pernkopf, Franz (Co-Investigator (CoI))
Zakany, Nora (Co-Investigator (CoI))
Mangard, Stefan (Co-Investigator (CoI))
Witrisal, Klaus (Co-Investigator (CoI))
Römer, Kay Uwe (Co-Investigator (CoI))
Aichernig, Bernhard (Co-Investigator (CoI))
Bösch, Wolfgang (Co-Investigator (CoI))
Baunach, Marcel Carsten (Co-Investigator (CoI))
Tappler, Martin (Co-Investigator (CoI))
Malenko, Maja (Co-Investigator (CoI))
Weiser, Samuel (Co-Investigator (CoI))
Eichlseder, Maria (Co-Investigator (CoI))
Leitinger, Erik (Co-Investigator (CoI))
Grosinger, Jasmin (Co-Investigator (CoI))
Großwindhager, Bernhard (Co-Investigator (CoI))
Ebrahimi, Masoud (Co-Investigator (CoI))
Alothman Alterkawi, Ahmad Bader (Co-Investigator (CoI))
Knoll, Christian (Co-Investigator (CoI))
Teschl, Reinhard (Co-Investigator (CoI))
Saukh, Olga (Co-Investigator (CoI))
Rath, Michael (Co-Investigator (CoI))
Steinberger, Martin (Co-Investigator (CoI))
Steinbauer-Wagner, Gerald (Co-Investigator (CoI))
Tranninger, Markus (Co-Investigator (CoI))

Project: Research project

78 Conference paper
22 Article
5 Paper
4 Chapter
More

22 results

Filter

2023
Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency
Gigerl, B., Klug, F., Mangard, S., Mendel, F. & Primas, R., 4 Dec 2023, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 1, p. 309-335 27 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2022
AALpy: An active automata learning library
Muškardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., Sept 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 417-426 10 p.
Research output: Contribution to journal › Article › peer-review

Open Access
Adaptive testing for specification coverage and refinement in CPS models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., Nov 2022, In: Nonlinear Analysis: Hybrid Systems. 46, 16 p., 101254.
Research output: Contribution to journal › Article › peer-review

Open Access
Amplitude Modeling of Specular Multipath Components for Robust Indoor Localization
Nguyen Hong, A., Van Nguyen, K. & Witrisal, K., 1 Jan 2022, In: Sensors . 22, 2, 22 p., 462.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Detectability Conditions and State Estimation for Linear Time-Varying and Nonlinear Systems
Tranninger, M., Seeber, R., Steinberger, M., Horn, M. & Pötzsche, C., 22 Aug 2022, In: SIAM Journal on Control and Optimization. 60, 4, p. 2514 - 2537 24 p.
Research output: Contribution to journal › Article › peer-review

Open Access
Finite-Time State-Observer for a Class of Linear Time-Varying Systems with Unknown Inputs
Davila, J., Tranninger, M. & Fridman, L., 1 Jun 2022, In: IEEE Transactions on Automatic Control. 67, 6, p. 3149-3156 8 p.
Research output: Contribution to journal › Article › peer-review
Integral state-feedback control of linear time-varying systems: A performance preserving approach
Seeber, R. & Tranninger, M., Feb 2022, In: Automatica. 136, 9 p., 110000.
Research output: Contribution to journal › Article › peer-review

Open Access
Riding the Waves Towards Generic Single-Cycle Masking in Hardware
Nagpal, R., Gigerl, B., Primas, R. & Mangard, S., 31 Aug 2022, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2022, 4, p. 693–717 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
Self-Guided Belief Propagation – a Homotopy Continuation Method
Knoll, C., Weller, A. & Pernkopf, F., 2022, (E-pub ahead of print) In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 2022, p. 1-18 18 p.
Research output: Contribution to journal › Article › peer-review

Open Access
2021
5G Positioning and Mapping with Diffuse Multipath
Wen, F., Kulmer, J., Witrisal, K. & Wymeersch, H., Feb 2021, In: IEEE Transactions on Wireless Communications . 20, 2, p. 1164-1174 11 p., 9234644.
Research output: Contribution to journal › Article › peer-review
Beobachterentwurf für lineare, zeitvariante Systeme mittels Spektraltheorie
Translated title of the contribution: Spectral theory based observer design for linear time-varying systemsTranninger, M., Seeber, R., Steinberger, M. & Horn, M., 23 Feb 2021, In: Automatisierungstechnik. 69, 2, p. 85-96 12 p.
Research output: Contribution to journal › Article › peer-review
L*-Based Learning of Markov Decision Processes (Extended Version)
Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., Aug 2021, In: Formal Aspects of Computing. 33, 4-5, p. 575-615 41 p.
Research output: Contribution to journal › Article › peer-review

Open Access
2020
Detectability Analysis and Observer Design for Linear Time Varying Systems
Tranninger, M., Seeber, R., Zhuk, S., Steinberger, M. & Horn, M., Apr 2020, In: IEEE Control Systems Letters. 4, 2, p. 331-336 6 p., 8758319.
Research output: Contribution to journal › Article › peer-review
Malware Guard Extension: abusing Intel SGX to conceal cache attacks
Schwarz, M., Weiser, S., Gruß, D., Maurice, C. L. N. & Mangard, S., 1 Dec 2020, In: Cybersecurity. 3, 1, 20 p., 2.
Research output: Contribution to journal › Article › peer-review

Open Access
Uniform Detectability of Linear Time Varying Systems With Exponential Dichotomy
Tranninger, M., Seeber, R., Steinberger, M. & Horn, M., Oct 2020, In: IEEE Control Systems Letters. 4, 4, p. 809-814 6 p., 9088145.
Research output: Contribution to journal › Article › peer-review

Open Access
2019
Efficient Active Automata Learning via Mutation Testing
Aichernig, B. & Tappler, M., 2019, In: Journal of Automated Reasoning. 63, 4, p. 1103-1134 32 p.
Research output: Contribution to journal › Article › peer-review

Open Access
Probabilistic black-box reachability checking (extended version)
Aichernig, B. & Tappler, M., Nov 2019, In: Formal Methods in System Design. 54, 3, p. 416-448 33 p.
Research output: Contribution to journal › Article › peer-review

Open Access
Spatially Distributed Networked Sliding Mode Control
Ludwiger, J. C., Steinberger, M. & Horn, M., 30 May 2019, In: IEEE Control Systems Letters. 3, 4, p. 972-977
Research output: Contribution to journal › Article › peer-review
2017
An Experimental Evaluation of the Reliability of LoRa Long-Range Low-Power Wireless Communication
Cattani, M., Boano, C. A. & Römer, K. U., 15 Jun 2017, In: Journal of Sensor and Actuator Networks . 6, 2, 7.
Research output: Contribution to journal › Article › peer-review

Open Access
Dependable Internet of Things for Networked Cars
Großwindhager, B., Rupp, A., Tappler, M., Tranninger, M., Weiser, S., Aichernig, B., Boano, C. A., Horn, M., Kubin, G., Mangard, S., Steinberger, M. & Römer, K. U., Dec 2017, In: International Journal of Computing. 16, 4, p. 226-237
Research output: Contribution to journal › Article › peer-review

Open Access
EWSN Dependability Competition: Experiences and Lessons Learned
Boano, C. A., Schuß, M. & Römer, K. U., 14 Mar 2017, IEEE Internet of Things Newsletter , 2017, March .
Research output: Contribution to specialist publication › Article › peer-review
2016
Dependability for the Internet of Things: From dependable networking in harsh environments to a holistic view on dependability
Boano, C. A., Römer, K. U., Bloem, R., Witrisal, K., Baunach, M. C. & Horn, M., 11 Nov 2016, In: Elektrotechnik und Informationstechnik. 133, 7, p. 304–309
Research output: Contribution to journal › Article

Dependable Internet of Things

Research output

Search results