cesar-sanchez

Associate Research Professor at the IMDEA Software Institute

IMDEA Software Institute

Pinned Repositories

arvi
Information related to the ARVI Cost Action IC1402 "Runtime Verification Beyond Monitoring"
Language:TeX0 4 00
photo-stream
Hugo theme for your photo albums, based on maxvoltar's photo-stream
Language:Shell0 0 00
smart-exchange
Language:JavaScript0 0 00
elastest-monitoring-service
This is the repository of the ElasTest Monitoring Service, which provides a monitoring infrastructure suitable for inspecting executions of a SuT (System under Test) and the ElasTest platform itself online.
Language:Go4 14 010
HyperQB
The Bounded Model Checker HyperQB
Language:C++3 0 00
dLola
Decentralized Stream Runtime Verification
Language:Go1 7 00
hlola
A Runtime Verification Engine
Language:Haskell5 8 02
leap
A theorem prover for the temporal parametrized verification of concurrent data types
Language:OCaml6 4 00
McLola
Language:Haskell0 8 00
photo-stream
Hugo theme for your photo albums, based on maxvoltar's photo-stream
Language:Shell22 3 29

cesar-sanchez's Repositories

cesar-sanchez/arvi
Information related to the ARVI Cost Action IC1402 "Runtime Verification Beyond Monitoring"
Language:TeX0 4 00
cesar-sanchez/photo-stream
Hugo theme for your photo albums, based on maxvoltar's photo-stream
Language:Shell0 0 00
cesar-sanchez/smart-exchange
Language:JavaScript0 0 00