Chris Chen

15 papers B 3C 2Misc 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C conf
Forward and Backward Simulations for Partially Observable Probability.
ICTAC
Chris Chen, Annabelle McIver, Carroll Morgan
2025 J jnl
Forward and Backward Simulations for Partially Observable Probability.
CoRR
Chris Chen, Annabelle McIver, Carroll Morgan
2025 J jnl
GPU-accelerated Modeling of Biological Regulatory Networks.
CoRR
Joyce Reimer, Pranta Saha, Chris Chen, Neeraj Dhar, Brook Byrns, Steven Rayan, Gordon Broderick
2024 B conf
Accel-Bench: Exploring the Potential of Programming Using Hardware-Accelerated Functions.
ISPASS
Abenezer Wudenhe, Yu-Chia Liu, Chris Chen, Hung-Wei Tseng
2024 C conf
Probabilistic Datatypes.
ICTAC
Chris Chen, Annabelle McIver, Carroll Morgan
2024 — conf
Source-Level Reasoning for Quantifying Information Leaks.
Principles of Verification (1)
Chris Chen, Annabelle McIver, Carroll Morgan
2024 J jnl
Source-level reasoning for quantitative information flow.
CoRR
Chris Chen, Annabelle McIver, Carroll Morgan
2017 Misc conf
How to think about self-timed systems.
ACSSC
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
2014 — conf
Design an easy-to-use infection screening system for non-contact monitoring of vital-signs to prevent the spread of pandemic diseases.
EMBC
Guanghao Sun, Nguyen Quang Vinh, Ayumu Matsuoka, Keisuke Miyata, Chris Chen, Akiko Ueda, Seokjin Kim, Yukiya Hakozaki, Shigeto Abe, Osamu Takei, Takemi Matsui
1999 J jnl
Engineering on the Internet for Global Software Production.
Computer
Jerry Gao, Chris Chen, Yasufumi Toyoshima, David K. Leung
1996 J jnl
Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance.
J. Softw. Maintenance Res. Pract.
Jerry Gao, Chris Chen, Yasufumi Toyoshima, David Chenho Kung, Pei Hsia
1996 J jnl
Or Regression Testing of Object-Oriented Programs.
J. Syst. Softw.
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
1995 J jnl
Developing an Object-Oriented Software Testing and Maintenance Environment.
Commun. ACM
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song
1994 B conf
Behavior-based acceptance testing of software systems: a formal scenario approach.
COMPSAC
Pei Hsia, Jerry Zeyu Gao, Jayarajan Samuel, David Chenho Kung, Yasufumi Toyoshima, Chris Chen
1994 B conf
On object state testing.
COMPSAC
David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen