Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Camilo Rocha
Proving Safety Properties of Rewrite Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computing the Parallelism Degree of Timed BPMN Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proving Safety Properties of Software
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Probabilistic Real-Time Rewrite Theories and Their Expressive Power
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving the Safety of SQL Queries
On Proving Syntactic Properties of CPS Programs
BRICS Report Series
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
CrashSafe: A Formal Model for Proving Crash-Safety of Android Applications
Human-centric Computing and Information Sciences
Computer Science
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
