Jose-Ignacio Requeno-Jarabo

I'm a postdoc at Verimag. I'm interested in formal verification and quantitative analysis of concurrent and stochastic systems using temporal logics and Petri nets.

I got my PhD from Universidad de Zaragoza (Spain).

Publications:

DBLP

CV:

In pdf