2015
31 references published this year.
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