2012
25 references published this year.
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
Layer 2 Virtual Private Networks Using BGP for Auto-Discovery and Signaling
K. Kompella and others (2012) · RFC Editor
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
Virtualization and Distribution of the BGP Control Plane
Mihaela Iuniana Oprescu (2012)
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