arrow
返回
T

Tim Kelly

universidade federal de juiz de fora

32H指数
232论文数
4.2K被引数
收录论文 11
发表时间
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault TreesACEditor:基于故障树的可执行保证案例的指定与综合建模工具
err2026-01-01
err0
PREAI
errNascimento, Luis; de Oliveira, Andre L.; Villela, Regina; Fonseca, Hiago; Branco, Kalinka Castelo; Wei, Ran; Hawkins, Richard; Kelly, Tim
err分享
err收藏
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems访问: 以保证案例为中心的安全关键系统工程
err2024-07-01
err3
errOAAI
errWei, Ran; Foster, Simon; Mei, Haitao; Yan, Fang; Yang, Ruizhe; Habli, Ibrahim; O'Halloran, Colin; Tudor, Nick; Kelly, Tim; Nemouchi, Yakoub
err分享
err收藏
NIST Interlaboratory Study on Glycosylation Analysis of Monoclonal Antibodies: Comparison of Results from Diverse Analytical Methods
err2020-01-01
err77
errOAAI
errDe Leoz, Maria Lorna A.; Duewer, David L.; Fung, Adam; Liu, Lily; Yau, Hoi Kei; Potter, Oscar; Staples, Gregory O.; Furuki, Kenichiro; Frenkel, Ruth; Hu, Yunli; Sosic, Zoran; Zhang, Peiqing; Altmann, Friedrich; Grunwald-Grube, Clemens; Shao, Chun; Zaia, Joseph; Evers, Waltraud; Pengelley, Stuart; Suckau, Detlev; Wiechmann, Anja; Resemann, Anja; Jabs, Wolfgang; Beck, Alain; Froehlich, John W.; Huang, Chuncui; Li, Yan; Liu, Yaming; Sun, Shiwei; Wang, Yaojun; Seo, Youngsuk; An, Hyun Joo; Reichardt, Niels-Christian; Ruiz, Juan Echevarria; Archer-Hartmann, Stephanie; Azadi, Parastoo; Bell, Len; Lakos, Zsuzsanna; An, Yanming; Cipollo, John F.; Pucic-Bakovic, Maja; Stambuk, Jerko; Lauc, Gordan; Li, Xu; Wang, Peng George; Bock, Andreas; Hennig, Rene; Rapp, Erdmann; Creskey, Marybeth; Cyr, Terry D.; Nakano, Miyako; Sugiyama, Taiki; Leung, Pui-King Amy; Link-Lenczowski, Pawe; Jaworek, Jolanta; Yang, Shuang; Zhang, Hui; Kelly, Tim; Klapoetke, Song; Cao, Rui; Kim, Jin Young; Lee, Hyun Kyoung; Lee, Ju Yeon; Yoo, Jong Shin; Kim, Sa-Rang; Suh, Soo-Kyung; de Haan, Noortje; Falck, David; Lageveen-Kammeijer, Guinevere S. M.; Wuhrer, Manfred; Emery, Robert J.; Kozak, Radoslaw P.; Liew, Li Phing; Royle, Louise; Urbanowicz, Paulina A.; Packer, Nicolle H.; Song, Xiaomin; Everest-Dass, Arun; Lattova, Erika; Cajic, Samanta; Alagesan, Kathirvel; Kolarich, Daniel; Kasali, Toyin; Lindo, Viv; Chen, Yuetian; Goswami, Kudrat; Gau, Brian; Amunugama, Ravi; Jones, Richard; Stroop, Corn J. M.; Kato, Koichi; Yagi, Hirokazu; Kondo, Sachiko; Yuen, C. T.; Harazono, Akira; Shi, Xiaofeng; Magnelli, Paula E.; Kasper, Brian T.; Mahal, Lara; Harvey, David J.; O'Flaherty, Roisin; Rudd, Pauline M.; Saldova, Radka; Hecht, Elizabeth S.; Muddiman, David C.; Kang, Jichao; Bhoskar, Prachi; Menard, Daniele; Saati, Andrew; Merle, Christine; Mast, Steven; Tep, Sam; Truong, Jennie; Nishikaze, Takashi; Sekiya, Sadanori; Shafer, Aaron; Funaoka, Sohei; Toyoda, Masaaki; de Vreugd, Peter; Caron, Cassie; Pradhan, Pralima; Tan, Niclas Chiang; Mechref, Yehia; Patil, Sachin; Rohrer, Jeffrey S.; Chakrabarti, Ranjan; Dadke, Disha; Lahori, Mohammedazam; Zou, Chunxia; Cairo, Christopher; Reiz, Bela; Whittal, Randy M.; Lebrilla, Carlito B.; Wu, Lauren; Guttman, Andras; Szigeti, Marton; Kremkow, Benjamin G.; Lee, Kelvin H.; Sihlbom, Carina; Adamczyk, Barbara; Jin, Chunsheng; Karlsson, Niclas G.; Ornros, Jessica; Larson, Gran; Nilsson, Jonas; Meyer, Bernd; Wiegandt, Alena; Komatsu, Emy; Perreault, Helene; Bodnar, Edward D.; Said, Nassur; Francois, Yannis-Nicolas; Leize-Wagner, Emmanuelle; Maier, Sandra; Zeck, Anne; Heck, Albert J. R.; Yang, Yang; Haselberg, Rob; Yu, Ying Qing; Alley, William; Leone, Joseph W.; Yuan, Hua; Stein, Stephen E.
err分享
err收藏
Model based system assurance using the structured assurance case metamodel
err2019-08-01
err37
errOAAI
errWei, Ran; Kelly, Tim P.; Dai, Xiaotian; Zhao, Shuai; Hawkins, Richard
err分享
err收藏
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases具有动态保证案例的工程可信自适应软件
err2018-11-01
err115
errOAAI
errCalinescu, Radu; Weyns, Danny; Gerasimou, Simos; Iftikhar, Muhammad Usman; Habli, Ibrahim; Kelly, Tim
err分享
err收藏
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel
err2016-04-01
err36
PREAI
errLuis de la Vara, Jose; Ruiz, Alejandra; Attwood, Katrina; Espinoza, Huascar; Panesar-Walawege, Rajwinder Kaur; Lopez, Angel; del Rio, Idoya; Kelly, Tim
err分享
err收藏
Evolving robust networks for systems-of-systems: is it viable for large networks?
err2014-02-13
err0
PREAI
errAitken, Jonathan M.; Alexander, Rob; Kelly, Tim; Poulding, Simon
err分享
err收藏
The reductionism behind today's software-engineering methods breaks down in the face of systems complexity.
err2012-07-01
err115
errOAAI
errSommerville, Ian; Cliff, Dave; Calinescu, Radu; Keen, Justin; Kelly, Tim; Kwiatkowska, Marta; McDermid, John; Paige, Richard
err分享
err收藏
Arguing Conformance
err2012-05-01
err32
PREAI
errGraydon, Patrick; Habli, Ibrahim; Hawkins, Richard; Kelly, Tim; Knight, John
err分享
err收藏