Follow
James K. Huggins
James K. Huggins
Associate Professor of Computer Science, Kettering University
Verified email at kettering.edu - Homepage
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
2531992
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
831995
Abstract state machines 1988-1998: Commented ASM bibliography
E Börger, JK Huggins
arXiv preprint cs/9811014, 1998
821998
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
792002
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
572000
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
541998
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
302002
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
292000
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
Engaging computer science students through cooperative education
JK Huggins
ACM SIGCSE Bulletin 41 (4), 90-94, 2010
182010
Equivalence is in the eye of the beholder
Y Gurevich, JK Huggins
Theoretical Computer Science 179 (1-2), 353-380, 1997
181997
A validation method for uml model based on abstract state machines
W Shen, K Compton, J Huggins
Proceeding of EUROCAST, 220-223, 2001
162001
ASM Michigan web page
JK Huggins
15
A UML validation toolset based on abstract state machines
W Shen, K Compton, J Huggins
Proceedings 16th Annual International Conference on Automated Software …, 2001
112001
Abstract state machines home page. EECS Department, University of Michigan
JK Huggins
111998
Execution of A Requirement Model in Software Development.
W Shen, M Guizani, Z Yang, KJ Compton, J Huggins
IASSE, 203-208, 2004
102004
The evolving algebra interpreter version 2.0
J Huggins, R Mani
University of Michigan, 1995
101995
Multi-phase homework assignments in CS I and CS II
J Huggins
82003
The system can't perform the operation now. Try again later.
Articles 1–20