Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-adjusting binary search trees
Journal of the ACM (JACM)
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM) - The MIT Press scientific computation series
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A locally adaptive data compression scheme
Communications of the ACM
Abstraction-based software development
Communications of the ACM
The British Nationality Act as a logic program
Communications of the ACM
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Schematic pseudocode for program constructs and its computer automation by SCHEMACODE
Communications of the ACM
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
A verified sliding window protocol with variable flow control
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
On cacheability of lock-variables in tightly coupled multiprocessor systems
ACM SIGARCH Computer Architecture News
Communications of the ACM
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
APL function definition notation
APL '87 Proceedings of the international conference on APL: APL in transition
A generalized iterative construct and its semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings on Advances in cryptology---CRYPTO '86
Specification statements and refinements
IBM Journal of Research and Development
A path selection global touter
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
An alternate design for Fortran 8X
ACM SIGPLAN Fortran Forum
Specification and verification of concurrent programs by A∀automata
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Undebuggability and cognitive science
Communications of the ACM
The “Hamming problem” in Prolog
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program verification: the very idea
Communications of the ACM
Using induction to design algorithms
Communications of the ACM
Functional Development of Database Applications
IEEE Transactions on Software Engineering
Service specification and protocol construction for the transport layer
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The Turing programming language
Communications of the ACM
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
A verified connection management protocol for the transport layer
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
m-EVES: A tool for verifying software
ICSE '88 Proceedings of the 10th international conference on Software engineering
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
Verified data transfer protocols with variable flow control
ACM Transactions on Computer Systems (TOCS)
Mathematical Principles for a First Course in Software Engineering
IEEE Transactions on Software Engineering
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Consideration on Real-Time Behavior of Concurrent Programs
IEEE Transactions on Software Engineering
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Operations on sets of intervals - an exercise for data structures or algorithms
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Never mind the language, what about the paradigm?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Penelope, an Ada verification system
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Developing formally verified Ada programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A top down unification of minimum cost spanning tree algorithms
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
On the design of some systolic algorithms
Journal of the ACM (JACM)
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
An exercise in the formal derivation of parallel programs: maximum flows in graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
win and sin: predicate transformers for concurrency
ACM Transactions on Programming Languages and Systems (TOPLAS)
The flow of control notations pancode and boxcharts
ACM SIGPLAN Notices
How to print floating-point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fairness and hyperfairness in multi-party interactions
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A conservative alternative to pancode
ACM SIGPLAN Notices
State Constraints and Pathwise Decomposition of Programs
IEEE Transactions on Software Engineering
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
GRIN: The History of a Laboratory
IEEE Annals of the History of Computing
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Implementation of a non-deterministic loop
ACM SIGCSE Bulletin
On a connection between programming and mathematics
ACM SIGCSE Bulletin
Exploiting multi-way branching to boost superscalar processor performance
ACM SIGPLAN Notices
Objects concepts and bibliography
ACM SIGPLAN Notices
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Teaching loop invariants to beginners by examples
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
Programming by multiset transformation
Communications of the ACM
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correctness of trap-based breakpoint implementations
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deriving programs using generic algorithms
IBM Systems Journal
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGACT News
Parallel multiplication: a case study in parallel programming
ACM SIGPLAN Notices
ACM SIGPLAN OOPS Messenger
Parallel discrete event simulation: a modeling methodological perspective
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Teaching programming to liberal arts students: using loop invariants
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Object oriented methods using Fortran 90
ACM SIGPLAN Fortran Forum
Loop invariants and mathematical games
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Integrating a formal specification course with a software projects course via an editing tool
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Toward better software automation
ACM SIGSOFT Software Engineering Notes
A scalable, automated process for year 2000 system correction
Proceedings of the 18th international conference on Software engineering
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
On the need for a popular formal semantics
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Synthesis of concurrent systems for an atomic read/atomic write model of computation
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
ICSE '91 Proceedings of the 13th international conference on Software engineering
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Content + experiences = curriculum
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Synthesis of fault-tolerant concurrent programs
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
The problem of examination questions in algorithmics
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Reasoning about implicit invocation
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Modeling deflection networks: design and specification
Proceedings of the 1999 ACM symposium on Applied computing
ISPD '99 Proceedings of the 1999 international symposium on Physical design
An initial assessment of aspect-oriented programming
Proceedings of the 21st international conference on Software engineering
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Fast algorithms for sorting and searching strings
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
The first decade of an undergraduate degree programme in software engineering
Annals of Software Engineering - Special issue on software engineering education
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Reasoning about Grover's quantum search algorithm using probabilistic wp
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent manipulation of binary search trees
ACM Transactions on Database Systems (TODS)
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
An algorithm for batch updates
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Parallel program verification with directed graphs
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Systematic program development/proof using Dromey's method: some comparisons with top-down design
CSC '91 Proceedings of the 19th annual conference on Computer Science
Symbolic pointer analysis for detecting memory leaks
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Scheduling control mechanisms for managing indeterminate object behavior
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Empirical results of a software engineering curriculum incorporating formal methods
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Toward a theory of maximally concurrent programs (shortened version)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Symbolic Cache Analysis for Real-Time Systems
Real-Time Systems - Special issue on worst-case execution-time analysis
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
Putting static analysis to work for verification: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Safety checking of machine code
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Translation validation for an optimizing compiler
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
PIROL: a case study for multidimensional separation of concerns in software engineering environments
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Web-based simulation: revolution or evolution?
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Space-Efficient Implementations of Graph Search Methods
ACM Transactions on Mathematical Software (TOMS)
Permutation Generation Methods
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
The Psychological Study of Programming
ACM Computing Surveys (CSUR)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
Is Sometimes Ever Better Than Always?
ACM Transactions on Programming Languages and Systems (TOPLAS)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Derivation of Invariant Assertions During Program Development by Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transformational Derivation of a Garbage Collection Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Weaker Precondition for Loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Development of the Algebra of Functional Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
An OIS model for internal accounting control evaluation
ACM Transactions on Information Systems (TOIS)
Some negative results concerning prime number generators
Communications of the ACM
Predicative programming Part I
Communications of the ACM
Using formal specifications in the design of a human-computer interface
Communications of the ACM
A generalized control structure and its formal definition
Communications of the ACM
On-the-fly optimization of data structures
Communications of the ACM
Program developments: formal explanations of implementations
Communications of the ACM
Analysis of pointer “rotation”
Communications of the ACM
One more time — how to update a master file
Communications of the ACM
Modularity and the sequential file update problem
Communications of the ACM
Parallel programs: proofs, principles, and practice
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
An analysis of algorithms for the Dutch National Flag Problem
Communications of the ACM
A note on conditional expressions
Communications of the ACM
Avoiding exponential explosion: generating compact verification conditions
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving the Correctness of the Standardized Algorithm for ABR Conformance
Formal Methods in System Design
Aspect-oriented frameworks (poster session): the design of adaptable operating systems
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Continuous self-evaluation for the self-improvement of software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Automatic predicate abstraction of C programs
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Phase Synchronization on Asynchronous Uniform Rings with Odd Size
IEEE Transactions on Parallel and Distributed Systems
Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A curriculum for a University course in advanced COBOL
ACM SIGCSE Bulletin
Are constructive formal specifications less abstract?
ACM SIGPLAN Notices
Into the fourth dimension—an introduction to dynamic analysis and design
ACM SIGSOFT Software Engineering Notes
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Technical correspondence: file updating—still once more
Communications of the ACM
Technical correspondence: File updating—still once more. author's response
Communications of the ACM
Technical correspondence: on nondeterministic programs
Communications of the ACM
Technical correspondence: on triform programs
Communications of the ACM
Technical correspondence: on triform programs. author's repsonse
Communications of the ACM
Technical correspondence: updating a master file --- yet another time
Communications of the ACM
Aspect-oriented programming: Introduction
Communications of the ACM
Handling crosscutting constraints in domain-specific modeling
Communications of the ACM
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
B: towards zero defect software
High integrity software
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Predicate abstraction for software verification
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Improvements to systematic program development
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Information hiding, the Intel iAPX 432,and Ada
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Partial correctness for probabilistic demonic programs
Theoretical Computer Science
SOMA: a paradigm to evolve software based on separation of concerns
Proceedings of the International Workshop on Principles of Software Evolution
Deriving specialized program analyses for certifying component-client conformance
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Using data groups to specify and check side effects
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
A mechanically certified theorem about optimal concurrency of sorting networks
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Nondeterminism in logics of programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The evolution of programs: a system for automatic program modification
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On systematic design of globally consistent executable assertions in embedded software
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Parametric shape analysis via 3-valued logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Line generation for incremental and raster devices
SIGGRAPH '77 Proceedings of the 4th annual conference on Computer graphics and interactive techniques
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Readings in hardware/software co-design
Verifying reachability invariants of linked structures
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Axiomatic definitions of programming languages: a theoretical assessment (preliminary report)
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Theoretical Computer Science
Crosscutting quality attributes for requirements engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Starting top-down, refining bottom-up, sharpening by zoom-in
ACM SIGCSE Bulletin
Proceedings of the 24th International Conference on Software Engineering
Using SPIN to verify protocols at the implementation level
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
A logic for expressions with side-effects
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On effective axiomatizations of Hoare logics
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Is the interesting part of process logic uninteresting?: a translation from PL to PDL
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating independent components with on-demand remodularization
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Generic programming for high performance scientific applications
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Reduction and Quantifier Elimination Techniques for Program Validation
Formal Methods in System Design
ACM SIGAPL APL Quote Quad
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Views and Patterns in E-Commerce Application Design
Annals of Software Engineering
Agent-Based Simulation of Animal Behaviour
Applied Intelligence
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language
IEEE Annals of the History of Computing
The History of Fortran I, II, and III
IEEE Annals of the History of Computing
Computer
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
Using Expert Systems to Construct Formal Specifications
IEEE Expert: Intelligent Systems and Their Applications
Systematic Program Development
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Proof Rules for Flush Channels
IEEE Transactions on Software Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
IEEE Transactions on Software Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
Explanation-Based Generalization: A Unifying View
Machine Learning
Theoretical Computer Science
Recursive object types in a logic of object-oriented programs
Nordic Journal of Computing
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
IEEE Transactions on Knowledge and Data Engineering
IEEE Annals of the History of Computing
Analysis of an Industrial System
Formal Methods in System Design
Machines that learn to play games
Interactive System Safety and Usability Enforced with the Development Process
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Providing Global Management Functions for ATM Networks
DSOM '00 Proceedings of the 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Services Management in Intelligent Networks
On the Use of Meaningful Names in Knowledge-Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Optimizing Content Management System Pipelines
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Specification of an Asynchronous On-chip Bus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a Refinement Calculus for Concurrent Real-Time Programs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Unifying Theories of Parallel Programming
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Theorem Prover Support for Precondition and Correctness Calculation
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Light-Weight Framework for Hardware Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Rough Sets, Guarded Command Language, and Decision Rules
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Representing WP Semantics in Isabelle/ZF
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Functional Procedures in Higher-Order Logic
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A Formal Approach to Probabilistic Termination
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Weakest Precondition for General Recursive Programs Formalized in Coq
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Proof of Imperative Programs in Type Theory
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Synthesis of Large Concurrent Programs via Pairwise Composition
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
The Essence of Program Transformation by Partial Evaluation and Driving
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Towards a "Good" Functional and Executable Behavior Model
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Knowledge-Based Object-Oriented Software Engineering
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Issues in the Refinement of Distributed Programs
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A System for Object Code Validation
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Component-Based Synthesis of Dependable Embedded Software
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Action Systems with Continuous Behaviour
Hybrid Systems V
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Extended Static Checking: A Ten-Year Perspective
Informatics - 10 Years Back. 10 Years Ahead.
Assertion Checking Environment (ACE) for Formal Verification of C Programs
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Correctness Proof of the Standardized Algorithm for ABR Conformance
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Scientific Decisions which Characterize VDM
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
Refinement Semantics and Loop Rules
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
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Temporal-Safety Proofs for Systems Code
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
From Kleene Algebra to Refinement Algebra
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Enforcing behavior with contracts
Programming methodology
A probabilistic approach to information hiding
Programming methodology
Developing reproducible and comprehensible computational models
Artificial Intelligence
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Effective binary perspectives in algorithmic problem solving
Journal on Educational Resources in Computing (JERIC)
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Nordic Journal of Computing
Formal software engineering for computational modelling
Nordic Journal of Computing
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Survey of recent operating systems research, designs and implementations
ACM SIGOPS Operating Systems Review
Proceedings of the 25th International Conference on Software Engineering
Fast partial evaluation of pattern matching in strings
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
CSSV: towards a realistic tool for statically detecting all buffer overflows in C
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
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
Projection: A Synthesis Technique for Concurrent Systems
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systems programming in concurrent prolog
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A good Hoare axiom system for an ALGOL-like language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A global routing algorithm for general cells
DAC '84 Proceedings of the 21st Design Automation Conference
The CRITTER system: Automated critiquing of digital circuit designs
DAC '84 Proceedings of the 21st Design Automation Conference
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Logic versus mathematics in computer science education
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Diagnostic system for distributed software: A relational database approach
ICSE '84 Proceedings of the 7th international conference on Software engineering
Structure charts and program correctness proofs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Schema recognition for program transformations
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
On proving the correctness of optimizing transformations in a digital design automation system
DAC '81 Proceedings of the 18th Design Automation Conference
A software methodology for building interactive tools
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
On correct program development
ICSE '79 Proceedings of the 4th international conference on Software engineering
A system to improve incorrect programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Structured design methodologies
DAC '78 Proceedings of the 15th Design Automation Conference
Introduction to the WELLMADE design methodology
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Computability and completeness in logics of programs (Preliminary Report)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Parameter-passing mechanisms and nondeterminism
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference
Firmware versus software verification
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A programming sequence for the liberal arts college
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Dynamic algebras and the nature of induction
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Understanding and using asynchronous message passing (Preliminary Version)
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Fair termination of communicating processes
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Specification of data structures for FP programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Automatic synthesis of optimal invariant assertions: Mathematical foundations
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Abstractions, instantiations, and proofs of marking algorithms
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The automatic synthesis of recursive programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Proceedings of the Strathclyde ALGOL 68 conference
The semantics of graphical input
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
Research paradigms in computer science
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software tools used in the development of a VLSI VAX Microcomputer
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Proceedings of an ACM conference on Language design for reliable software
The history of FORTRAN I, II, and III
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
A general result on infinite trees and its applications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A linear-time algorithm for a special case of disjoint set union
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A characterization of Hoare's logic for programs with Pascal-like procedures
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
An ADATM compatible specification language
ACM '81 Proceedings of the ACM '81 conference
ACM '81 Proceedings of the ACM '81 conference
Structured programming in the 1980s
ACM '80 Proceedings of the ACM 1980 annual conference
Abstracto 84: The next generation
ACM '79 Proceedings of the 1979 annual conference
Assertional checking and symbolic execution: An effective combination for debugging
ACM '79 Proceedings of the 1979 annual conference
An extension to algebraic specifications to incorporate state behavior
ACM '79 Proceedings of the 1979 annual conference
Assignments and high level data types
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Heuristics for program synthesis using loop invariants
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '77 Proceedings of the 1977 annual conference
Where is programming methodology these days?
ACM SIGCSE Bulletin
ICPL: an initial concurrent programming language
ACM SIGCSE Bulletin
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Process synchronization by counter variables
ACM SIGOPS Operating Systems Review
A Simple Program whose Derivation and proof is also
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
The abstraction and instantiation of string-matching programs
The essence of computation
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modeling quantum computing in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
A linear approximation algorithm for bin packing with absolute approximation factor 3/2
Science of Computer Programming
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Assertions: a personal perspective
Software pioneers
Learning programs from traces using version space algebra
Proceedings of the 2nd international conference on Knowledge capture
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Gödel numbers: a new approach to structured programming
ACM SIGPLAN Notices
do considered reflectively: a contribution to group programming
ACM SIGPLAN Notices
do considered obviously odd in three dimensions
ACM SIGPLAN Notices
A paradigm for dealing with exceptions
ACM SIGPLAN Notices
A new algorithm for the construction of minimal acyclic DFAs
Science of Computer Programming
A Boyer--Moore-style algorithm for regular expression pattern matching
Science of Computer Programming
On logic programs that always succeed
Science of Computer Programming
Containment defines a class of recursive data structures
ACM SIGPLAN Notices
Towards Software Product-Lines — A Refinement-Oriented Generation Language
BT Technology Journal
Specification and refinement of a message router
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
FEA: a formal English subset for Algebra/Assertions
ACM SIGPLAN Notices
Structured programming with loop statements
ACM SIGPLAN Notices
On orthogonality in programming languages
ACM SIGPLAN Notices
On the formal treatment of a permutation finding program
ACM SIGPLAN Notices
On control constructs for constructing programs
ACM SIGPLAN Notices
Structure charts a structured alternative to flowcharts
ACM SIGPLAN Notices
Structuring control in Fortran
ACM SIGPLAN Notices
Software metrics, information and entropy
Practicing software engineering in the 21st century
Studying program correctness by constructing contracts
Proceedings of the 8th annual conference on Innovation and technology in computer science education
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Mathematical Structures in Computer Science
Adding the leads-to operator to Dijkstra's calculus
ACM SIGPLAN Notices
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
Aspects of Formal and Graphical Design of a Bus System
Proceedings of the conference on Design, automation and test in Europe - Volume 1
ACM Transactions on Programming Languages and Systems (TOPLAS)
Building large-scale Bayesian networks
The Knowledge Engineering Review
Reasoning about recursive procedures with parameters
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
On Data Distributions in the Construction of Parallel Programs
The Journal of Supercomputing
On selective and repetitive constructs
ACM SIGPLAN Notices
A general construction for expressing repetition
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGCSE Bulletin
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Automatic software model checking via constraint logic
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Computer science education at universities: the case of developing countries
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Program Adaptation via Output-Constraint Specialization
Higher-Order and Symbolic Computation
IEEE Transactions on Software Engineering
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Generating Tests from Counterexamples
Proceedings of the 26th International Conference on Software Engineering
Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Embedding instructive assertions in program design
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
ACM SIGSOFT Software Engineering Notes
We have met the enemy and she is us: a mixup'd search for software engineering
ACM SIGSOFT Software Engineering Notes
Pragmatic problems with step-wise refinement program development
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Old-fashioned logic for verification
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Space-efficient planar convex hull algorithms
Theoretical Computer Science - Latin American theorotical informatics
Journal of Functional Programming
A sound (and complete) model of contracts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Symbolic Execution of Program Paths Involving Pointer and Structure Variables
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Algorithmic patterns and the case of the sliding delta
ACM SIGCSE Bulletin
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Modular Design of Reactive Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
PSE: explaining program failures via postmortem static analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proof-guided underapproximation-widening for multi-process systems
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Teaching a formal method in a software engineering course
Proceedings of the 2nd annual conference on Mid-south college computing
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list
Working group reports from ITiCSE on Innovation and technology in computer science education
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
JAC: an aspect-based distributed dynamic framework
Software—Practice & Experience
Technology supporting business solutions
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
The science of deriving dense linear algebra algorithms
ACM Transactions on Mathematical Software (TOMS)
Polymorphic predicate abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction and refinement in probabilistic systems
ACM SIGMETRICS Performance Evaluation Review
Wait-free concurrent memory management by create and read until deletion (CaRuD)
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Using CSP to verify sequential consistency
Distributed Computing - Special issue: Verification of lazy caching
Formal analysis of modern security protocols
Information Sciences—Informatics and Computer Science: An International Journal
First steps in the retro-engineering of a GUI toolkit in the B language
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Generating error traces from verification-condition counterexamples
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Efficient weakest preconditions
Information Processing Letters
Teaching software development skills early in the Curriculum through software engineering
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Desert Island Reading: Back to the Future
Automated Software Engineering
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
A space-efficient self-stabilizing algorithm for measuring the size of ring networks
Information Processing Letters
A database evolution taxonomy for object-oriented databases: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Programming language semantics
Encyclopedia of Computer Science
Static Analysis Method for Detecting Buffer Overflow Vulnerabilities
Programming and Computing Software
Fairness and hyperfairness in multi-party interactions
Distributed Computing
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Joining dataflow with predicates
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Agent-based distributed software verification
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A layered architecture for real-time distributed multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Separation of concerns for evolving systems: a stability-driven approach
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Transforming semantics by abstract interpretation
Theoretical Computer Science
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance
IEEE Transactions on Dependable and Secure Computing
ACM SIGMICRO Newsletter
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Axiomatic proof rules for a machine-specific microprogramming language
ACM SIGMICRO Newsletter
A Critique of Java for Concurrent Programming
IEEE Distributed Systems Online
Relational characterizations of system fault tolerance
Science of Computer Programming
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Weakest-precondition of unstructured programs
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Verifying properties of well-founded linked lists
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast and loose reasoning is morally correct
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
I3D '06 Proceedings of the 2006 symposium on Interactive 3D graphics and games
Typestate verification: abstraction techniques and complexity results
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Plan execution in dynamic environments
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Deriving a new efficient algorithm for min-period retiming
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Probabilistic guarded commands mechanized in HOL
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Extending the sparkle core language with object abstraction
Acta Cybernetica
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design
Inculcating invariants in introductory courses
Proceedings of the 28th international conference on Software engineering
Architecture-based self-adaptation in the presence of multiple objectives
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Behavioral type inference: part II - behavioral type inference for system design
Formal methods and models for system design
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Extending separation logic with fixpoints and postponed substitution
Theoretical Computer Science - Algebraic methodology and software technology
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
Testing, abstraction, theorem proving: better together!
Proceedings of the 2006 international symposium on Software testing and analysis
Fast partial evaluation of pattern matching in strings
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient parallel algorithms can be made robust
Distributed Computing
Aspect-oriented design in systemC: implementation and applications
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Acta Cybernetica
Sound and complete models of contracts
Journal of Functional Programming
Mathematical Structures in Computer Science
Proceedings of the 43rd annual Southeast regional conference - Volume 2
The paradoxical success of aspect-oriented programming
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Boolean restriction categories and taut monads
Theoretical Computer Science
Temporal search: detecting hidden malware timebombs with virtual machines
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
A novice's process of object-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Replayer: automatic protocol replay by binary analysis
Proceedings of the 13th ACM conference on Computer and communications security
Denali: A practical algorithm for generating optimal code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
On approximate matching of programs for protecting libre software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Interprocedural analysis of asynchronous programs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Probabilistic analysis of algorithms for the Dutch national flag problem
Theoretical Computer Science
The history of Fortran I, II, and III
History of programming languages I
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
Science of Computer Programming
Polynomial approximations of the relational semantics of imperative programs
Science of Computer Programming
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Verification of SpecC using predicate abstraction
Formal Methods in System Design
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Requirement enforcement by transformation automata
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Generating all polynomial invariants in simple loops
Journal of Symbolic Computation
Flow analysis of lazy higher-order functional programs
Theoretical Computer Science
A Framework For An Automated Problem Solving And Program Development Environment
Journal of Integrated Design & Process Science
Inferring specifications to detect errors in code
Automated Software Engineering
Exploring Extensibility of Architectural Design Decisions
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanised Refinement of Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)
Enforcing resource bounds via static verification of dynamic checks
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Cost-efficient parallel programs based on set-distributions for polynomial interpolation
Journal of Parallel and Distributed Computing
Ordering of events in two-process concurrent system
ACM SIGSOFT Software Engineering Notes
ACM Turing award lectures
On modelling behavioural semantics of databases
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Data models and data manipulation languages: complementary semantics and proof theory
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Fast maintenance of semantic integrity assertions using redundant aggregate data
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Compound monads in specification languages
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Proof rules for the correctness of quantum programs
Theoretical Computer Science
"Why should i care?": making programming assignments relevant for non-majors
Journal of Computing Sciences in Colleges
A new efficient retiming algorithm derived by formal manipulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Exception Handling and Software Fault Tolerance
IEEE Transactions on Computers
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
On the correctness issues in two-process mutual exclusion algorithms
ACM SIGSOFT Software Engineering Notes
Diconic addition of failsafe fault-tolerance
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Back to the future: revisiting precise program verification using SMT solvers
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Elaborating heuristic reasoning and rigor with mathematical games
ACM SIGCSE Bulletin
Prolog as the first programming language
ACM SIGCSE Bulletin
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing and Reasoning About Security Protocols Using Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
Weakest precondition based verification tool that models spatial ordering
ACM SIGSOFT Software Engineering Notes
On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study
International Journal of Agent-Oriented Software Engineering
Intelligent agents for moving and operating computer generated forces
Proceedings of the 2007 Summer Computer Simulation Conference
Domain semantics of possibility computations
Information Sciences: an International Journal
SS'07 Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Enterprise ontology in enterprise engineering
Proceedings of the 2008 ACM symposium on Applied computing
Verification of evolving software via component substitutability analysis
Formal Methods in System Design
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Towards engineering models of aspectual pervasive software services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
A model-based approach for engineering pervasive services in SOAs
Proceedings of the 5th international conference on Pervasive services
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
A metric for software readability
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data & Knowledge Engineering
Proceedings of the 2008 Spring simulation multiconference
Conditioned semantic slicing for abstraction; industrial experiment
Software—Practice & Experience
A system to understand incorrect programs
ACM Lisp Bulletin
Modular Reasoning in Object-Oriented Programming
Verified Software: Theories, Tools, Experiments
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Getting Formal Verification into Design Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
FM '08 Proceedings of the 15th international symposium on Formal Methods
Proofs and Refutations for Probabilistic Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
Refactoring Process Models in Large Process Repositories
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Design Disciplines and Non-specific Transfer
ISSEP '08 Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking
Probabilistic Choice in Refinement Algebra
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Aligator: A Mathematica Package for Invariant Generation (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Bounded Verification of Voting Software
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
A blueprint for higher-level fusion systems
Information Fusion
Designing the design process: exploiting opportunistic thoughts
Human-Computer Interaction
Real algebraic numbers and polynomial systems of small degree
Theoretical Computer Science
Complexity results in revising UNITY programs
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An ADL dealing with aspects at software architecture stage
Information and Software Technology
Programming language elements for correctness proofs
Acta Cybernetica
Generation of correctness conditions for imperative programs
Programming and Computing Software
A Lightweight Approach for the Semantic Validation of Model Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Valigator: A Verification Tool with Bound and Invariant Generation
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
BitBlaze: A New Approach to Computer Security via Binary Analysis
ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
Expert Systems with Applications: An International Journal
Glance: A lightweight querying service for wireless sensor networks
Theoretical Computer Science
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
How much parallelism is there in irregular applications?
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Model-Driven Prototyping for Corporate Software Specification
Engineering Interactive Systems
Fairness and conspiracy concepts in concurrent systems
ACM SIGSOFT Software Engineering Notes
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Program analysis for compiler validation
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
STREAM: A First Programming Process
ACM Transactions on Computing Education (TOCE)
Advanced separation of concerns in agent-oriented design patterns
International Journal of Agent-Oriented Software Engineering
Document based rational software development
Knowledge-Based Systems
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
A refinement approach to design and verification of on-chip communication protocols
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Automatic generation of local repairs for Boolean programs
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Improving multikey Quicksort for sorting strings with many equal elements
Information Processing Letters
Local proofs for global safety properties
Formal Methods in System Design
Modular development of certified program verifiers with a proof assistant1,2
Journal of Functional Programming
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Model-Based Testing Using Scenarios and Event-B Refinements
Methods, Models and Tools for Fault Tolerance
Enabledness and termination in refinement algebra
Science of Computer Programming
The Shadow Knows: Refinement and security in sequential programs
Science of Computer Programming
Snugglebug: a powerful approach to weakest preconditions
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Boolean and classical restriction categories
Mathematical Structures in Computer Science
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
Extending types to modeling problem-space entities
The New Review of Hypermedia and Multimedia
A weakest precondition approach to active attacks analysis
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Measuring channel capacity to distinguish undue influence
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
A Heuristic Strong Connectivity Algorithm for Large Graphs
SEA '09 Proceedings of the 8th International Symposium on Experimental Algorithms
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Communication Analysis: A Requirements Engineering Method for Information Systems
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
ACM Computing Surveys (CSUR)
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
A simple refinement-based method for constructing algorithms
ACM SIGCSE Bulletin
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
ESC4: a modern caching ESC for Java
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Algorithmic specifications in linear logic with subexponentials
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Another Reason Why Conceptual Graphs Need Actors
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
The PlusCal Algorithm Language
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A design for an automatic programming system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Symbolic execution of the Gist specification language
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A proof-checker for dynamic logic
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Generalizing logic circuit designs by analyzing proofs of correctness
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Support for aspectual modeling to Multiagent system architecture
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
A Precise Yet Efficient Memory Model For C
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Checking with Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing strongest necessary and weakest sufficient conditions of first-order formulas
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Verification of knowledge bases based on containment checking
Artificial Intelligence
Mathematics for reasoning about loop functions
Science of Computer Programming
Faster and More Complete Extended Static Checking for the Java Modeling Language
Journal of Automated Reasoning
Model Driven Performance Measurement and Assessment with MoDePeMART
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards Algebraic Separation Logic
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Relational Methods in the Analysis of While Loops: Observations of Versatility
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
A While Program Normal Form Theorem in Total Correctness
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Security, Probability and Nearly Fair Coins in the Cryptographers' Café
FM '09 Proceedings of the 2nd World Congress on Formal Methods
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Formal Verification of Avionics Software Products
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A localization algorithm using space information for indoor wireless sensor networks
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Electronic Notes in Theoretical Computer Science (ENTCS)
Angelic Nondeterminism and Unifying Theories of Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Guarded Commands Mechanized in HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with angelic nondeterminism
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatically generating instruction selectors using declarative machine descriptions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking Semantic Models to Support CSP () B Consistency Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
Information and Software Technology
Repetitions, known or unknown?
Information Processing Letters
Efficient weakest preconditions
Information Processing Letters
A space-efficient self-stabilizing algorithm for measuring the size of ring networks
Information Processing Letters
Web services semantic model system
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Natural Quantum Operational Semantics with Predicates
International Journal of Applied Mathematics and Computer Science - Selected Problems of Computer Science and Control
Modeling of state transition rules and its application
ACM SIGSOFT Software Engineering Notes
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
A sketch of a dynamic epistemic semiring
Information and Computation
An aspect-oriented modeling framework for multi-agent systems design
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A case study on prototyping power management protocols for sensor networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Typestate verification: abstraction techniques and complexity results
SAS'03 Proceedings of the 10th international conference on Static analysis
A generic program for minimal subsets with applications
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Computational and soft skills development through the project based learning
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Probabilistic termination in B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Type reconstruction for general refinement types
ESOP'07 Proceedings of the 16th European conference on Programming
Composing specifications of event based applications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Monad-independent Hoare logic in HasCasl
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Better under-approximation of programs by hiding variables
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Automatic software model checking using CLP
ESOP'03 Proceedings of the 12th European conference on Programming
Decidability of invariant validation for paramaterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A SAT characterization of boolean-program correctness
SPIN'03 Proceedings of the 10th international conference on Model checking software
Analysing UML use cases as contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
A time and interaction model for open distributed timing computation
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Leaping loops in the presence of abstraction
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
Qualitative probabilistic modelling in event-B
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A machine-checked soundness proof for an efficient verification condition generator
Proceedings of the 2010 ACM Symposium on Applied Computing
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Calculating and composing progress properties in terms of the leads-to relation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Testing and verifying invariant based programs in the SOCOS environment
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Discovering non-linear ranking functions by solving semi-algebraic systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A framework for Incorporating trust into formal systems development
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
An interpolation method for CLP traversal
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
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
Knowledge and games in modal semirings
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
Reasoning algebraically about P-solvable loops
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Semi-persistent data structures
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Generating polynomial invariants with DISCOVERER and QEPCAD
Formal methods and hybrid real-time systems
Proving theorems about JML classes
Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
On mathematical laws of software
Transactions on computational science II
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Has the bug really been fixed?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Efficient multiple assignment to database tables
AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Using invariant functions and invariant relations to compute loop functions
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Exploiting program dependencies for scalable multiple-path symbolic execution
Proceedings of the 19th international symposium on Software testing and analysis
Generalised quantum weakest preconditions
Quantum Information Processing
Mining early aspects based on syntactical and dependency analyses
Science of Computer Programming
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
Science of Computer Programming
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Properties of a predicate transformer of the VRS system
Cybernetics and Systems Analysis
Rethinking database updates using a multiple assignment-based approach
WSEAS Transactions on Computers
An empirical investigation into a large-scale Java open source code repository
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Mapping software engineering principles to stages in game development
Journal of Computing Sciences in Colleges
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Designing modularity architecture for multithread programming
CIT'10 Proceedings of the 4th international conference on Communications and information technology
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
A formal approach for the development of reactive systems
Information and Software Technology
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
Linear-invariant generation for probabilistic programs: automated support for proof-based methods
SAS'10 Proceedings of the 17th international conference on Static analysis
Evidence-based validation and improvement of electronic health record systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Language-based verification will change the world
Proceedings of the FSE/SDP workshop on Future of software engineering research
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
To goto where no statement has gone before
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
On automated program construction and verification
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Partial, total and general correctness
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Synchronized architectures for adaptive systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Automated Flaw Detection in Algebraic Specifications
Journal of Automated Reasoning
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Property-preserving refinement of concurrent systems
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Cost evaluation from specifications for BSP programs
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Performance of C++ bit-vector implementations
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Correctness of graph programs relative to HR+ conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Formal Methods in System Design
Formal Methods in System Design
Patterns for refinement automation
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Programmable verifiers in imperative programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Unifying recursion in partial, total and general correctness
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition
ACM Transactions on Information and System Security (TISSEC)
WSEAS Transactions on Mathematics
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Semantics and proof rules of invariant based programs
Proceedings of the 2011 ACM Symposium on Applied Computing
Inferring loop invariants using postconditions
Fields of logic and computation
A weakest precondition approach to robustness
Transactions on computational science X
GATE: game-based testing environment
Proceedings of the 33rd International Conference on Software Engineering
A distributed object-oriented language with session types
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Scaling up with event-B: a case study
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Automating refinement of circus programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Modular bug detection with inertial refinement
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
On limits and colimits of variety-based topological systems
Fuzzy Sets and Systems
An aspect-oriented reference architecture for Software Engineering Environments
Journal of Systems and Software
On foundation of engineering context-sensitive applications
Journal of Mobile Multimedia
Position paper: DO-178C/ED-12C and object-orientation for critical systems
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Specifying fault-tolerance using split precondition logic
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Programming from galois connections
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Refinement-based verification of local synchronization algorithms
FM'11 Proceedings of the 17th international conference on Formal methods
A logic teaching tool based on tableaux for verification and debugging of algorithms
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Understanding failures through facts
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Association of under-approximation techniques for generating tests from models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Q: exploit hardening made easy
SEC'11 Proceedings of the 20th USENIX conference on Security
Generalising and dualising the third list-homomorphism theorem: functional pearl
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Computing preconditions and postconditions of while loops
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
On locality and the exchange law for concurrent processes
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Patterns for collaborative work in health care teams
Artificial Intelligence in Medicine
ACM SIGSOFT Software Engineering Notes
Null dereference verification via over-approximated weakest pre-conditions analysis
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
An evolutionary approach for program model checking
MEDI'11 Proceedings of the First international conference on Model and data engineering
Modelling information fission in output multi-modal interactive systems using event-b
MEDI'11 Proceedings of the First international conference on Model and data engineering
Specification and verification of model-driven data migration
MEDI'11 Proceedings of the First international conference on Model and data engineering
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Formal derivation of a distributed program in event B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Automating algebraic methods in isabelle
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Communications of the ACM
GLANCE: a lightweight querying service for wireless sensor networks
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Program compatibility approaches
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
SAS'06 Proceedings of the 13th international conference on Static Analysis
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Data refinement with low-level pointer operations
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Modelling and refinement of an on-chip communication architecture
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Incremental verification of owicki/gries proof outlines using PVS
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formalisation and verification of the globalplatform card specification using the b method
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Retrospective and prospective for unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Termination of real-time programs: definitely, definitely not, or maybe
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Program verification using automatic generation of invariants
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An abstract interpretation framework for termination
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The VerCors project: setting up basecamp
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Verifying χ models of industrial systems with SPIN
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Formalising progress properties of non-blocking programs
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Reasoning algebraically about probabilistic loops
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Time aware modelling and analysis of multiclocked VLSI systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Interweaving algebra and topology: Lattice-valued topological systems
Fuzzy Sets and Systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
An analysis of permutations in arrays
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Development of a synchronous subset of AADL
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Refining exceptions in four-valued logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Experiments on union-find algorithms for the disjoint-set data structure
SEA'10 Proceedings of the 9th international conference on Experimental Algorithms
Compositional specification and analysis of cost-based properties in probabilistic programs
FM'05 Proceedings of the 2005 international conference on Formal Methods
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Sorted: Verifying the problem of the dutch national flag in agda
Journal of Functional Programming
Secure information flow by self-composition
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Enforcing resource bounds via static verification of dynamic checks
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
Mechanical reasoning about families of UTP theories
Science of Computer Programming
CompAr: ensuring safe around advice composition
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Sustainable system infrastructure and big bang evolution: can aspects keep pace?
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Changing attitudes towards the generation of architectural models
Journal of Systems and Software
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
An extension of event b for developing grid systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
The challenge of probabilistic event B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Using step-wise refinement to build a flexible lightweight storage manager
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Generation of basic semi-algebraic invariants using convex polyhedra
SAS'05 Proceedings of the 12th international conference on Static Analysis
Supporting production strategies as refinements of the production process
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Quantitative temporal logic mechanized in HOL
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
Using AOP to customize a reflective middleware
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
A UML profile for asynchronous hardware design
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Computations and relational bundles
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Monotone predicate transformers as up-closed multirelations
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
On two dually nondeterministic refinement algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Whodunit? causal analysis for counterexamples
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Aspectizing multi-agent systems: from architecture to implementation
Software Engineering for Multi-Agent Systems III
Separation of concerns for mechatronic multi-agent systems through dynamic communities
Software Engineering for Multi-Agent Systems III
Dependable Systems
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
Formal service-oriented development of fault tolerant communicating systems
Rigorous Development of Complex Fault-Tolerant Systems
Programming-logic analysis of fault tolerance: expected performance of self-stabilisation
Rigorous Development of Complex Fault-Tolerant Systems
Static analysis based software architecture recovery
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III
Exercises in quantifier manipulation
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Progress in deriving concurrent programs: emphasizing the role of stable guards
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Continuous action system refinement
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
The shadow knows: refinement of ignorance in sequential programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Underspecification, inherent nondeterminism and probability in sequence diagrams
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Relaxing restrictions on invariant composition in the B method by ownership control a la SPEC#
Rigorous Methods for Software Construction and Analysis
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
On trojan horses of thompson-goerigk-type, their generation, intrusion, detection and prevention
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
On novices' local views of algorithmic characteristics
ISSEP'06 Proceedings of the 2006 international conference on Informatics in Secondary Schools - Evolution and Perspectives: the Bridge between Using and Understanding Computers
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Augmenting b with control annotations
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
A complete invariant generation approach for p-solvable loops
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Explicit stabilisation for modular rely-guarantee reasoning
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Analyzing loop paths for execution time estimation
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
A unified tabular method for modeling variants of software product line
ACM SIGSOFT Software Engineering Notes
Exploiting traces in program analysis
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
PAMPERO: precise assistant for the modeling process in an environment with refinement orientation
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
On the integration of software testing and formal analysis
Empirical Software Engineering and Verification
Dependable and Historic Computing
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Comparing verification condition generation with symbolic execution: an experience report
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems
PAMPERO: precise assistant for the modeling process in an environment with refinement orientation
UML Modeling Languages and Applications
A new look at the automatic synthesis of linear ranking functions
Information and Computation
Interpreting nondeterminism in the refinement calculus
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Design and verification of a coherent shared memory
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Proof rules for probabilistic loops
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A comparison of three model checkers applied to a distributed database problem
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
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
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An axiomatic semantics for data-parallel computation
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Declarative view of imperative programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Translating structured database schemas into abstract machines
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Invariant relations: an automated tool to analyze loops
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
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
A spanning tree object-oriented distributed algorithm: specification and proof
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Automated tools for teaching formal software verification
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Verifying invariant based programs in the SOCOS environment
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Derivation of distributed programs in the theory of owicki and gries: an example
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Verification conditions for single-assignment programs
Proceedings of the 27th Annual ACM Symposium on Applied Computing
PVS linear algebra libraries for verification of control software algorithms in C/ACSL
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Verification conditions for source-level imperative programs
Computer Science Review
Detecting inconsistencies via universal reachability analysis
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Finding common ground: choose, assert, and assume
Proceedings of the 2012 Workshop on Dynamic Analysis
Dexter kozen's influence on the theory of labelled markov processes
Logic and Program Semantics
Unbounded symbolic execution for program verification
RV'11 Proceedings of the Second international conference on Runtime verification
A semantic analysis of logics that cope with partial terms
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
MoonBox: debugging with online slicing and dryrun
Proceedings of the Asia-Pacific Workshop on Systems
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A solver for reachability modulo theories
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Poporo: a formal methods tool for fast-checking of social network privacy policies
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
The laws of programming unify process calculi
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Elementary probability theory in the eindhoven style
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Proceedings of the 14th symposium on Principles and practice of declarative programming
Formalisation of a Production System Modelling Language The operational semantics of χ Core
Fundamenta Informaticae
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Invariant functions and invariant relations: An alternative to invariant assertions
Journal of Symbolic Computation
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering
MoonBox: debugging with online slicing and dryrun
APSys'12 Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
Improving communication for distributed model checking
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Towards modular algebraic specifications for pointer programs: a case study
Rewriting Computation and Proof
Proved-patterns-based development for structured programs
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Abstraction as a unifying link for formal approaches to concurrency
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Implementing tactics of refinement in CRefine
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
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
Inference of polynomial invariants for imperative programs: a farewell to gröbner bases
SAS'12 Proceedings of the 19th international conference on Static Analysis
Path-Sensitive backward slicing
SAS'12 Proceedings of the 19th international conference on Static Analysis
The crosscutting impact of the AOSD Brazilian research community
Journal of Systems and Software
Parameterized weighted containment
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
An interpolation based crossover operator for genetic programming
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Joogie: from Java through Jimple to Boogie
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
An overview of the Leon verification system: verification by translation to recursive functions
Proceedings of the 4th Workshop on Scala
Automated debugging for arbitrarily long executions
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
KATCH: high-coverage testing of software patches
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Relational algebraic ornaments
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
PLDI 2002: Extended static checking for Java
ACM SIGPLAN Notices - Supplemental issue
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Deriving real-time action systems in a sampling logic
Science of Computer Programming
Extended designs algebraically
Science of Computer Programming
ADAM: External dependency-driven architecture discovery and analysis of quality attributes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Set-theoretic models of computations
Theories of Programming and Formal Methods
Generic models of the laws of programming
Theories of Programming and Formal Methods
Programming and Computing Software
Aspect-driven, data-reflective and context-aware user interfaces design
ACM SIGAPP Applied Computing Review
Duality in Logic and Computation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Hi-index | 0.58 |