ISTA Research Explorer

Ashutosh Gupta

Henzinger_Thomas Group

16 Publications

[16]

2017 | Journal Article | IST-REx-ID: 1351 |

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x

[Published Version] View | Files available | DOI | WoS

[15]

2016 | Conference Paper | IST-REx-ID: 1230 |

Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[14]

2015 | Journal Article | IST-REx-ID: 1808

Gupta A, Henzinger TA. Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. 2015;25(2). doi:10.1145/2745799

View | DOI

[13]

2015 | Conference Paper | IST-REx-ID: 1992 |

Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008

[Submitted Version] View | Files available | DOI

[12]

2015 | Conference Paper | IST-REx-ID: 1835 |

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[11]

2014 | Conference Paper | IST-REx-ID: 1702 |

Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5

[Submitted Version] View | DOI | Download Submitted Version (ext.)

[10]

2014 | Conference Paper | IST-REx-ID: 1869

Hofferek G, Gupta A. Suraq - a controller synthesis tool using uninterpreted functions. In: Yahav E, ed. HVC 2014. Vol 8855. Springer; 2014:68-74. doi:10.1007/978-3-319-13338-6_6

View | DOI

[9]

2014 | Conference Paper | IST-REx-ID: 1872 |

Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14

[Submitted Version] View | Files available | DOI

[8]

2013 | Conference Paper | IST-REx-ID: 1385 |

Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

[7]

2013 | Conference Paper | IST-REx-ID: 2237 |

Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13

[Submitted Version] View | Files available | DOI

[6]

2013 | Conference (Editor) | IST-REx-ID: 2288

Gupta A, Henzinger TA, eds. Computational Methods in Systems Biology. Vol 8130. Springer; 2013. doi:10.1007/978-3-642-40708-6

View | DOI

[5]

2013 | Book Chapter | IST-REx-ID: 5747 |

Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11

View | Files available | DOI

[4]

2012 | Conference Paper | IST-REx-ID: 3136

Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. Delayed continuous time Markov chains for genetic regulatory circuits. In: Vol 7358. Springer; 2012:294-309. doi:10.1007/978-3-642-31424-7_24

View | DOI

[3]

2012 | Conference Paper | IST-REx-ID: 10906 |

Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46

[Published Version] View | DOI | Download Published Version (ext.)

[2]

2011 | Conference Paper | IST-REx-ID: 3264

Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16

View | DOI

[1]

2008 | Conference Paper | IST-REx-ID: 4521

Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459

View | DOI | Download (ext.)

16 Publications

Mark all

[16]

2017 | Journal Article | IST-REx-ID: 1351 |

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x

[Published Version] View | Files available | DOI | WoS

[15]

2016 | Conference Paper | IST-REx-ID: 1230 |

Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[14]

2015 | Journal Article | IST-REx-ID: 1808

View | DOI

[13]

2015 | Conference Paper | IST-REx-ID: 1992 |

Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008

[Submitted Version] View | Files available | DOI

[12]

2015 | Conference Paper | IST-REx-ID: 1835 |

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[11]

2014 | Conference Paper | IST-REx-ID: 1702 |

[Submitted Version] View | DOI | Download Submitted Version (ext.)

[10]

2014 | Conference Paper | IST-REx-ID: 1869

Hofferek G, Gupta A. Suraq - a controller synthesis tool using uninterpreted functions. In: Yahav E, ed. HVC 2014. Vol 8855. Springer; 2014:68-74. doi:10.1007/978-3-319-13338-6_6

View | DOI

[9]

2014 | Conference Paper | IST-REx-ID: 1872 |

Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14

[Submitted Version] View | Files available | DOI

[8]

2013 | Conference Paper | IST-REx-ID: 1385 |

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

[7]

2013 | Conference Paper | IST-REx-ID: 2237 |

Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13

[Submitted Version] View | Files available | DOI

[6]

2013 | Conference (Editor) | IST-REx-ID: 2288

Gupta A, Henzinger TA, eds. Computational Methods in Systems Biology. Vol 8130. Springer; 2013. doi:10.1007/978-3-642-40708-6

View | DOI

[5]

2013 | Book Chapter | IST-REx-ID: 5747 |

View | Files available | DOI

[4]

2012 | Conference Paper | IST-REx-ID: 3136

Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. Delayed continuous time Markov chains for genetic regulatory circuits. In: Vol 7358. Springer; 2012:294-309. doi:10.1007/978-3-642-31424-7_24

View | DOI

[3]

2012 | Conference Paper | IST-REx-ID: 10906 |

[Published Version] View | DOI | Download Published Version (ext.)

[2]

2011 | Conference Paper | IST-REx-ID: 3264

Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16

View | DOI

[1]

2008 | Conference Paper | IST-REx-ID: 4521

Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459

View | DOI | Download (ext.)

Ashutosh Gupta

16 Publications

Search

Filter Publications

Display / Sort

Export / Embed

16 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Ashutosh Gupta

16 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

16 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options