Login / Signup
Jose Ruiz
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 2
Top Topics
Model Checker
Protocol Specification
Formal Methods
Viewpoint
Top Venues
Ada-Europe
DATE
</>
Publications
</>
Dimitris Aspetakis
,
Leonidas Kosmidis
,
Matina Maria Trompouki
,
Jose Ruiz
,
Gábor Marosy
Formal Methods for High Integrity GPU Software Development and Verification.
DATE
(2024)
Patrick Rogers
,
Jose Ruiz
,
Tristan Gingold
,
Patrick Bernardi
A New Ravenscar-Based Profile.
Ada-Europe
(2017)