Jose Quaresma

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Distributed Multimedia

Communication Systems

Selection Algorithm

Conceptual Framework

Top Venues

EURASIP J. Wirel. Commun. Netw.

Publications

Jose Quaresma, Christian W. Probst, Flemming Nielson
The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) (2014)
Jose Quaresma, Carlos Miguel Ribeiro, Atílio Gameiro, Martin Zelenák, Jonathan Duplicy
Distributed RF sensing framework with radio environment emulation. WOWMOM (2013)
Atílio Gameiro, Carlos Miguel Ribeiro, Jose Quaresma
Selective reporting - a half signalling load algorithm for distributed sensing. EURASIP J. Wirel. Commun. Netw. 2013 (2013)
Luke Herbert, K. Rustan M. Leino, Jose Quaresma
Using Dafny, an Automatic Program Verifier. LASER Summer School (2011)
Jose Quaresma, Christian W. Probst
Protocol Implementation Generator. NordSec (2010)