Conference Proceedings (3)
Automated requirements analysis for a molecular watchdog timer
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (2014)
Dynamic systems in DNA nanotechnology are often programmed using a chemical reaction network (CRN) model as an intermediate level of ...
Engineering and verifying requirements for programmable self-assembling nanomachines
Proceedings of the 34th International Conference on Software Engineering (2012)
We propose an extension of van Lamsweerde's goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a ...
Requirements analysis for a product family of DNA nanodevices
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE) (2012)
DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. ...