Index of /~ilengal/pub

 Name                             Last modified       Size  Description

 Parent Directory                 04-Mar-2024 21:39      -  
 FIT-TR-2011-04.pdf               06-Jan-2014 14:37   248k  
 FIT-TR-2011-05.pdf               13-Jan-2012 14:29   230k  
 FIT-TR-2012-03.pdf               04-Jan-2013 20:42   153k  
 FIT-TR-2013-02.pdf               05-Feb-2014 15:54   321k  
 FIT-TR-2013-03.pdf               16-Jan-2015 00:11   409k  
 FIT-TR-2014-01.pdf               04-Apr-2014 17:37   454k  
 FIT-TR-2014-06.pdf               16-Jan-2015 00:11   409k  
 FIT-TR-2016-03.pdf               16-Nov-2016 17:15   361k  
 ahjltv-acta-15.pdf               15-Apr-2016 10:33   486k  
 aplas14_seplog_decproc.pdf       18-Dec-2014 16:46   430k  
 atva13_forester_data.pdf         19-Jul-2013 13:06   232k  
 atva18-symbolic-simulation.pdf   07-Aug-2018 13:45   715k  
 atva_2011.pdf                    04-Jan-2013 20:59   196k  
 cade19-wsks-lazy.pdf             27-May-2019 14:12   356k  
 cav_2013.pdf                     09-Apr-2013 17:00   194k  
 chhlv-sttt-19-problomata.pdf     27-May-2019 13:59   387k  
 ddecs_2008.pdf                   09-Jul-2011 18:43   285k  
 dsd_2009.pdf                     09-Jul-2011 19:25   188k  
 fccm19-hw-nfa-reductions.pdf     27-May-2019 14:04   453k  
 fhlv-acta-19.pdf                 04-Jan-2019 09:59   444k  
 hvc_2011.pdf                     04-Jan-2013 20:56    91k  
 hvc_2012.pdf                     04-Jan-2013 20:45   114k  
 icse16-pac-learning.pdf          01-Jun-2016 13:55   359k  
 lengal_phd_thesis.pdf            29-Jun-2015 14:34   1.3M  
 lengal_phd_thesis_short.pdf      29-Jun-2015 14:34   323k  
 lics17-ra-with-la.pdf            02-May-2017 14:12   357k  
 masters_thesis.pdf               09-Jul-2011 19:40   909k  
 netys17-spark-spec.pdf           13-Feb-2017 13:58   284k  
 nfm17-spen-toolpaper.pdf         09-Mar-2017 15:28   265k  
 pldi18-semidet-buchi-compl.pdf   30-Apr-2018 15:16   868k  
 tacas15_forester_svcomp.pdf      16-Jan-2015 15:43    73k  
 tacas15_ws1s.pdf                 16-Jan-2015 15:46   328k  
 tacas16-forester-svcomp.pdf      01-Feb-2017 19:07    83k  
 tacas17-fairness.pdf             01-Feb-2017 18:58   315k  
 tacas17-forester-svcomp.pdf      01-Feb-2017 19:09    89k  
 tacas17-ws1s-lazy.pdf            01-Feb-2017 18:49   359k  
 tacas18-approximate-reduction..> 23-Feb-2018 13:35   328k  
 tacas_2012.pdf                   04-Jan-2013 20:54   174k  
 vmcai17-forester-pred-abstr.pdf  01-Feb-2017 18:44   336k