J. M. Martínez

Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems

Kishor S. Trivedi, José M. Martínez, Benny Cheng, 2016, VALUETOOLS.

Transient performance analysis of smart grid with dynamic power distribution

Kishor S. Trivedi, Xiaolin Chang, José M. Martínez, 2018, Inf. Sci..

Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric)

Kishor S. Trivedi, Xiaolin Chang, José M. Martínez, 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

CSL model checking of Deterministic and Stochastic Petri Nets

Boudewijn R. Haverkort, José M. Martínez, B. Haverkort, 2005, MMB.