David K. Probst
Southeast Missouri State University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Experimental Learning in Engineering, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Property preserving abstractions for the verification of concurrent systems(1995)352 cited
- → A technique of state space search based on unfolding(1995)269 cited
- → Using partial-order semantics to avoid the state explosion problem in asynchronous systems(2005)38 cited
- → Demonstration of an integrated, active 4*4 photonic crossbar (for avionic systems)(1992)19 cited
- → Partial-order model checking: A guide for the perplexed(1992)13 cited
- → Abstract specification of synchronous data types for VLSI and proving the correctness of systolic network implementations(1988)11 cited
- → Optimal VLSI dictionary machines without compress instructions(1990)8 cited
- → The provably terminating operations of the subsystem PETJ of explicit mathematics(2011)6 cited
- → Advances in Hardware Design and Verification(1997)5 cited