Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bogdan F. Romanescu
Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency
ACM SIGARCH Computer Architecture News
UNified Instruction/Translation/Data (UNITD) Coherence: One Protocol to Rule Them All
Related publications
Specifying and Verifying Systems With Multiple Clocks
Specifying and Verifying Partial Order Properties Using Template MSCs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Specifying and Checking File System Crash-Consistency Models
ACM SIGPLAN Notices
Computer Science
Modelling, Specifying and Verifying Self-Adaptive Systems Instantiating MAPE Patterns
International Journal of Computer Applications in Technology
Electronic Engineering
Industrial
Computer Networks
Manufacturing Engineering
Communications
Computer Science Applications
Electrical
Information Systems
Software
Verifying Consistency and Validity of Formal Specifications by Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CAnDoR: Consistency Aware Dynamic Data Replication
Sentiment Aware Neural Machine Translation
Verifying Self-Consistency of Protein Structure and Dynamics Through MD Simulation and WAXS
Biophysical Journal
Biophysics
