Citation Impact
Citing Papers
Specification and verification of distributed systems using prolog interpreted petri nets.
1984
Model Checking Programs
2003 Standout
Statecharts: a visual formalism for complex systems
1987 Standout
Kit: a study in operating system verification
1989
A classification and comparison framework for software architecture description languages
2000 Standout
Petri nets: Properties, analysis and applications
1989 Standout
Key challenges in automation of earth-moving machines
2016 Standout
Petri Nets Theory for the Correctness of Protocols
1982
Verification and validation of simulation models
1995 Standout
Validation, Verification, and Testing of Computer Software
1982
seL4
2009 Standout
Modeling and analysis of communication and cooperation protocols using petri net based models
1982
A Robotic Excavator for Autonomous Truck Loading
1999 Standout
A distributed alternative to finite-state-machine specifications
1985
State of the Art in Automation of Earthmoving
1997
Goal-directed requirements acquisition
1993 Standout
Works of D.H. Thompson being referenced
Design of the human computer interface on the telerobotic small emplacement excavator
1995
Remote excavation using the telerobotic small emplacement excavator
1992
An Overview of AFFIRM: A Specification and Verification System.
1980
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
1982