Skip to content

Robert Najvirt

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

3

Active years

2013–2022

Best venue rank

C

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2022DDECSOn SAT-Based Model Checking of Speed-Independent Circuits.Florian Huemer, Robert Najvirt, Andreas Steininger
2021DSDAn Automated Setup for Large-Scale Simulation-Based Fault-Injection Experiments on Asynchronous Digital Circuits.Patrick Behal, Florian Huemer, Robert Najvirt, Andreas Steininger
2018DATEA faithful binary circuit model with adversarial noise.Matthias Fgger, Jrgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2016DSDDoes Cascading Schmitt-Trigger Stages Improve the Metastable Behavior?Andreas Steininger, Robert Najvirt, Jrgen Maier
2015DATETowards binary circuit models that faithfully capture physical solvability.Matthias Fgger, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2015DDECSContainment of Metastable Voltages in FPGAs.Robert Najvirt, Thomas Polzer, Florian Beck, Andreas Steininger
2013DDECSA Multi-Credit Flow Control scheme for asynchronous NoCs.Syed Rameez Naqvi, Robert Najvirt, Andreas Steininger