Search results for: Margus Veanes
IEEE Security & Privacy > 2017 > 15 > 2 > 14 - 23
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 240-253
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 425-446
2016 IEEE Symposium on Security and Privacy (SP) > 122 - 137
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Reliability of Networked Systems > 324-339
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 640-654
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Methods and Test Tools > 252-266
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Invited Papers > 37-46
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 6. Verification > 305-317
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 3. Model Programs > 112-127
Lecture Notes in Computer Science > FM 2005: Formal Methods > Industry Day: Abstracts of Invited Talks > 542-547
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Abstraction > 53-68
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 3. Model Programs > 128-142
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 355-355