Jose Quaresma

According to our database, Jose Quaresma authored at least 5 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

The Guided System Development Framework: Modeling and Verifying Communication Systems.

Jose Quaresma, Christian W. Probst, Flemming Nielson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

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

Distributed RF sensing framework with radio environment emulation.

Jose Quaresma, Carlos Miguel Ribeiro, Atílio Gameiro, Martin Zelenák, Jonathan Duplicy

Proceedings of the IEEE 14th International Symposium on "A World of Wireless, 2013

2011

Using Dafny, an Automatic Program Verifier.

Luke Herbert, K. Rustan M. Leino, Jose Quaresma

Proceedings of the Tools for Practical Software Verification, 2011

2010

Protocol Implementation Generator.

Jose Quaresma, Christian W. Probst

Proceedings of the Information Security Technology for Applications, 2010