Atish Rajkomar
AuthID: R-00H-H45
1
TITLE: Towards a formal framework for reasoning about the resilience of dynamic interactive systems
AUTHORS: Paolo Masci ; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar;
PUBLISHED: 2011, SOURCE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
AUTHORS: Paolo Masci ; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar;
PUBLISHED: 2011, SOURCE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
2
TITLE: Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps PDF
AUTHORS: Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Atish Rajkomar; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
AUTHORS: Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Atish Rajkomar; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP