An axiomatic basis for computer programming
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
The drinking philosophers problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Programming Languages and Systems (TOPLAS)
Highly concurrent scalar processing
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Retargetable microcode synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Modula-2 implementation of CSP
ACM SIGPLAN Notices
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
The application accelerator illustration system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Parlog86 and the dining logicians
Communications of the ACM
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An alternate design for Fortran 8X
ACM SIGPLAN Fortran Forum
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
An object oriented system implementing KNOs
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A Generalized Message-Passing Mechanism for Communicating Sequential Processes
IEEE Transactions on Computers
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Software engineering for distributed applications: the design project
ICSE '88 Proceedings of the 10th international conference on Software engineering
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A practical sieve algorithm finding prime numbers
Communications of the ACM
Using distributed simulation for distributed application development
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Distributed Computing with Single Read-Single Write Variables
IEEE Transactions on Software Engineering
On Lamport's interprocessor communication model
ACM Transactions on Programming Languages and Systems (TOPLAS)
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Microprogramming instruction systolic arrays
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A logically distributed approach for structuring office systems
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs
IEEE Transactions on Software Engineering
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Visual programming: perspectives and approaches
IBM Systems Journal
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
Specification of Real-Time Broadcast Networks
IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Comparing and assessing programming languages: basis for a qualitative methodology
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Structural active object systems for simulation
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A CSA-based robot plan generator
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Terminable statements and destructive computation
ACM SIGPLAN Notices
Parallel logic programming systems
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Rigorous proofs of program correctness without formal logic
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Performance evaluation of the Orca shared-object system
ACM Transactions on Computer Systems (TOCS)
Analysis of a scheduler for a CAD framework
Proceedings of the 21st international conference on Software engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Visual programming: perspectives and approaches
IBM Systems Journal
An overview of the GCP programming language
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Stack Machines and Classes of Nonnested Macro Languages
Journal of the ACM (JACM)
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)
Knowledge-based optimization in Prolog compiler
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Automatic Generation of Invariants
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Parallel resource allocation algorithms on macro-pipelined architectures
CSC '91 Proceedings of the 19th annual conference on Computer Science
CSA: two paradigms of the language for adaptive expert systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A characterization of symmetric semantics by domain complementation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Transactions on Information and System Security (TISSEC)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
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)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
An OIS model for internal accounting control evaluation
ACM Transactions on Information Systems (TOIS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicative programming Part I
Communications of the ACM
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
A sublinear additive sieve for finding prime number
Communications of the ACM
A critique of the foundations of Hoare style programming logics
Communications of the ACM
Proof techniques for hierarchically structured programs
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
A linear sieve algorithm for finding prime numbers
Communications of the ACM
An exercise in proving parallel programs correct
Communications of the ACM
Communications of the ACM
The design of an asynchronous VHDL synthesizer
Proceedings of the conference on Design, automation and test in Europe
Program slicing based on specification
Proceedings of the 2001 ACM symposium on Applied computing
Self-Stabilizing Strong Fairness under Weak Fairness
IEEE Transactions on Parallel and Distributed Systems
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Introductory concurrent programming with Modula-2
ACM SIGCSE Bulletin
A proposal for information systems design and management
ACM SIGDA Newsletter
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
An access control language for web services
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Nondeterminism in logics of programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Implementation of an array bound checker
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synthesis and simulation of digital systems containing interacting hardware and software components
Readings in hardware/software co-design
Abstraction mechanisms in the BETA programming language
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
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Recursion in logics of programs
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
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
AutoWF: a secure web workflow system using autonomous objects
Data & Knowledge Engineering
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
Exploring the Software Development Trilogy
IEEE Software
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
IEEE Annals of the History of Computing
Thread-Modular Verification for Shared-Memory Programs
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
A Semiformal Correctness Proof of a Network Broadcast Algorithm
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Rough Sets, Guarded Command Language, and Decision Rules
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Shape Analysis through Predicate Abstraction and Model Checking
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Generalised Substitution Language and Differentials
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
CL '00 Proceedings of the First International Conference on Computational Logic
A Combined Testing and Verification Approach for Software Reliability
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Compressing Transitions for Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Safe, Untrusted Agents Using Proof-Carrying Code
Mobile Agents and Security
The invention of concurrent programming
The origin of concurrent programming
Communicating sequential processes
The origin of concurrent programming
Distributed processes: a concurrent programming concept
The origin of concurrent programming
Dynamic access control: preserving safety and trust for network defense operations
Proceedings of the eighth ACM symposium on Access control models and technologies
The unified problem-solving method development language UPML
Knowledge and Information Systems
A Design Framework for Asynchronous/Synchronous Circuits Based on CHP to VHDL Translation
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
Hardware implementation of communication protocols: A formal approach
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Structure charts and program correctness proofs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
ICSE '79 Proceedings of the 4th international conference on Software engineering
The synthesis of structure-changing programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Propositional modal logic of programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A new incompleteness result for Hoare's system
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
An approach to program verification
DAC '76 Proceedings of the 13th Design Automation Conference
On the performance of decentralized software
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
An OIS model for internal control evaluation
Proceedings of the SIGOA conference on Office information systems
A modelling tool for office information systems
Proceedings of the SIGOA conference on Office information systems
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Static determination of dynamic properties of generalized type unions
Proceedings of an ACM conference on Language design for reliable software
Origins of the APT language for automatically programmed tools
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
Fault-tolerant string processing by pattern mapping
ACM '77 Proceedings of the 1977 annual conference
Approaching a Formal Definition of Fairness in Electronic Commerce
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
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
An Exercise in Proving Self-Stabilization through Ljapunov Functions
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Protocols for Non-Deterministic Communication over Synchronous Channels
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
Automatic indention versus program formatting
ACM SIGPLAN Notices
A note on the distributed program component cell
ACM SIGPLAN Notices
DUIF: a data-driented flowchart environment
ACM SIGPLAN Notices
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
On nondeterministic control structures
ACM SIGPLAN Notices
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
On the synchronization mechanism of the ADA language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Reasoning about recursive procedures with parameters
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Assessing the complexity of software architecture
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
ACM SIGMIS Database
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A framed temporal logic programming language
Journal of Computer Science and Technology
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
ALGOL Bulletin
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Encyclopedia of Computer Science
Quantitative analysis of distributed randomized protocols
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Modular verification of multithreaded programs
Theoretical Computer Science
Transforming semantics by abstract interpretation
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
An optimal self-stabilizing strarvation-free alternator
Journal of Computer and System Sciences
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 dialogue on responsibility, moral agency, and IT systems
Proceedings of the 2006 ACM symposium on Applied computing
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Origins of the APT language for automatically programmed tools
History of programming languages I
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Quantum Programming With Mixed States
Electronic Notes in Theoretical Computer Science (ENTCS)
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Refactoring-based support for binary compatibility in evolving frameworks
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Bouncer: securing software by blocking bad input
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
No ifs, ands, or buts: uncovering the simplicity of conditionals
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Predicate abstraction with indexed predicates
ACM Transactions on Computational Logic (TOCL)
A new efficient retiming algorithm derived by formal manipulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Two Designs of a Fault-Tolerant Clocking System
IEEE Transactions on Computers
On synchronization with direct delaying and resuming
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Weakest precondition based verification tool that models spatial ordering
ACM SIGSOFT Software Engineering Notes
An approach to synthesise safe systems
International Journal of Security and Networks
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Partially defined computer instructions and guards
Science of Computer Programming
Automatic generation of path conditions for concurrent timed systems
Theoretical Computer Science
Ynot: dependent types for imperative programs
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Local Proofs for Linear-Time Properties of Concurrent Programs
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Recounting the Rationals: Twice!
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Vigilante: End-to-end containment of Internet worm epidemics
ACM Transactions on Computer Systems (TOCS)
Secure Microkernels, State Monads and Scalable Refinement
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
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
Unifying type checking and property checking for low-level code
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards type-theoretic semantics for transactional concurrency
Proceedings of the 4th international workshop on Types in language design and implementation
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
A list-processing-oriented data flow machine architecture
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Weakest environment of communicating processes
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
A Scalable Memory Model for Low-Level Code
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Document based rational software development
Knowledge-Based Systems
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Hoare type theory, polymorphism and separation1
Journal of Functional Programming
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A weakest precondition approach to active attacks analysis
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Regression for Classical and Nondeterministic Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Formalisms for Specifying Markovian Population Models
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
The Importance of Being Formal
Electronic Notes in Theoretical Computer Science (ENTCS)
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Plan synthesis: a logical perspective
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Learning strategies by reasoning about rules
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A comparison of analytic and experimental goal regression for machine learning
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Multicore parallel min-cost flow algorithm for CAD applications
Proceedings of the 46th Annual Design Automation Conference
Automatic Inference of Frame Axioms Using Static Analysis
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
IBM Journal of Research and Development
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
RAID '09 Proceedings of the 12th International Symposium on Recent Advances in Intrusion Detection
Quantitative Analysis under Fairness Constraints
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
From program verification to program synthesis
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Verified Compiler for Synchronous Programs with Local Declarations
Electronic Notes in Theoretical Computer Science (ENTCS)
The baffling CS notions of "as-if" and "don't-care"
Proceedings of the 41st ACM technical symposium on Computer science education
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Translating concurrent action oriented specifications to synchronous guarded actions
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Symmetry and completeness in the analysis of parameterized systems
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
A reachability predicate for analyzing low-level software
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Intuitionistic refinement calculus
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Inheriting laws for processes with states
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
JACK: a tool for validation of security and behaviour of Java applications
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
On run-time enforcement of policies
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
On the architecture of system verification environments
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
You are not alone: breaking transaction isolation
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Adaptive broadcast by fault-tolerant spanning tree switching
Journal of Parallel and Distributed Computing
An automatic method for the dynamic construction of abstractions of states of a formal model
Cybernetics and Systems Analysis
Reasoning about a distributed probabilistic system
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Multicore parallelization of min-cost flow for CAD applications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
A formal approach for the development of reactive systems
Information and Software Technology
The next 700 separation logics
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Compositional action system derivation using enforced properties
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Formal security analysis of PKCS#11 and proprietary extensions
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Specification for reactive bulk-synchronous programming
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Context-bounded translations for concurrent software: an empirical evaluation
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Idle port scanning and non-interference analysis of network protocol stacks using model checking
USENIX Security'10 Proceedings of the 19th USENIX conference on Security
On Euclid's algorithm and elementary number theory
Science of Computer Programming
Modeling and reasoning about service behaviors and their compositions
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Automating coinduction with case analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Distributed generalized dynamic barrier synchronization
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Precondition inference from intermittent assertions and application to contracts on collections
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
The trusted path between SMITE and the user
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Dynamic frames in java dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
A weakest precondition approach to robustness
Transactions on computational science X
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A high-level language for modeling algorithms and their properties
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Abstraction in hardware system design
Communications of the ACM
Searching for invariants using genetic programming and mutation testing
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Abstraction in Hardware System Design
Queue - Data
Association of under-approximation techniques for generating tests from models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
SMT-based modular analysis of sequential systems code
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Computing preconditions and postconditions of while loops
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Symbolic simulation on complicated loops for WCET path analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Statically validating must summaries for incremental compositional dynamic test generation
SAS'11 Proceedings of the 18th international conference on Static analysis
ACM SIGSOFT Software Engineering Notes
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Adaptive connected dominating set – an exercise in distributed output switching
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Orion: high-precision methods for static error analysis of c and c++ programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Verification condition generation via theorem proving
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Towards automatic convergence verification of self-stabilizing algorithms
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Underspecified harnesses and interleaved bugs
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An abstract interpretation framework for termination
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Invariant and type inference for matrices
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Verification of an error correcting code by abstract interpretation
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modelling declassification policies using abstract domain completeness
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
A framework for certified program analysis and its applications to mobile-code safety
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Automatic generation of hardware/software interfaces
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Snap-stabilizing k-wave synchronizer
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Incremental algorithms for inter-procedural analysis of safety properties
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Exercises in quantifier manipulation
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
A UML2 profile for reusable and verifiable software components for real-time applications
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Explicit fair scheduling for dynamic control
Concurrency, Compositionality, and Correctness
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Generating path conditions for timed systems
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Bounded model checking of software using SMT solvers instead of SAT solvers
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A comparison of intermediate verification languages: boogie and sireum/pilar
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Algorithmic problem solving: three years on
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Specification and synthesis of hardware checkpointing and rollback mechanisms
Proceedings of the 49th Annual Design Automation Conference
Refinement-oriented models of Stateflow charts
Science of Computer Programming
SequenceL provides a different way to view programming
Computer Languages
Research: Designing bug-free protocols with SPIN
Computer Communications
Efficient state merging in symbolic execution
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Cross-entropy optimisation of importance sampling parameters for statistical model checking
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
A complete method for symmetry reduction in safety verification
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Applicability conditions for plans with loops: Computability results and algorithms
Artificial Intelligence
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Performance assessment of dead-zone single keyword pattern matching
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
Electronic Notes in Theoretical Computer Science (ENTCS)
Action-based discovery of satisfying subsets: A distributed method for model correction
Information and Software Technology
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Runtime verification of biological systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Checking correctness of services modeled as priced timed automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Word level feature discovery to enhance quality of assertion mining
Proceedings of the International Conference on Computer-Aided Design
Dual analysis for proving safety and finding bugs
Science of Computer Programming
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Optimizing database-backed applications with query synthesis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A Design Tool for Service-oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Triggered instructions: a control paradigm for spatially-programmed architectures
Proceedings of the 40th Annual International Symposium on Computer Architecture
Formal analysis of event-driven cyber physical systems
Proceedings of the First International Conference on Security of Internet of Things
Enabledness-based program abstractions for behavior validation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Dependent Type Theory for Verification of Information Flow and Access Control Policies
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying higher-order programs with the dijkstra monad
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Turning nondeterminism into parallelism
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Verifying quantitative reliability for programs that execute on unreliable hardware
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Simseer and bugwise: web services for binary-level software similarity and defect detection
AusPDC '13 Proceedings of the Eleventh Australasian Symposium on Parallel and Distributed Computing - Volume 140
Practical probability: applying pGCL to lattice scheduling
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
High-Level counterexamples for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Set-theoretic models of computations
Theories of Programming and Formal Methods
Path-sensitive resource analysis compliant with assertions
Proceedings of the Eleventh ACM International Conference on Embedded Software
Science of Computer Programming
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Measurable Spaces and Their Effect Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 48.43 |
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be be shown.