Ulrich Schmid

1. A Framework for Automated Competitive Analysis of On-line Scheduling of\n Firm-Deadline Tasks
   2014/09/08 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Andreas Pavlogiannis +5 · 1 voice
   Computer Science · Engineering · #Data Structures and Algorithms (cs.DS) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Optimization and Search Problems #Scheduling and Optimization Algorithms #Systems and Control (eess.SY) #cs.DS #eess.SY #electronic engineering #information engineering
2. A Faithful Binary Circuit Model with Adversarial Noise
   2020/06/15 by Matthias Függer, Függer, Matthias, Jürgen Maier +7 · 1 citation
   Engineering · Computer Science · #Integrated Circuits and Semiconductor Failure Analysis #VLSI and Analog Circuit Testing #Low-power high-performance VLSI design
3. A Digital Delay Model Supporting Large Adversarial Delay Variations
   2023/01/10 by Daniel Öhlinger, Ulrich Schmid, Öhlinger, Daniel +1 · 1 citation
   Computer Science · #Physical Unclonable Functions (PUFs) and Hardware Security #VLSI and Analog Circuit Testing #Advanced Malware Detection Techniques
4. Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
   2012/10/14 by Annu John, Igor Konnov, John, Annu +7 · 2 citations
   Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC)
5. Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
   2024/03/05 by Arman Ferdowsi, Matthias Függer, Ferdowsi, Arman +7 · 1 citation
   Engineering · #Extremum Seeking Control Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Hardware Architecture (cs.AR) #Photonic and Optical Devices #Semiconductor Lasers and Optical Devices #Systems and Control (eess.SY) #electronic engineering #information engineering