2002
127 references published this year.
Using embedded FPGAs for SoC yield improvement
M. Abramovici and others (2002) · IEEE
Fault tolerance evaluation using two software based fault injection methods
Astrit Ademaj (2002) · IEEE
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS
Knut Åkesson and others (2002) · IFAC Proceedings Volumes · Elsevier BV
Tools for Controller Synthesis of Timed Systems
K. Altisen and others (2002) · RT-TOOLS’02
Mining specifications
Glenn Ammons and others (2002) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Avoiding Pitfalls When Using Information-Theoretic Methods
D. R. Anderson and others (2002) · JSTOR
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
Timed regular expressions
Eugene Asarin and others (2002) · Journal of the ACM · Association for Computing Machinery
Formal verification of the VAMP microprocessor (project status)
C. Berg and others (2002) · Technical report
Correct hardware by synthesis from PVS
S. Beyer and others (2002) · submitted for publication
Formal verification of a cache memory interface
S. Beyer (2002) · submitted for publication
Liveness Checking as Safety Checking
A. Biere and others (2002) · Elsevier BV
Cyclo-static data flow
Greet Bilsen and others (2002) · IEEE
Introduction to abstract interpretation
B. Blanchet (2002) · lecture script
Fault based cryptanalysis of the advanced encryption standard
J. Blöemer and others (2002) · Cryptology ePrint Archive
Computability and logic
George S. Boolos and others (2002) · Cambridge University Press
A logical characterization of data languages
Patricia Bouyer (2002) · Information Processing Letters · Elsevier BV
Verification of Asynchronous Circuits using Timed Automata
Marius Bozga and others (2002) · Electronic Notes in Theoretical Computer Science: Theory and Practice of Timed Systems (TPTS 2002)
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
Randal E. Bryant and others (2002) · Springer Berlin Heidelberg
On characterizing bgp routing table growth
Tian Bu and others (2002) · Global Telecommunications Conference · IEEE
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002) · Universita di Genova
Frame synchronization in the presence of frequency offset
Z. Y. Choi and others (2002) · Institute of Electrical and Electronics Engineers (IEEE)
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
A. Cimatti (2002) · Springer Berlin Heidelberg
Growth of the Internet
Kerry G. Coffman and others (2002) · Optical Fiber Telecommunications IVB: Systems and Impairments · Academic Press
Fighting for Our Lives : An Anarchist Primer
CrimethInc Ex-Workers Collective (2002)
Hacking Layer 2: Fun with Ethernet Switches
S. Convery (2002)
The Genesis of Possible Worlds Semantics
J. Copeland (2002) · Springer Science and Business Media LLC
Building reliable component-based software systems
Ivica Crnkovic (2002) · Artech House
Manip: A PVS Prover Strategy Package for Common Manipulations
B. L. Di Vito (2002) · NASA Langley Research Center, Hampton, VA, 2002. availanle at http://shemesh.larc.nasa.gov/fm/ftp/larc/PVSlibrary/pvslib.html
Neutron-induced soft errors, latchup, and comparison of SER test methods for SRAM technologies
P.E. Dodd and others (2002) · IEEE
The DHCP Handbook
Ralph Droms and others (2002) · Sams Publishing
Bypassing PaX ASLR protection
Tyler Durden (2002) · Phrack magazine
Comparing Symbolic and Explicit Model Checking of a Software System
C. Eisner and others (2002) · Springer Berlin Heidelberg
Processor Pipelines and Their Properties for Static WCET Analysis
Jakob Engblom and others (2002) · Lecture notes in computer science · Springer Science+Business Media
Four different tricks to bypass StackShield and StackGuard protection
Gerardo Richarte et al (2002)
Grasp: An Annotated Bibliography
Paola Festa and others (2002) · Springer US
Condor DAGMan: Handling inter-job dependencies
J. Frey (2002) · Technical report
Critical infrastructure protection: Commercial satellite security should be more fully addressed
United States General Accounting Office (2002) · Technical Report GAO-02- 781
Silicon physical random functions
Blaise Gassend and others (2002) · Proceedings of the 9th ACM conference on Computer and communications security · ACM
Trustworthy computing
B. Gates (2002)
Formal Techniques for Verification of Complex Real-time Systems
M. C. W. Geilen (2002) · PhD. Thesis. Eindhoven University of Technology
A low-power RISC microprocessor using dual PLLs in a 0.13μm SOI technology with copper interconnect and low-k BEOL dielectric
S. Geissler and others (2002) · IEEE
Optimal Linear Detection of SOQPSK
M. Geoghegan (2002) · Proceedings of the International Telemetering Conference
Observations on industrial practice using formal methods
S.L. Gerhart and others (2002)
Facts and Fallacies of Software Engineering
R. L. Glass (2002) · Addison-Wesley
Relating Event and Trace Semantics of Hardware Description Languages
Mike Gordon (2002) · The Computer Journal · Oxford University Press (OUP)
A Taxonomy of Reactive Systems
Adriaan de Groot and others (2002) · University of Nijmegen
SACEM software validation
G. Guiho and others (2002) · Proceedings/Proceedings - International Conference on Software Engineering · Institute of Electrical and Electronics Engineers
Aeronautical channel modeling
E. Haas (2002) · IEEE Transactions on Vehicular Technology · Institute of Electrical and Electronics Engineers
Lessons learned from FPGA developments
Sandi Habinc (2002) · Gaisler Research, FPGA-001-01
Suitability of reprogrammable FPGAs in space applications
S. Habinc (2002) · Feasibility Report FPGA-002-01
Tracking down software bugs using automatic anomaly detection
Sudheendra Hangal and others (2002) · Proceedings/Proceedings - International Conference on Software Engineering · Institute of Electrical and Electronics Engineers
Synthesizing Monitors for Safety Properties
Klaus Havelund and others (2002) · Lecture notes in computer science · Springer Science+Business Media
Getting Sabre off the ground
R. V. Head (2002) · Institute of Electrical and Electronics Engineers (IEEE)
Opinion dynamics and bounded confidence models, analysis, and simulation
Rainer Hegselmann and others (2002) · Journal of Artificial Societies and Social Simulation
Taking Parenting Public: The Case for a New Social Movement
S. A. Hewlett and others (2002)
Trust and vulnerability in open source software
Scott A. Hissam and others (2002) · IEE Proceedings - Software · Institution of Engineering and Technology
Validation coverage analysis for complex digital designs
R.C. Ho and others (2002) · International Conference on Computer Aided Design
Quantum phase gate for photonic qubits using only beam splitters and postselection
Holger F Hofmann and others (2002) · Physical Review A
Verification of Java’s AbstractCollection Class: A Case Study
M. Huisman (2002) · Springer Berlin Heidelberg
DSPACE (n/sup k/)=VAR(k+1)
Neil Immerman (2002) · Structure in Complexity Theory Annual Conference
Alloy: a lightweight object modelling notation
Daniel Jackson (2002) · Association for Computing Machinery (ACM)
Formal Verification of a Fully IEEE Compliant Floating Point Unit
Christian Jacobi (2002) · Universität des Saarlandes
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
C. Jacobi (2002) · Springer Berlin Heidelberg
Cyclone: A safe dialect of C
Trevor Jim and others (2002) · Proceedings Of The General Track: 2002 USENIX Annual Technical Conference
Software implemented fault injection used for software evaluation
Andréas Johansson (2002) · Building Reliable Component-Based Systems (2002)
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
Architecture for a large-scale ion-trap quantum computer
David Kielpinski and others (2002) · Nature
Monitoring, Checking, and Steering of Real-Time Systems
Moonjoo Kim and others (2002) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Creating a Mathematical Theory of Computer Networks
Leonard Kleinrock (2002) · Operations Research · Institute for Operations Research and the Management Sciences (INFORMS)
The TLA+ Language and Tools for Hardware and Software Engineers
L. Lamport (2002) · Addison-Wesley Professional
Pipeline Modeling for Timing Analysis
M. Langenbach and others (2002) · Springer Berlin Heidelberg
Temporal logic with forgettable past
F. Laroussine and others (2002) · IEEE Comput. Soc
Nonlinear multiwavelength conversion based on an aperiodic optical superlattice in lithium niobate
YW Lee and others (2002) · Optica Publishing Group
Understanding BGP misconfiguration
Ratul Mahajan and others (2002) · ACM SIGCOMM Computer Communication Review
Efficient single-chip implementation of SHA-384 and SHA-512
M. McLoone and others (2002) · IEEE International Conference on Field-Programmable Technology (FPT)
A single-chip IPSEC cryptographic processor
M. McLoone and others (2002) · IEEE
Characterization of Normal Propagation Delay for Delay Degradation Model (DDM)
A. Millan and others (2002) · Springer Berlin Heidelberg
CCured: Type-safe retrofitting of legacy code
George C. Necula and others (2002) · ACM
A GEOMETRIC AIR-TO-GROUND RADIO CHANEL MODEL
W. G. Newhall and others (2002) · MILCOM 2002. Proceedings
Representation of the Quantity of Visual Items in the Primate Prefrontal Cortex
A. Nieder and others (2002) · American Association for the Advancement of Science (AAAS)
Hoare Logics in Isabelle/HOL
Tobias Nipkow (2002) · Springer Netherlands
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
T. Nipkow and others (2002) · Springer Berlin Heidelberg
The keyed-hash message authentication code (HMAC)
NIST, (2002) · Federal Information Processing Standards Publication FIPS PUB 198, March
Control-flow checking by software signatures
Nahmsuk Oh and others (2002) · Institute of Electrical and Electronics Engineers (IEEE)
Error detection by duplicated instructions in super-scalar processors
Nahmsuk Oh and others (2002) · IEEE Transactions on Reliability · Institute of Electrical and Electronics Engineers
Physical One-Way Functions
Ravikanth Pappu and others (2002) · Science · American Association for the Advancement of Science
Mobile Fading Channels
Matthias Pätzold (2002) · Wiley
The TESLA Broadcast Authentication Protocol
A. Perrig and others (2002) · RSA Cryptobytes
VHDL: Programming by Example
D.L. Perry and others (2002) · McGraw-Hill
Types and Programming Languages
Benjamin C. Pierce (2002) · MIT Press
Optimal Pipeline Depth of Out-of-order RISC processors
J. Preiß (2002)
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym (2002) · Springer
Eddy current for magnetic analysis with active sensor
Jean-Jacques Quisquater and others (2002) · Proceedings of eSMART
Linear optical controlled-not gate in the coincidence basis
Timothy C Ralph and others (2002) · Physical Review A
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
Explaining software developer acceptance of methodologies: a comparison of five theoretical models
Cynthia K. Riemenschneider and others (2002) · IEEE Transactions on Software Engineering · IEEE Computer Society
Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability
Jun Sawada and others (2002) · Formal Methods in System Design · Springer Science+Business Media
Axioms for real-time logics
Pierre‐Yves Schobbens and others (2002) · Theoretical Computer Science · Elsevier BV
Energy-efficient processor design using multiple clock domains with dynamic voltage and frequency scaling
G. Semeraro and others (2002) · IEEE Computer. Soc
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002) · Wiley-IEEE Press
Modeling the effect of technology trends on the soft error rate of combinational logic
Premkishore Shivakumar and others (2002) · IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
TCP/IP Unleashed
Karanjit S. Siyan and others (2002) · Sams Publishing
Optical Fault Induction Attacks
Sergei P. Skorobogatov and others (2002) · Springer Berlin Heidelberg
Formal methods application: an empirical tale of software development
A.E.K. Sobel and others (2002) · Institute of Electrical and Electronics Engineers (IEEE)
Specifying and verifying a broadcast and a multicast snooping cache coherence protocol
D.J. Sorin and others (2002) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers (IEEE)
Re: Monotonicity [was: Re: On Consensus] from Patrick Stickler on 2002-09-25 (w3c-rdfcore-wg@w3.org from September 2002)
Patrick Stickler (2002)
Risk management guide for information technology systems :
Gary Stoneburner and others (2002)
Distributed Systems, Principles and Paradigms
A. Tanenbaum and others (2002) · Prentice-Hall, Inc
An FPGA Based SHA-256 Processor
Kurt K. Ting and others (2002) · Lecture notes in computer science · Springer Science+Business Media
Enumeration of briefly presented items by the chimpanzee (Pan troglodytes) and humans (Homo sapiens)
Masaki Tomonaga and others (2002) · Animal Learning & Behavior · Springer Science+Business Media
Performance-effective and low-complexity task scheduling for heterogeneous computing
H. Topcuoglu and others (2002) · Institute of Electrical and Electronics Engineers (IEEE)
Fault Diagnosis for Timed Automata
Stavros Tripakis (2002) · Lecture notes in computer science · Springer Science+Business Media
Social Structure of “Coopetition” Within a Multiunit Organization: Coordination, Competition, and Intraorganizational Knowledge Sharing
Wenpin Tsai (2002) · Institute for Operations Research and the Management Sciences (INFORMS)
Duplication-based concurrent error detection in asynchronous circuits: shortcomings and remedies
T. Verdel and others (2002) · IEEE Comput. Soc
Requirements engineering in automotive development-experiences and challenges
M. Weber and others (2002)
Isabelle/Isar—a versatile environment for human-readable formal proof documents
Markus Wenzel (2002)
The bathtub curve and product failure behavior
Dennis J Wilkins (2002) · Reliability HotWire
Trends in violent crime: a comparison between police statistics and victimization surveys
K. Wittebrood and others (2002) · Springer Science and Business Media LLC
8.4 Electro-Optic Coefficients of LiNbO3, page 136
K.K. Wong (2002) · Institution of Engineering and Technology (The IET)
A Semantic Basis for Local Reasoning
Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
T.-S. Yoo and others (2002) · Discrete Event Dynamic Systems · Springer Science and Business Media LLC