Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R.R. Lutz
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Software
Related publications
Detecting Unsafe BGP Policies in a Flexible World
Validating System-Level Error Recovery for Spacecraft
On Detecting Termination in the Crash-Recovery Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Resource Sharing in Concurrent Error Detecting Superscalar Microarchitectures
Computing Maximal Error-Detecting Capabilities and Distances of Regular Languages
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Specification-Based Error Recovery: Theory, Algorithms, and Usability
ASR Error Segment Localization for Spoken Recovery Strategy
Unsafe Reasoning: A Survey
DoisPontos
Model-Driven Automated Error Recovery in Cloud Computing