Forschungsbereich Embedded Computing Systems

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E191-02 - Forschungsbereich Embedded Computing Systems
 
Code Kennzahl
E191-02
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 710 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman ; Ramanayake, Don Revantha Shiyan ; Urban, Josef Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
2Cignarale-2023-Logic ofCommunication Interpretation How toNot Get Lost in...-vor.pdf.jpgCignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich ; Sattler, Uli ; Suda, Martin Logic of Communication Interpretation: How to Not Get Lost in TranslationInproceedings Konferenzbeitrag 13-Sep-2023
3Schlögl, Thomas ; Schmid, Ulrich ; Verbrugge, Rineke A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed SystemsInproceedings Konferenzbeitrag 11-Jul-2023
4Cignarale-2023-Minds and Machines-vor.pdf.jpgCignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas ; Kuznets, Roman The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed SystemsArticle Artikel Jun-2023
5Marchisio, Alberto ; Nanfa, Giorgio ; Khalid, Faiq ; Hanif, Muhammad Abdullah ; Martina, Maurizio ; Shafique, Muhammad SeVuc: A study on the Security Vulnerabilities of Capsule Networks against adversarial attacksArticle Artikel Feb-2023
6Prabakaran-2022-ATLAS An IoT Architecture and Secure Open-source Network...-smur.pdf.jpgPrabakaran, Bharath Srinivas ; Fasching, Felix ; Schreib, Juri ; Steininger, Andreas ; Shafique, Muhammad ATLAS: An IoT Architecture and Secure Open-source Networking Stack for Anonymous Localization and Tracking Using Smartphones and Bluetooth BeaconsPreprint Preprint 20-Dec-2022
7Viale, Alberto ; Marchisio, Alberto ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad LaneSNNs: Spiking Neural Networks for Lane Detection on the Loihi Neuromorphic ProcessorInproceedings Konferenzbeitrag Dec-2022
8van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Nested Sequents, Kripke Models, and Uniform InterpolationPresentation Vortrag1-Nov-2022
9Ferdowsi-2022-An Accurate Hybrid Delay Model for Multi-Input Gates-ao.pdf.jpgFerdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef An Accurate Hybrid Delay Model for Multi-Input GatesReport Bericht 31-Oct-2022
10Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed SystemsPresentation Vortrag24-Oct-2022
11Tabassam-2022-SET Hardened Derivatives of QDI Buffer Template-am.pdf.jpgTabassam, Zaheer ; Steininger, Andreas ; IEEE SET Hardened Derivatives of QDI Buffer TemplateInproceedings Konferenzbeitrag 19-Oct-2022
12Elshehaby-2022-Study and Comparison of QDI Pipeline Components Sensitivity...-am.pdf.jpgElshehaby, Raghda ; Steininger, Andreas ; IEEE Study and Comparison of QDI Pipeline Components' Sensitivity to Permanent FaultsInproceedings Konferenzbeitrag 19-Oct-2022
13Marchisio, Alberto ; Mrazek, Vojtech ; Massa, Andrea ; Bussolino, Beatrice ; Martina, Maurizio ; Shafique, Muhammad RoHNAS: A Neural Architecture Search Framework With Conjoint Optimization for Adversarial Robustness and Hardware Efficiency of Convolutional and Capsule NetworksArticle Artikel 13-Oct-2022
14van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman Framing faultiness Kripke stylePresentation Vortrag6-Sep-2022
15Tabassam-2022-Towards Resilient QDI Pipeline Implementations-am.pdf.jpgTabassam, Zaheer ; Steininger, Andreas ; IEEE Towards Resilient QDI Pipeline ImplementationsInproceedings Konferenzbeitrag 31-Aug-2022
16Tauner-2022-RIPEMB A framework for assessing hardware-assisted software s...-vor.pdf.jpgTauner, Stefan RIPEMB: A framework for assessing hardware-assisted software security schemes in embedded systemsInproceedings Konferenzbeitrag 23-Aug-2022
17Prabakaran, Bharath Srinivas Hardware and Software Architectures for Energy-Efficient Smart Healthcare SystemsPresentation VortragJul-2022
18Tabassam-2022-AFLIPS An Asynchronous Microprocessor With FLexIbly-timed Pi...-am.pdf.jpgTabassam, Zaheer ; Naqvi, Syed Rameez ; Steininger, Andreas AμFLIPS: An Asynchronous Microprocessor With FLexIbly-timed Pipeline StagesInproceedings Konferenzbeitrag 6-Apr-2022
19Ferdowsi, Arman ; Dehghan Chenary, Maryam ; Khanteymoori, Alireza TSCDA: a dynamic two-stage community discovery approachArticle Artikel 31-Mar-2022
20Cignarale, Giorgio A Tribute to Philosophical A Priori Knowledge Research in the Design and Analysis of Fault-Tolerant Distributed SystemsPresentation Vortrag18-Jan-2022