![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2011_rmf.pdf | 2015-08-06 07:35 | 555K | |
| 2012_reconf_tracing.pdf | 2015-08-06 07:34 | 180K | |
| 2013_prostep.pdf | 2015-08-06 07:35 | 49K | |
| 2013_reconf_rmf.pdf | 2015-08-06 07:34 | 87K | |
| 2013_reconf_wissenschaft.pdf | 2015-08-06 07:35 | 92K | |
| AbHa07_273.pdf | 2015-08-06 07:35 | 248K | |
| Alloy2B.pdf | 2018-07-09 10:11 | 476K | |
| AuFeGrLeNG03_24.pdf | 2015-08-06 07:34 | 181K | |
| AuLeBuFe03_25.pdf | 2015-08-06 07:34 | 184K | |
| BaLeVa04_13.pdf | 2015-08-06 07:35 | 315K | |
| BaLeVa07_198.pdf | 2015-08-06 07:38 | 414K | |
| BeEnLeSc08_240.pdf | 2015-08-06 07:35 | 549K | |
| BeLe07_207.pdf | 2015-08-06 07:38 | 190K | |
| BeLe07_210.pdf | 2015-08-06 07:34 | 647K | |
| BeLe09_253.pdf | 2015-08-06 07:36 | 304K | |
| BoCuFiLePeRi11.pdf | 2015-08-06 07:34 | 208K | |
| BoCuFiLePeRi2011.pdf | 2015-08-06 07:37 | 420K | |
| BoCuFiRi09_246.pdf | 2015-08-06 07:34 | 163K | |
| BoDiTr13_246.pdf | 2015-08-06 07:35 | 327K | |
| BoDoLeMa07_220.pdf | 2015-08-06 07:36 | 463K | |
| BoKuMaLiNiReRiVe08_245.pdf | 2015-08-06 07:34 | 242K | |
| BoLeRi09_235.pdf | 2015-08-06 07:34 | 186K | |
| BoLeSch2010.pdf | 2015-08-06 07:36 | 202K | |
| BoRi07_223.pdf | 2015-08-06 07:35 | 132K | |
| BrLeSa98_68.pdf | 2015-08-06 07:35 | 211K | |
| BuHa07_292.pdf | 2015-08-06 07:36 | 338K | |
| BuLeLoAlBeBoCuKi03_26.pdf | 2015-08-06 07:34 | 99K | |
| BuLeSn05_2.pdf | 2015-08-06 07:36 | 149K | |
| CrGaLeHe04_15.pdf | 2015-08-06 07:34 | 222K | |
| CrLe03_27.pdf | 2015-08-06 07:37 | 420K | |
| CrLe04_16.pdf | 2015-08-06 07:37 | 182K | |
| CrLe05_222.pdf | 2015-08-06 07:38 | 331K | |
| DeDeLeMaSa98_69.pdf | 2015-08-06 07:34 | 195K | |
| DeGlJoLeMaSo99_57.pdf | 2015-08-06 07:35 | 471K | |
| Dobrikov2016.pdf | 2016-05-03 17:27 | 464K | |
| DobrikovLeuschelEnablingAnalysis.pdf | 2016-04-14 11:36 | 439K | |
| DobrikovLeuschelPORtechreport.pdf | 2015-08-06 07:35 | 451K | |
| ElLeCo03_28.pdf | 2015-08-06 07:36 | 490K | |
| FaLe04_29.pdf | 2015-08-06 07:34 | 768K | |
| FairnessPaper.pdf | 2016-05-03 17:25 | 290K | |
| FalampinLeuschel-DeployBook.pdf | 2015-08-06 07:38 | 324K | |
| FalampinLeuschelDeployBook.pdf | 2015-08-06 07:34 | 324K | |
| GlHaLeMa01_43.pdf | 2015-08-06 07:35 | 275K | |
| GmehlichGHLLP11.pdf | 2015-08-06 07:38 | 581K | |
| Ha02_293.pdf | 2015-08-06 07:37 | 4.7M | |
| Ha05_298.pdf | 2015-08-06 07:37 | 295K | |
| Ha07_285.pdf | 2015-08-06 07:34 | 206K | |
| Ha08_281.pdf | 2015-08-06 07:35 | 250K | |
| Ha08_283.pdf | 2015-08-06 07:35 | 232K | |
| Ha09_280.pdf | 2015-08-06 07:36 | 308K | |
| Ha09_291.pdf | 2015-08-06 07:35 | 283K | |
| Ha97_302.pdf | 2015-08-06 07:35 | 671K | |
| HaHo07_284.pdf | 2015-08-06 07:38 | 430K | |
| HaLe09_277.pdf | 2015-08-06 07:35 | 817K | |
| HaLe2011.pdf | 2015-08-06 07:35 | 820K | |
| HaLeBW2011.pdf | 2015-08-06 07:36 | 325K | |
| HaLePl2011refanim.pdf | 2015-08-06 07:37 | 794K | |
| HaVo05_299.pdf | 2015-08-06 07:36 | 253K | |
| HalJasLad2012.pdf | 2015-08-06 07:34 | 1.1M | |
| HalJasLad2013.pdf | 2015-08-06 07:38 | 1.0M | |
| Hallerstede2013nopub1.pdf | 2015-08-06 07:35 | 321K | |
| HansenLeuschelTLA2012.pdf | 2015-08-06 07:34 | 521K | |
| HansenLeuschel_ABZ14.pdf | 2015-08-06 07:36 | 435K | |
| HansenLeuschel_TLC4B_Journal.pdf | 2015-08-06 07:36 | 497K | |
| HansenLeuschel_TLC4B_techreport.pdf | 2015-08-06 07:35 | 704K | |
| JaHaLeRu2010.pdf | 2015-08-06 07:35 | 562K | |
| Jas11.pdf | 2015-08-06 07:34 | 334K | |
| JasHalLad2011.pdf | 2015-08-06 07:36 | 442K | |
| JastramProR2010.pdf | 2015-08-06 07:35 | 642K | |
| JoLe96_82.pdf | 2015-08-06 07:37 | 287K | |
| JoLeMa96_84.pdf | 2015-08-06 07:35 | 248K | |
| KILOK-HHU-Abschlussbericht.pdf | 2024-12-18 06:59 | 2.1M | |
| KlOsLe07_211.pdf | 2015-08-06 07:35 | 212K | |
| KringsLeuschelSymbolicMc.pdf | 2016-05-06 08:24 | 513K | |
| KringsLeuschelUnits.pdf | 2015-08-06 07:35 | 385K | |
| KringsLeuschelUnitsJournal.pdf | 2016-03-31 08:38 | 712K | |
| LaBeLe09_258.pdf | 2015-08-06 07:36 | 6.1M | |
| LadenbergerJastram_iFMABZ2012.pdf | 2015-08-06 07:38 | 267K | |
| LadenbergerLeuschel_ProjectDiagram.pdf | 2015-08-06 07:35 | 913K | |
| Le01_44.pdf | 2015-08-06 07:37 | 293K | |
| Le02_37.pdf | 2015-08-06 07:35 | 296K | |
| Le04_17.pdf | 2015-08-06 07:35 | 463K | |
| Le04_18.pdf | 2015-08-06 07:34 | 5.5K | |
| Le08_233.pdf | 2015-08-06 07:35 | 159K | |
| Le97_216.pdf | 2015-08-06 07:35 | 1.6M | |
| Le98_70.pdf | 2015-08-06 07:37 | 246K | |
| Le98_71.pdf | 2015-08-06 07:37 | 226K | |
| Le98_72.pdf | 2015-08-06 07:35 | 219K | |
| Le99_60.pdf | 2015-08-06 07:35 | 238K | |
| Le99_62.pdf | 2015-08-06 07:35 | 303K | |
| LeBe06_206.pdf | 2015-08-06 07:37 | 569K | |
| LeBe2010.pdf | 2015-08-06 07:37 | 728K | |
| LeBr02_38.pdf | 2015-08-06 07:34 | 459K | |
| LeBu03_32.pdf | 2015-08-06 07:36 | 289K | |
| LeBu05_1.pdf | 2015-08-06 07:38 | 236K | |
| LeBu05_5.pdf | 2015-08-06 07:35 | 236K | |
| LeBu08_225.pdf | 2015-08-06 07:36 | 481K | |
| LeBuSpTu07_209.pdf | 2015-08-06 07:36 | 356K | |
| LeCaBu09_221.pdf | 2015-08-06 07:35 | 211K | |
| LeCr05_7.pdf | 2015-08-06 07:34 | 149K | |
| LeCrBrVa03_33.pdf | 2015-08-06 07:34 | 453K | |
| LeCrBrVa04_19.pdf | 2015-08-06 07:34 | 413K | |
| LeCrEl06_199.pdf | 2015-08-06 07:36 | 274K | |
| LeDe95_92.pdf | 2015-08-06 07:37 | 299K | |
| LeDe96_86.pdf | 2015-08-06 07:38 | 237K | |
| LeDe98_74.pdf | 2015-08-06 07:35 | 804K | |
| LeDede96_88.pdf | 2015-08-06 07:38 | 221K | |
| LeElVaCrFo06_140.pdf | 2015-08-06 07:35 | 238K | |
| LeFaFrPl09_248.pdf | 2015-08-06 07:35 | 718K | |
| LeFaFrPl2010.pdf | 2015-08-06 07:35 | 655K | |
| LeFaFrPl2011.pdf | 2015-08-06 07:34 | 457K | |
| LeFo08_237.pdf | 2015-08-06 07:36 | 390K | |
| LeJoVaBr04_20.pdf | 2015-08-06 07:35 | 483K | |
| LeLe00_51.pdf | 2015-08-06 07:35 | 325K | |
| LeLe00_53.pdf | 2015-08-06 07:38 | 222K | |
| LeLe00_54.pdf | 2015-08-06 07:35 | 780K | |
| LeLe03_30.pdf | 2015-08-06 07:35 | 268K | |
| LeLlOlSiTa08_236.pdf | 2015-08-06 07:35 | 421K | |
| LeMa02_40.pdf | 2015-08-06 07:34 | 87K | |
| LeMa07_212.pdf | 2015-08-06 07:34 | 476K | |
| LeMa96_89.pdf | 2015-08-06 07:35 | 258K | |
| LeMa99_66.pdf | 2015-08-06 07:37 | 330K | |
| LeMa2010.pdf | 2015-08-06 07:34 | 782K | |
| LeMaCu01_46.pdf | 2015-08-06 07:34 | 259K | |
| LeMaSa98_77.pdf | 2015-08-06 07:35 | 240K | |
| LePl07ltltechrep.pdf | 2015-08-06 07:38 | 298K | |
| LeSaBeLu08_228.pdf | 2015-08-06 07:36 | 1.1M | |
| LeTu05_8.pdf | 2015-08-06 07:35 | 354K | |
| LeVi05_9.pdf | 2015-08-06 07:35 | 249K | |
| LeVi08_234.pdf | 2015-08-06 07:36 | 216K | |
| Leuschel08highroad.pdf | 2015-08-06 07:35 | 264K | |
| LeuschelDobrikov-EnablingTR.pdf | 2016-03-15 11:13 | 529K | |
| LeuschelSBMF2016.pdf | 2016-11-11 14:42 | 333K | |
| LeuschelSchneider_ABZ14.pdf | 2015-08-06 07:35 | 345K | |
| LeuschelTamaritVidal_WFLP09.pdf | 2015-08-06 07:38 | 252K | |
| LeuschelVidal-IC14.pdf | 2015-10-26 16:16 | 448K | |
| LiBeLe07_219.pdf | 2015-08-06 07:35 | 560K | |
| LoBuLeBo05_10.pdf | 2015-08-06 07:34 | 134K | |
| LoBuLeSnTu04_22.pdf | 2015-08-06 07:34 | 2.2M | |
| PlLe2010.pdf | 2015-08-06 07:37 | 329K | |
| PlLeLoRo09_249.pdf | 2015-08-06 07:35 | 261K | |
| PlaggeLeuschel_Kodkod2012.pdf | 2015-08-06 07:36 | 239K | |
| RMF_Mark_Book_Jastram_2013.pdf | 2015-08-06 07:35 | 759K | |
| RepairBySynthesisShort.pdf | 2016-04-07 10:12 | 220K | |
| RodinWorkshop2013CBC.pdf | 2015-08-06 07:35 | 178K | |
| RodinWorkshop2013Parallel.pdf | 2015-08-06 07:37 | 160K | |
| RodinWorkshop2013Tutorial.pdf | 2015-08-06 07:34 | 107K | |
| RodinWorkshop2016MetaPredicates.pdf | 2016-05-04 17:14 | 168K | |
| SaLeBu05_11.pdf | 2015-08-06 07:36 | 125K | |
| SaWiBeLe09_307.pdf | 2015-08-06 07:35 | 268K | |
| SchBoLe2010.pdf | 2015-08-06 07:34 | 108K | |
| SpLe08_229.pdf | 2015-08-06 07:34 | 193K | |
| TuBuLe2010.pdf | 2015-08-06 07:35 | 253K | |
| TuLeSpBu07_217.pdf | 2015-08-06 07:35 | 167K | |
| VaAlLe02_41.pdf | 2015-08-06 07:35 | 326K | |
| VaBrLe04_23.pdf | 2015-08-06 07:35 | 438K | |
| VaLeAl03_35.pdf | 2015-08-06 07:35 | 106K | |
| WaGuLe05_12.pdf | 2015-08-06 07:37 | 184K | |
| Weigelt2012.pdf | 2015-08-06 07:34 | 251K | |
| WiKoRoLeBePlSc09_252.pdf | 2015-08-06 07:35 | 216K | |
| abs-1210-6815.pdf | 2015-08-06 07:36 | 458K | |
| abz-Ha2010.pdf | 2015-08-06 07:34 | 539K | |
| abz-HaLePl2010.pdf | 2015-08-06 07:35 | 830K | |
| abz14casestudy.pdf | 2015-08-06 07:34 | 432K | |
| abz20-case-study-in-c.pdf | 2020-04-30 12:04 | 461K | |
| analysing-backends-of-b.pdf | 2020-11-18 14:22 | 281K | |
| ardo_loop-aware_2012.pdf | 2015-08-06 07:38 | 424K | |
| automated-backend-selection.pdf | 2020-11-18 14:22 | 493K | |
| b-industrial-history.pdf | 2020-08-25 13:32 | 263K | |
| b2program.pdf | 2019-10-14 10:34 | 543K | |
| brecklinghaus22jupyter-prolog.pdf | 2024-05-22 11:16 | 279K | |
| crowdedchessboard.pdf | 2018-07-09 10:15 | 318K | |
| disprover_eval.pdf | 2016-03-01 08:43 | 1.3M | |
| distb.pdf | 2018-04-09 11:09 | 299K | |
| dunkelau2021ranking.pdf | 2021-10-21 10:21 | 159K | |
| dunkelau2022equalisedodds.pdf | 2022-09-21 14:35 | 220K | |
| dunkelau2023banditfuzz.pdf | 2023-11-20 11:32 | 367K | |
| ebert_jastram_reqif_2012.pdf | 2015-08-06 07:34 | 413K | |
| etcsHL3.pdf | 2018-07-09 10:12 | 687K | |
| executable-specs.pdf | 2019-08-05 11:40 | 4.0M | |
| fairness-survey.pdf | 2020-11-18 14:22 | 675K | |
| fide14pyb.pdf | 2015-08-06 07:37 | 414K | |
| fide14toolchain.pdf | 2015-08-06 07:37 | 424K | |
| flow2011.pdf | 2015-08-06 07:37 | 414K | |
| gepavas1.pdf | 2015-08-06 07:34 | 2.5M | |
| history-of-b.pdf | 2019-08-05 11:42 | 129K | |
| hofm2014cspvis.pdf | 2015-08-06 07:37 | 495K | |
| iFM16PhDSymposium.pdf | 2016-05-06 08:23 | 324K | |
| infinite_domain_solver.pdf | 2016-11-04 16:11 | 401K | |
| inquiry-based-mc-presentation.pdf | 2019-11-19 11:07 | 170K | |
| inquiry-based-mc.pdf | 2019-05-10 10:39 | 3.1M | |
| interpreters-prolog.pdf | 2020-08-25 13:33 | 325K | |
| jastram-thesis-2012.pdf | 2015-08-06 07:37 | 6.0M | |
| jastram_forms_2012.pdf | 2015-08-06 07:35 | 245K | |
| koerner22-por-analysis.pdf | 2024-05-22 10:59 | 573K | |
| ltsminintegration.pdf | 2018-07-26 14:53 | 407K | |
| plspec.pdf | 2018-01-26 14:54 | 270K | |
| plstatic-pre.pdf | 2019-09-02 09:19 | 206K | |
| plstatic-wflp.pdf | 2020-08-25 13:33 | 202K | |
| prob_for_tla_2024.pdf | 2024-10-23 17:58 | 1.9M | |
| probltsminintegration.pdf | 2016-04-11 13:57 | 1.0M | |
| probz3integration.pdf | 2016-06-03 11:01 | 443K | |
| prolog-linter.pdf | 2019-08-05 11:41 | 216K | |
| prologmutation.pdf | 2018-08-24 11:02 | 474K | |
| prologmutationtesting.pdf | 2019-03-08 10:07 | 478K | |
| prototyping-games-pre.pdf | 2019-11-19 11:06 | 834K | |
| proz07.pdf | 2015-08-06 07:34 | 296K | |
| rapp-tool-paper.pdf | 2023-04-05 16:40 | 501K | |
| rodin_2025_interactive_proving.pdf | 2025-06-16 09:45 | 368K | |
| rodin_2025_interactive_trace_replay.pdf | 2025-06-16 09:45 | 584K | |
| schneider_efficient_2012.pdf | 2015-08-06 07:37 | 401K | |
| sefm14por.pdf | 2015-08-06 07:36 | 362K | |
| sets14.pdf | 2015-08-06 07:34 | 1.4M | |
| shared-specification-repo.pdf | 2020-04-30 12:06 | 182K | |
| tla_abz14.pdf | 2015-08-06 07:36 | 348K | |
| topcase-JaGr2011.pdf | 2015-08-06 07:36 | 727K | |
| tr-JaGr2011.pdf | 2015-08-06 07:37 | 596K | |