Biblio

Filters: Author is Lian Duan  [Clear All Filters]
2018-05-23
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee.  2015.  Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee.  2014.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam.  2013.  Modeling and requirements on the physical side of cyber-physical systems. 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks@ICSE 2013. :1–7.