2014
15 references published this year.
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
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos et al. (2014) · Foundations of Software Science and Computation Structures
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia et al. (2014) · Proceedings of the IEEE
The VerCors tool for verification of concurrent programs
Stefan Blom et al. (2014) · International Symposium on Formal Methods
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Electronic Proceedings in Theoretical Computer Science
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta et al. (2014) · International Symposium on Formal Methods
A comparative analysis of microarchitecture effects on CPU and GPU memory system behavior
Joel Hestness et al. (2014) · 2014 IEEE International Symposium on Workload Characterization (IISWC)
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents
Optical theorem for transmission lines
Edwin A. Marengo et al. (2014) · Progress In Electromagnetics Research B
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski et al. (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP)
Automating Separation Logic with Trees and Data
Ružica Piskač et al. (2014) · Computer Aided Verification
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir et al. (2014) · IEEE Communications Surveys & Tutorials
Key terrain in cyberspace: Seeking the high ground
David Raymond et al. (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014)
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta et al. (2014) · International Conference on Software Engineering and Formal Methods
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur et al. (2014) · International SPIN Symposium on Model Checking of Software