Travelled to:1 × Germany
1 × USA
Collaborated with:C.Ackermann M.Lindvall F.S.Chang D.Jackson
Talks about:redesign (1) maintain (1) modular (1) flexibl (1) verif (1) studi (1) code (1) case (1) sat (1)
Person: Greg Dennis
DBLP: Dennis:Greg
Contributed to:
2009
2006Wrote 2 papers:
- CSMR-2009-AckermannLD #case study #flexibility #maintenance
- Redesign for Flexibility and Maintainability: A Case Study (CA, ML, GD), pp. 259–262.
- ISSTA-2006-DennisCJ #composition #satisfiability #verification
- Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.