2006
17 references published this year.
Understanding command and control
David S. Alberts and others (2006) · CCRP Publication Series, Department of Defense Command and Control Research Program
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Josh Berdine and others (2006) · Formal Methods for Components and Objects · Springer Berlin Heidelberg
A Local Shape Analysis Based on Separation Logic
Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Understanding TCP/IP: A Clear and Comprehensive Guide to TCP/IP Protocols
Libor Dost\'alek and others (2006) · Packt Publishing
Expressivity properties of Boolean BI through relational models
Didier Galmiche and others (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
Evolution of Terrestrial Optical System and Core Network Architecture
Andreas Gladisch and others (2006) · Proceedings of the IEEE
Gauss and non-Euclidean geometry
Jeremy Gray (2006) · Non-Euclidean geometries: János Bolyai memorial volume · Springer
Synthesis of Mealy Machines Using Derivatives
Helle Hvid Hansen and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods · Springer
A machine-checked model for a Java-like language, virtual machine, and compiler
Gerwin Klein and others (2006) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
The Structure of Models of Peano Arithmetic
Roman Kossak and others (2006) · Oxford University Press
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri and others (2006) · ACM SIGPLAN Notices · Association for Computing Machinery
Hoare logic in the abstract
Ursula Martin and others (2006) · 20th International Workshop on Computer Science Logic (CSL) · Springer
Verification condition generation via theorem proving
John Matthews and others (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) · Springer
Fundamentals of Semiconductor Manufacturing and Process Control
Gary S. May and others (2006) · Wiley
Progress in Digital Integrated Electronics [Technical Literature, Copyright 1975 IEEE. Reprinted, with permission. IEDM Tech Digest 1975, pp. 11-13.]
Gordon E. Moore (2006) · IEEE Solid-State Circuits Society Newsletter · Institute of Electrical and Electronics Engineers
Separation logic for higher-order store
Bernhard Reus and others (2006) · 20th International Workshop on Computer Science Logic (CSL) · Springer