Chris Chen

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 3

Top Topics

Multi Context Systems

Information Flows

Qualitative Reasoning

Top Venues

Publications

Abenezer Wudenhe, Yu-Chia Liu, Chris Chen, Hung-Wei Tseng
Accel-Bench: Exploring the Potential of Programming Using Hardware-Accelerated Functions. ISPASS (2024)
Chris Chen, Annabelle McIver, Carroll Morgan
Source-level reasoning for quantitative information flow. CoRR (2024)
Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen
How to think about self-timed systems. ACSSC (2017)
Guanghao Sun, Nguyen Quang Vinh, Ayumu Matsuoka, Keisuke Miyata, Chris Chen, Akiko Ueda, Seokjin Kim, Yukiya Hakozaki, Shigeto Abe, Osamu Takei, Takemi Matsui
Design an easy-to-use infection screening system for non-contact monitoring of vital-signs to prevent the spread of pandemic diseases. EMBC (2014)
Jerry Gao, Chris Chen, Yasufumi Toyoshima, David K. Leung
Engineering on the Internet for Global Software Production. Computer 32 (5) (1999)
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
Or Regression Testing of Object-Oriented Programs. J. Syst. Softw. 32 (1) (1996)
Jerry Gao, Chris Chen, Yasufumi Toyoshima, David Chenho Kung, Pei Hsia
Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance. J. Softw. Maintenance Res. Pract. 8 (6) (1996)
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song
Developing an Object-Oriented Software Testing and Maintenance Environment. Commun. ACM 38 (10) (1995)
David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
On object state testing. COMPSAC (1994)
Pei Hsia, Jerry Zeyu Gao, Jayarajan Samuel, David Chenho Kung, Yasufumi Toyoshima, Chris Chen
Behavior-based acceptance testing of software systems: a formal scenario approach. COMPSAC (1994)