Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoine Kaufmann
Specifying and Checking File System Crash-Consistency Models
ACM SIGPLAN Notices
Computer Science
High Performance Packet Processing With FlexNIC
ACM SIGARCH Computer Architecture News
Related publications
Specifying and Checking Method Call Sequences of Java Programs
Software Quality Journal
Media Technology
Risk
Reliability
Safety
Quality
Software
Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency
ACM SIGARCH Computer Architecture News
Error Detection Through Consistency Checking
Annals of GIS
Earth
Planetary Sciences
Computer Science Applications
Checking Pedigree Consistency With PCS
Communications and Consistency in Mobile File Systems
IEEE Personal Communications
Formal Consistency Checking Over Specifications in Natural Languages
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Checking Consistency of Pedigree Information Is NP-complete (Preliminary Report)
BRICS Report Series
File System Questionnaire
