BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
4 × USA
Collaborated with:
R.B.Jones C.H.Seger H.I.Shehata M.Leeser R.Kaivola K.R.Kohatsu
Talks about:
verifi (2) verif (2) microprocessor (1) trajectori (1) decomposit (1) constraint (1) represent (1) algorithm (1) synthesi (1) strategi (1)

Person: Mark Aagaard

DBLP DBLP: Aagaard:Mark

Contributed to:

DAC 20042004
DAC 20002000
DAC 19991999
DAC 19981998
CAV 19921992

Wrote 5 papers:

DAC-2004-ShehataA #composition #verification
A general decomposition strategy for verifying register renaming (HIS, MA), pp. 234–237.
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.
DAC-1998-AagaardJS #evaluation #industrial #proving #theorem proving
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment (MA, RBJ, CJHS), pp. 538–541.
CAV-1992-AagaardL #case study #logic #synthesis #verification
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification (MA, ML), pp. 69–81.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.