Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014

Source URL: www.nada.kth.se

• Software testing
• Hardware verification languages
• Electronic engineering
• Verification
• Model checking
• Software verification
• KTH Royal Institute of Technology
• E
• Functional verification
• Formal methods

Lifetime measurement of the first 2+ state in 112Te M. Doncel(1), T. Back(1), B. Cederwall (1), D. Hodge(2), D. Cullen(2) et al (1)The Royal Institute of Technology (KTH), Sweden (2)Schuster Laboratory, University of Man

Source URL: custipen.pku.edu.cn

Session T1A Five Years with Kattis – Using an Automated Assessment System in Teaching Emma Enström, Gunnar Kreitz, Fredrik Niemelä, Pehr Söderman and Viggo Kann KTH – Royal Institute of Technology, ,

Source URL: www.csc.kth.se

Source Coding with Common Reconstruction and Action-dependent Side Information Kittipong Kittichokechai, Tobias J. Oechtering and Mikael Skoglund KTH Royal Institute of Technology, School of EE and ACCESS Center,

Source URL: necsys2010.inrialpes.fr

On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm

Source URL: www.nada.kth.se

A Countermeasure Against Power Analysis Attacks for FSR-Based Stream Ciphers Shohreh Sharif Mansouri and Elena Dubrova Department of Electronic Systems, School of ICT KTH - Royal Institute of Technology, Stockholm Email:

Source URL: skew2011.mat.dtu.dk

DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:

Source URL: www.csc.kth.se

Frequency hopping does not increase anti-jamming resilience of wireless channels Moritz Wiese and Panos Papadimitratos Networked Systems Security Group KTH Royal Institute of Technology, Stockholm, Sweden {moritzw, papad

Source URL: www.kth.se

ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.csc.kth.se

Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

Source URL: prosper.sics.se