A compiler for conditional term rewriting systems
on Rewriting techniques and applications
First-Order Dynamic Logic
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Reuse of Proofs in Software Verification
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Demonstration of the Interactive Graph-Visualization System da Vinci
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
ERRATA to "The Semantics of the C Programming Language"
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Method for Secure Smartcard Applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Safety Analysis of the Height Control System for the Elbtunnel
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Flaw Detection in Formal Specifications
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Object Oriented Verification Kernels for Secure Java Applications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Verification of Java Programs with Generics
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Automating Algebraic Specifications of Non-freely Generated Data Types
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Trustworthy organic computing systems: challenges and perspectives
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Adding change impact analysis to the formal verification of C programs
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Specifying imperative ML-like programs using dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Predicate abstraction in a program logic calculus
Science of Computer Programming
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Interactive verification of medical guidelines
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal verification of application-specific security properties in a model-driven approach
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Verification of medical guidelines by model checking – a case study
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Incremental development of large, secure smart card applications
Proceedings of the Workshop on Model-Driven Security
JavaSPI: A Framework for Security Protocol Implementation
International Journal of Secure Software Engineering
Hi-index | 0.00 |