James K. Huggins
James K. Huggins
Associate Professor of Computer Science, Kettering University
Verified email at kettering.edu
Title
Cited by
Cited by
Year
The semantics of the C programming language
Y Gurevich, JK Huggins
International Workshop on Computer Science Logic, 274-308, 1992
2401992
The railroad crossing problem: an experiment with instantaneous actions and immediate reactions
Y Gurevich, JK Huggins
International Workshop on Computer Science Logic, 266-290, 1995
791995
Abstract state machines 1988-1998: Commented ASM bibliography
E Börger, JK Huggins
arXiv preprint cs/9811014, 1998
771998
A toolset for supporting UML static and dynamic model checking
W Shen, K Compton, J Huggins
Proceedings 26th Annual International Computer Software and Applications …, 2002
722002
An automatic verification tool for UML
K Compton, Y Gurevich, J Huggins, W Shen
Univ. of Michigan, EECS Dept. Tech. Report CSE-TR-423, 2000
562000
Specification and verification of pipelining in the ARM2 RISC microprocessor
JK Huggins, DV Campenhout
ACM Transactions on Design Automation of Electronic Systems (TODAES) 3 (4 …, 1998
531998
Kermit: specification and verification.
JK Huggins
Specification and validation methods, 247-293, 1993
471993
An abstract state machine primer
J Huggins, C Wallace
Technical Report CS-TR-02-04, Computer Science Department, Michigan …, 2002
282002
A Semantic Model for the State Machine in the Uni ed Modeling Language
K Compton, J Huggins, W Shen
Dynamic Behavior in UML Models: Semantic Questions, UML 2000 workshop …, 2000
282000
Evolving algebras and partial evaluation
Y Gurevich, JK Huggins
arXiv preprint cs/9810024, 1998
251998
The static and dynamic semantics of C
JK Huggins, W Shen
Local Proc. Int. Workshop on Abstract State Machines, 2000
222000
Equivalence is in the eye of the beholder
Y Gurevich, JK Huggins
Theoretical Computer Science 179 (1-2), 353-380, 1997
161997
Engaging computer science students through cooperative education
JK Huggins
ACM SIGCSE Bulletin 41 (4), 90-94, 2010
152010
A validation method for uml model based on abstract state machines
W Shen, K Compton, J Huggins
Proceeding of EUROCAST, 220-223, 2001
152001
ASM Michigan web page
JK Huggins
14
Execution of A Requirement Model in Software Development.
W Shen, M Guizani, Z Yang, KJ Compton, J Huggins
IASSE, 203-208, 2004
112004
Abstract state machines home page. EECS Department, University of Michigan
JK Huggins
111998
A UML validation toolset based on abstract state machines
W Shen, K Compton, J Huggins
Proceedings 16th Annual International Conference on Automated Software …, 2001
102001
The evolving algebra interpreter version 2.0
J Huggins, R Mani
University of Michigan, 1995
101995
An offline partial evaluator for evolving algebras
JK Huggins
arXiv preprint cs/9810025, 1998
81998
The system can't perform the operation now. Try again later.
Articles 1–20