Curtis Madsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EuroSys | CRAVE: Analyzing Cross-Resource Interaction to Improve Energy Efficiency in Systems-on-Chip. | Dipayan Mukherjee, Sam Hachem, Jeremy Bao, Curtis Madsen, Tian Ma, Saugata Ghose, Gul Agha |
| 2019 | CAV | STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. | Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang |
| 2012 | CIBCB | Utilizing stochastic model checking to analyze genetic circuits. | Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang |
| 2010 | ISCAS | iSSA: An incremental stochastic simulation algorithm for genetic circuits. | Chris Winstead, Curtis Madsen, Chris J. Myers |
| 2009 | ICCAD | Genetic design automation. | Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen |