| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| TutorialStuff/ | 13-May-2010 14:15 | - | ||
| adage/ | 13-May-2010 13:34 | - | ||
| oldPPT/ | 13-May-2010 14:02 | - | ||
| ADI2006.pdf | 13-May-2010 13:34 | 777K | ||
| ADI2006Batory.pdf | 13-May-2010 13:34 | 338K | ||
| AMAST2004.pdf | 13-May-2010 13:34 | 137K | ||
| AOSD2011.pdf | 07-Sep-2010 15:10 | 729K | ||
| ASE2010.pdf | 05-Jul-2010 12:03 | 413K | ||
| ASPL2008.pdf | 13-May-2010 13:34 | 499K | ||
| ATS-ICSE2004.pdf | 13-May-2010 13:34 | 35K | ||
| ATSRefactor.pdf | 13-May-2010 13:34 | 255K | ||
| AutoRemod.pdf | 13-May-2010 13:34 | 100K | ||
| AxelThesis.pdf | 13-May-2010 13:34 | 1.0M | ||
| BatoryFOSDKeynote2.pdf | 13-May-2010 13:34 | 1.2M | ||
| BatoryMODELS08Keynote.pdf | 13-May-2010 13:34 | 1.0M | ||
| ECOOP2005.pdf | 13-May-2010 13:34 | 233K | ||
| ETAPSCC07.pdf | 13-May-2010 13:34 | 536K | ||
| EWICSE02.pdf | 13-May-2010 13:34 | 46K | ||
| ExCIS.pdf | 13-May-2010 13:34 | 141K | ||
| FOAL09Slides.pdf | 13-May-2010 13:34 | 1.8M | ||
| FOAL2009.pdf | 13-May-2010 13:34 | 689K | ||
| FOPTutorial.pdf | 13-May-2010 13:34 | 270K | ||
| FORTRESS.pdf | 13-May-2010 13:34 | 196K | ||
| FOSD2010proceedings.pdf | 15-Oct-2010 10:59 | 7.5M | ||
| FOSDDagstuhl2011.pdf | 16-May-2011 09:48 | 2.3M | ||
| FOSDResponses.html | 13-May-2010 13:34 | 48K | ||
| FSATS-final3.pdf | 13-May-2010 13:34 | 272K | ||
| FSATS8.pdf | 13-May-2010 13:34 | 199K | ||
| FSE09.pdf | 13-May-2010 13:34 | 659K | ||
| FSE2007.pdf | 13-May-2010 13:34 | 149K | ||
| FunctAOP08.pdf | 13-May-2010 13:34 | 266K | ||
| GPCE07.pdf | 13-May-2010 13:34 | 117K | ||
| GPCE09.pdf | 13-May-2010 13:34 | 402K | ||
| GPCE2006.pdf | 13-May-2010 13:34 | 140K | ||
| GPCE2011.pdf | 03-Aug-2011 11:57 | 1.8M | ||
| GPL.pdf | 13-May-2010 13:34 | 308K | ||
| ICFI2005.pdf | 13-May-2010 13:34 | 437K | ||
| ICMT2010.pdf | 13-May-2010 13:34 | 2.0M | ||
| ICPC2012.pdf | 14-May-2012 09:41 | 166K | ||
| ICSE06.pdf | 13-May-2010 13:34 | 211K | ||
| ICSE07.pdf | 13-May-2010 13:34 | 454K | ||
| ICSE2009.pdf | 13-May-2010 13:34 | 925K | ||
| ICSE2012.pdf | 27-Jan-2012 17:42 | 635K | ||
| ICSR09.pdf | 13-May-2010 13:34 | 551K | ||
| IIDE.pdf | 13-May-2010 13:34 | 316K | ||
| ISSRE08.pdf | 13-May-2010 13:34 | 210K | ||
| IWPC2004.pdf | 13-May-2010 13:34 | 260K | ||
| JBook.pdf | 13-May-2010 13:34 | 163K | ||
| JIIS.pdf | 13-May-2010 13:34 | 203K | ||
| JOverview.pdf | 13-May-2010 13:34 | 17K | ||
| Lipari07.pdf | 13-May-2010 13:34 | 454K | ||
| LopezBatory2.pdf | 13-May-2010 13:34 | 162K | ||
| LopezHerrejon-Batory.pdf | 13-May-2010 13:34 | 276K | ||
| MIP-0801.pdf | 13-May-2010 13:34 | 1.1M | ||
| MODELS2010.pdf | 28-Jun-2010 10:22 | 683K | ||
| MarkGrechanik_Dissertation.pdf | 13-May-2010 13:34 | 818K | ||
| Models.zip | 13-May-2010 13:34 | 4.9K | ||
| Models51.pdf | 13-May-2010 13:34 | 946K | ||
| ModernMath.pdf | 13-May-2010 13:34 | 284K | ||
| Origami-Journal.pdf | 13-May-2010 13:34 | 212K | ||
| Origami.pdf | 13-May-2010 13:34 | 140K | ||
| OrigamiMDSC.pdf | 13-May-2010 13:34 | 158K | ||
| PEPM06.pdf | 13-May-2010 13:34 | 109K | ||
| PPoPP-2012.pdf | 21-Dec-2011 17:02 | 108K | ||
| ProgramKubes.pdf | 13-May-2010 13:34 | 752K | ||
| Quanta08.pdf | 13-May-2010 13:34 | 304K | ||
| README | 13-May-2010 13:34 | 30K | ||
| ROOF.pdf | 13-May-2010 13:34 | 247K | ||
| RV2010.pdf | 13-Sep-2010 08:48 | 770K | ||
| SCACM06.pdf | 13-May-2010 13:34 | 121K | ||
| SPLASH2011.pdf | 25-Aug-2011 14:57 | 258K | ||
| SPLAT2005.pdf | 13-May-2010 13:34 | 566K | ||
| SPLC07.pdf | 13-May-2010 13:34 | 480K | ||
| SahilThesis.pdf | 13-May-2010 13:34 | 592K | ||
| SalvaDissertation.pdf | 13-May-2010 13:34 | 3.2M | ||
| Streaming09.pdf | 13-May-2010 13:34 | 1.6M | ||
| SvenDissertation.pdf | 13-May-2010 13:34 | 1.5M | ||
| TOSEMMixinLayers.pdf | 13-May-2010 13:34 | 291K | ||
| TR-05-14.pdf | 13-May-2010 13:34 | 123K | ||
| TR-07-66.pdf | 13-May-2010 13:34 | 278K | ||
| TSE-AHEAD.pdf | 13-May-2010 13:34 | 1.4M | ||
| TSESI09.pdf | 13-May-2010 13:34 | 236K | ||
| ThuemThesis.pdf | 13-May-2010 13:34 | 931K | ||
| Tools2009.pdf | 13-May-2010 13:34 | 558K | ||
| WhatIsRefinement.pdf | 13-May-2010 13:34 | 103K | ||
| Yannis-Thesis.pdf | 13-May-2010 13:36 | 492K | ||
| actuator.pdf | 13-May-2010 13:34 | 124K | ||
| adage-arch.pdf | 13-May-2010 13:34 | 42K | ||
| ahead.pdf | 13-May-2010 13:34 | 169K | ||
| aople06.pdf | 13-May-2010 13:34 | 76K | ||
| ase1.pdf | 13-May-2010 13:34 | 147K | ||
| ase99.pdf | 13-May-2010 13:35 | 59K | ||
| ase2000.pdf | 13-May-2010 13:34 | 219K | ||
| cassia.pdf | 13-May-2010 13:35 | 415K | ||
| cbse01.pdf | 13-May-2010 13:35 | 48K | ||
| cia10-95.pdf | 13-May-2010 13:35 | 33K | ||
| coots99.pdf | 13-May-2010 13:35 | 548K | ||
| das-thesis.pdf | 13-May-2010 13:35 | 440K | ||
| diss_kaestner.pdf | 04-May-2012 10:00 | 1.7M | ||
| distil.pdf | 13-May-2010 13:35 | 80K | ||
| drc-orlando.pdf | 13-May-2010 13:35 | 47K | ||
| drc.tar | 13-May-2010 13:35 | 360K | ||
| ecbs-95.pdf | 13-May-2010 13:35 | 27K | ||
| ecoop98.pdf | 13-May-2010 13:35 | 205K | ||
| ecoop99.pdf | 13-May-2010 13:35 | 467K | ||
| foser2010.pdf | 07-Sep-2010 15:15 | 533K | ||
| frameworks.pdf | 13-May-2010 13:35 | 167K | ||
| fsats.pdf | 13-May-2010 13:35 | 212K | ||
| fsatsRevised.pdf | 13-May-2010 13:35 | 326K | ||
| gcse2000.pdf | 13-May-2010 13:35 | 86K | ||
| generators.pdf | 13-May-2010 13:35 | 491K | ||
| gscope99.pdf | 13-May-2010 13:35 | 494K | ||
| ibms-45-03-Batory.pdf | 13-May-2010 13:35 | 206K | ||
| icde-11.pdf | 13-May-2010 13:35 | 106K | ||
| icmt08.pdf | 13-May-2010 13:35 | 303K | ||
| icse-15.pdf | 13-May-2010 13:35 | 55K | ||
| icsrtemp.pdf | 13-May-2010 13:35 | 473K | ||
| ieee-icsr.pdf | 13-May-2010 13:35 | 270K | ||
| ieee-sw-94.pdf | 13-May-2010 13:35 | 477K | ||
| ieee-tse-00.pdf | 13-May-2010 13:35 | 1.1M | ||
| ieee-tse-97.pdf | 13-May-2010 13:35 | 97K | ||
| ieee-tse-99.pdf | 13-May-2010 13:35 | 129K | ||
| ijseke-92.pdf | 13-May-2010 13:35 | 76K | ||
| intelligent.pdf | 13-May-2010 13:35 | 241K | ||
| itp2011Keynote.pdf | 25-Aug-2011 14:57 | 1.8M | ||
| jts.pdf | 13-May-2010 13:35 | 273K | ||
| kaestnerThesis.pdf | 13-May-2010 13:35 | 1.2M | ||
| kim_thesis_20112.pdf | 31-May-2011 15:53 | 1.9M | ||
| lance-thesis.pdf | 13-May-2010 13:35 | 307K | ||
| layers.pdf | 13-May-2010 13:35 | 444K | ||
| le.tar | 13-May-2010 13:35 | 140K | ||
| lprairie.pdf | 13-May-2010 13:35 | 103K | ||
| lrusim.pdf | 13-May-2010 13:35 | 357K | ||
| mars.pdf | 13-May-2010 13:35 | 438K | ||
| mgen.tar | 13-May-2010 13:35 | 58K | ||
| mont01.pdf | 13-May-2010 13:35 | 124K | ||
| oopsla95-panel.pdf | 13-May-2010 13:35 | 8.3K | ||
| oopsla95-position-unicron.pdf | 13-May-2010 13:58 | 9.6K | ||
| p1-manual.pdf | 13-May-2010 13:35 | 46K | ||
| p2-0.9.9.tar.Z | 13-May-2010 13:35 | 2.1M | ||
| p2-intro.pdf | 13-May-2010 13:35 | 320K | ||
| p2-manuals-0.6.tar.Z | 13-May-2010 13:35 | 375K | ||
| phase1.pdf | 13-May-2010 13:35 | 51K | ||
| pl4cc.pdf | 13-May-2010 13:35 | 29K | ||
| products.pdf | 13-May-2010 13:35 | 16K | ||
| quark.zip | 30-Sep-2011 15:02 | 114K | ||
| roadmap.pdf | 13-May-2010 13:35 | 336K | ||
| rosetta.pdf | 13-May-2010 13:35 | 389K | ||
| separation.pdf | 13-May-2010 13:35 | 38K | ||
| sigsoft-93.pdf | 13-May-2010 13:35 | 47K | ||
| sigsoft-94.pdf | 13-May-2010 13:35 | 50K | ||
| sirkin-thesis.pdf | 13-May-2010 13:35 | 382K | ||
| sosym09.pdf | 13-May-2010 13:36 | 782K | ||
| space.pdf | 13-May-2010 13:36 | 23K | ||
| splat08.pdf | 13-May-2010 13:36 | 226K | ||
| splc05.pdf | 13-May-2010 13:36 | 363K | ||
| splc09.pdf | 13-May-2010 13:36 | 631K | ||
| stja.pdf | 13-May-2010 13:36 | 99K | ||
| styles.pdf | 13-May-2010 13:36 | 64K | ||
| subjectivity-icsr95.pdf | 13-May-2010 13:36 | 48K | ||
| thomas-thesis.pdf | 13-May-2010 13:36 | 1.2M | ||
| ti-workshop.pdf | 13-May-2010 13:36 | 56K | ||
| tosem-92.pdf | 13-May-2010 13:36 | 161K | ||
| tpcb.pdf | 13-May-2010 13:36 | 28K | ||
| tr-92-47.pdf | 13-May-2010 13:36 | 26K | ||
| tr-93-16.pdf | 13-May-2010 13:36 | 47K | ||
| tr-94-26.pdf | 13-May-2010 13:36 | 406K | ||
| tr-94-27.pdf | 13-May-2010 13:36 | 429K | ||
| tr-94-28.pdf | 13-May-2010 13:36 | 49K | ||
| tr-95-03.pdf | 13-May-2010 13:36 | 58K | ||
| tr-95-04.pdf | 13-May-2010 13:36 | 64K | ||
| tr-95-06.pdf | 13-May-2010 13:36 | 48K | ||
| tr-95-26.pdf | 13-May-2010 13:36 | 62K | ||
| tr-95-32.pdf | 13-May-2010 13:36 | 64K | ||
| transformationModel.pdf | 13-May-2010 13:36 | 4.3M | ||
| tutorial.tar | 13-May-2010 13:36 | 3.7M | ||
| utopia.pdf | 13-May-2010 13:36 | 560K | ||
| villarreal-thesis.pdf | 13-May-2010 13:36 | 844K | ||
| vivek-thesis.pdf | 13-May-2010 13:36 | 235K | ||
| web.pdf | 13-May-2010 13:36 | 602K | ||
| wisr-93-p++.pdf | 13-May-2010 13:36 | 151K | ||
| wisr-93-p2.pdf | 13-May-2010 13:36 | 142K | ||
| wolfhpc2011.pdf | 16-May-2011 09:48 | 97K | ||
| xvcl-code.zip | 13-May-2010 13:36 | 43K | ||
| xvcl-compare.pdf | 13-May-2010 13:36 | 110K | ||