2001
118 references published this year.
A hierarchical verification of the IEEE-754 table-driven floating-point exponential function using HOL
A. T. Abdel-Hamid (2001)
Table-driven floatingpoint exponential function using HOL
A. T. Abdel-Hamid and others (2001) · TPHOLs 2001: Supplemental Proceedings
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
Andrew A. Adams and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Register Transformations with Multiple Clock Domains
A. R. Albrecht and others (2001) · Springer Berlin Heidelberg
Minerva: An automated resource provisioning tool for large-scale storage systems
G. A. Alvarez and others (2001) · ACM Transactions on Computer Systems (TOCS)
Eliminating frequency and space-time correlations in multiphoton states
Unattributed (2001) · American Physical Society (APS)
Once upon a free()
anonymous author (2001) · Phrack Magazine
Hybrid logics: characterization, interpolation and complexity
C. Areces and others (2001) · Cambridge University Press (CUP)
Bluespec Language Definition
Lennart Augustsson and others (2001) · Sandburst Corp (2001)
Fundamental concepts of dependability
Algirdas Avizienis and others (2001) · University of Newcastle upon Tyne, Computing Science
IP router architectures: an overview
James Aweya (2001) · International Journal of Communication Systems · Wiley
On the (Im)possibility of Obfuscating Programs
Boaz Barak and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Proof-Assistants Using Dependent Type Systems
H. Barendregt and others (2001) · Elsevier
Human Capital versus Signaling Models: University Access and High School Dropouts
K. Bedard (2001) · University of Chicago Press
Software dependability techniques validated via fault injection experiments
Alfredo Benso (2001) · IEEE
Systems and Software Verification: Model-Checking Techniques and Tools
B. Bérard and others (2001) · Springer Berlin Heidelberg
Formal verification of an IEEE floating point adder
C. Berg (2001)
Formal Verification of the VAMP Floating Point Unit
Christoph Berg and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Formal verification of a basic circuits library
C. Berg and others (2001) · Proc. of the IASTED International Conference on Applied Informatics, Innsbruck (AI 2001) · ACTA Press
Formal verification of the VAMP mircoprocessor (project status)
C. Berg and others (2001) · Unpublished, available at http://www-wjp.cs.uni-sb.de/∼cj/vamp-status.ps, April
The Semantic Web
Tim Berners-Lee and others (2001) · Scientific American
Using Abstract Specifications to Verify PowerPC™ Custom Memories by Symbolic Trajectory Evaluation
Jayanta Bhadra and others (2001) · Correct Hardware Design and Verification Methods · Springer Berlin Heidelberg
Modal Logic
P. Blackburn and others (2001) · Cambridge University Press
Information security is information risk management
B. Blakley and others (2001) · ACM Press
On the Importance of Eliminating Errors in Cryptographic Computations
Dan Boneh and others (2001) · Springer Science and Business Media LLC
Coupling time of a (max,plus) matrix
Anne Bouillard and others (2001) · Proceedings of the Workshop on Max-Plus Algebra at the 1st IFAC Symposium on System Structure and Control
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
R. E. Bryant and others (2001) · Association for Computing Machinery (ACM)
Langley Formal Methods Program; What is Formal Methods — shemesh.larc.nasa.gov
R. W. Butler (2001) · https://shemesh.larc.nasa.gov/fm/fm-what.html. [Accessed 02-052025]
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
Connection of IPv6 Domains via IPv4 Clouds
B. Carpenter and others (2001) · RFC Editor
The dolev-yao intruder is the most powerful attacker
Iliano Cervesato (2001) · 16th Annual Symposium on Logic in Computer Science—LICS
Managing energy and server resources in hosting centers
J. S. Chase and others (2001) · ACM
Bounded Model Checking Using Satisfiability Solving
Edmund Clarke and others (2001) · Springer Science and Business Media LLC
Progress on the State Explosion Problem in Model Checking
E. Clarke and others (2001) · Springer Berlin Heidelberg
United States Air Force Tactical Datalink Roadmap
Combat Air Forces, Mobility Air Forces, and Air Force Material Command (2001) · United States Air Force
Distributed Systems: Concepts and Design
George Coulouris and others (2001) · Addison-Wesley
The Astrée Static Analyzer
P. Cousot and others (2001) · https://www.astree.ens.fr. [Accessed 28-05-2025]
Interface automata
Luca de Alfaro and others (2001) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Challenges of Intelligence Sharing in Combating Terrorism: An Academic Point of View
A. Dengg (2001) · commitment
A Mathematical Introduction to Logic
H. B. Enderton (2001) · Elsevier
Generalized Likelihood Ratio Statistics and Wilks Phenomenon
J. Fan and others (2001) · Institute of Mathematical Statistics
Clock distribution networks in synchronous digital integrated circuits
E. G. Friedman (2001) · Institute of Electrical and Electronics Engineers (IEEE)
On inferring autonomous system relationships in the Internet
Lixin Gao (2001) · IEEE/ACM Transactions on Networking · Institute of Electrical and Electronics Engineers (IEEE)
Fast LTL to Büchi Automata Translation
Paul Gastin and others (2001) · Computer Aided Verification · Springer Berlin Heidelberg
Using SAT for combinational equivalence checking
Evguenii I Goldberg and others (2001) · IEEE Comput. Soc
Beating the Averages
Graham, and others (2001)
Cosmic rays at earth : researcher’s reference manual and data book
P. K. F. Grieder (2001) · 2001.
MiBench: A free, commercially representative embedded benchmark suite
M.R. Guthaus and others (2001) · Proceedings of the Fourth Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538) · IEEE
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
Impact of CMOS process scaling and SOI on the soft error rates of logic processes
Scott A. Hareland and others (2001) · Symposium on VLSI Technology
Overview of floating-gate devices, circuits, and systems
Paul E. Hasler and others (2001) · IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing · Institute of Electrical and Electronics Engineers
Java PathExplorer - a Runtime Verification Tool
K. Havelund and others (2001) · Rosu. Java PathExplorer - a Runtime Verification Tool. In Proc. ISAIRAS’01
The future of wires
R. Ho and others (2001) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
A case study in class library verification: Java’s vector class
Marieke Huisman and others (2001) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media
IEEE Standard Verilog Hardware Description Language
IEEE (2001) · 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)
Core Algorithms of the Maui Scheduler
D. Jackson and others (2001) · Springer Berlin Heidelberg
Formal verification of a theory of IEEE rounding
C. Jacobi (2001) · TPHOLs 2001: Supplemental Proceedings
Microarchitecture Verification by Compositional Model Checking
Ranjit Jhala and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Practical formal verification in microprocessor design
R.B. Jones and others (2001) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers (IEEE)
Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point Divider
R. Kaivola and others (2001) · Springer Berlin Heidelberg
Local Area Networks
Gerd Keiser (2001)
A scheme for efficient quantum computation with linear optics
Emanuel Knill and others (2001) · Springer Science and Business Media LLC
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
M. Kohlhase (2001) · Springer Berlin Heidelberg
Using annotations to reduce dynamic optimization time
Chandra Krintz and others (2001) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Formal Verification of Pipelined Microprocessors
D. Kroening (2001)
Automated pipeline design
D. Kröning and others (2001) · ACM Press
Between Self-Restraint and ‘All Options Open’: Positioning the US Hegemon in the Democratic/Non-Democratic Divide. Conclusions
Bernd W. Kubbig (2001) · Amerikastudien / American Studies 46, no. 4 (2001): 661–86. http://www.jstor.org/stable/41157688.
On Bounded Specifications
Orna Kupferman and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Model Checking of Safety Properties
O. Kupferman and others (2001) · Springer Science and Business Media LLC
ADir/sub p/NB: a cost-effective way to implement full map directory-based cache coherence protocols
Tao Li and others (2001) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
War.com: The internet and psychological operations
Angela M. Lungu (2001) · Naval War College
Modal Logic and the Two-Variable Fragment
C. Lutz and others (2001) · Springer Berlin Heidelberg
An analysis of reshuffled handshaking expansions
Rajit Manohar (2001)
Vudo malloc tricks
MaXX (2001) · Phrack Magazine
Analysis of clock distribution networks in the presence of crosstalk and groundbounce
M. Salim Maza and others (2001) · Proceedings of the 8th IEEE International Conference on Electronics, Circuits, and Systems (ICECS)
Demonic, angelic and unbounded probabilistic choices in sequential programs
Annabelle McIver and others (2001) · Acta Informatica · Springer Science+Business Media
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques
Steve McKeever and others (2001) · Lecture notes in computer science · 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
Utilization, predictability, workloads, and user runtime estimates in scheduling the IBM SP2 with backfilling
Ahuva Mu’alem and others (2001) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers
Hardware Synthesis Using SAFL and Application to Processor Design
Alan Mycroft and others (2001) · Lecture notes in computer science · Springer Science+Business Media
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
Understanding Link-16. A Guidebook for New Users
Northrop Gruman (2001) · Northrop Gruman
Advanced Encryption Standard (AES)
NIST (2001)
Announcing the advanced encryption standard (AES)
NIST-FIPS Standard (2001) · Federal Information Processing Standards Publication
Known answer test (kat) vectors for advanced encryption standard (aes)
National Institute of Standards and others (2001) · http://csrc.nist.gov/groups/STM/cavp/documents/aes/KAT_AES.zip
NIST SP 800-38A
National Institute of Standards and others (2001) · U.S. Department of Commerce, Tech. Rep.
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Encoding Two-Valued Nonclassical Logics in Classical Logic
Hans Jürgen Ohlbach and others (2001) · Handbook of Automated Reasoning · Elsevier
Sovereignty, International Relations, and the Westphalian Myth
Andreas Osiander (2001) · Cambridge University Press (CUP)
Physical One-Way Functions
Ravikanth Pappu (2001)
Introduction to ISO 10303—the STEP Standard for Product Data Exchange
Michael J Pratt (2001) · ASME International
ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards
Jean-Jacques Quisquater and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Design of Analog CMOS Integrated Circuits
B. Razavi (2001) · McGraw-Hill
Embedded Information System Assurance (EISA) Phase 1: Domain Analysis
The Raytheon Company (2001) · The Raytheon Company
A source-to-source compiler for generating dependable software
Maurizio Rebaudengo and others (2001) · IEEE Comput. Soc
A clock distribution network for microprocessors
P. J. Restle (2001) · Institute of Electrical and Electronics Engineers (IEEE)
Experimental encryption of aircraft communications addressing and reporting system (ACARS) aeronautical operational control (AOC) messages
C. Risley and others (2001) · IEEE
Secure aircraft communications addressing and reporting system (ACARS)
A. Roy (2001) · IEEE
Ideological and Policy Origins of the Internet, 1957-1969
Andrew L. Russell (2001) · arXiv (Cornell University) · Cornell University
A Language-Based Approach to Security
Fred B. Schneider and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Soft Scheduling for Hardware
Richard R. Sharp and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Natural Image Statistics and Neural Representation
Eero P. Simoncelli and others (2001) · Annual Review of Neuroscience · Annual Reviews
Practitioners' views on the use of formal methods: an industrial survey by structured interview
Colin Snook and others (2001) · Information and Software Technology · Elsevier BV
NATO Enlargement 2000-2015. Determinants and Implications for Defense Planning and Shaping
Thomas S. Szayna (2001) · RAND Corporation
Modern Operating Systems (Second Edition)
Andrew S. Tanenbaum (2001) · Prentice-Hall
Highly efficient photon-pair source using a Periodically Poled Lithium Niobate Waveguide
Sébastien Tanzilli and others (2001) · arXiv
Coverage metrics for functional validation of hardware designs
S. Tasiran and others (2001) · Institute of Electrical and Electronics Engineers (IEEE)
Analysis of Timed Systems Using Time-Abstracting Bisimulations
S. Tripakis and others (2001) · Springer Science and Business Media LLC
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
Alias Types for Recursive Data Structures
D. Walker and others (2001) · Springer Berlin Heidelberg
The advanced return-into-lib(c) exploits: PaX case study
Nergal (Rafal Wojtczuk) (2001) · Phrack magazine
An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm
H. Yang (2001) · SPACE 2001: Informal Proceedings of Workshop on Semantics, Program Analysis and Computing Environments for Memory Management
Local reasoning for stateful programs
Hongseok Yang (2001) · University of Illinois
Synthesis of control implementation for discrete manufacturing systems
J. Zaytoon and others (2001) · Informa UK Limited
An analysis of BGP multiple origin AS (MOAS) conflicts
Xiaoliang Zhao and others (2001) · ACM Press
A programmable co-processor for profiling
Craig B. Zilles and others (2001)