Protocol Implementation Generator. - Jose Quaresma; Christian W. Probst (NordSec, 2010)

Using Dafny, an Automatic Program Verifier. - Luke Herbert; K. Rustan M. Leino; Jose Quaresma (LASER Summer School, 2011)

Distributed RF sensing framework with radio environment emulation. - Jose Quaresma; Carlos Miguel Ribeiro; Atílio Gameiro; Martin Zelenák; Jonathan Duplicy (WOWMOM, 2013)

Selective reporting - a half signalling load algorithm for distributed sensing. - Atílio Gameiro; Carlos Miguel Ribeiro; Jose Quaresma (EURASIP J. Wirel. Commun. Netw., 2013)

The Guided System Development Framework: Modeling and Verifying Communication Systems. - Jose Quaresma; Christian W. Probst; Flemming Nielson (ISoLA (2), 2014)