1996
18 references published this year.
BGP Communities Attribute
R. Chandra and others (1996) · RFC Editor
Formal methods: State of the art and future directions
Edmund M. Clarke and others (1996) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Logical analysis of demonic nondeterministic programs
Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV
Virtual memory
Peter J. Denning (1996) · ACM Computing Surveys
C4I for the Warrior — Global Command and Control System: From Concept to Reality
Albert J. Edmonds (1996) · Information Assurance Technology Analysis Center
Static detection of pointer errors: an axiomatisation and a checking algorithm
Pascal Fradet and others (1996) · European Symposium on Programming · Springer
How did software get so reliable without proof?
C. A. R. Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME) · Springer
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
Paul C. Kocher (1996) · Advances in Cryptology — CRYPTO '96 · Springer Berlin Heidelberg
Formal synthesis in circuit design — A classification and survey
Ramayya Kumar and others (1996) · Formal Methods in Computer-Aided Design (FMCAD) · Springer Berlin Heidelberg
ARIANE 5 Flight 501 Failure: Report by the Inquiry Board
Jacques-Louis Lions (1996) · European Space Agency
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
Gavin Lowe (1996) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Extensions of first-order logic
Maria Manzano (1996) · Cambridge University Press
Changing computing: the computing community and DARPA
Arthur L. Norberg (1996) · IEEE Annals of the History of Computing · IEEE
The 1968/69 NATO software engineering reports
Brian Randell (1996) · Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering
The development of the C programming language
Dennis M. Ritchie (1996) · History of Programming languages · Association for Computing Machinery
Formal methods and testing: why the state-of-the art is not the state-of-the practice
David S. Rosenblum (1996) · ACM SIGSOFT Software Engineering Notes
A history of C++ 1979–1991
Bjarne Stroustrup (1996) · History of Programming Languages---II · Association for Computing Machinery
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
Job Zwiers and others (1996) · FME'96: Industrial Benefit and Advances in Formal Methods · Springer