Travelled to:1 × Sweden
1 × Switzerland
1 × USA
Collaborated with:J.I.Lathrop J.H.Lutz R.R.Lutz E.R.Henderson T.H.Klinge T.Klinge E.Henderson D.A.Sheasha S.J.Ellis A.S.Miner D.M.Stull T.Bergquist
Talks about:requir (3) analysi (2) nanomachin (1) nanodevic (1) molecular (1) watchdog (1) programm (1) product (1) assembl (1) verifi (1)
Person: Divita Mathur
DBLP: Mathur:Divita
Contributed to:
2014
2012
2012Wrote 3 papers:
- ASE-2014-EllisHKLLLMM #analysis #automation #requirements
- Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
- ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
- Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
- RE-2012-LutzLLKMSBH #analysis #product line #requirements
- Requirements analysis for a product family of DNA nanodevices (RRL, JHL, JIL, THK, DM, DMS, TB, ERH), pp. 211–220.