Reasoning about probabilistic algorithms
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Teaching calculation and discrimination: a more effective curriculum
Communications of the ACM
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
How the Nintendo generation learns
Communications of the ACM - Special issue on LISP
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Deriving programs using generic algorithms
IBM Systems Journal
Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adding fair choice to Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Local and temporal predicates in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Model for Software Product Quality
IEEE Transactions on Software Engineering
Proceedings of the 18th international conference on Software engineering
The Static Parallelization of Loops and Recursions
The Journal of Supercomputing - Special issue: high performance computing systems
Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
Communications of the ACM - Special issue on LISP
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
An Approach to Composition Motivated by wp
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
On the Translation of Procedures to Finite Machines
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Monotonicity in Calculational Proofs
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Calculational Reasoning Revisited (An Isabelle/Isar Experience)
TPHOLs '01 Proceedings of the 14th 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
Lifting Temporal Proofs through Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Galois Connections and Fixed Point Calculus
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Efficient Multiple-Valued Model-Checking Using Lattice Representations
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Reasoning about Composition Using Property Transformers and Their Conjugates
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Model-Checking over Multi-valued Logics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Timing Analysis of Assembler Code Control-Flow Paths
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Formal Basis for a Program Compilation Proof Tool
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Formal Development of Databases in ASSO and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Interfacing Program Construction and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Efficient Analysis of Cyclic Definitions
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Galois connections and fixed point calculus
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic and coalgebraic methods in the mathematics of program construction
Storeless semantics and alias logic
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A class of synchronization systems that permit the use of large atomic blocks
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Analysis and Applications of the XDI model
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
On the parallelization of loop nests containing while loops
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Towards effect preservation of updates with loops
Integrity and internal control in information systems V
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Safety of abstract interpretations for free, via logical relations and Galois connections
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Journal of Functional Programming
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Automatic validation of code-improving transformations on low-level program representations
Science of Computer Programming - Special issue on program transformation
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Efficient weakest preconditions
Information Processing Letters
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building Verification Condition Generators by Compositional Extensions
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Exploring an information-based approach to computation and computational complexity
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Building Verification Condition Generators by Compositional Extension
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Analysis of DynAlloy Specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
Calysto: scalable and precise extended static checking
Proceedings of the 30th international conference on Software engineering
Local Proofs for Linear-Time Properties of Concurrent Programs
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Proving Conditional Termination
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Probabilistic Choice in Refinement Algebra
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Resolution-Like Theorem Proving for High-Level Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A general technique for proving lock-freedom
Science of Computer Programming
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic generation of local repairs for Boolean programs
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Local proofs for global safety properties
Formal Methods in System Design
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Toward an Automatic Approach to Greedy Algorithms
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Proving loop termination: Beyond the traditional method
Journal of Computational Methods in Sciences and Engineering
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Test Case Generation by Contract Mutation in Spec#
Electronic Notes in Theoretical Computer Science (ENTCS)
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An Approach for Refactoring using ESC/Java2 ---A Simple Case Study ---
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Which Mathematics for the Information Society?
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Recursive Abstractions for Parameterized Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Making Temporal Logic Calculational: A Tool for Unification and Discovery
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
From program verification to program synthesis
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Repetitions, known or unknown?
Information Processing Letters
Efficient weakest preconditions
Information Processing Letters
Summarization for termination: no return!
Formal Methods in System Design
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Symmetry and completeness in the analysis of parameterized systems
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
A SAT characterization of boolean-program correctness
SPIN'03 Proceedings of the 10th international conference on Model checking software
Local proofs for global safety properties
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Structural abstraction of software verification conditions
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Lifting general correctness into partial correctness is ok
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
Automatic refinement of split binary semaphore
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Exploiting shared structure in software verification conditions
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Theorem proving modulo based on Boolean equational procedures
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
Science of Computer Programming
Mechanical inference of invariants for FOR-loops
Journal of Symbolic Computation
A formal approach for the development of reactive systems
Information and Software Technology
Logic programming for data warehouse conceptual schema validation
DaWaK'10 Proceedings of the 12th international conference on Data warehousing and knowledge discovery
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Reasoning about loops in total and general correctness
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Modeling and reasoning about service behaviors and their compositions
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Parallelizing a symbolic compositional model-checking algorithm
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
A knowledge-driven approach to web-based learning for formal algorithm development
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Logic training through algorithmic problem solving
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
Discovering network topology in the presence of byzantine faults
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
A dash of fairness for compositional reasoning
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Weakest preconditions for high-level programs
ICGT'06 Proceedings of the Third international conference on Graph Transformations
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Local symmetry and compositional verification
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Recasting hoare and he's unifying theory of programs in the context of general correctness
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Multiprogram design in the theory of Owicki and Gries
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Specification and refinement in general correctness
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Syntax-based synthesis for temporal-safety supervision
Automatica (Journal of IFAC)
Elementary probability theory in the eindhoven style
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Hi-Lite: the convergence of compiler technology and program verification
Proceedings of the 2012 ACM conference on High integrity language technology
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Checking correctness of services modeled as priced timed automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Linking Unifying Theories of Program refinement
Science of Computer Programming
| Hi-index | 0.02 |