Natasa Miskov-Zivanov

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 20

Top Topics

Knowledge Retrieval

Hardware Implementation

Formal Analysis

Network Simulator

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Kara Bocan, Natasa Miskov-Zivanov
Mixed-resolution hybrid modeling in an element-based framework. CoRR (2024)
Emilee Holtzapple, Brent Cochran, Natasa Miskov-Zivanov
Context-aware query design combines knowledge and data for efficient reading and reasoning. BioNLP@NAACL-HLT (2021)
Stefan Andjelkovic, Natasa Miskov-Zivanov
Dish-Trend: Intervention Modeling Simulator That Accounts for Trend Influences. WSC (2021)
Yasmine Ahmed, Natasa Miskov-Zivanov
Guided assembly of cellular network models from knowledge in literature. EMBC (2021)
Stefan Andjelkovic, Natasa Miskov-Zivanov
DiSH-trend: Intervention Modeling Simulator That Accounts for Trend Influences. CoRR (2021)
Emilee Holtzapple, Cheryl A. Telmer, Natasa Miskov-Zivanov
FLUTE: Fast and reliable knowledge retrieval from biomedical literature. Database J. Biol. Databases Curation 2020 (2020)
Cheryl A. Telmer, Khaled Sayed, Adam A. Butchy, Kara N. Bocan, Emilee Holtzapple, Casey E. Hansen, Gaoxiang Zhou, Yasmine Ahmed, Natasa Miskov-Zivanov
Dynamic system explanation: DySE, a framework that evolves to reason about complex systems - lessons learned. AIDR (2019)
Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov
Nested Event Representation for Automated Assembly of Cell Signaling Network Models. FM Workshops (2) (2019)
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara N. Bocan, Natasa Miskov-Zivanov
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Simulator. EMBC (2019)
Khaled Sayed, Kara Bocan, Natasa Miskov-Zivanov
Automated Extension of Cell Signaling Models with Genetic Algorithm. EMBC (2018)
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator. CoRR (2018)
Gaoxiang Zhou, Kai-Wen Liang, Natasa Miskov-Zivanov
Sensitivity Analysis of Discrete Models and Application in Biological Networks. BCB (2018)
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator. ISCAS (2018)
Khaled Sayed, Yu-Hsin Kuo, Anuva Kulkarni, Natasa Miskov-Zivanov
DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge. WSC (2017)
Khaled Sayed, Cheryl A. Telmer, Adam A. Butchy, Natasa Miskov-Zivanov
Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models. MOD (2017)
Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. CMSB (2017)
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB (2016)
Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
High-level modeling and verification of cellular signaling. HLDVT (2016)
Natasa Miskov-Zivanov
Automation of Biological Model Learning, Design and Analysis. ACM Great Lakes Symposium on VLSI (2015)
Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. ACM Great Lakes Symposium on VLSI (2015)
Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh
THiMED: Time in Hierarchical Model Extraction and Design. CMSB (2014)
Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder
Studies of biological networks with statistical model checking: application to immune system cells. BCB (2013)
Natasa Miskov-Zivanov, Diana Marculescu, James R. Faeder
Dynamic behavior of cell signaling networks: model design and analysis automation. DAC (2013)
Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro
Modeling and design automation of biological circuits and systems. ICCAD (2012)
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda
Verifying Reliability (Dagstuhl Seminar 12341). Dagstuhl Reports 2 (8) (2012)
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Prashant Kashinkunti, Diana Marculescu, James R. Faeder
Regulatory network analysis acceleration with reconfigurable hardware. EMBC (2011)
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Diana Marculescu, James R. Faeder
Emulation of biological networks in reconfigurable hardware. BCB (2011)
Natasa Miskov-Zivanov, Diana Marculescu
Formal modeling and reasoning for reliability analysis. DAC (2010)
Natasa Miskov-Zivanov, Diana Marculescu
Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Natasa Miskov-Zivanov, Diana Marculescu
A systematic approach to modeling and analysis of transient faults in logic circuits. ISQED (2009)
Natasa Miskov-Zivanov, Diana Marculescu
Modeling and Optimization for Soft-Error Reliability of Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (5) (2008)
Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marculescu
Process variability-aware transient fault modeling and analysis. ICCAD (2008)
Natasa Miskov-Zivanov, Diana Marculescu
Soft error rate analysis for sequential circuits. DATE (2007)
Natasa Miskov-Zivanov, Diana Marculescu
MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits. ISQED (2007)
Natasa Miskov-Zivanov, Diana Marculescu
Circuit Reliability Analysis Using Symbolic Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (12) (2006)
Natasa Miskov-Zivanov, Diana Marculescu
MARS-C: modeling and reduction of soft errors in combinational circuits. DAC (2006)