bibliographer - Grigore Roşu

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Generating Optimal Linear Temporal Logic Monitors by Coinduction Koushik Sen Grigore Roşu Gul Agha [github]

Maximal Causal Models for Sequentially Consistent Systems Traian Florin Şerbănuţă Feng Chen Grigore Roşu [github]

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions Koushik Sen Grigore Roşu Gul Agha [github]

Synthesizing Monitors for Safety Properties Klaus Havelund Grigore Roşu [github]

Monitoring Algorithms for Metric Temporal Logic Specifications Prasanna Thati Grigore Roşu [github]

An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Grigore Roşu [github]

A complete formal semantics of x86-64 user-level instruction set architecture Sandeep Dasgupta Daejun Park Theodoros Kasampalis Vikram S. Adve Grigore Roşu [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]