Travelled to:1 × Canada
3 × USA
Collaborated with:M.Aagaard C.H.Seger J.U.Skakkebæk D.L.Dill R.Kaivola K.R.Kohatsu
Talks about:formal (2) verif (2) microprocessor (1) trajectori (1) constraint (1) represent (1) increment (1) algorithm (1) parametr (1) industri (1)
Person: Robert B. Jones
DBLP: Jones:Robert_B=
Facilitated 1 volumes:
EdContributed to:
2000199919981998Wrote 4 papers:
- DAC-2000-AagaardJKKS #algorithm #verification
- Formal verification of iterative algorithms in microprocessors (MA, RBJ, RK, KRK, CJHS), pp. 201–206.
- DAC-1999-AagaardJS #constraints #parametricity
- Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
- CAV-1998-SkakkebaekJD #execution #incremental #using #verification
- Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
- DAC-1998-AagaardJS #evaluation #industrial #proving #theorem proving
- Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment (MA, RBJ, CJHS), pp. 538–541.