Author of the publication

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.

, , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways., , , , , and . HSB, volume 9957 of Lecture Notes in Computer Science, page 57-66. (2016)High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems., , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 58-74. Springer, (2015)ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data., , , , , , , , , and 11 other author(s). Bioinform., 33 (3): 435-437 (2017)GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data., , , , , , , , , and 3 other author(s). Bioinform., 33 (23): 3802-3804 (2017)A Model Checking Approach to Discrete Bifurcation Analysis., , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 85-101. (2016)Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems., , , , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 192-208. (2016)Detecting Attractors in Biological Models with Uncertain Parameters., , , , , , and . CMSB, volume 10545 of Lecture Notes in Computer Science, page 40-56. Springer, (2017)Barbaric Robustness Monitoring Revisited for STL* in Parasim., , , , , , , , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 356-359. Springer, (2019)High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study., , , , and . CMSB, volume 9859 of Lecture Notes in Computer Science, page 82-97. Springer, (2016)