Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Huggins, Jim - Science and Mathematics Department, Kettering University
Computer Science Technical Report An Abstract State Machine Primer
Specification and Verification of Pipelining in the ARM2 RISC Microprocessor
Equivalence Is In The Eye Of The Beholder Yuri Gurevich 1 and James K. Huggins 1
BroyLamport Specification Problem: A Gurevich Abstract State Machine Solution #
An ASM Dynamic Semantics for Standard ML Steven C. Cater and James K. Huggins
A Validation Method for a UML Model Based on Abstract State Machines
A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen
Evolving Algebras and Partial Evaluation # Yuri Gurevich + and James K. Huggins +
Evolving Algebras and Partial Evaluation Yuri Gurevich
The Assumptions of Computing James K. Huggins
Kermit: Specification and Verification \Lambda James K. Huggins y
Abstract State Machines 19881998: Commented ASM Bibliography
An Offline Partial Evaluator for Evolving Algebras James K. Huggins
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate
The Static and Dynamic Semantics of C (Extended Abstract)
Specification and Verification of Pipelining in the ARM2 RISC Microprocessor \Lambda
Computer Science Technical Report An Abstract State Machine Primer
An ASM Dynamic Semantics for Standard ML Steven C. Cater and James K. Huggins
A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen
An O#ine Partial Evaluator for Evolving Algebras James K. Huggins #
The Semantics of the C Programming Language Yuri Gurevich \Lambda and James K. Huggins \Lambda
An ASM Dynamic Semantics for Standard ML Steven C. Cater and James K. Huggins
The Static and Dynamic Semantics of C James K. Huggins
Session F4C 0-7803-9077-6/05/$20.00 2005 IEEE October 19 22, 2005, Indianapolis, IN
A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen and Kevin Compton
A Semantic Model for the State Machine in the Unified Modeling Language
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
Reviewed Papers inroads --SIGCSE Bulletin -90 -Volume 41, Number 4 --2009 December
Session S2C 0-7803-6424-4/00/$10.00 2000 IEEE October 18 -21, 2000 Kansas City, MO
Speci cation and Veri cation of Pipelining in the ARM2 RISC Microprocessor
Copyright 2003 by the Consortium for Computing Sciences in Colleges. Permission to copy without fee all or part of this material is granted provided that the copies are not made or
A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen
Speci cation and Veri cation of Pipelining in the ARM2 RISC Microprocessor
The Static and Dynamic Semantics of C James K. Huggins # Wuwei Shen +#
