Travelled to:1 × Austria
1 × France
1 × Russia
2 × USA
Collaborated with:B.Cook J.Fisher N.Piterman J.Berdine C.Haase J.Ouaknine M.J.Parkinson A.Cox C.M.Wintersteiger A.S.Taylor C.Cockerton S.Bourton D.Benque K.Claessen Q.Wang B.A.Hall G.Juniwal M.Y.Vardi
Talks about:biolog (3) model (3) network (2) separ (2) logic (2) tool (2) base (2) transduct (1) reachabl (1) interfac (1)
Person: Samin Ishtiaq
DBLP: Ishtiaq:Samin
Contributed to:
20142013
201320122011Wrote 7 papers:
- CAV-2014-CookFHIJP #biology #modelling
- Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
- CAV-2013-ClaessenFIPW #model checking #network #reachability #set
- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (KC, JF, SI, NP, QW), pp. 85–100.
- CAV-2013-HaaseIOP #graph #logic #named #reasoning
- SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.
- CHI-2013-TaylorPIFCCBB #biology #interface
- At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
- CAV-2012-BenqueBCCFIPTV #biology #modelling #named #network #visual notation
- Bma: Visual Tool for Modeling and Analyzing Biological Networks (DB, SB, CC, BC, JF, SI, NP, AST, MYV), pp. 686–692.
- CAV-2012-BerdineCIW #abstraction #analysis
- Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.
- CAV-2011-BerdineCI #memory management #named #safety
- SLAyer: Memory Safety for Systems-Level Code (JB, BC, SI), pp. 178–183.