Anaheed Ayoub
According to our database1,
Anaheed Ayoub
authored at least 13 papers
between 2003 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
2013
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013
2012
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the NASA Formal Methods, 2012
2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Proceedings of the Abstract State Machines, 2010
2009
Automatic code generation from verified timed automata model.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
2003
Proceedings of the Forum on specification and Design Languages, 2003