1989
115 references published this year.
Realizable and unrealizable specifications of reactive systems
Martı́n Abadi and others (1989) · Lecture notes in computer science · Springer Science+Business Media
Programming language C
American National Standards Institute and others (1989) · ANSI, 1990. Document number: X3.159-
Text timesharers: sitting ducks for hungry dogs
Stephen Arnold (1989) · Emerald
Chemistry's Tongue
Peter Atkins (1989) · Interdisciplinary Science Reviews · Taylor & Francis
Graph-based Representations and Coupled Verification of VLSI Schematics and Layouts
Cyrus S. Bamji (1989) · MIT Research Laboratory of Electronics
Concurrency in heavily loaded neighborhood-constrained systems
Valmir Carneiro Barbosa and others (1989) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Annual Statistical Table on Global Mission: 1989
David B. Barrett (1989) · SAGE Publications
Formal methods applied to a floating-point number system
Geoff Barrett (1989) · IEEE Transactions on Software Engineering · IEEE Computer Society
Verification of Combinational Logic in Nuprl
David A. Basin and others (1989) · Cornell University
An approach to systems verification
William R. Bevier and others (1989) · Journal of Automated Reasoning · Springer Science+Business Media
Kit: a study in operating system verification
William R. Bevier (1989) · Institute of Electrical and Electronics Engineers (IEEE)
Special issue on system verification
W.R. Bevier and others (1989) · Journal of Automated Reasoning
Proving support for the formal development of software
J C Bicarregui and others (1989)
Current Trends in Hardware Verification and Automated Theorem Proving
Unattributed (1989) · Springer
Translation lookaside buffer consistency: a software approach
David L. Black and others (1989) · Association for Computing Machinery (ACM)
Automatic verification of synchronous circuits using symbolic logic simulation and temporal logic
S. Bose and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop)
Verifying pipelined hardware using symbolic logic simulation
S. Bose and others (1989) · IEEE Comput. Soc. Press
Requirements for Internet Hosts - Communication Layers
R. Braden (1989) · RFC Editor
The formalization of a simple hardware description language
Bishop C Brock and others (1989) · Applied Formal Methods For Correct VLSI Design
Translating concurrent communicating programs into delay-insensitive circuits
Erik Brunvand and others (1989) · Technical Report CMU-CS-89-126
Recent developments in the design of asynchronous circuits
J. A. Brzozowski and others (1989) · Technical Report CS-89-18
A rational reconstruction and extension of recursion analysis
Alan Bundy and others (1989) · Proceedings of the Eleventh International Joint Conference on Artificial Intelligence
Compositional model checking
E. M. Clarke and others (1989)
A language for compositional specification and verification of finite state hardware controllers
E. M. Clarke and others (1989) · 9th International Symposium on Hardware Description Languages and their Applications
A synthesis of two approaches for verifying finite state concurrent systems
E. M. Clarke and others (1989) · Lecture notes in computer science · Springer Science+Business Media
The concurrency workbench: A semantics based tool for the verification of concurrent systems
Rance Cleaveland and others (1989) · Technical Report LFCS-89-83
Algebraic tools for the performance evaluation of discrete event systems
G. Cohen and others (1989) · Proceedings of the IEEE
The notion of proof in hardware verification
Avra Cohn (1989) · Journal of Automated Reasoning · Springer Science and Business Media LLC
Crime Specialisation, Crime Displacement and Rational Choice Theory
D. Cornish and others (1989) · Springer Berlin Heidelberg
Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology
Fred D. Davis (1989) · MIS Quarterly
Timing assumptions and verification of finite-state concurrent systems
David L. Dill (1989) · Lecture notes in computer science · Springer Science+Business Media
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill (1989) · The MIT Press
Using statecharts for hardware description and synthesis
D. Drusinsky and others (1989) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Translating programs into delay-insensitive circuits
Jo C. Ebergen (1989) · Centrum voor Wiskunde en Informatica
A syntactic theory of sequential state
Matthias Felleisen and others (1989) · Theoretical Computer Science · Elsevier BV
Formal system design - interactive synthesis based on computer-assisted formal reasoning
S. Finn and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
Formal system design – interactive synthesis based on computer-assisted reasoning
Simon Finn and others (1989) · Applied Formal Methods For Correct VLSI Design
Performance of COSMOS on the IFIP workshop benchmarks
A. L. Fisher and others (1989) · Proceedings of the IMEC-IFIP Workshop 1989
AMPL: A Mathematical Programing Language
Robert Fourer and others (1989) · Algorithms and Model Formulations in Mathematical Programming · Springer Berlin Heidelberg
Formally based system design - interactive hardware scheduling
M. P. Fourman and others (1989) · VLSI 89, Munich · North-Holland
LAMBDA: Logic and Mathematics Behind Design Automation
Michael P. Fourman and others (1989) · 26th ACM/IEEE Design Automation Conference
Proofs and Types
Jean-Yves Girard and others (1989) · Cambridge University Press
OBJ as a Theorem Prover with Applications to Hardware Verification
Joseph A. Goguen (1989) · Current Trends in Hardware Verification and Automated Theorem Proving · Springer New York
Embedding computer hardware design and description languages in proof systems
K G W Goossens (1989)
Specification-driven Design of Custom Hardware in HOP
Ganesh Gopalakrishnan and others (1989) · Springer Nature
Semantic domains
C. Gunter and others (1989) · Department of Computer and Information Science, University of Pennsylvania
Formal synthesis of digital systems
F. K. Hanna and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
The definition of standard ML version 3
Robert Harper and others (1989) · LFCS Report Series ECS-LFCS-89-81
Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft
Robert W. Harper and others (1989) · Lecture notes in computer science · Springer Science+Business Media
PX: A Computational Logic
S. Hayashi and others (1989) · MIT Press
ELLA Timing
M. Hill and others (1989) · ESPRIT project 2260 (SPRITE), deliverable D3.3, RSRE, Y1-M12
Timescaling in ELLA
M. Hill and others (1989) · ESPRIT project 2260 (SPRITE), deliverable D3.3, RSRE, Y1-M6
Validating SDL specifications: An experiment
G. Holzmann and others (1989) · Ninth International Conference on Protocol Specification
Psychology of Computer Use: VII. Measuring Technostress: Computer-Related Stress
Richard A. Hudiburg (1989) · SAGE Publications
Why Functional Programming Matters
J. Hughes (1989) · The Computer Journal · Oxford University Press (OUP)
Microprocessor design verification
Warren A. Hunt (1989) · Journal of Automated Reasoning · Springer Science+Business Media
BEAVER: a behavioral formal verifier for VLSI design
S. H. Hwang and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
The theory of constructions: categorical semantics and topos-theoretic models
J. Martin E. Hyland and others (1989) · Categories in Computer Science and Logic · American Mathematical Society
On the interplay of synthesis and verification
S. D. Johnson and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
An algebra for delay-insensitive circuits
Mark B. Josephs and others (1989) · Technical Report WUCS-89-54
Totally verified systems:
linking verified software to verified hardware
Joyce, Jeffrey J. (1989) · Computer Laboratory, University of Cambridge
A verified compiler for a verified microprocessor
Jeffrey J. Joyce (1989) · Computer Laboratory, University of Cambridge
Formal verification of fault tolerance using theorem-proving techniques
J. Kljaich and others (1989) · Institute of Electrical and Electronics Engineers (IEEE)
A formalization of correctness for linked representations of datapath hardware
D. W. Knapp and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland
A structural induction theorem for processes
R. P. Kurshan and others (1989) · Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 · ACM Press
Multistep gradual rounding
C. Lee (1989) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
A Formal Model for Software Project Management
Lung-Chun Liu and others (1989) · IEEE Transactions on Software Engineering
Practical fast 1-D DCT algorithms with 11 multiplications
Charles M. Loeffler and others (1989) · IEEE International Conference on Acoustics Speech and Signal Processing
An introduction to input/output automata
Nancy A. Lynch and others (1989) · CWI Quarterly, 2:219–246
A theory for multiresolution signal decomposition: the wavelet representation
S. G. Mallat (1989) · Institute of Electrical and Electronics Engineers (IEEE)
The design of an asynchronous microprocessor
Alain J. Martin and others (1989) · SIGARCH Comput. Archit. News
The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation
Alain J. Martin (1989) · Hardware Specification, Verification and Synthesis: Mathematical Aspects
Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits
Alain J. Martin (1989) · CaltechAUTHORS (California Institute of Technology) · California Institute of Technology
Programming in VLSI: From communicating processes to delayinsensitive circuits
Alain J. Martin (1989) · UT Year of Programming Institute on Concurrent Programming · Addison-Wesley
Programming, transforming, and proving with function abstractions and memories
Ian Mason and others (1989) · Springer Berlin Heidelberg
A sound and complete axiomatization of operational equivalence of programs with memory
I. Mason and others (1989) · 16th ACM Symposium on Principles of Programming Languages
Efficient algorithms for computing the longest viable path in a combinational network
P. C. McGeer and others (1989) · ACM Press
Automating Recursive Type Definitions in Higher Order Logic
Thomas F. Melham (1989)
Automatic synthesis of asynchronous circuits from high-level specifications
Teresa H. -Y. Meng and others (1989) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Conductance and convergence of Markov chains-a combinatorial treatment of expanders
Milena Mihail (1989) · IEEE
Communication and Concurrency
R. Milner (1989) · Prentice-Hall, Inc., Upper Saddle River, NJ, USA
A timestamp-based cache coherence scheme
S. L. Min and others (1989) · Proceedings of the International Conference on Parallel Processing, ICPP ’89, The Pennsylvania State University, University Park, PA, USA, August 1989. Volume 1: Architecture, Pennsylvania State University Press
An abstract view of programming languages
E. Moggi (1989) · Laboratory for Foundations of Computer Science, University of Edinburgh
The definition of CIRCAL
Faron Moller (1989) · Applied Formal Methods For Correct VLSI Design
A mechanically verified language implementation
J Strother Moore (1989) · Springer Science and Business Media LLC
System verification
J Moore (1989) · Springer Science and Business Media LLC
Denotational semantics
P. D. Mosses (1989) · Department of Computer and Information Science, University of Pennsylvania
Petri nets: Properties, analysis and applications
Tadao Murata (1989) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Formal Verification of the Sobel Image Processing Chip
P. Narendran and others (1989) · Springer New York
The RAISE language, method and tools
Mogens Nielsen and others (1989) · Association for Computing Machinery (ACM)
Practicality of state-machine verification of speed-independent circuits
Steven M. Nowick and others (1989) · International Conference on Computer Aided Design
Extracting ω's programs from proofs in the calculus of constructions
Christine Paulin-Mohring (1989) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Notes on categorical logic
A. M. Pitts (1989)
On the synthesis of a reactive module
Amir Pnueli and others (1989) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Abstract specification, composition, and proof of correctness of delay-insensitive circuits and systems
D. K. Probst and others (1989) · Concordia University, Department of Computer Science
The control of discrete event systems
P.J. Ramadge and others (1989) · Institute of Electrical and Electronics Engineers (IEEE)
Approaches to specification-based testing
D. Richardson and others (1989) · ACM Press
Circuit reliability simulator-oxide breakdown module
Elyse Rosenbaum and others (1989) · Technical digest - International Electron Devices Meeting/Technical digest · Institute of Electrical and Electronics Engineers
Requirements Specification for Timescaling
P. Rouse (1989) · Praxis (Sprite deliverable D3.3, Praxis, Y1-M6)
Specification for Timescaling
P. Rouse (1989) · Praxis
IRSIM: an incremental MOS switch-level simulator
A. Salz and others (1989) · Proceedings of the 1989 26th ACM/IEEE conference on Design automation conference - DAC '89 · ACM Press
Method and apparatus for checking the authenticity of documents
J. Samyn (1989)
Linear logic, *-autonomous categories and cofree coalgebras
R. A. G. Seely (1989) · Categories in Computer Science and Logic · American Mathematical Society
Approximate counting, uniform generation and rapidly mixing Markov chains
Alistair Sinclair and others (1989) · Information and Computation · Elsevier BV
A study of time-redundant fault tolerance techniques for high-performance pipelined computers
G.S. Sohi and others (1989) · IEEE Comput. Soc. Press
The internet worm incident
Eugene H. Spafford (1989) · Springer Berlin Heidelberg
The internet worm program: an analysis
Eugene Howard Spafford (1989) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Micropipelines
Ivan Edward Sutherland (1989) · Communications of the ACM · Association for Computing Machinery
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
A. Tarlecki and others (1989) · LFCS, University of Edinburgh
Efficient Verification of VLSI Circuits Based on Syntax and Denotational Semantics
Filip Van Aelten (1989) · MIT Research Laboratory of Electronics
Efficient verification of VLSI circuits based on syntax and denotational semantics
Filip van Aelten and others (1989) · Applied Formal Methods For Correct VLSI Design
Toward formal verification of VHDL specifications
John van Tassel and others (1989) · Applied Formal Methods For Correct VLSI Design
New Developments in ELLA
J. S. Ward and others (1989) · European Simulation Multiconference, Rome
What is a Formal Method?
Jeannette M. Wing (1989) · School of Computer Science, Carnegie Mellon University
A mechanically verified code generator
WilliamD. Young (1989) · Journal of Automated Reasoning · Springer Science+Business Media