ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Eliminating array bound checking through dependent types
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ATM switch design by high-level modeling, formal verification and high-level synthesi
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Deriving Efficient Cache Coherence Protocols Through Refinement
Formal Methods in System Design
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Dependent Types for Program Termination Verification
Higher-Order and Symbolic Computation
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Logic for the Java Modeling Language JML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Syntax and Semantics of Java
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Modelisation of Timed Automata in Coq
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Specifying and Verifying a Decimal Representation in Java for Smart Cards
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Locales - A Sectioning Concept for Isabelle
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar)
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mechanical Abstraction of CSPZ Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Software Verification Based on Linear Programming
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Model Checking Based on Sequential ATPG
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Formal verification of the FPGA cores
Nordic Journal of Computing
Automatically proving the correctness of compiler optimizations
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Analysis and Verification of Multi-Agent Interaction Protocols
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Semi-formal design of reliable mesh generation systems
Advances in Engineering Software
Formal methods for smart cards: an experience report
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Encyclopedia of Computer Science
ACM Transactions on Information and System Security (TISSEC)
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A verification methodology for concurrent software with synchronous communication
Formal methods and models for system design
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Combining ACL2 and an automated verification tool to verify a multiplier
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Model checking the Java metalocking algorithm
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static analysis of executables to detect malicious patterns
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Specification-based data reduction in dimensional data warehouses
Information Systems
Formal analysis techniques for gossiping protocols
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
CMV: automatic verification of complete mediation for java virtual machines
Proceedings of the 2008 ACM symposium on Information, computer and communications security
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
Electronic Notes in Theoretical Computer Science (ENTCS)
It Is Time to Mechanize Programming Language Metatheory
Verified Software: Theories, Tools, Experiments
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
THF0 --- The Core of the TPTP Language for Higher-Order Logic
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Coinduction Rule for Entailment of Recursively Defined Properties
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Convergence Verification: From Shared Memory to Partially Synchronous Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
A general technique for proving lock-freedom
Science of Computer Programming
Declarative Network Verification
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
A Formal Connection between Security Automata and JML Annotations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Periodically Controlled Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Formal Memory Models for the Verification of Low-Level Operating-System Code
Journal of Automated Reasoning
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ACM Computing Surveys (CSUR)
Proof Assisted Model Checking for B
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Predicate and Relation Lifting for Parametric Algebraic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A tool architecture to verify properties of multiagent system at runtime
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Equational binary decision diagrams
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Testing and verifying invariant based programs in the SOCOS environment
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Verifying lock-freedom using well-founded orders
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Optimal deployment of eventually-serializable data services
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
CTP-based programming languages?: considerations about an experimental design
ACM Communications in Computer Algebra
Applying PVS background theories and proof strategies in invariant based programming
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
A monadic approach to automated reasoning for Bluespec SystemVerilog
Innovations in Systems and Software Engineering
Logical formalisation and analysis of the mifare classic card in PVS
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Translating timed i/o automata specifications for theorem proving in PVS
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
A SAT-based decision procedure for the subclass of unrollable list formulas in ACL2 (SULFA)
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Proving atomicity: an assertional approach
DISC'05 Proceedings of the 19th international conference on Distributed Computing
NuEditor – a tool suite for specification and verification of NuSCR
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Verifying invariant based programs in the SOCOS environment
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Revising conflicting intention sets in BDI agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A proof framework for concurrent programs
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Formal analysis of event-driven cyber physical systems
Proceedings of the First International Conference on Security of Internet of Things
PLDI 2002: Extended static checking for Java
ACM SIGPLAN Notices - Supplemental issue
Hi-index | 0.00 |