Carlos Cotrini Jiménez

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Safety Analysis

Machine Learning

Role Based Access Control

Top Venues

Inf. Process. Lett.

Publications

Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel
Analyzing First-Order Role Based Access Control. CSF (2015)
David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu
Deciding safety and liveness in TPTL. Inf. Process. Lett. 114 (12) (2014)