![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FM12_Slides_short.pdf | 2024-07-25 10:13 | 1.4M | |
| FM12 slide.pdf | 2024-07-25 10:13 | 345K | |
| ICECCS12 PDDL.pdf | 2024-07-25 10:13 | 308K | |
| ICECCS12 pervasive.pdf | 2024-07-25 10:13 | 265K | |
| ICECCS12 pervasive_slide.pdf | 2024-07-25 10:13 | 955K | |
| ICFEM09a.pdf | 2024-07-25 10:13 | 149K | |
| ICFEM09b.pdf | 2024-07-25 10:13 | 152K | |
| ICFEM11ZhengSLDG.pdf | 2024-07-25 10:13 | 549K | |
| ICFEM2011 Orc.pdf | 2024-07-25 10:13 | 1.0M | |
| ICFEM2011 PRTS.pdf | 2024-07-25 10:13 | 806K | |
| ICSE12 PMA.pdf | 2024-07-25 10:13 | 170K | |
| ICSE13 tutorial.pdf | 2024-07-25 10:13 | 166K | |
| ICSE2012_slide.pdf | 2024-07-25 10:13 | 410K | |
| ISoLA08.pdf | 2024-07-25 10:13 | 142K | |
| Modeling and verifying security protocols using PAT approach.pdf | 2024-07-25 10:13 | 79K | |
| NDSS13.pdf | 2024-07-25 10:13 | 1.6M | |
| NDSS13_slide.pdf | 2024-07-25 10:13 | 1.3M | |
| PRIMA12.pdf | 2024-07-25 10:13 | 421K | |
| SSIRI 2010-Khanh.pdf | 2024-07-25 10:13 | 134K | |
| SSIRI2010.pdf | 2024-07-25 10:13 | 164K | |
| TASE2008.pdf | 2024-07-25 10:13 | 152K | |
| ZhangXian.pdf | 2024-07-25 10:13 | 1.0M | |
| apsec10.pdf | 2024-07-25 10:13 | 268K | |
| apsec12.pdf | 2024-07-25 10:13 | 464K | |
| ase11.pdf | 2024-07-25 10:13 | 416K | |
| ase43te.pdf | 2024-07-25 10:13 | 5.3M | |
| atva10.pdf | 2024-07-25 10:13 | 91K | |
| atva2011.pdf | 2024-07-25 10:13 | 331K | |
| atva2011_slide.pdf | 2024-07-25 10:13 | 298K | |
| cav09.pdf | 2024-07-25 10:13 | 76K | |
| cav12.pdf | 2024-07-25 10:13 | 184K | |
| cav12_slide.pdf | 2024-07-25 10:13 | 469K | |
| fm09Counter.pdf | 2024-07-25 10:13 | 133K | |
| fm11paper.pdf | 2024-07-25 10:13 | 136K | |
| fm11 slides.pdf | 2024-07-25 10:13 | 623K | |
| fm12.pdf | 2024-07-25 10:13 | 262K | |
| fm12 tool.pdf | 2024-07-25 10:13 | 331K | |
| fse10.pdf | 2024-07-25 10:13 | 337K | |
| fypreport11.pdf | 2024-07-25 10:13 | 683K | |
| fypreport12.pdf | 2024-07-25 10:13 | 325K | |
| hase12.pdf | 2024-07-25 10:13 | 290K | |
| icfem10a.pdf | 2024-07-25 10:13 | 240K | |
| icfem10b.pdf | 2024-07-25 10:13 | 240K | |
| icfem11orc.pdf | 2024-07-25 10:13 | 269K | |
| icfem12 anti-chain.pdf | 2024-07-25 10:13 | 1.1M | |
| icfem12 comparison.pdf | 2024-07-25 10:13 | 384K | |
| icfem12 comparison_slide.pdf | 2024-07-25 10:13 | 401K | |
| icfem12 generation.pdf | 2024-07-25 10:13 | 685K | |
| icfem12 generation_slide.pdf | 2024-07-25 10:13 | 965K | |
| icfem12 symbolic.pdf | 2024-07-25 10:13 | 368K | |
| icfem2008.pdf | 2024-07-25 10:13 | 152K | |
| icfem2011_specdiff.pdf | 2024-07-25 10:13 | 298K | |
| icse13_slide.pdf | 2024-07-25 10:13 | 1.5M | |
| ifm13 dtmc.pdf | 2024-07-25 10:13 | 299K | |
| ifm13 dtmc_slide.pdf | 2024-07-25 10:13 | 645K | |
| ifm13 uml.pdf | 2024-07-25 10:13 | 388K | |
| issre2011.pdf | 2024-07-25 10:13 | 237K | |
| linearizability.pdf | 2024-07-25 10:13 | 128K | |
| mocser10CSMACD.pdf | 2024-07-25 10:13 | 199K | |
| mocser10CSMACD slide.pdf | 2024-07-25 10:13 | 1.0M | |
| paticse08.pdf | 2024-07-25 10:13 | 137K | |
| pn12.pdf | 2024-07-25 10:13 | 312K | |
| pn12_slide.pdf | 2024-07-25 10:13 | 922K | |
| seke09.pdf | 2024-07-25 10:13 | 105K | |
| sensys11.pdf | 2024-07-25 10:13 | 123K | |
| ssiri10_pacemaker.pdf | 2024-07-25 10:13 | 1.1M | |
| ssiri10uml.pdf | 2024-07-25 10:13 | 139K | |
| ssiri2010Nec.pdf | 2024-07-25 10:13 | 242K | |
| ssiri2010Orc.pdf | 2024-07-25 10:13 | 109K | |
| ssiri 2010Orcslide.pdf | 2024-07-25 10:13 | 300K | |
| ssiriHuiquan.pdf | 2024-07-25 10:13 | 88K | |
| ssiriShaojie.pdf | 2024-07-25 10:13 | 568K | |
| sttt12.pdf | 2024-07-25 10:13 | 1.6M | |
| tase09.pdf | 2024-07-25 10:13 | 177K | |
| tase09b.pdf | 2024-07-25 10:13 | 102K | |
| tase09invited.pdf | 2024-07-25 10:13 | 24K | |
| timed-ICFEM 2011.pdf | 2024-07-25 10:13 | 367K | |
| tosem13.pdf | 2024-07-25 10:13 | 275K | |
| umlslides.pdf | 2024-07-25 10:13 | 518K | |
| vmcai13.pdf | 2024-07-25 10:13 | 571K | |
| vmcai13_slide.pdf | 2024-07-25 10:13 | 898K | |