Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Grigore Roşu
Runtime Verification Past Experiences and Future Projections
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Runtime Verification of C Memory Safety
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric and Sliced Causality