Forschungsbereich Embedded Computing Systems

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
 


Results 1-20 of 484 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Vilanek, Johann Zutrittskontrolle und Überwachung der Laborräume des Instituts für Technische InformatikBericht Report2002
2Prabakaran, Bharath Srinivas ; Rehman, Semeen ; Shafique, Muhammad XBioSiPKonferenzbeitrag Inproceedings 2019
3Brunvand, Erik ; Stevens, Ken ; Moreira, Matheus ; Steininger, Andreas Welcome Message: ASYNC 2020Konferenzbeitrag Inproceedings2020
4Biely, Martin ; Robinson, Peter ; Schmid, Ulrich Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set AgreementKonferenzbeitrag Inproceedings 2009
5Stratil, Hannes Voronoi supported communication in Wireless ad-hoc NetworksKonferenzbeitrag Inproceedings 2005
6Ferringer, Markus ; Fuchs, Gottfried ; Steininger, Andreas ; Kempf, Gerald VLSI Implementation of a Fault-Tolerant Distributed Clock GenerationKonferenzbeitrag Inproceedings 2006
7Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
8Fan, Chuchu ; Meng, Yu ; Maier, Jürgen ; Bartocci, Ezio ; Mitra, Sayan ; Schmid, Ulrich Verifying nonlinear analog and mixed-signal circuits with inputsKonferenzbeitrag Inproceedings 2018
9Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef Verification of Randomized Consensus Algorithms Under Round-Rigid AdversariesKonferenzbeitrag Inproceedings 2019
10Kottke, Thomas ; Steininger, Andreas Vergleich zweier zwischen Sicherheit und Performanz rekonfigurierbarer ProzessorsystemeKonferenzbeitrag Inproceedings 2007
11Winkler, Kyrill ; Schmid, Ulrich ; Nowak, Thomas Valency-Based Consensus Under Message Adversaries Without Limit-ClosureKonferenzbeitrag Inproceedings 2021
12Huemer, Florian ; Polzer, Thomas ; Steininger, Andreas Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGAKonferenzbeitrag Inproceedings 2018
13Alrahis, Lilas ; Patnaik, Satwik ; Hanif, Muhammad Abdullah ; Shafique, Muhammad ; Sinanoglu, Ozgur UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link PredictionKonferenzbeitrag Inproceedings 2021
14van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform interpolation via nested sequents and hypersequentsBericht Report2021
15van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021
16Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich Unfaithful Glitch Propagation in Existing Binary Circuit ModelsKonferenzbeitrag Inproceedings 2013
17Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
18Abbassi, Imran Hafeez ; Khalid, Faiq ; Rehman, Semeen ; Kamboh, Awais Mehmood ; Jantsch, Axel ; Garg, Siddharth ; Shafique, Muhammad TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area FootprintKonferenzbeitrag Inproceedings 2019
19Khalid, Faiq ; Hanif, Muhammad Abdullah ; Rehman, Semeen ; Ahmed, Rehan ; Shafique, Muhammad TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural NetworksKonferenzbeitrag Inproceedings 2019
20Hoang, Le-Ha ; Hanif, Muhammad Abdullah ; Shafique, Muhammad TRe-Map: Towards Reducing the Overheads of Fault-Aware Retraining of Deep Neural Networks by Merging Fault MapsKonferenzbeitrag Inproceedings 2021