Jose Quaresma

Technical University of Denmark - Kongens Lyngby / Denmark

Others

AD Scientific Index ID: 5343197

Danmarks Tekniske Universitet

Registration, Add Profile,
Premium Membership

Print Your Certificate

Jose Quaresma's MOST POPULAR ARTICLES

1-) Using Dafny, an automatic program verifierL Herbert, KRM Leino, J QuaresmaLASER 7682, 156-181, 2012192012

2-) Protocol implementation generatorJ Quaresma, C ProbstInformation Security Technology for Applications, 256-268, 201272012

3-) The guided system development framework: Modeling and verifying communication systemsJ Quaresma, CW Probst, F NielsonInternational Symposium On Leveraging Applications of Formal Methods …, 201442014

4-) On building secure communication systemsJNC QuaresmaTechnical University of Denmark, 201342013

5-) The Guided System Development FrameworkJNC Quaresma, CW Probst, F NielsonNordic Workshop Programming Theory, 69-72, 201112011

ARTICLES

Add your articles