Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Tarnick
Controllable Self-Checking Checkers for Conditional Concurrent Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Related publications
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Self-Checking Monitor for NBTI Due Degradation
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Self-Checking Booth Multipliers
International Journal of Applied Mathematics and Computer Science
Engineering
Computer Science
Applied Mathematics
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Self-Checking Current-Mode Analogue Memory
Electronics Letters
Electronic Engineering
Electrical
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Concurrent Typestate With Access Permissions in Plural: A Retrospective
