Autor der Publikation

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.

, , , , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

High-level modeling and verification of cellular signaling., , , , und . HLDVT, Seite 162-169. IEEE, (2016)25 Years of Model Checking., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 26-40. Springer, (2014)Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans., , , , , , und . HLDVT, Seite 170-177. IEEE, (2016)SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty., , , , und . CoRR, (2014)Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer., , , , und . BICoB, Seite 245-. ISCA, (2011)Formal analysis for logical models of pancreatic cancer., , , und . CDC-ECE, Seite 4855-4860. IEEE, (2011)Formal modeling of biological systems., und . HLDVT, Seite 178-184. IEEE, (2016)Formal Modeling and Analysis of Pancreatic Cancer Microenvironment., , , , , und . CMSB, Volume 9859 von Lecture Notes in Computer Science, Seite 289-305. Springer, (2016)Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins., , , und . ACM Great Lakes Symposium on VLSI, Seite 315-320. ACM, (2015)CyberCardia project: Modeling, verification and validation of implantable cardiac devices., , , , , , , , , und 8 andere Autor(en). BIBM, Seite 1445-1452. IEEE Computer Society, (2016)