dr. heap references

1126 references, kept by an AI assistant working on its own and published here as facts and links.

About this bibliography

This catalogue is compiled and kept up to date by an AI assistant working on its own: it finds published work, maintains a catalogue, fills entries and files. Nothing about that touches the publications themselves — what a machine wrote is the bibliographic record of a work, not the work itself.

A green ring means a person has checked that entry against the publication: that the bibliographic details are right, and that any copy held is the work it names. A grey ring with the AI badge means nobody has, and the entry was published as plausible rather than checked. Both are statements about the catalogue entry and neither is a statement about the research.

The bibliographic data and links are published. The actual copies are not: they may be under copyright. If you are a student and want access to an article, ask your librarian what the options are.

Each record is filed under a permanent address. A record that is renamed leaves its old address working, so a link made today goes on working after the name changes.

2026

AIVD Jaarverslag 2025
Algemene Inlichtingen- en Veiligheidsdienst (2026) · Algemene Inlichtingen- en Veiligheidsdienst
‘Friendshoring’ the seabed: Securing submarine cables through network centrality
Samuel Bashfield and others (2026) · European Journal of International Security
History-based reasoning about behavioral subtyping (extended paper)
Jinting Bian and others (2026) · Theoretical Computer Science · Elsevier BV
A violation of uniqueness usually overlooked
Paola Cattabriga (2026) · Social Science Research Network
NATO CCDCOE Training Catalogue, 2026
NATO Cooperative Cyber Defence Centre of Excellence (2026) · NATO Cooperative Cyber Defence Centre of Excellence
Pilots noodsteunpunten. Snelle kennismobilisatie 2: Informatie en communicatie
A. de Haan and others (2026) · Nederlands Instituut Publieke Veiligheid · Nederlands Instituut Publieke Veiligheid
The New Realities of Digital Geopolitics
Don Eijndhoven (2026) · Dutch Cyber Warfare Community
What is digital democracy?
Christian Fuchs (2026) · Journal of Information Technology & Politics
Disinformation: A Multi-Disciplinary Analysis
Lisa Ginsborg and others (2026) · Springer Nature Switzerland
LLMs as hackers: Autonomous Linux privilege escalation attacks
Andreas Happe and others (2026) · Empirical Software Engineering
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
Mathé Hertogh and others (2026) · 2026 IEEE Symposium on Security and Privacy (SP) · IEEE
The Critical State of Cyberspace
Hans-Dieter Hiep (2026) · Advances in Anti-Access and Area Denial (A2/AD): From Defensive Technologies to A Whole-of-Society Approach · Leiden University Press
Completeness of Iris-Based Program Logics
Johannes Hostert and others (2026) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)
Artificial Intelligence and Digital Surveillance During Armed Conflict
Asaf Lubin (2026) · International Law and Artificial Intelligence in Armed Conflict: The AI-Cyber Interplay · Oxford University Press
Clock tree synthesis in modern VLSI: From foundational algorithms to AI-driven optimization
Manikandan B and others (2026) · Integration, the VLSI Journal · Elsevier
Openbaar jaarverslag 2025 Militaire Inlichtingen- en Veiligheidsdienst
Militaire Inlichtingen- en Veiligheidsdienst (2026) · Ministerie van Defensie
DoW Microelectronics: Application Specific Integrated Circuit Level of Assurance 1 Best Practices
National Security Agency (2026) · National Security Agency · National Security Agency
DoW Microelectronics: Application Specific Integrated Circuit Best Practices -- Threat Catalog
National Security Agency (2026) · National Security Agency · National Security Agency
How LoRa (ExpressLRS) Drone Receivers Work
OpenDrone (2026) · video
Architecture: The QNX Hypervisor
QNX Software Systems (2026)
Evaluation of the Russian Air Force's Actions in the War in Ukraine
Adam Radomyski and others (2026) · Polish Political Science Yearbook · Wydawnictwo Adam Marszałek
From The Protocols to Pizzagate (and Beyond...): Conspiracy Theories and Disinformation in US History
Kasper Grotle Rasmussen (2026) · Disinformation · Springer Nature Switzerland
Weaponising AI: The New Cyber Attack Surface
Rafal Rohozinski and others (2026) · Survival
Escaping the Quicksand: A Call to Arms
Peter Sewell and others (2026)
Air Force Doctrine Publication 3-12, Cyberspace Operations
Department of the Air Force (2026) · Department of the Air Force

2025

Resilient Dependencies: Preparing to Fight Through Cyber Disruption
Maria B. Barrett (2025) · The Cyber Defense Review
High Performance and PVT Variation Tolerant Design for a Ternary Multiplier Using GNRFET Technology
Shaik Javid Basha and others (2025) · Circuits, Systems, and Signal Processing · Springer
Global BGP Attacks that Evade Route Monitoring
Henry Birge-Lee and others (2025) · International Conference on Passive and Active Network Measurement · Springer
Commentary: AI psychosis is not a new threat: Lessons from media-induced delusions
Per Carlbring and others (2025) · Internet Interventions
Rage Against the Muskine: Digital Luddism as Collective Action to Democratise Tech
Raffaele Ciriello and others (2025) · Americas Conference on Information Systems (AMCIS 2025), Montreal, Canada
Fear of the Future: Causal Layered Analysis and Narrative Foresight Versus Conspiracy Theories
Thomas F. Connolly (2025) · World Futures · Informa UK Limited
Introduction to MOSFETs (25-Transistors)
Aaron Danner (2025) · YouTube · video
Cloud Sovereignty Framework
Directorate-General for Digital Services European Commission (2025) · European Commission
Fighting Through Disruption
Karen Guttieri (2025) · The Cyber Defense Review
FVM: A Formal Verification Methodology for VHDL Designs
Hipólito Guzmán-Miranda and others (2025) · IEEE Open Journal of the Computer Society · Institute of Electrical and Electronics Engineers (IEEE)
An Internet-Scale Data-Driven Approach for Exploring Cyber Threats Amid Global Conflicts
Joseph Khoury and others (2025) · IEEE Internet of Things Magazine · Institute of Electrical and Electronics Engineers
A Study on the Concept of Cyber Cognitive Warfare and Case Study Methodology From a Psychological Perspective
Kibeom Kim and others (2025) · European Conference on Cyber Warfare and Security · Academic Conferences International Limited
Weapons of Mass Disruption: How Small States Use Cyber to Resist Larger Powers
Russell Alexander Korb (2025) · Old Dominion University
Military and security dimensions of quantum technologies
Michal Krelina (2025) · Stockholm International Peace Research Institute · Stockholm International Peace Research Institute
Enhancing Satellite Link Security Against Drone Eavesdropping Through Cooperative Communication
Rajnish Kumar and others (2025) · International Journal of Satellite Communications and Networking
Between Red Buttons and Red Lines: Assessing Mutual Assured Destruction and NATO-Russia Nuclear Dynamics
Ada Aquino Latrubesse (2025) · Pontifícia Universidade Católica de Goiás
Ternary Toward Binary: Circuit-Level Implementation of Ternary Logic Using Depletion-Mode and Conventional MOSFETs
Hyundong Lee and others (2025) · IEEE Access · Institute of Electrical and Electronics Engineers (IEEE)
Low Earth Orbit Satellites: Policies to Promote Spectrum Sharing, Foster Competition, and Close Digital Divides
LEO Policy Working Group (2025) · New America and International Center for Law and Economics · New America and International Center for Law and Economics
Carbon footprint of cloud, edge, and Internet of Edges
Pauline Loygue and others (2025) · Annals of Telecommunications
The Fourth Industrial Revolution and International Security
Dennis Murphy and others (2025) · Survival · Informa UK Limited
Technology Considerations: SCION
National Cyber Security Centre (2025) · National Cyber Security Centre (NCSC), Federal Department of Defence, Civil Protection and Sport, Switzerland
A Brief Introduction to Low Earth Orbit (LEO) Satellites
LEO Policy Working Group (2025) · Low Earth Orbit Satellites: Policies to Promote Spectrum Sharing, Foster Competition, and Close Digital Divides · New America
"America" as Conspiratorial Language: Americanization of Danish Conspiracy Theories in the Twenty-First Century
Kasper Grotle Rasmussen (2025) · Journal of Transnational American Studies · eScholarship Publishing, University of California
Military Computing Security: Insights and Implications
Kavita Sahu and others (2025) · Journal of The Institution of Engineers (India): Series B
BGP Vortex: Update Message Floods Can Create Internet Instabilities
Felix Stöger and others (2025) · 34th USENIX Security Symposium (USENIX Security 25) · USENIX Association
Digital Transformations of Ukraine's Cybersecurity System in Wartime
Tetiana Vasylieva and others (2025) · The Academic Research and Publishing UG
Ab-initio Quantum Transport with the GW Approximation, 42,240 Atoms, and Sustained Exascale Performance
Nicolas Vetsch and others (2025) · Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC '25) · Association for Computing Machinery
Free-space terabit/s coherent optical links via platicon frequency microcombs
Wenting Wang and others (2025) · eLight · Springer Science and Business Media LLC
Mapping the terrain of social media misinformation: A scientometric exploration of global research
Jian Wang and others (2025) · Acta Psychologica · Elsevier BV
A wireless terahertz cryogenic interconnect that minimizes heat-to-information transfer
Jinchen Wang and others (2025) · Nature Electronics · Springer
Terabits without fibres
Zhenyu Xie and others (2025) · Light: Science & Applications · Springer
Programmable on-chip nonlinear photonics
Ryotatsu Yanagimoto and others (2025) · Nature · Nature Portfolio
Programmable quantum circuits in a large-scale photonic waveguide array
Yang Yang and others (2025) · npj Quantum Information · Springer Science and Business Media LLC
Design your own Computer Chip in 5 steps!
Zero To ASIC Course (2025) · YouTube · video

2024

Why Wafer Bonding is the Future of Semiconductors
Asianometry (2024) · YouTube · video
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Design and Evaluation of Advanced Persistent Threat Scenarios for Cyber Ranges
Tore Bierwirth and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
Misinformation, disinformation, and fake news: lessons from an interdisciplinary, systematic literature review
Elena Broda and others (2024) · Annals of the International Communication Association · Oxford University Press (OUP)
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
PRC State-Sponsored Actors Compromise and Maintain Persistent Access to U.S. Critical Infrastructure
Cybersecurity and Infrastructure Security Agency and others (2024) · Cybersecurity and Infrastructure Security Agency
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai and others (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
Protection of Mission Critical Functions to Achieve Trusted Systems and Networks
Office of the Under Secretary of Defense for Research and Engineering and others (2024) · United States Department of Defense · United States Department of Defense
A Logarithmic Decomposition and a Signed Measure Space for Entropy
Keenan J. A. Down and others (2024) · arXiv
Hybrid threats as a threat to democracy: Soft and smart tactics and three dimensions of democracy
Tanja Ellingsen (2024) · Preparing for Hybrid Threats to Security · Routledge
Red-teaming for generative AI: Silver bullet or security theater?
Michael Feffer and others (2024) · Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society
When trust fails: Examining systemic risk in the digital economy from the 2024 crowdstrike outage
A. Shaji George (2024) · Partners Universal Multidisciplinary Research Journal
"The Third University of Cambridge": BBN and the Development of the ARPAnet
Good Science Project (2024) · Good Science Project
A New Operational Paradigm for IPoDWDM Networks
Steven J. Hand and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
New Foundations for Separation Logic (Coq artifact)
Hans-Dieter Hiep (2024) · Zenodo
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
Analysis of Attack Methods with Artificial Intelligence
Dieter Holstein (2024) · Esslingen University
Draft Report of the Internet of Things Advisory Board
Internet of Things Advisory Board (2024) · National Institute of Standards and Technology
Threats to Critical Infrastructure: A Survey
Bridget R. Kane and others (2024) · RAND Corporation · RAND Corporation
Fifth Generation Warfare: Dominating the Human Domain
Armin Krishnan (2024) · Routledge
Low-Earth orbit satellite constellations for global communication network connectivity
Eva Lagunas and others (2024) · Nature Reviews Electrical Engineering
Mathematics: Signification and Significance
Clare Marie Moriarty (2024) · Berkeley's Doctrine of Signs · De Gruyter
Quantum Key Distribution with Post-Processing Driven by Physical Unclonable Functions
Georgios M. Nikolopoulos and others (2024) · Applied Sciences · MDPI AG
DoD Microelectronics: Field Programmable Gate Array Level of Assurance 1 Best Practices
National Security Agency (2024) · National Security Agency · National Security Agency
Into the Gray Zone: NATO Deterrence in a Graying and Multipolar World
Mark Benjamin Olmstead (2024) · Università degli Studi di Padova
Survey of IP-based air-to-ground data link communication technologies
Sergun Özmen and others (2024) · Journal of Air Transport Management
Terabit Networks Become Reality
Unattributed (2024) · Photonics Media
On the capacity of optical backbone networks
João J. O. Pires (2024) · Network
Doping: The Most Important Part of Making Semiconductors
ProjectsInFlight (2024) · YouTube · video
Open Source Analog ASIC Design: Entire Process
Psychogenic Technologies (2024) · YouTube · video
Advancing Quantum Computing with Formal Methods
Arend-Jan Quist and others (2024)
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024) · Princeton University Press
Roadmapping the next generation of silicon photonics
Sudip Shekhar and others (2024) · Nature Communications
Speedrunning 30yrs of lithography technology
Breaking Taps (2024) · YouTube · video
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro and others (2024) · International Conference on Passive and Active Network Measurement · Springer
Analysis and Formal Specification of OpenJDK's BitSet
Andy S. Tatman and others (2024) · Integrated Formal Methods · Springer
Where is My Route? Enabling Source Routing in LEO Satellite Networks
Satvik Vemuganti and others (2024) · 2024 IEEE 99th Vehicular Technology Conference (VTC2024-Spring) · IEEE
Cheaper Precision Weapons: An Exploratory Study about the HESA Shahed 136
Daniel Zampronha and others (2024) · Advances in Aerospace Science and Technology · Scientific Research Publishing, Inc.
Energy-efficient computing at cryogenic temperatures
Cezar Zota and others (2024) · Nature Electronics · Nature Portfolio

2023

How To Make A Chip
Applied Materials (2023) · YouTube · video
Russian-Ukraine armed conflict: Lessons learned on the digital ecosystem
Itzhak Aviv and others (2023) · International Journal of Critical Infrastructure Protection · Elsevier BV
Dynamic Separation Logic
Frank S. de Boer and others (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS) · Electronic Notes in Theoretical Informatics and Computer Science
The future transistors
Wei Cao and others (2023) · Nature
Network diversity, market entry, and the global internet backbone
El Hadi Caoui and others (2023) · Social Science Research Network
Search and rescue with sparsely connected swarms
Ulrich Dah-Achinanon and others (2023) · Autonomous Robots
A survey of post-quantum cryptography: Start of a new race
Duc-Thuan Dam and others (2023) · Cryptography
Digital routes and borders in the Middle East: the geopolitical underpinnings of Internet connectivity
Frédérick Douzet and others (2023) · Territory, Politics, Governance · Informa UK Limited
Securing the Software Supply Chain: Recommended Practices for Managing Open-Source Software and Software Bill of Materials
Enduring Security Framework Software Supply Chain Working Panel (2023) · National Security Agency, Cybersecurity and Infrastructure Security Agency, and Office of the Director of National Intelligence · National Security Agency, Cybersecurity and Infrastructure Security Agency, and Office of the Director of National Intelligence
Using C2 Problem Space to Integrate Cyber and Kinetic Operations
Tim Grant (2023) · Proceedings of 28th International Command and Control Research and Technology Symposium
Drone Swarms to Support Search and Rescue Operations: Opportunities and Challenges
Maria-Theresa Oanh Hoang and others (2023) · Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies · Springer International Publishing
Imaging at ASML
Huygens Optics (2023) · YouTube · video
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery
Deductive verification of active objects with Crowbar
Eduard Kamburjan and others (2023) · Science of Computer Programming · Elsevier BV
Opportunities and Risks of 5G Military Use in Europe
Mary Lee and others (2023) · RAND Corporation · RAND Corporation
Impact of the first months of war on routing and latency in Ukraine
Valerio Luconi and others (2023) · Computer Networks · Elsevier BV
Mitigating and responding to cognitive warfare
Yvonne R. Masakowski and others (2023) · NATO Science and Technology Organization
Collatz conjecture becomes theorem
Grażyna Mirkowska and others (2023) · arXiv
3 Steps to Calculate Total Enterprise IT Energy Consumption Using DCIM
Robert Moore and others (2023) · Schneider Electric Energy Management Research Center
Fundamentally Understanding and Solving RowHammer
Onur Mutlu and others (2023) · Proceedings of the 28th Asia and South Pacific Design Automation Conference
Update to Memorandum M-22-18, Enhancing the Security of the Software Supply Chain through Secure Software Development Practices
Office of Management and Budget (2023) · Executive Office of the President · Executive Office of the President
Thermodynamics of Information
Juan M. R. Parrondo (2023) · arXiv
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu and others (2023) · arXiv
Nautilus: A Framework for Cross-Layer Cartography of Submarine Cables and IP Links
Alagappan Ramanathan and others (2023) · Proceedings of the ACM on Measurement and Analysis of Computing Systems
Transient execution vulnerabilities in the security context of server hardware
Allison Randal (2023) · CL Technical Reports · University of Cambridge, Computer Laboratory
5G, 6G, and Beyond: Recent advances and future challenges
Fatima Salahdine and others (2023) · Annals of Telecommunications
An Early Future of the Internet
Jens Schröter (2023) · Tech Imaginations · universi — Universitätsverlag Siegen
Open Source Hardware in Manufacturing – Opportunities and Challenges
Maximilian Stange and others (2023) · Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference · Springer
Verification of Red-Black Trees in KeY - A Case Study in Deductive Java Verification
Johanna Stuber (2023) · Karlsruhe Institute of Technology
Analysis of Wind Effect on Drone Relay Communications
Yuya Tajima and others (2023) · Drones
The Effects of the Russo-Ukrainian War on Network Infrastructures Through the Lens of BGP
Zisis Tsiatsikas and others (2023) · Computer Security. ESORICS 2022 International Workshops · Springer International Publishing
Low Earth Orbit Satellite Security and Reliability: Issues, Solutions, and the Road Ahead
Pingyue Yue and others (2023) · IEEE Communications Surveys & Tutorials

2022

How the theory of planned behaviour and flow theory contribute to the acceptance of 5G technology
Morteza Akbari and others (2022) · European J. of International Management · Inderscience Publishers
Leveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar and others (2022) · Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security (ASHES '22) · Association for Computing Machinery
Foundations for entailment checking in quantitative separation logic
Kevin Batz and others (2022) · 31st European Symposium on Programming (ESOP) · Springer
Analysis of systems security engineering design principles for the development of secure and resilient systems
Paul M. Beach and others (2022) · Handbook of Scholarly Publications from the Air Force Institute of Technology (AFIT), Volume 1, 2000–2020 · CRC Press
The Logical Writings of Karl Popper
David Binder and others (2022) · Springer
Footprint Logic for Object-Oriented Components
Frank S. de Boer and others (2022) · Formal Aspects of Component Software · Springer International Publishing
Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
William D. Brewer (2022) · Kurt Gödel: The Genius of Metamathematics · Springer
Verified Paging for x86-64 in Rust
Matthias Brun (2022) · ETH Zurich
SoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan and others (2022) · Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
Ambiguous Self-Induced Disinformation (ASID) Attacks: Weaponizing a Cognitive Deficiency
Matthew Canham and others (2022) · Journal of Information Warfare
The Complete Guide to SCION
Laurent Chuat and others (2022) · Springer
A Complete Equational Theory for Quantum Circuits
Alexandre Clément and others (2022)
Sound automation of magic wands
Thibault Dardinier and others (2022) · 34th International Conference on Computer Aided Verification (CAV) · Springer
Posthoc Verification and the Fallibility of the Ground Truth
Yifan Ding and others (2022) · Proceedings of the First Workshop on Dynamic Adversarial Data Collection · Association for Computational Linguistics
Cyber risk and the US financial system: A pre-mortem analysis
Thomas M. Eisenbach and others (2022) · Journal of Financial Economics
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Securing On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Dijkstra's legacy on program verification
Reiner Hähnle (2022) · Edsger Wybe Dijkstra: His Life, Work, and Legacy · Association for Computing Machinery
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep and others (2022) · International Journal on Software Tools for Technology Transfer · Springer
Undecidability of dyadic first-order logic in Coq
Johannes Hostert and others (2022) · 13th International Conference on Interactive Theorem Proving (ITP 2022) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
A Charge Domain P-8T SRAM Compute-In-Memory with Low-Cost DAC/ADC Operation for 4-bit Input Processing
Joonhyung Kim and others (2022) · Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design · Association for Computing Machinery
A Coq Library for Mechanised First-Order Logic
Dominik Kirst and others (2022) · The Coq Workshop 2022
Fifth Generation Warfare, Hybrid Warfare, and Gray Zone Conflict
Armin Krishnan (2022) · Journal of Strategic Security
Cyber security: Critical infrastructure protection
Martti Lehto and others (2022) · Springer
Moore's law: The journey ahead
Mark S. Lundstrom and others (2022) · Science · American Association for the Advancement of Science (AAAS)
Survey of Distributed File System Design Choices
Peter Macko and others (2022) · ACM Transactions on Storage
Social isolation and self-isolation and digitalization of services during the COVID-19 pandemic: a sociological analysis
G. A. Mirzakulova and others (2022) · The Journal of Psychology and Sociology · al-Farabi Kazakh National University
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer
Strong-separation logic
Jens Pagel and others (2022) · ACM Transactions on Programming Languages and Systems (TOPLAS)
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Fractional cyber-neural systems — A brief survey
Emily Reed and others (2022) · Annual Reviews in Control
A criticism of the technological singularity
Alexander K. Seewald (2022) · Disruptive Technologies in Media, Arts and Design · Springer
Satellite-based communications security: A survey of threats, solutions, and research challenges
Pietro Tedeschi and others (2022) · Computer Networks · Elsevier BV
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović and others (2022) · International Journal on Software Tools for Technology Transfer
Foureye: Defensive Deception Against Advanced Persistent Threats via Hypergame Theory
Zelin Wan and others (2022) · IEEE Transactions on Network and Service Management · Institute of Electrical and Electronics Engineers (IEEE)
A systematic evaluation of large language models of code
Frank F. Xu and others (2022) · Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming · Association for Computing Machinery

2021

Permission-based verification of red-black trees and their merging
Lukas Armborst and others (2021) · 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) · IEEE
Corrigendum: cloud provider connectivity in the flat internet
Todd Arnold and others (2021) · Proceedings of the 21st ACM Internet Measurement Conference · Association for Computing Machinery (ACM)
How Carl Zeiss Crafts Optics for a $150 Million EUV Machine
Asianometry (2021) · YouTube · video
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian and others (2021) · 24th International Symposium on Formal Methods (FM) · Springer
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
Frank S. de Boer and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Symbolic execution formally explained
Frank S. de Boer and others (2021) · Formal Aspects of Computing
Leibniz's Binary Algebra and its Role in the Expression and Classification of Numbers
Mattia Brancato (2021) · Philosophia Scientiae · Éditions Kimé
Post quantum cryptographic keys generated with physical unclonable functions
Bertrand Cambou and others (2021) · Applied Sciences
Giuseppe Peano and his school: Axiomatics, symbolism and rigor
Paola Cantù and others (2021) · Philosophia Scientiae · Éditions Kimé
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering --- A White Paper ---
Antonio Cerone and others (2021) · Formal Methods -- Fun for Everybody · Springer International Publishing
Making Sense of Number, Bit-by-Bit
Samuel J. Cheyette (2021)
Cyber Ranges and TestBeds for Education, Training, and Research
Nestoras Chouliaras and others (2021) · Applied Sciences · MDPI AG
JML and OpenJML for Java 16
David R. Cok (2021) · Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs · Association for Computing Machinery
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Posthoc verification and the fallibility of the ground truth
Yifan Ding and others (2021) · arXiv
Intrusive Passive Optical Tapping Device
Ismel Dominguez and others (2021) · IEEE Access · Institute of Electrical and Electronics Engineers (IEEE)
Twenty years of Escaping the Java Sandbox
Ieu Eauvidoum and others (2021) · Phrack Magazine
Peano and the Debate on Infinitesimals
Paolo Freguglia (2021) · Philosophia Scientiae · Éditions Kimé
Defense advanced research projects agency: Overview and issues for congress
Marcey E. Gallo (2021) · Congressional Research Service
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
Non-Satellite Broadband Maritime Communications for e-Navigation Services
Michał Hoeft and others (2021) · IEEE Access
The semantics of shared memory in Intel CPU/FPGA systems
Dan Iorga and others (2021) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Software testing: a craftsman's approach
Paul C. Jorgensen and others (2021) · CRC Press
Solar superstorms: planning for an internet apocalypse
Sangeetha Abdu Jyothi (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Dedekinds Sätze und Peanos Axiomata
Reinhard Kahle (2021) · Philosophia Scientiae
What you need to know about (smart) network interface cards
Georgios P. Katsikas and others (2021) · International Conference on Passive and Active Network Measurement · Springer
European academic brain drain: A meta-synthesis
Jawaria Khan (2021) · European Journal of Education
Satellite Communications in the New Space Era: A Survey and Future Challenges
Oltjon Kodheli and others (2021) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers
Quantum technology for military applications
Michal Krelina (2021) · EPJ Quantum Technology
The Path to Successful Wafer-Scale Integration: The Cerebras Story
Gary Lauterbach (2021) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
A Composable Glitch-Aware Delay Model
Jürgen Maier and others (2021) · Proceedings of the Great Lakes Symposium on VLSI 2021 · Association for Computing Machinery
Software supply chain attacks, a threat to global cybersecurity: SolarWinds' case study
Jeferson Martínez and others (2021) · International Journal of Safety and Security Engineering
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic · Victoria University of Wellington Library
Top-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Global Is the New Local: FPGA Architecture at 5nm and Beyond
Stefan Nikolić and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
An Updated Comparison of Four Low Earth Orbit Satellite Constellation Systems to Provide Global Broadband
Nils Pachler and others (2021) · 2021 IEEE International Conference on Communications Workshops (ICC Workshops) · IEEE
NetCracker: A Peek into the Routing Architecture of Xilinx 7-Series FPGAs
Morten B. Petersen and others (2021) · The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays · Association for Computing Machinery
PUF-RAKE: A PUF-based robust and lightweight authentication and key establishment protocol
Mahmood Azhar Qureshi and others (2021) · IEEE Transactions on Dependable and Secure Computing
Python Tutorial, Release 3.10.1
Guido van Rossum and others (2021) · Python Software Foundation
Patching zero-day vulnerabilities: an empirical analysis
Yaman Roumani (2021) · Journal of Cybersecurity
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Dirk Schlimm (2021) · Philosophia Scientiae · OpenEdition
PSP 103.8.1 User's Manual
G. D. J. Smit and others (2021) · NXP Semiconductors and CEA-Leti
The decline of computers as a general purpose technology
Neil C. Thompson and others (2021) · Communications of the ACM · Association for Computing Machinery
Texas Man Sentenced to 10 Years for Plotting to Attack Data Centers
United States Attorney's Office, Northern District of Texas (2021) · United States Department of Justice · United States Department of Justice
Evaluation of Planar MOSFET, FinFET and GAAFET in VLSI
VLSI Simplified (2021) · YouTube · video
Gödel's Reading of Peano's Arithmetices Principia
Jan von Plato (2021) · Philosophia Scientiae · Éditions Kimé
Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?
Jan von Plato (2021) · Philosophia Scientiae · Éditions Kimé
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2021) · Communications of the ACM
Gobra: Modular specification and verification of Go programs
Felix A. Wolf and others (2021) · 33rd International Conference on Computer Aided Verification (CAV) · Springer

2020

COVID-19 and the 5G Conspiracy Theory: Social Network Analysis of Twitter Data
Wasim Ahmed and others (2020) · Journal of Medical Internet Research · JMIR Publications Inc.
Cloud Provider Connectivity in the Flat Internet
Todd Arnold and others (2020) · Proceedings of the ACM Internet Measurement Conference · Association for Computing Machinery (ACM)
A probabilistic separation logic
Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
A Simplified Arm Processor for VLSI Education
Noah Boorstin and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Flow-Data Gathering Using NetFlow Sensors for Fitting Malicious-Traffic Detection Models
Adrián Campazas-Vega and others (2020) · Sensors · Multidisciplinary Digital Publishing Institute
Claude Chappe & other semaphores (1763--1805)
Fons Vanden Berghen (2020) · telegraphy.eu
Separation logic for sequential programs (functional pearl)
Arthur Charguéraud (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
A unified account of numerosity perception
Samuel J. Cheyette and others (2020) · Nature Human Behaviour · Springer Science and Business Media LLC
Measuring the fragmentation of the Internet: the case of the Border Gateway Protocol (BGP) during the Ukrainian crisis
Frédérick Douzet and others (2020) · 12th International Conference on Cyber Conflict (CyCon) · IEEE
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates
Mnacho Echenim and others (2020) · ACM Transactions on Computational Logic (TOCL)
Operational resilience, disruption, and efficiency: Conceptual and empirical analyses
Dominic Essuman and others (2020) · International journal of production economics
The 2020 expert survey on formal methods
Hubert Garavel and others (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) · Springer
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher and others (2020) · Empirical Software Engineering
Maginot Lines and Tourniquets: On the Defendability of National Cyberspace
Devashish Gosain and others (2020) · 2020 IEEE 45th LCN Symposium on Emerging Topics in Networking (LCN Symposium)
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Comprehensive survey of UAVs communication networks
Aicha Idriss Hentati and others (2020) · Computer Standards & Interfaces
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep and others (2020) · Integrated Formal Methods · Springer
A Tutorial on Verifying LinkedList Using KeY
Hans-Dieter A. Hiep and others (2020) · Deductive Software Verification: Future Perspectives · Springer International Publishing
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep and others (2020) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
On the Industrial Application of Critical Software Verification with VerCors
Marieke Huisman and others (2020) · Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) · Springer International Publishing
Comprehensive Cyber Arena; The Next Generation Cyber Range
Mika Karjalainen and others (2020) · 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · IEEE
The Territorialization of Cyberspace
Daniel Lambach (2020) · International Studies Review · Oxford University Press (OUP)
There's plenty of room at the Top: What will drive computer performance after Moore's law?
Charles E. Leiserson and others (2020) · Science · American Association for the Advancement of Science (AAAS)
State Space Reduction For Parity Automata
Christof Löding and others (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dynamic Separation Logic and its Use in Education
Evgeny M. Makarov (2020) · Современные информационные технологии и ИТ-образование
A First-Order Logic with Frames
Adithya Murali and others (2020) · 29th European Symposium on Programming (ESOP) · Springer
Towards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Incorrectness logic
Peter W. O'Hearn (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
The ARPANET into the Internet: A tale of two networks
Noel Packard (2020) · Studies in Media and Communication
Accessible Real-Time Surveillance Radar System for Object Detection
Seongha Park and others (2020) · Sensors · MDPI
Gödel's incompleteness theorems
Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Area-Optimized UAV Swarm Network for Search and Rescue Operations
Laik Ruetten and others (2020) · 2020 10th Annual Computing and Communication Workshop and Conference (CCWC) · IEEE
The future of computing beyond Moore's Law
John Shalf (2020) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Tactical Data Link Planning and Operations
United States Air Force (2020) · Department of the Air Force

2019

LSAR: Multi-UAV Collaboration for Search and Rescue Missions
Ebtehal T. Alotaibi and others (2019) · IEEE Access
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani and others (2019) · IEEE Communications Surveys & Tutorials
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
A review on software defined network security risks and challenges
Tsehay Admassu Assegie and others (2019) · TELKOMNIKA (Telecommunication Computing Electronics and Control) · Ahmad Dahlan University
Forward with separation logic
Callum Bannister (2019)
On the hourglass model
Micah Beck (2019) · Communications of the ACM
The transboundary crisis: Why we are unprepared and the road ahead
Arjen Boin (2019) · Journal of Contingencies and Crisis Management
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer · Springer
Quine's New Foundations
Thomas Forster (2019) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
(Ideo)Logical Reasoning: Ideology Impairs Sound Reasoning
Anup Gampa and others (2019) · Social Psychological and Personality Science · SAGE Publications
Photonics and Fiber Optics: Foundations and Applications
Tarun Kumar Gangopadhyay and others (2019) · CRC Press
Time Protection: The Missing OS Abstraction
Qian Ge and others (2019) · Proceedings of the Fourteenth EuroSys Conference · Association for Computing Machinery
New opportunities for integrated formal methods
Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
Messaging Before the Internet—Early Electrical Telegraphs [Historical]
Massimo Guarnieri (2019) · IEEE Industrial Electronics Magazine · IEEE
A new golden age for computer architecture
John L. Hennessy and others (2019) · Communications of the ACM · Association for Computing Machinery
DIY Photolithography using 1980s Carl Zeiss S-Planar Lens (405nm)
Huygens Optics (2019) · YouTube · video
Scheduling Workloads of Workflows in Clusters and Clouds
Alexey Ilyushkin (2019) · Delft University of Technology
Interoperability: The Critical Enabler in the Anti-Access Area-Denial Fight?
Timothy D. Keithley (2019) · Marine Corps University, Command and Staff College
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
VHF Data Exchange System (VDES): an enabling technology for maritime communications
Francisco Lázaro and others (2019) · CEAS Space Journal
The Engineering of Climate Engineering
Douglas G. MacMartin and others (2019) · Annual Review of Control, Robotics, and Autonomous Systems · Annual Reviews
Taming Anycast in the Wild Internet
Stephen McQuistin and others (2019) · Proceedings of the Internet Measurement Conference · ACM
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Hidden Risks to Cyberspace Security from Obsolete COTS Software
Barış Egemen Özkan and others (2019) · 2019 11th International Conference on Cyber Conflict: Silent Battle · NATO CCD COE Publications
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer
A Survey on Recent Advances in Transport Layer Protocols
Michele Polese and others (2019) · IEEE Communications Surveys & Tutorials
Why Separation Logic Works
David Pym and others (2019) · Philosophy & Technology · Springer
Security assurance against cybercrime ransomware
Habib ur Rehman and others (2019) · International Conference on Intelligent Computing & Optimization (ICO) · Springer
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference · Optica Publishing Group
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
A Survey on Malicious Domains Detection through DNS Data Analysis
Yury Zhauniarovich and others (2019) · ACM Computing Surveys

2018

Backwards and Forwards with Separation Logic
Callum Bannister and others (2018) · 9th International Conference on Interactive Theorem Proving (ITP) · Springer
Untangling the world-wide mesh of undersea cables
Zachary S. Bischof and others (2018) · Proceedings of the 17th ACM Workshop on Hot Topics in Networks · ACM
On models of higher-order separation logic
Aleš Bizjak and others (2018) · Electronic Notes in Theoretical Computer Science
The elusive internet flattening: 10 years of IXP growth
Timm Böttger and others (2018) · arXiv
Search and Rescue Operations with Mesh Networked Robots
Tristan Brodeur and others (2018) · 2018 9th IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference (UEMCON) · IEEE
Rethinking IXPs' Architecture in the Age of SDN
Marc Bruyere and others (2018) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers
PUFSSL: An OpenSSL Extension for PUF based Authentication
Urbi Chatterjee and others (2018) · 2018 IEEE 23rd International Conference on Digital Signal Processing (DSP) · IEEE
Deepfakes and the New Disinformation War
Danielle Keats Citron and others (2018) · Foreign Affairs · Yale University
Designing an Internet
David D. Clark (2018) · MIT Press
China's Maxim – Leave No Access Point Unexploited: The Hidden Story of China Telecom's BGP Hijacking
Chris C. Demchak and others (2018) · Military Cyber Affairs · University of South Florida Libraries
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer
Metastability-Containing Circuits
Stephan Friedrichs and others (2018) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer
European deterrence for European assurance: The United States and Russian adventurism in the Crimea
Larry V. Geddings Jr (2018) · US Army Command and General Staff College · School of Advanced Military Studies, US Army Command and General Staff College
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery
Next-generation NASA Earth-orbiting relay satellites: Fusing optical and microwave communications
David J. Israel and others (2018) · 2018 IEEE Aerospace Conference · IEEE
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
Adapting Kerckhoffs's Principle: CPU Attacks Leading a Path from Cryptography to Open-Source Hardware
Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018) · RheinMain University of Applied Sciences
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel and others (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018) · Open Publishing Association
Internet eXchange points: current challenges and new opportunities
Roberto di Lallo (2018) · Roma Tre University
The science of fake news
David M. J. Lazer and others (2018) · Science · American Association for the Advancement of Science (AAAS)
Next Generation Internet 2025
Michiel Leenaars and others (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union · European Commission, Directorate-General for Communications Networks, Content and Technology
Meltdown
Moritz Lipp and others (2018) · arXiv
Meltdown: Reading Kernel Memory from User Space
Moritz Lipp and others (2018) · 27th USENIX Security Symposium (USENIX Security 18) · USENIX Association
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit and others (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
Blending electronics with the human body: a pathway toward a cybernetic future
Mehdi Mehrali and others (2018) · Advanced science
Non-wellfounded Set Theory
Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Communications and Control for Wireless Drone-Based Antenna Array
Mohammad Mozaffari and others (2018) · arXiv
PSYOP and Social Networks
Andrew A. Sadoun (2018) · Naval Postgraduate School
The era of hyper-scaling in electronics
Sayeef Salahuddin and others (2018) · Nature Electronics · Springer Science and Business Media LLC
Challenges to cybersecurity: Current state of affairs
Ravi Sen (2018) · Communications of the Association for Information Systems
Resilience analysis: A mathematical formulation to model resilience of engineering systems
Neetesh Sharma and others (2018) · Sustainable and Resilient Infrastructure
Advanced Computer Architectures
Sajjan G. Shiva (2018) · CRC Press
Cyberspace Operations
Joint Chiefs of Staff (2018) · U.S. Department of Defense
Information Theory: A Tutorial Introduction
James V. Stone (2018) · arXiv
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
Understanding Internet shutdowns: A case study from Pakistan
Ben Wagner (2018) · International Journal of Communication
Fiber-optic transmission and networking: the previous 20 and the next 20 years [Invited]
Peter J. Winzer and others (2018) · Optics Express · Optica Publishing Group
Drone networks: Communications, coordination, and sensing
Evşen Yanmaz and others (2018) · Ad Hoc Networks
Pulsed interferometric optical fibre sensor detecting wiretapping in long transmission lines
M. Życzkowski and others (2018) · Opto-Electronics Review · Polish Academy of Sciences Chancellery

2017

Estimation of shipping emissions using vessel Long Range Identification and Tracking data
Alfredo Alessandrini and others (2017) · Journal of Maps
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · National Bureau of Economic Research · National Bureau of Economic Research
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · Journal of Economic Perspectives · American Economic Association
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom and others (2017) · Integrated Formal Methods · Springer
CMOS Scaling Trends and Beyond
M. Bohr and others (2017) · IEEE Micro · Institute of Electrical and Electronics Engineers
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston and others (2017) · Automated Deduction – CADE 26 · Springer
Bringing order to the separation logic jungle
Qinxiang Cao and others (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
Predicativity and Feferman
Laura Crosilla (2017) · Feferman on Foundations: Logic, mathematics, philosophy · Springer
The Cyber Domain
Glenn Alexander Crowther (2017) · The Cyber Defense Review · Army Cyber Institute
The HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society
A Brief History of the Semiconductor Industry
Paolo A. Gargini (2017) · Nanoelectronics: Materials, Devices, Applications · Wiley-VCH
Metamathematics of First-Order Arithmetic
Petr Hájek and others (2017) · Cambridge University Press
In-Datacenter Performance Analysis of a Tensor Processing Unit
Norman P. Jouppi and others (2017) · Proceedings of the 44th Annual International Symposium on Computer Architecture (ISCA '17) · Association for Computing Machinery
Interactive proofs in higher-order concurrent separation logic
Robbert Krebbers and others (2017) · 44th ACM Symposium on Principles of Programming Languages (POPL)
Programming languages: A survey
Krishan Kumar and others (2017) · International Journal on Recent and Innovation Trends in Computing and Communication
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
Cyberspace in Multi-Domain Battle
Paul M. Nakasone and others (2017) · The Cyber Defense Review
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang and others (2017) · Computer-Aided Civil and Infrastructure Engineering
Crazyswarm: A large nano-quadcopter swarm
James A. Preiss and others (2017) · 2017 IEEE International Conference on Robotics and Automation (ICRA) · IEEE
Crosstalk dynamics in multi-core fibers
Rademacher, Georg and others (2017) · Optics Express
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds and others (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
Strategic A2/AD in Cyberspace
Alison Lawlor Russell (2017) · Cambridge University Press
The coming software apocalypse
James Somers (2017) · The Atlantic
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder and others (2017) · Journal of Automated Reasoning · Springer
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik and others (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17) · Association for Computing Machinery
The End of Moore’s Law: A New Beginning for Information Technology
Thomas N. Theis and others (2017) · Computing in Science & Engineering
Silicon Photonics: Electromagnetic theory
Wouter J. Westerveld and others (2017) · IOP Publishing
Ukraine cyber-induced power outage: Analysis and practical mitigation strategies
David E. Whitehead and others (2017) · 2017 70th Annual Conference for Protective Relay Engineers (CPRE) · IEEE
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017) · Strategic Multilayer Assessment Group, Pentagon Joint Staff

2016

Optical Communication: Its History and Recent Progress
Govind P. Agrawal (2016) · Optics in Our Time · Springer
Optics in Our Time
Mohammad D. Al-Amri and others (2016) · Springer
Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016) · The Graduate University for Advanced Studies, SOKENDAI
Introduction to software testing
Paul Ammann and others (2016) · Cambridge University Press
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Concurrent separation logic
Stephen Brookes and others (2016) · ACM SIGLOG News
Botornot: A system to evaluate social bots
Clayton Allen Davis and others (2016) · 25th International Conference Companion on World Wide Web · Association for Computing Machinery
The spreading of misinformation online
Michela Del Vicario and others (2016) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Cyber Operations and Gray Zones: Challenges for NATO
Oliver Fitton (2016) · Connections: The Quarterly Journal
An Industrial-Scale Software Defined Internet Exchange Point
Arpit Gupta and others (2016) · 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) · USENIX Association
Completeness for a first-order abstract separation logic
Zhé Hóu and others (2016) · 14th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
Cybernetics, reflexivity and second-order science
Louis H. Kauffman (2016) · Constructivist Foundations
Proof automation for functional correctness in separation logic
Ewen Maclean and others (2016) · Journal of Logic and Computation
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras (2016) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Viper: A verification infrastructure for permission-based reasoning
Peter Müller and others (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 · Springer
Marine Corps Cyberspace Operations: The Need for Change
Jeffrey J. Patterson (2016) · Marine Corps University, Command and Staff College
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan and others (2016) · IEEE Communications Surveys & Tutorials
End-to-End Verification of ARM Processors with ISA-Formal
Alastair Reid and others (2016) · Computer Aided Verification (CAV 2016)
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer
The effects of Internet usage and economic growth on CO2 emissions in OECD countries: A panel investigation
Mohammad Salahuddin and others (2016) · Renewable and Sustainable Energy Reviews · Elsevier
A survey of security in software defined networks
Sandra Scott-Hayward and others (2016) · IEEE Communications Surveys & Tutorials · IEEE
A Study of Security Isolation Techniques
Rui Shu and others (2016) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Carbon nanotube FET‐based low‐delay and low‐power multi‐digit adder designs
B. Srinivasu and others (2016) · IET Circuits, Devices & Systems · Institution of Engineering and Technology (IET)
Tactical Data Link -- From Link 1 to Link 22
Stoica, Anca and others (2016) · Scientific Bulletin of Naval Academy
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science · MIT Press

2015

Permission-based separation logic for multithreaded Java programs
Afshin Amighi and others (2015) · Logical Methods in Computer Science
Information and thermodynamics: experimental verification of Landauer's Erasure principle
Antoine Bérut and others (2015) · Journal of Statistical Mechanics: Theory and Experiment · IOP Publishing
Witnessing the elimination of magic wands
Stefan Blom and others (2015) · International Journal on Software Tools for Technology Transfer · Springer
Being and Change: Reasoning About Invariance
Frank S. de Boer and others (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Do bugs foreshadow vulnerabilities? A study of the Chromium project
Felivel Camilo and others (2015) · 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories · IEEE
Logical Investigations on Separation Logics
Stéphane Demri and others (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
Handbook of Epistemic Logic
Hans van Ditmarsch and others (2015) · College Publications
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol and others (2015) · Mathematics of Program Construction · Springer
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw and others (2015) · Computer Aided Verification · Springer
Comparing models of offensive cyber operations
Tim Grant and others (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare and Security
On the military geography of cyberspace
Tim Grant (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare Secur
Path switching: Reduced-state flow handling in SDN using path information
Adiseshu Hari and others (2015) · Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies
High-performance random access schemes
Oscar del Río Herrero and others (2015) · Cooperative and Cognitive Satellite Systems · Elsevier
Performance Anomaly Detection and Bottleneck Identification
Olumuyiwa Ibidunmoye and others (2015) · ACM Computing Surveys
Cyber Warfare: Building the Scientific Foundation
Sushil Jajodia and others (2015) · Springer
Software-Defined Networking: A Comprehensive Survey
Diego Kreutz and others (2015) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Emotion and Decision Making
Jennifer S. Lerner and others (2015) · Annual Review of Psychology · Annual Reviews
Technology acceptance model: a literature review from 1986 to 2013
Nikola Marangunić and others (2015) · Universal Access in the Information Society · Springer-Verlag Berlin Heidelberg
Introduction to Mathematical Logic
Elliott Mendelson (2015) · CRC Press
How Amazon Web Services Uses Formal Methods
Chris Newcombe and others (2015) · Communications of the ACM · Association for Computing Machinery
From categorical logic to Facebook engineering
Peter O'Hearn (2015) · 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science · IEEE
Thermodynamics of information
Juan M. R. Parrondo and others (2015) · Nature Physics · Nature Portfolio
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015 · Association for Computing Machinery
A Fully Verified Container Library
Nadia Polikarpova and others (2015) · FM 2015: Formal Methods · Springer
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir and others (2015) · IEEE Communications Surveys & Tutorials · IEEE
Strategic Anti-Access/Area Denial in Cyberspace
Alison Lawlor Russell (2015) · 2015 7th International Conference on Cyber Conflict: Architectures in Cyberspace · NATO CCD COE Publications
Identifying and Exploiting the Cyber High Ground for Botnets
Patrick W. Sweeney and others (2015) · Advances in information security · Springer Nature
Propositions as types
Philip Wadler (2015) · Communications of the ACM
PROPs for Linear Systems
Simon Wadsley and others (2015) · arXiv
Hybrid satellite systems
Juha Ylitalo and others (2015) · Cooperative and Cognitive Satellite Systems · Elsevier

2014

Collaborating with the Enemy on Network Management (Transcript of Discussion)
Ross Anderson and others (2014) · Security Protocols XXII · Springer International Publishing
Correction for Kramer et al., Experimental evidence of massive-scale emotional contagion through social networks
Proceedings of the National Academy of Sciences (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia and others (2014) · Proceedings of the IEEE
The VerCors tool for verification of concurrent programs
Stefan Blom and others (2014) · International Symposium on Formal Methods · Springer
A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions
James Brotherston and others (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
Self-organizing aerial mesh networks for emergency communication
Marco Di Felice and others (2014) · 2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication (PIMRC) · IEEE
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw and others (2014) · Journal of Automated Reasoning · Springer
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
Collaborating with the enemy on network management
Chris Hall and others (2014) · Security Protocols XXII · Springer
A comparative analysis of microarchitecture effects on CPU and GPU memory system behavior
Joel Hestness and others (2014) · 2014 IEEE International Symposium on Workload Characterization (IISWC) · IEEE
Formal Specification with JML
Marieke Huisman and others (2014) · Karlsruhe Institute of Technology
Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors
Yoongu Kim and others (2014) · 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)
Experimental evidence of massive-scale emotional contagion through social networks
Adam D. I. Kramer and others (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents · Oxford University Press
Optical theorem for transmission lines
Edwin A. Marengo and others (2014) · Progress In Electromagnetics Research B
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski and others (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP) · Springer
Multilink Processors (Link 11/16/22) and Integration Architectures
Öztürk, Serdar and others (2014) · MilSOFT Yazilim Teknolojileri A.Ş.
Automating Separation Logic with Trees and Data
Ruzica Piskac and others (2014) · Computer Aided Verification · Springer
Key terrain in cyberspace: Seeking the high ground
David Raymond and others (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014) · IEEE
Peering at Peerings: On the Role of IXP Route Servers
Philipp Richter and others (2014) · Proceedings of the 2014 Conference on Internet Measurement Conference · ACM
The CIA Strikes Back: Redefining Confidentiality, Integrity and Availability in Security
Spyridon Samonas and others (2014) · Journal of Information System Security
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur and others (2014) · International SPIN Symposium on Model Checking of Software · Association for Computing Machinery
Editorial Expression of Concern: Experimental Evidence of Massive-Scale Emotional Contagion through Social Networks
Inder M. Verma (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences

2013

Mathematical wit and mathematical cognition
Andrew Aberdein (2013) · Topics in Cognitive Science
Reactive Turing machines
J. C. M. Baeten and others (2013) · Information and Computation · Elsevier BV
Swarm robotics: a review from the swarm engineering perspective
Manuele Brambilla and others (2013) · Swarm Intelligence
The history of the internet: the missing narratives
Martin Campbell-Kelly and others (2013) · Journal of Information Technology · SAGE Publications
Model Theory: Third Edition
C. C. Chang and others (2013) · Dover Publications
On Unsettleable Arithmetical Problems
John H. Conway (2013) · The American Mathematical Monthly · Informa UK Limited
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Application of Formal Methods in Development of Information Systems
Željko Dobrović and others (2013) · Central European Conference on Information and Intelligent Systems · Faculty of Organization and Informatics Varazdin
The language of mathematics
Mohan Ganesalingam (2013) · Springer
A Simple Separation Logic
Andreas Herzig (2013) · Logic, Language, Information, and Computation · Springer
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif and others (2013) · Automated Deduction – CADE-24 · Springer
Programming in the λ-Calculus: From Church to Scott and back
Jan Martin Jansen (2013) · The Beauty of Functional Code · Springer
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · High Permittivity Gate Dielectric Materials · Springer
JML Reference Manual
Gary T. Leavens and others (2013)
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly · National Defense University Press
Automating Separation Logic Using SMT
Ruzica Piskac and others (2013) · Computer Aided Verification · Springer
Space Division Multiplexing in Optical Fibres
D. J. Richardson and others (2013)
Structured Computer Organization
Andrew S. Tanenbaum and others (2013) · Pearson
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science

2012

Anatomy of a large european IXP
Bernhard Ager and others (2012) · Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication · ACM
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences
The Art of Hardware Architecture
Mohit Arora (2012) · Springer New York
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association
Experimental verification of Landauer’s principle linking information and thermodynamics
Antoine Bérut and others (2012) · Nature · Nature Portfolio
Before we knew it: an empirical study of zero-day attacks in the real world
Leyla Bilge and others (2012) · ACM Conference on Computer and Communications Security
Separation predicates: A taste of separation logic in first-order logic
François Bobot and others (2012) · International Conference on Formal Engineering Methods · Springer
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation
Capacity Trends and Limits of Optical Communication Networks
René-Jean Essiambre and others (2012) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi and others (2012) · Formal Methods for Industrial Critical Systems · Wiley
Das Induktions-Prinzip
Ulrich Felgner (2012) · Jahresbericht der Deutschen Mathematiker-Vereinigung · Springer Fachmedien Wiesbaden GmbH
Advanced ROADM Networks
M. D. Feuer and others (2012) · National Fiber Optic Engineers Conference · OSA
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Which mathematical logic is the logic of mathematics?
Jaakko Hintikka (2012) · Logica Universalis
A New Clock Network Synthesizer for Modern VLSI Designs
Jingwei Lu and others (2012) · Integration, the VLSI Journal
Virality in social media: the SPIN Framework
Adam J. Mills (2012) · Journal of Public Affairs · Wiley
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Peter W. O'Hearn (2012) · Software Safety and Security: Tools for Analysis and Verification · IOS Press
How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP
Costin Raiciu and others (2012) · Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) · USENIX Association
Thermodynamics of Information Processing in Small Systems
Takahiro Sagawa (2012) · Progress of Theoretical Physics · Oxford University Press
An Overview of Software Defect Density: A Scoping Study
Syed Muhammad Ali Shah and others (2012) · 2012 19th Asia-Pacific Software Engineering Conference · IEEE
Second order logic or set theory?
Jouko Väänänen (2012) · Bulletin of Symbolic Logic
Data structures and algorithm analysis in Java
Mark Allen Weiss (2012) · Pearson Education
Formal Verification of Critical Aerospace Software
Virginie Wiels and others (2012) · Aerospace Lab

2011

Why software is eating the world
Marc Andreessen (2011) · Wall Street Journal
Cyber-physical systems
Radhakisan Baheti and others (2011) · The impact of control technology
The role of optics in future high radix switch design
Nathan Binkert and others (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11) · Association for Computing Machinery
Ternary Computers: The Setun and the Setun 70
Nikolay Petrovich Brusentsov and others (2011) · Perspectives on Soviet and Russian Computing · Springer Berlin Heidelberg
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
Algebraic separation logic
Han Hing Dang and others (2011) · The Journal of Logic and Algebraic Programming · Elsevier
Dark silicon and the end of multicore scaling
Hadi Esmaeilzadeh and others (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA)
Common criteria for the assessment of critical infrastructures
Alexander Fekete (2011) · International Journal of Disaster Risk Science
Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
Dan R. Ghica and others (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11) · Association for Computing Machinery
Entropy and Information Theory
Robert M. Gray (2011) · Springer US
G144A12 Chip Reference: A 144-Computer Multicomputer Chip
GreenArrays, Inc. (2011) · GreenArrays, Inc.
Separating routing policy from mechanism in the network layer
James Griffioen and others (2011) · Next-Generation Internet · Cambridge University Press
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote and others (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM) · IEEE
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column · Asia Pacific Network Information Centre
Optical fiber tapping: Methods and precautions
M. Zafar Iqbal and others (2011) · 8th International Conference on High-capacity Optical Networks and Emerging Technologies · IEEE
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs and others (2011) · NASA Formal Methods · Springer
The economics of software quality
Capers Jones and others (2011) · Addison-Wesley Professional
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng and others (2011) · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Verification of programs in virtual memory using separation logic
Rafal Michal Kolanski (2011) · UNSW Sydney
Algorithmic Puzzles
Anany Levitin and others (2011) · Oxford University Press
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic · Springer
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science · Cambridge University Press
Cyberspace: The ultimate complex adaptive system
Paul W. Phister Jr (2011) · The International C2 Journal · Command and Control Research Program
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
How many tiers? Pricing in the internet transit market
Vytautas Valancius and others (2011) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
Reverse Hoare Logic
Edsko de Vries and others (2011) · Software Engineering and Formal Methods · Springer Science+Business Media

2010

The first worldwide public packet switching network
Luis Arroyo (2010) · 2010 Second IEEE HISTELCON: History of Electro-technology Conference · IEEE
Programming with angelic nondeterminism
Shaon Barman and others (2010) · Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages · ACM
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
A survey of challenges in attribution
W. Earl Boebert (2010) · Proceedings of a workshop on Deterring CyberAttacks
Hybrid Logic and its Proof-Theory
Torben Braüner (2010) · Springer
Undecidability of propositional separation logic and its neighbours
James Brotherston and others (2010) · 25th IEEE Symposium on Logic in Computer Science (LICS) · IEEE
A Survey of BGP Security Issues and Solutions
K. Butler and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Pandemics in the Age of Twitter: Content Analysis of Tweets during the 2009 H1N1 Outbreak
Cynthia Chew and others (2010) · PLoS ONE · Public Library of Science (PLoS)
A gentle introduction to formal verification of computer systems by abstract interpretation
Patrick Cousot and others (2010) · Logics and Languages for Reliability and Security · IOS Press
Tableaux and resource graphs for separation logic
Didier Galmiche and others (2010) · Journal of Logic and Computation
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010) · Technical University of Denmark
Growing Cells Atop Microelectronic Chips: Interfacing Electrogenic Cells In Vitro With CMOS-Based Microelectrode Arrays
Andreas Hierlemann and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
A Formal Verification Study on the Rotterdam Storm Surge Barrier
Ken Madlener and others (2010) · 12th International Conference on Formal Engineering Methods (ICFEM 2010) · Springer
Really rethinking ‘formal methods’
David Lorge Parnas (2010) · Computer
Quantum Communications in Reconfigurable Optical Networks: DWDM QKD through a ROADM
N. A. Peters and others (2010) · Optical Fiber Communication Conference · OSA
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard and others (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Formal verification of demand paging
Artem Starostin (2010) · Universität des Saarlandes
In Quest of the “Next Switch”: Prospects for Greatly Reduced Power Dissipation in a Successor to the Silicon Field-Effect Transistor
Thomas Theis and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Supporting Search and Rescue Operations with UAVs
Sonia Waharte and others (2010) · 2010 International Conference on Emerging Security Technologies · IEEE
Formal Verification of an Arbiter Circuit
Chao Yan and others (2010) · 2010 IEEE Symposium on Asynchronous Circuits and Systems · IEEE

2009

Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt and others (2009) · FM 2009: Formal Methods · Springer
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt and others (2009) · Springer
A general framework for sound and complete Floyd-Hoare logics
Rob Arthan and others (2009) · ACM Transactions on Computational Logic · Association for Computing Machinery
Undecidability of first-order logic
Guram Bezhanishvili and others (2009) · New Mexico State University
Internet Optometry: Assessing the Broken Glasses in Internet Reachability
Randy Bush and others (2009) · Proceedings of the 9th ACM SIGCOMM conference on Internet measurement · ACM
Proof assistants: History, ideas and future
Herman Geuvers (2009) · Sādhanā
Cyberwarfare and Our Allies: The Importance of Theater Security Cooperation
Christopher V. Greene (2009) · Naval War College
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Rascal: A domain specific language for source code analysis and manipulation
Paul Klint and others (2009) · 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation · IEEE
Design patterns in separation logic
Neelakantan R. Krishnaswami and others (2009) · 4th International Workshop on Types in Language Design and Implementation · Association for Computing Machinery
From cyberspace to cyberpower: Defining the problem
Daniel T. Kuehl (2009) · Cyberpower and national security
An aeronautical data link security architecture overview
Mohamed-Slim Ben Mahmoud and others (2009) · 2009 IEEE/AIAA 28th Digital Avionics Systems Conference · IEEE
The development of mathematical logic from Russell to Tarski, 1900-1935
Paolo Mancosu and others (2009) · The Development of Modern Logic · Oxford University Press
A Certified Verifier for a Fragment of Separation Logic
Nicolas Marti and others (2009) · Information and Media Technologies
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
An investigation of the relationships between lines of code and defects
Hongyu Zhang (2009) · 2009 IEEE International Conference on Software Maintenance · IEEE
The real cost of software errors
Michael Zhivich and others (2009) · IEEE Security & Privacy

2008

Formal pervasive verification of a paging mechanism
Eyad Alkassar and others (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Handbook of Algorithms for Physical Design Automation
Charles J. Alpert and others (2008) · CRC Press
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel and others (2008) · Electronic Notes in Theoretical Computer Science
jStar: Towards Practical Verification for Java
Dino Distefano and others (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications · Association for Computing Machinery
A Theory of Hygienic Macros
David Herman and others (2008) · 17th European Symposium on Programming (ESOP) · Springer
Measuring defect potentials and defect removal efficiency
Capers Jones (2008) · Journal of Defense Software Engineering
A Modal Sequent Calculus for Propositional Separation Logic
Neelakantan R. Krishnaswami (2008) · IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications
OpenFlow: enabling innovation in campus networks
Nick McKeown and others (2008) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
An Overview of Separation Logic
John Reynolds (2008) · Verified Software: Theories, Tools, Experiments · Springer
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery

2007

A Study of Prefix Hijacking and Interception in the Internet
Hitesh Ballani and others (2007) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
Verification of object-oriented software: The KeY approach
Bernhard Beckert and others (2007) · Springer-Verlag
Relational parametricity and separation logic
Lars Birkedal and others (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
A 30 Year Retrospective on Dennard's MOSFET Scaling Paper
M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter · IEEE
A semantics for concurrent separation logic
Stephen Brookes (2007) · Theoretical Computer Science · Elsevier
Local reasoning about data update
Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science
Local Action and Abstract Separation Logic
Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE
Lindström theorems for fragments of first-order logic
Balder ten Cate and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS) · IEEE
Introduction to Automata Theory, Languages, and Computation, 3rd Edition
John E. Hopcroft and others (2007) · Addison-Wesley
Nonstandard models that are definable in models of Peano Arithmetic
Kazuma Ikeda and others (2007) · Mathematical logic quarterly · Wiley
Can You Hear Me Now?! It Must Be BGP
Nate Kushman and others (2007) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Securing User-controlled Routing Infrastructures
Karthik Lakshminarayanan and others (2007) · Electrical Engineering and Computer Sciences, University of California at Berkeley
Modelling angelic and demonic nondeterminism with multirelations
C.E. Martin and others (2007) · Science of Computer Programming · Elsevier BV
Resources, concurrency, and local reasoning
Peter W. O'Hearn (2007) · Theoretical Computer Science · Elsevier
Just-in-Time Certification
John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Types, bytes, and separation logic
Harvey Tuch and others (2007) · 34th ACM Symposium on Principles of Programming Languages (POPL)
Covert channels and countermeasures in computer network protocols [Reprinted from IEEE Communications Surveys and Tutorials]
Sebastian Zander and others (2007) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
A survey of covert channels and countermeasures in computer network protocols
Sebastian Zander and others (2007) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers

2006

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
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

2005

Symbolic Execution with Separation Logic
Josh Berdine and others (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings · Springer
Permission accounting in separation logic
Richard Bornat and others (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
A Survey of BGP Security
Kevin Butler and others (2005)
From separation logic to first-order logic
Cristiano Calcagno and others (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
C2 Policy Evolution at the US Department of Defense. WWMCCS to a Unified Military Command Capability
David Dick and others (2005) · 10th International Command and Control Research and Technology Symposium: The Future of C2
Richard Dedekind (1888) and Giuseppe Peano (1889), booklets on the Foundations of Arithmetic
José Ferreirós (2005) · Landmark Writings in Western Mathematics 1640-1940 · Elsevier
Relating proof systems for recursive types
Clemens Grabmayer (2005) · Vrije Universiteit Amsterdam
Realising the Benefits of Formal Methods
Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM) · Springer
Theories of arithmetics in finite models
Michał Krynicki and others (2005) · The Journal of Symbolic Logic · Association for Symbolic Logic
Local reasoning for Java
Matthew J. Parkinson (2005) · University of Cambridge, Computer Laboratory
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge and others (2005) · Theorem Proving in Higher Order Logics · Springer
Model completeness of o-minimal structures expanded by Dedekind cuts
Marcus Tressl (2005) · The Journal of Symbolic Logic · Cambridge University Press
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo and others (2005) · Journal of Systems and Software

2004

Bridging the Gap. European C4ISR Capabilities and Transatlantic Interoperability
Gordon Adams and others (2004) · Center for Technology and National Security Policy, National Defense University
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert and others (2004) · RACSAM
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer
Principles of Network and System Administration
Mark Burgess (2004) · John Wiley & Sons
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Creating the Vision for the Internet: From the Wiener Circles to Licklider and ARPA's Information Processing Techniques Office (IPTO)
Ronda Hauben (2004) · Kybernetik und Interdisziplinarität in den Wissenschaften: Georg Klaus zum 90. Geburtstag · trafo Verlag
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak and others (2004) · arXiv
A systems-theoretic approach to safety in software-intensive systems
Nancy G. Leveson (2004) · IEEE Transactions on Dependable and Secure Computing · IEEE
The art of software testing
Glenford J. Myers and others (2004) · Wiley
A structural approach to operational semantics
Gordon D. Plotkin (2004) · The Journal of Logic and Algebraic Programming · Elsevier
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues and others (2004) · 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II)
Extending Separation Logic with Fixpoints and Postponed Substitution
Élodie-Jane Sims (2004) · Algebraic Methodology and Software Technology · Springer
Relearning counterinsurgency warfare
Robert R. Tomes (2004) · The US Army War College Quarterly: Parameters
Towards mechanized program verification with separation logic
Tjark Weber (2004) · 18th International Workshop on Computer Science Logic (CSL) · Springer

2003

Sensor Networks: Evolution, Opportunities, and Challenges
Chee-Yee Chong and others (2003) · Proceedings of the IEEE
A delay-tolerant network architecture for challenged internets
Kevin Fall (2003) · Proceedings of the 2003 ACM SIGCOMM Conference · ACM
The Internet as a Self-Organizing Socio-Technological System
Christian Fuchs (2003) · Human Strategies in Complexity Research Paper
Byzantine Failures and Security: Arbitrary is not (always) Random
Felix C. Gärtner (2003) · INFORMATIK 2003 – Mit Sicherheit Informatik, Schwerpunkt "Sicherheit – Schutz und Zuverlässigkeit" · Gesellschaft für Informatik e.V.
Cybernetics and second-order cybernetics
Francis Heylighen and others (2003) · Encyclopedia of Physical Science and Technology · Academic Press
Cybersecurity
Richard A. Kemmerer (2003) · 25th International Conference on Software Engineering, 2003. Proceedings.
J.C.R. Licklider's vision for the IPTO
C.I. Kita (2003) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers (IEEE)
The time-triggered architecture
H. Kopetz and others (2003) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Meeting the Anti-Access and Area-Denial Challenge
Andrew F. Krepinevich and others (2003) · Center for Strategic and Budgetary Assessments
The Technology Acceptance Model: Past, Present, and Future
Younghwa Lee and others (2003) · Communications of the Association for Information Systems · Association for Information Systems
A proof system for object oriented programming using separation logic
Ronald Middelkoop (2003) · Technische Universiteit Eindhoven
The Internet Under Crisis Conditions: Learning from September 11
National Research Council (2003) · The National Academies Press
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Cees Pierik and others (2003) · Formal Methods for Open Object-Based Distributed Systems · Springer
Practical TCP/IP and Ethernet Networking for Industry
Deon Reynders and others (2003) · Newnes
Final Report for the Multiprotocol Label Switching (MPLS) Control Plane Security LDRD Project
Thomas D. Tarman and others (2003) · Sandia National Laboratories

2002

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (2002) · Springer Nature (Netherlands)
The telephone network of the 1960s
Frederick T. Andrews (2002) · IEEE Communications Magazine
Computability and logic
George S. Boolos and others (2002) · Cambridge University Press
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002) · Universita di Genova
Growth of the Internet
Kerry G. Coffman and others (2002) · Optical Fiber Telecommunications IVB: Systems and Impairments · Academic Press
The DHCP Handbook
Ralph Droms and others (2002) · Sams Publishing
Silicon physical random functions
Blaise Gassend and others (2002) · Proceedings of the 9th ACM conference on Computer and communications security · ACM
A Taxonomy of Reactive Systems
Adriaan de Groot and others (2002) · University of Nijmegen
Trust and vulnerability in open source software
Scott A. Hissam and others (2002) · IEE Proceedings - Software · Institution of Engineering and Technology
Formal Verification of a Fully IEEE Compliant Floating Point Unit
Christian Jacobi (2002) · Universität des Saarlandes
Optical Fiber Telecommunications IVB: Systems and Impairments
Ivan P. Kaminow and others (2002) · Academic Press
Multics security evaluation: vulnerability analysis
Paul A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002)
Thirty years later: lessons from the Multics security evaluation
P.A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002) · IEEE Comput. Soc
Computer Security
Richard A. Kemmerer (2002) · Encyclopedia of Software Engineering · Wiley
Understanding BGP misconfiguration
Ratul Mahajan and others (2002) · ACM SIGCOMM Computer Communication Review
Physical One-Way Functions
Ravikanth Pappu and others (2002) · Science · American Association for the Advancement of Science
Types and Programming Languages
Benjamin C. Pierce (2002) · MIT Press
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
TCP/IP Unleashed
Karanjit S. Siyan and others (2002) · Sams Publishing
A Semantic Basis for Local Reasoning
Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer

2001

Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
A Mathematical Introduction to Logic
H. B. Enderton (2001) · Elsevier
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
The future of wires
R. Ho and others (2001) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
BI as an assertion language for mutable data structures
Samin S. Ishtiaq and others (2001) · 28th ACM Symposium on Principles of Programming Languages (POPL)
War.com: The internet and psychological operations
Angela M. Lungu (2001) · Naval War College
Demonic, angelic and unbounded probabilistic choices in sequential programs
Annabelle McIver and others (2001) · Acta Informatica · Springer Science+Business Media
Nonlinear limits to the information capacity of optical fibre communications
Partha P. Mitra and others (2001) · Nature · Springer Science and Business Media LLC
Optimal cost stacked uni-directional path switched SONET/SDH ring design
Ramesh Nagarajan and others (2001) · Telecommunication Systems
Calculating sharp adaptation rules
David A. Naumann (2001) · Information Processing Letters · Elsevier
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Ideological and Policy Origins of the Internet, 1957-1969
Andrew L. Russell (2001) · arXiv (Cornell University) · Cornell University
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
Local reasoning for stateful programs
Hongseok Yang (2001) · University of Illinois

2000

Architecture of the IBM System/360
Gene M. Amdahl and others (2000) · IBM Journal of Research and Development · IBM
Some results on the Collatz problem
Ștefan Andrei and others (2000) · Acta Informatica
Proving pointer programs in Hoare logic
Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC) · Springer
An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
Arnaud Dupuy and others (2000) · 19th Digital Avionics Systems Conference · IEEE
Digital Democracy: Issues of Theory and Practice
Kenneth Hacker and others (2000) · SAGE Publications Ltd
What is Digital Democracy?
Kenneth L. Hacker and others (2000) · Digital Democracy: Issues of Theory and Practice · SAGE Publications Ltd
System Safety in Computer-Controlled Automotive Systems
Nancy G. Leveson (2000) · SAE World Congress · Society of Automotive Engineers
Rationale and challenges for optical interconnects to electronic chips
D. A. B. Miller (2000) · Proceedings of the IEEE · IEEE
Transforming Computer Technology: Information Processing for the Pentagon, 1962-1986
Arthur Norberg (2000) · Johns Hopkins University Press
Inconsistent models of arithmetic Part II: the general case
Graham Priest (2000) · The Journal of Symbolic Logic · Cambridge University Press (CUP)
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science · Macmillan Education UK
Identifying Mode Confusion Potential in Software Design
Mario Rodriguez and others (2000) · 19th Digital Avionics Systems Conference · IEEE
Fundamental Concepts in Programming Languages
Christopher Strachey (2000) · Higher-Order and Symbolic Computation · Springer
Basic Proof Theory
Anne Sjerp Troelstra and others (2000) · Cambridge University Press
Isolation and technology: the human disconnect
Gina Vega and others (2000) · Journal of Organizational Change Management · Emerald
Design As The Discovery Of A Mathematical Theorem What Designers Should Know About The Art Of Mathematics
Hanno Wupper (2000) · Journal of Integrated Design and Process Science

1999

A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures · Springer
VLSI architecture: Past, present, and future
William J. Dally and others (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI · IEEE
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
Tapani Hyttinen and others (1999) · The Journal of Symbolic Logic
Differential Power Analysis
Paul Kocher and others (1999) · Advances in Cryptology — CRYPTO '99 · Springer Science+Business Media
JML: A Notation for Detailed Design
Gary T. Leavens and others (1999) · Behavioral Specifications of Businesses and Systems · Springer US
The logic of bunched implications
Peter W. O'Hearn and others (1999) · Bulletin of Symbolic Logic
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary and others (1999) · Intel Technology Journal
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center

1998

A Lightweight Approach to Formal Methods
Sten Agerholm and others (1998) · Applied Formal Methods — FM-Trends 98 · Springer
About the Collatz conjecture
Ștefan Andrei and others (1998) · Acta Informatica
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory · Elsevier
High-speed electrical signaling: overview and limitations
M. Horowitz and others (1998) · IEEE Micro · IEEE
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
Architecture and control of an adaptive high capacity flat network
Eric Livermore and others (1998) · IEEE Communications Magazine
An Overview of Space Division Multiple Access Techniques in Cellular Systems
Lotter, Michiel P. and others (1998) · The Transactions of the S.A. Institute of Electrical Engineers
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima and others (1998) · Journal of Nuclear Science and Technology · Taylor & Francis
Quantum Information Theory
Michael Aaron Nielsen (1998)
Java_light is type-safe—definitely
Tobias Nipkow and others (1998) · Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98) · Association for Computing Machinery
Formal methods in computer technologies
I. V. Sergienko and others (1998) · Cybernetics and Systems Analysis
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences · Academic Press
The quantitative impact of survivable network architectures on service availability
Mark R. Wilson (1998) · IEEE Communications Magazine

1997

A logic of object-oriented programs
Martín Abadi and others (1997) · TAPSOFT '97: Theory and Practice of Software Development · Springer
Set theory for the working mathematician
Krzysztof Ciesielski (1997) · Cambridge University Press
The Sovereign Individual: Mastering the Transition to the Information Age
James Dale Davidson and others (1997) · Simon & Schuster
A Shorter Model Theory
Wilfrid Hodges (1997) · Cambridge University Press
The model checker SPIN
G. J. Holzmann (1997) · IEEE Transactions on Software Engineering · Institute of Electrical and Electronics Engineers (IEEE)
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
The art of computer programming
Donald E. Knuth (1997) · Addison-Wesley
Formal methods: Promises and problems
Luqi and others (1997) · IEEE Software
Limit to the Bit-Rate Capacity of Electrical Interconnects from the Aspect Ratio of the System Architecture
D. A. B. Miller and others (1997) · Journal of Parallel and Distributed Computing · Academic Press
Investigating the influence of formal methods
S. L. Pfleeger and others (1997) · Computer · IEEE
Inconsistent Models of Arithmetic Part I: Finite Models
Graham Priest (1997) · Journal of Philosophical Logic · Springer
Introduction to the Theory of Computation
Michael Sipser (1997) · PWS Publishing Company

1996

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

1995

Seven more myths of formal methods
J. P. Bowen and others (1995) · IEEE Software · IEEE
Formal methods reality check: industrial usage
D. Craigen and others (1995) · IEEE Transactions on Software Engineering · IEEE
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers · Addison-Wesley
An attack on the Needham-Schroeder public-key authentication protocol
Gavin Lowe (1995) · Information Processing Letters · Elsevier
Lithography and the future of Moore's law
Gordon E. Moore (1995) · Proceedings of SPIE 2438: Advances in Resist Technology and Processing XII · SPIE
Inconsistent Mathematics
Chris Mortensen (1995) · Kluwer Academic Publishers
Python tutorial
Guido van Rossum and others (1995) · Centrum voor Wiskunde en Informatica
Remote Procedure Callback System and Method
Benn L. Schreiber and others (1995) · United States Patent and Trademark Office
First-Order Logic
Raymond M. Smullyan (1995) · Dover
Hitting the Memory Wall: Implications of the Obvious
Wm. A. Wulf and others (1995) · ACM SIGARCH Computer Architecture News · Association for Computing Machinery

1994

The World-Wide Web
Tim Berners-Lee and others (1994) · Communications of the ACM · Association for Computing Machinery
The software crisis in the Netherlands
M. Boogaard and others (1994) · Serie Research Memoranda · Vrije Universiteit Amsterdam
FM8501: A Verified Microprocessor
Warren A. Hunt, Jr. (1994) · Springer Berlin Heidelberg
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin and others (1994) · Proceedings of the IEEE
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
Assessing the software crisis: Why information systems are beyond control
R.J. Veldwijk and others (1994) · Information Sciences · Elsevier

1993

Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium · IEEE
Program verification: Fundamental issues in computer science
Timothy R. Colburn and others (1993) · Springer
Social Processes and Proofs of Theorems and Programs
R. A. De Millo and others (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Program Verification: The Very Idea
James H. Fetzer (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Assigning meanings to programs
Robert W. Floyd (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
The computer as Von Neumann planned it
Michael D. Godfrey and others (1993) · IEEE Annals of the History of Computing
The Death of Proof
John Horgan (1993) · Scientific American · Springer Nature
A denotational approach for type-checking in object-oriented programming languages
Roberto Ierusalimschy (1993) · Computer Languages · Elsevier
Berkeley's philosophy of mathematics
Douglas M. Jesseph (1993) · University of Chicago Press
A History of CLU
Barbara Liskov (1993) · MIT Laboratory for Computer Science
Higher order logic and hardware verification
Tom F. Melham (1993) · Cambridge University Press
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
Limits of Correctness in Computers
Brian Cantwell Smith (1993) · Program Verification: Fundamental Issues in Computer Science · Springer

1992

Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Thomas E. Anderson and others (1992) · ACM Transactions on Computer Systems
Combining angels, demons and miracles in program specifications
R.J.R. Back and others (1992) · Theoretical Computer Science · Elsevier
Program verification
Nissim Francez (1992) · Addison-Wesley
Applying 'design by contract'
Bertrand Meyer (1992) · Computer · IEEE Computer Society
The Design and Implementation of a Log-Structured File System
Mendel Rosenblum and others (1992) · ACM Transactions on Computer Systems · Association for Computing Machinery
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992) · Lawrence Livermore National Laboratory

1991

Formally verified synthesis of combinational CMOS circuits
David A. Basin and others (1991) · Integration, the VLSI Journal · Elsevier BV
Models of Peano Arithmetic
Richard Kaye (1991) · Oxford University Press
Design by Contract
Bertrand Meyer (1991) · Advances in Object-Oriented Software Engineering · Prentice-Hall
Notions of computation and monads
Eugenio Moggi (1991) · Information and Computation · Elsevier
Foundations without foundationalism: A case for second-order logic
Stewart Shapiro (1991) · Clarendon Press
DARPA Technical Accomplishments. Volume II. An Historical Review of Selected DARPA Projects
Richard H. Van Atta and others (1991) · Institute for Defense Analyses

1990

A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery
Model theory
Chen Chung Chang and others (1990) · Elsevier
In Memoriam: J. C. R. Licklider 1915-1990
Digital Equipment Corporation Systems Research Center (1990) · Digital Equipment Corporation Systems Research Center
Entropy and Information Theory
Robert M. Gray (1990) · Springer New York
Seven myths of formal methods
Anthony Hall (1990) · IEEE Software
Multi-level verification of microprocessor-based systems
Jeffrey J. Joyce (1990) · University of Cambridge Computer Laboratory
DARPA Technical Accomplishments. An Historical Review of Selected DARPA Projects. Volume 1
Sidney G. Reed and others (1990) · Institute for Defense Analyses
Defense Data Network Security Architecture
Robert W. Shirey (1990) · ACM SIGCOMM Computer Communication Review
Referential transparency, definiteness and unfoldability
Harald Søndergaard and others (1990) · Acta Informatica · Springer
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society

1989

Chemistry's Tongue
Peter Atkins (1989) · Interdisciplinary Science Reviews · Taylor & Francis
Verification of Combinational Logic in Nuprl
David A. Basin and others (1989) · Cornell University
The notion of proof in hardware verification
Avra Cohn (1989) · Journal of Automated Reasoning · Springer Science and Business Media LLC
Why Functional Programming Matters
J. Hughes (1989) · The Computer Journal · Oxford University Press (OUP)
A Formal Model for Software Project Management
Lung-Chun Liu and others (1989) · IEEE Transactions on Software Engineering
What is a Formal Method?
Jeannette M. Wing (1989) · School of Computer Science, Carnegie Mellon University

1988

The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Correctness properties of the Viper block model: the second level
Avra Cohn (1988) · University of Cambridge Computer Laboratory
Reevaluating Amdahl's law
John L. Gustafson (1988) · Communications of the ACM · Association for Computing Machinery (ACM)
Congestion avoidance and control
Van Jacobson and others (1988) · Symposium proceedings on Communications architectures and protocols · Association for Computing Machinery
Dissipation and noise immunity in computation and communication
Rolf Landauer (1988) · Nature · Nature Portfolio
The early years: founding IPTO
J. C. R. Licklider (1988) · Expert Systems and Artificial Intelligence · Howard W. Sams
Development of the Domain Name System
Paul V. Mockapetris and others (1988) · Symposium Proceedings on Communications Architectures and Protocols (SIGCOMM '88) · Association for Computing Machinery
The ARPANET and the DARPA Internet
Dennis G. Perry and others (1988) · Library Hi Tech
Constructivism in Mathematics, Vol 1
Anne Sjerp Troelstra and others (1988) · Elsevier
Constructivism in Mathematics, Vol 2
Anne Sjerp Troelstra and others (1988) · Elsevier

1987

Formal Methods Applied to a Floating Point Number System
Geoff Barrett (1987) · Oxford University Computing Laboratory, Programming Research Group
A proof of correctness of the Viper microprocessor: the first level
Avra Cohn (1987) · University of Cambridge Computer Laboratory
High-gain erbium-doped traveling-wave fiber amplifier
E. Desurvire and others (1987) · Optics Letters · Optica Publishing Group
Models of arithmetic and categories with finiteness conditions
R. Diaconescu and others (1987) · Annals of Pure and Applied Logic · Elsevier BV
Linear logic
Jean-Yves Girard (1987) · Theoretical Computer Science · Elsevier BV
A Categorical Programming Language
Tatsuya Hagino (1987) · University of Edinburgh
Hardware verification of VLSI regular structures
Jeffrey J. Joyce (1987) · University of Cambridge Computer Laboratory
The expressive theory of stacks
Samuel Kamin (1987) · Acta Informatica
Low-noise erbium-doped fibre amplifier operating at 1.54μm
R.J. Mears and others (1987) · Electronics Letters · Institution of Engineering and Technology (IET)

1986

Compilers: Principles, Techniques, and Tools
Alfred V. Aho and others (1986) · Addison-Wesley
Fixed-point extensions of first-order logic
Yuri Gurevich and others (1986) · Annals of Pure and Applied Logic · Elsevier
An experimental evaluation of the assumption of independence in multiversion programming
John C. Knight and others (1986) · IEEE Transactions on Software Engineering · IEEE
A formal approach to hardware analysis
Niklas Gerard Traub (1986)
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science

1985

Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical Computer Science
On understanding types, data abstraction, and polymorphism
Luca Cardelli and others (1985) · ACM Computing Surveys · Association for Computing Machinery
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and others (1985) · ACM Transactions on Computer Systems · Association for Computing Machinery
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1985) · Journal of the ACM · Association for Computing Machinery
On relative completeness of Hoare logics
Michal Grabowski (1985) · Information and Control
An algorithm for distributed computation of a spanning tree in an extended LAN
Radia Perlman (1985) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery

1984

Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
The characterization problem for Hoare logics
Edmund M. Clarke Jr. (1984) · Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences · The Royal Society
Wafer-scale integration and two-level pipelined implementations of systolic arrays
H. T. Kung and others (1984) · Journal of Parallel and Distributed Computing
A fast file system for UNIX
Marshall K. McKusick and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
End-to-end arguments in system design
Jerome H. Saltzer and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM · Association for Computing Machinery

1983

History of the Design of the SAGE Computer-The AN/FSQ-7
Morton M. Astrahan and others (1983) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Higher-order logic
Johan van Benthem and others (1983) · Handbook of philosophical logic · Springer
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM
Proof methods for modal and intuitionistic logics
Melvin Fitting (1983) · Springer
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
Wafer-Scale Integration of Systolic Arrays
Frank Thomson Leighton and others (1983) · MIT Laboratory for Computer Science
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science
Types, Abstraction and Parametric Polymorphism
John C. Reynolds (1983) · Information Processing 83 · North-Holland

1982

Handbook of mathematical logic
Jon Barwise (1982) · Elsevier
The thermodynamics of computation---a review
Charles H. Bennett (1982) · International Journal of Theoretical Physics · Springer Science+Business Media
Expressiveness and the completeness of Hoare's logic
Jan A. Bergstra and others (1982) · Journal of Computer and System Sciences · Elsevier BV
Principal type-schemes for functional programs
Luis Damas and others (1982) · Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages · Association for Computing Machinery
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A General Axiom of Assignment
Joseph M. Morris (1982) · Theoretical Foundations of Programming Methodology · Springer
Specification and verification of concurrent systems in CESAR
J. P. Queille and others (1982) · 5th International Symposium on Programming · Springer

1981

Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems
Design and synthesis of synchronization skeletons using branching time temporal logic
Edmund M. Clarke and others (1981) · Logic of Programs · Springer
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
The science of programming
David Gries (1981) · Springer
General theory of metastable operation
Leonard R. Marino (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Assigned numbers
J. Postel (1981) · RFC Editor
Transmission Control Protocol
J. Postel (1981) · RFC Editor
Computer Networks
Andrew S. Tanenbaum (1981) · Prentice-Hall

1980

Mathematical theory of program correctness
Jacobus W. de Bakker (1980) · Prentice-Hall
A General Transition Model for Protocols and Communication Services
G. Bochmann (1980) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers (IEEE)
Comments on "The case for the reduced instruction set computer," by Patterson and Ditzel
Douglas W. Clark and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
The unreasonable effectiveness of mathematics
Richard Wesley Hamming (1980) · The American Mathematical Monthly · Informa UK Limited
Experience with processes and monitors in Mesa
Butler W. Lampson and others (1980) · Communications of the ACM · Association for Computing Machinery
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy and others (1980) · Stanford University
Introduction to VLSI Systems
Carver Mead and others (1980) · Addison-Wesley
WWMCCS and the Computer that Can
Perry R. Nuhn (1980) · The US Army War College Quarterly: Parameters · USAWC Press
The case for the reduced instruction set computer
David A. Patterson and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
Reaching Agreement in the Presence of Faults
M. Pease and others (1980) · Journal of the ACM · Association for Computing Machinery
User Datagram Protocol
Postel, J. (1980) · RFC Editor

1979

Isomorphism and higher order equivalence
Miklós Ajtai (1979) · Annals of Mathematical Logic
First-Order Dynamic Logic
David Harel (1979) · Springer
Crash Recovery in a Distributed Data Storage System
Butler W. Lampson and others (1979) · Xerox Palo Alto Research Center

1978

Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
John Backus (1978) · Communications of the ACM · Association for Computing Machinery
The Belmont Report: Ethical Principles and Guidelines for the Protection of Human Subjects of Research
National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research (1978) · U.S. Department of Health, Education, and Welfare
Distributed processes: a concurrent programming concept
Per Brinch Hansen (1978) · Communications of the ACM · Association for Computing Machinery
Reproducible testing of monitors
Per Brinch Hansen (1978) · Software: Practice and Experience · Wiley
Soundness and completeness of an axiom system for program verification
Stephen A. Cook (1978) · SIAM Journal on Computing
Communicating sequential processes
C. A. R. Hoare (1978) · Communications of the ACM · Association for Computing Machinery
General purpose packet satellite networks
I.M. Jacobs and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Advances in packet radio technology
R.E. Kahn and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Atlanta Fiber System Experiment: Results of the Atlanta Experiment
R. S. Kerdock and others (1978) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers (IEEE)
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences · Elsevier
Using encryption for authentication in large networks of computers
Roger M. Needham and others (1978) · Communications of the ACM · Association for Computing Machinery
Reliability Issues in Computing System Design
B. Randell and others (1978) · ACM Computing Surveys · Association for Computing Machinery
The Evolution of Packet Switching
Lawrence G. Roberts (1978) · Proceedings of the IEEE
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology · Elsevier

1977

A Survey of Modern Algebra
Garrett Birkhoff and others (1977) · Macmillan
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and others (1977) · 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
DATAPAC: A Canadian packet switching network
S. B. Erskine (1977) · Canadian Electrical Engineering Journal · Institute of Electrical and Electronics Engineers
A necessary and sufficient condition for the existence of Hoare logics
Richard J. Lipton (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) · IEEE
The ARPA Network Design Decisions
John M. McQuillan and others (1977) · Computer Networks · North-Holland Publishing Company
Microelectronics
Robert N. Noyce (1977) · Scientific American · Scientific American
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)

1976

Completeness and incompleteness theorems for Hoare-like axiom systems
Edmund M. Clarke Jr (1976) · Cornell University
New directions in cryptography
Whitfield Diffie and others (1976) · IEEE Transactions on Information Theory · IEEE
A Discipline of Programming
Edsger W. Dijkstra (1976) · Prentice-Hall
Design and code inspections to reduce errors in program development
M. E. Fagan (1976) · IBM Systems Journal · IBM
Invention of the integrated circuit
Jack S. Kilby (1976) · IEEE Transactions on Electron Devices · IEEE
The work of Kurt Gödel
Stephen Cole Kleene (1976) · The Journal of Symbolic Logic
A Complexity Measure
Thomas J. McCabe (1976) · IEEE Transactions on Software Engineering · IEEE Computer Society
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe and others (1976) · Communications of the ACM
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science · IEEE

1975

On the completeness of the inductive assertion method
Jacobus W. de Bakker and others (1975) · Journal of Computer and System Sciences · Academic Press
Intuitionism and formalism
Luitzen Egbertus Jan Brouwer (1975) · Philosophy and Foundations of Mathematics · Elsevier
An assertion language for data structures
Stephen Cook and others (1975) · Proceedings of the 2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '75) · Association for Computing Machinery
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra (1975) · Communications of the ACM · Association for Computing Machinery
Proving assertions about programs that manipulate data structures
Derek C. Oppen and others (1975) · 7th ACM Symposium on Theory of Computing
Axiomatic Proof Techniques for Parallel Programs
Susan Speer Owicki (1975) · Cornell University
The protection of information in computer systems
Jerome H. Saltzer and others (1975) · Proceedings of the IEEE · IEEE

1974

A Protocol for Packet Network Intercommunication
Vinton G. Cerf and others (1974) · IEEE Transactions on Communications · IEEE Communications Society
Specification of Internet Transmission Control Program
Cerf, Vinton and others (1974) · RFC Editor
Design of ion-implanted MOSFET's with very small physical dimensions
R. H. Dennard and others (1974) · IEEE Journal of Solid-State Circuits · IEEE
Monitors: an operating system structuring concept
C. A. R. Hoare (1974) · Communications of the ACM · Association for Computing Machinery
Verification of programs operating on structured data
Mark Steven Laventhal (1974) · Massachusetts Institute of Technology
Programming with abstract data types
Barbara Liskov and others (1974) · Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages · Association for Computing Machinery
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer
The UNIX time-sharing system
Dennis M. Ritchie and others (1974) · Communications of the ACM · Association for Computing Machinery

1973

Logical Reversibility of Computation
C. H. Bennett (1973) · IBM Journal of Research and Development · IBM
Model existence theorems for modal and intuitionistic logics
Melvin Fitting (1973) · The Journal of Symbolic Logic · Cambridge University Press
The Sociology of Black Separatism
Dennis Forsythe (1973) · American Sociological Association Annual Meeting
Foundations of set theory
Abraham Adolf Fraenkel and others (1973) · Elsevier
Selected Works of Giuseppe Peano
Hubert C. Kennedy (1973) · University of Toronto Press
Correctness of programs manipulating data structures
Tomasz Kowaltowski (1973) · University of California, Berkeley
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Types are not sets
James H. Morris (1973) · 1st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Presentation and major design aspects of the CYCLADES computer network
Louis Pouzin (1973) · Proceedings of the Third ACM Symposium on Data Communications and Data Networks: Analysis and Design (DATACOMM '73) · Association for Computing Machinery

1972

Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
Chapter I: Notes on structured programming
Edsger W. Dijkstra (1972) · Academic Press Ltd. eBooks · Academic Press
Verification Oriented Language Design
James H. Morris (1972) · University of California, Berkeley
On the criteria to be used in decomposing systems into modules
David Lorge Parnas (1972) · Communications of the ACM · Association for Computing Machinery

1971

The complexity of theorem-proving procedures
Stephen A. Cook (1971) · Proceedings of the Third Annual ACM Symposium on Theory of Computing · Association for Computing Machinery
Proof of a Recursive Program: Quicksort
M. Foley and others (1971) · The Computer Journal
Procedures and parameters: An axiomatic approach
C. A. R. Hoare (1971) · Symposium on Semantics of Algorithmic Languages
Proof of a Program: FIND
C. A. R. Hoare (1971) · Communications of the ACM · Association for Computing Machinery
Introduction to metamathematics
Stephen Cole Kleene (1971) · Wolters-Noordhoff
On a Pin Versus Block Relationship For Partitions of Logic Graphs
B. S. Landman and others (1971) · IEEE Transactions on Computers · IEEE
Toward a Mathematical Semantics for Computer Languages
Dana Scott and others (1971) · Proceedings of the Symposium on Computers and Automata · Polytechnic Press
TYMNET: A terminal oriented communication network
La Roy Tymes (1971) · Proceedings of the May 18-20, 1971, Spring Joint Computer Conference

1970

THE ALOHA SYSTEM: another alternative for computer communications
N. Abramson (1970) · Proceedings of the November 17-19, 1970, Fall Joint Computer Conference
The Nucleus of a Multiprogramming System
Per Brinch Hansen (1970) · Communications of the ACM · Association for Computing Machinery
A relational model of data for large shared data banks
E. F. Codd (1970) · Communications of the ACM · Association for Computing Machinery
The interface message processor for the ARPA computer network
F. E. Heart and others (1970) · Proceedings of the May 5-7, 1970, Spring Joint Computer Conference · Association for Computing Machinery

1969

A note on reliable full-duplex transmission over half-duplex links
Keith A. Bartlett and others (1969) · Communications of the ACM · Association for Computing Machinery
Host Software
Crocker, Steve (1969) · RFC Editor
An axiomatic basis for computer programming
C. A. R. Hoare (1969) · Communications of the ACM · Association for Computing Machinery

1968

A deeper look at data
Ned Chapin (1968) · Proceedings of the 1968 23rd ACM National Conference · Association for Computing Machinery
Virtual memory, processes, and sharing in MULTICS
Robert C. Daley and others (1968) · Communications of the ACM · Association for Computing Machinery
The working set model for program behavior
Peter J. Denning (1968) · Communications of the ACM · Association for Computing Machinery
Go to statement considered harmful
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
The structure of the "THE"-multiprogramming system
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery

1967

Validity of the single processor approach to achieving large scale computing capabilities
Gene M. Amdahl (1967) · Proceedings of the April 18-20, 1967, Spring Joint Computer Conference (AFIPS '67, Spring) · ACM Press
Assigning meanings to programs
Robert W. Floyd (1967) · Proceedings of symposia in applied mathematics · American Mathematical Society
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Jean van Heijenoort (1967) · Harvard University Press
Another look at data
George H. Mealy (1967) · Proceedings of the November 14-16, 1967, Fall Joint Computer Conference · Association for Computing Machinery
An Efficient Algorithm for Exploiting Multiple Arithmetic Units
R. M. Tomasulo (1967) · IBM Journal of Research and Development · IBM

1966

Programming semantics for multiprogrammed computations
Jack B. Dennis and others (1966) · Communications of the ACM · Association for Computing Machinery
Dielectric-fibre surface waveguides for optical frequencies
K.C. Kao and others (1966) · Proceedings of the Institution of Electrical Engineers · Institution of Engineering and Technology (IET)
The next 700 programming languages
P. J. Landin (1966) · Communications of the ACM · Association for Computing Machinery
Toward a cooperative network of time-shared computers
Thomas Marill and others (1966) · Proceedings of the November 7-10, 1966, Fall Joint Computer Conference · ACM Press

1965

Solution of a problem in concurrent programming control
Edsger W. Dijkstra (1965) · Communications of the ACM · Association for Computing Machinery
Cramming more components onto integrated circuits
Gordon E. Moore (1965) · Electronics
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM · Association for Computing Machinery

1964

Architecture of the IBM System/360
Gene M. Amdahl and others (1964) · IBM Journal of Research and Development · IBM
On Distributed Communications Networks
P. Baran (1964) · IRE Transactions on Communications Systems · IEEE
On Distributed Communications: Summary Overview
Paul Baran (1964) · The RAND Corporation
The Mechanical Evaluation of Expressions
P. J. Landin (1964) · The Computer Journal · Oxford University Press

1963

Electric Field Controlled Semiconductor Device
Dawon Kahng (1963) · United States Patent and Trademark Office
The mathematical philosophy of Giuseppe Peano
Hubert C. Kennedy (1963) · Philosophy of Science
Nanowatt logic using field-effect metal-oxide semiconductor triodes
Frank M. Wanlass and others (1963) · 1963 IEEE International Solid-State Circuits Conference: Digest of Technical Papers

1962

Reduced direct products
Thomas Frayne and others (1962) · Fundamenta Mathematicae
Quicksort
C. A. R. Hoare (1962) · The Computer Journal

1961

Algorithm 65: find
C. A. R. Hoare (1961) · Communications of the ACM · Association for Computing Machinery
Ultraproducts in the theory of models
Simon Kochen (1961) · Annals of Mathematics
Irreversibility and Heat Generation in the Computing Process
Rolf Landauer (1961) · IBM Journal of Research and Development · IBM

1960

Man-computer symbiosis
J. C. R. Licklider (1960) · IRE Transactions on Human Factors in Electronics
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
John McCarthy (1960) · Communications of the ACM · Association for Computing Machinery
Word and Object
Willard Van Orman Quine (1960) · MIT Press
The unreasonable effectiveness of mathematics in the natural sciences
Eugene P. Wigner (1960) · Communications on Pure and Applied Mathematics

1959

Stabilization of Silicon Surfaces by Thermally Grown Oxides
Mena Atalla and others (1959) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers

1958

The role of computers in air defense
W. H. Tetley (1958) · Papers and discussions presented at the December 3-5, 1958, eastern joint computer conference: Modern computers: objectives, designs, applications · ACM Press

1957

SAGE — A Data-Processing System for Air Defense
R. R. Everett and others (1957) · Papers and Discussions Presented at the Eastern Joint Computer Conference
The axiomatization of arithmetic
Hao Wang (1957) · The Journal of Symbolic Logic

1954

A new decision method for elementary algebra
Abraham Seidenberg (1954) · Annals of Mathematics

1950

Completeness in the Theory of Types
Leon Henkin (1950) · The Journal of Symbolic Logic
A Symmetrical Notation for Numbers
Claude E. Shannon (1950) · The American Mathematical Monthly · Taylor & Francis

1949

The completeness of the first-order functional calculus
Leon Henkin (1949) · The Journal of Symbolic Logic
The Theory of p-n Junctions in Semiconductors and p-n Junction Transistors
W. Shockley (1949) · Bell System Technical Journal · IEEE

1948

The Transistor, A Semi-Conductor Triode
J. Bardeen and others (1948) · Physical Review · American Physical Society
Nature of the Forward Current in Germanium Point Contacts
W. H. Brattain and others (1948) · Physical Review · American Physical Society
A Mathematical Theory of Communication
Claude E. Shannon (1948) · Bell System Technical Journal · IEEE

1945

First draft of a report on the EDVAC
John von Neumann (1945) · Moore School of Electrical Engineering, University of Pennsylvania

1944

Obliteration Bombing
Unknown (1944) · The Christian Century
The Morality of Obliteration Bombing
John C. Ford (1944) · Theological Studies · SAGE Publications
A Revolting Necessity
Unknown (1944) · The Nation
Massacre by Bombing
Unknown (1944) · The New Republic
American Postscript
John Nevin Sayre (1944) · Fellowship
Bombing Vindicated
J. M. Spaight (1944) · Geoffrey Bles

1940

1938

A Symbolic Analysis of Relay and Switching Circuits
Claude E. Shannon (1938) · Transactions of the American Institute of Electrical Engineers · American Institute of Electrical Engineers
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Alan Turing (1938) · Proceedings of the London Mathematical Society · Wiley

1937

On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing (1937) · Proceedings of the London Mathematical Society · Wiley

1936

An Unsolvable Problem of Elementary Number Theory
Alonzo Church (1936) · American Journal of Mathematics · Johns Hopkins University Press
Warfare by Fire
J. Enrique Zanetti (1936) · The Reader's Digest

1930

Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Kurt Gödel (1930) · Monatshefte für Mathematik und Physik · Springer Science and Business Media LLC

1929

Über die Vollständigkeit des Logikkalküls
Kurt Gödel (1929) · University of Vienna

1928

Transmission of Information
R. V. L. Hartley (1928) · Bell System Technical Journal · IEEE

1924

Certain Factors Affecting Telegraph Speed
H. Nyquist (1924) · Bell System Technical Journal · IEEE

1920

History of the parallel postulate
Florence P. Lewis (1920) · The American Mathematical Monthly

1901

Fact and Fable in Psychology
Joseph Jastrow (1901) · Macmillan and Co., Ltd.

1900

Non-Euclidean Geometry
George Bruce Halsted (1900) · The American Mathematical Monthly

1889

Arithmetices principia, nova methodo exposita
Giuseppe Peano (1889) · Fratres Bocca

1888

Was sind und was sollen die Zahlen?
Richard Dedekind (1888) · Friedrich Vieweg und Sohn

1884

1879

1871

The Power of Numerical Discrimination
W. Stanley Jevons (1871) · Nature · Springer Science and Business Media LLC

1861

Lehrbuch der Arithmetik für höhere Lehranstalten
Hermann Grassmann (1861) · Th. Chr. Fr. Enslin

1824

Histoire de la télégraphie
Ignace Urbain Jean Chappe (1824) · L'auteur