Index of /~banach/some.pubs

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]ABZ2014LandingGearCaseStudy/2015-02-09 11:41 -  
[DIR]ABZ2016HemodialysisCaseStudy/2018-11-19 15:36 -  
[ ]ASMcts.FULL-LNCS.pdf2021-03-25 10:13 511K 
[CMP]ASMcts.FULL-LNCS.ps.gz2021-03-25 10:13 452K 
[ ]Abs.Diag.Op.Ty.Gr.Tr.pdf2002-10-17 17:35 316K 
[CMP]Abs.Diag.Op.Ty.Gr.Tr.ps.gz2002-10-17 17:35 320K 
[ ]Abs.Diag.pdf2003-08-22 15:13 157K 
[CMP]Abs.Diag.ps.gz2003-08-22 15:13 166K 
[ ]ActStructCont.pdf2021-07-29 10:40 1.1M 
[CMP]ActStructCont.ps.gz2021-07-29 10:40 4.1M 
[ ]AlgAppSimVerCPS.pdf2024-04-23 11:02 3.0M 
[CMP]AlgAppSimVerCPS.ps.gz2024-04-23 11:02 15M 
[ ]BOND-ICGT.pdf2023-06-20 11:30 356K 
[CMP]BOND-ICGT.ps.gz2023-06-20 11:30 322K 
[ ]BrewYourOwnCPS.pdf2016-02-26 17:13 47K 
[CMP]BrewYourOwnCPS.ps.gz2016-02-26 17:13 66K 
[ ]CEvB.Cont.Stoch.pdf2014-05-07 16:22 228K 
[CMP]CEvB.Cont.Stoch.ps.gz2014-05-07 16:22 1.3M 
[ ]CEvB.CruiseCon.pdf2013-05-04 16:34 146K 
[CMP]CEvB.CruiseCon.ps.gz2013-05-04 16:34 197K 
[ ]CEvB.Dialysis.pdf2016-02-26 17:07 385K 
[CMP]CEvB.Dialysis.ps.gz2016-02-26 17:08 613K 
[ ]CEvB.DrByWire.pdf2015-06-17 16:09 263K 
[CMP]CEvB.DrByWire.ps.gz2015-06-17 16:09 219K 
[ ]CEvB.FuelPump.FULL.pdf2018-01-09 14:20 311K 
[CMP]CEvB.FuelPump.FULL.ps.gz2018-01-09 14:20 318K 
[ ]CEvB.FuelPump.pdf2016-03-28 16:58 121K 
[CMP]CEvB.FuelPump.ps.gz2016-03-28 16:58 310K 
[ ]CEvB.LanGear.pdf2014-04-03 17:49 403K 
[CMP]CEvB.LanGear.ps.gz2014-04-03 17:51 487K 
[ ]CEvB.LandingGear-STTT.pdf2015-11-12 16:14 460K 
[CMP]CEvB.LandingGear-STTT.ps.gz2015-11-12 16:15 663K 
[ ]CEvB.LaneCon.pdf2013-06-27 14:53 364K 
[CMP]CEvB.LaneCon.ps.gz2013-06-27 14:53 291K 
[ ]CEvB.Modalities.pdf2013-05-04 17:15 136K 
[CMP]CEvB.Modalities.ps.gz2013-05-04 17:15 71K 
[ ]CEvB.RugbyClub.FULL.pdf2020-01-20 16:26 293K 
[CMP]CEvB.RugbyClub.FULL.ps.gz2020-01-20 16:26 271K 
[ ]CEvB.RugbyClub.LNCS.pdf2018-03-19 10:20 208K 
[CMP]CEvB.RugbyClub.LNCS.ps.gz2018-03-19 10:20 207K 
[ ]CPSfoundational.pdf2018-01-22 16:20 539K 
[CMP]CPSfoundational.ps.gz2018-01-22 16:20 483K 
[ ]ContEvB--I.pdf2015-02-19 11:02 303K 
[CMP]ContEvB--I.ps.gz2015-02-19 11:02 776K 
[ ]ContEvB--II.pdf2017-02-14 16:37 382K 
[CMP]ContEvB--II.ps.gz2017-02-14 16:37 769K 
[ ]ContEvB--III.pdf2023-07-25 16:30 586K 
[CMP]ContEvB--III.ps.gz2023-07-25 16:30 541K 
[ ]Contin.ASM.Con.FULL.pdf2014-05-09 11:33 212K 
[CMP]Contin.ASM.Con.FULL.ps.gz2014-05-09 11:33 464K 
[ ]Contin.ASM.Con.pdf2012-03-07 10:48 140K 
[CMP]Contin.ASM.Con.ps.gz2012-03-07 10:48 294K 
[ ]Contin.ASM.Pace.FULL.pdf2014-09-10 17:00 419K 
[CMP]Contin.ASM.Pace.FULL.ps.gz2014-09-10 17:00 2.7M 
[ ]Contin.ASM.Pace.pdf2012-03-07 10:35 185K 
[CMP]Contin.ASM.Pace.ps.gz2012-03-07 10:35 1.0M 
[ ]Contin.EvB.SHORT.pdf2012-03-07 11:20 46K 
[CMP]Contin.EvB.SHORT.ps.gz2012-03-07 11:20 37K 
[ ]Contractum.Alg.GR.pdf2001-12-05 18:01 67K 
[CMP]Contractum.Alg.GR.ps.gz1998-04-30 14:12 39K 
[ ]CritCPS.HLTH.pdf2020-06-26 18:25 498K 
[CMP]CritCPS.HLTH.ps.gz2020-06-26 18:25 449K 
[ ]Czeslaw.Jeske.PhD.Thesis.pdf2006-02-20 11:23 1.2M 
[ ]DenAlgSem.CPS.pdf2022-02-19 14:17 333K 
[CMP]DenAlgSem.CPS.ps.gz2022-02-19 14:19 3.4M 
[DIR]EarthquakeProtection/2017-10-30 17:50 -  
[ ]EvB.HySys.Rodin.pdf2015-04-14 18:24 312K 
[CMP]EvB.HySys.Rodin.ps.gz2015-04-14 18:28 329K 
[ ]EvB.InvGuided.pdf2014-03-24 11:24 108K 
[CMP]EvB.InvGuided.ps.gz2014-03-24 11:26 140K 
[ ]EvB.InvMgtFail.pdf2017-05-17 15:42 276K 
[CMP]EvB.InvMgtFail.ps.gz2017-05-17 15:42 279K 
[ ]EvB.Mart.pdf2015-02-12 12:28 114K 
[CMP]EvB.Mart.ps.gz2015-02-12 12:28 37K 
[ ]Expr.Run.Struc.Sync.COOL.FULL.pdf2001-12-05 18:04 80K 
[CMP]Expr.Run.Struc.Sync.COOL.FULL.ps.gz1998-04-30 14:12 40K 
[ ]Expr.Run.Struc.Sync.COOL.pdf2001-12-05 18:09 461K 
[CMP]Expr.Run.Struc.Sync.COOL.ps.gz1998-04-30 14:12 142K 
[ ]Fib.Sem.ETGRS.FULL.pdf2001-12-05 18:14 105K 
[CMP]Fib.Sem.ETGRS.FULL.ps.gz1998-04-30 14:12 64K 
[ ]Fib.Sem.ETGRS.pdf2001-12-05 18:17 207K 
[CMP]Fib.Sem.ETGRS.ps.gz1998-04-30 14:12 88K 
[ ]Form.Cont.Sim.Train.pdf2012-09-24 18:13 485K 
[CMP]Form.Cont.Sim.Train.ps.gz2012-09-24 18:14 1.7M 
[ ]GTr.Abs.Diag.pdf2001-12-05 18:27 63K 
[CMP]GTr.Abs.Diag.ps.gz2000-01-20 11:34 43K 
[ ]GradedRetRefSim.pdf2022-04-28 20:05 1.2M 
[CMP]GradedRetRefSim.ps.gz2022-04-28 20:05 1.3M 
[ ]HEBvEB.pdf2016-06-29 13:50 173K 
[CMP]HEBvEB.ps.gz2016-06-29 13:50 71K 
[ ]INSPEX-AFFORD-19.pdf2019-08-12 15:43 3.5M 
[CMP]INSPEX-AFFORD-19.ps.gz2019-08-12 15:45 627K 
[ ]INSPEX-BEDA-18.pdf2018-07-10 12:29 1.8M 
[CMP]INSPEX-BEDA-18.ps.gz2018-07-10 12:32 856K 
[ ]INSPEX-CSDnM-18.pdf2018-07-10 12:31 709K 
[CMP]INSPEX-CSDnM-18.ps.gz2018-07-10 12:33 506K 
[ ]INSPEX-DATE-17.pdf2017-03-01 16:43 595K 
[CMP]INSPEX-DATE-17.ps.gz2017-03-01 16:43 364K 
[ ]INSPEX-FMIS-18-short.pdf2018-06-10 16:56 1.2M 
[CMP]INSPEX-FMIS-18-short.ps.gz2018-06-11 15:19 176K 
[ ]INSPEX-ICSOFT-18.pdf2018-06-10 17:07 112K 
[CMP]INSPEX-ICSOFT-18.ps.gz2018-06-11 15:22 112K 
[ ]INSPEX-JSEP-21.pdf2021-08-31 15:10 5.8M 
[CMP]INSPEX-JSEP-21.ps.gz2021-08-31 15:10 17M 
[ ]INSPEX-SSI-17.pdf2017-02-02 17:30 350K 
[CMP]INSPEX-SSI-17.ps.gz2017-02-02 17:30 1.2M 
[ ]INSPEX-STAF-18-full.pdf2018-11-12 14:53 146K 
[CMP]INSPEX-STAF-18-full.ps.gz2018-11-12 14:53 141K 
[ ]IWIM.Fibred.pdf2002-04-25 12:27 348K 
[CMP]IWIM.Fibred.ps.gz2002-04-25 12:26 356K 
[ ]IWIM.Medium.pdf2003-02-04 12:27 182K 
[CMP]IWIM.Medium.ps.gz2003-02-04 12:27 201K 
[ ]IWIM.Short.pdf2002-06-12 10:47 241K 
[CMP]IWIM.Short.ps.gz2002-06-12 10:45 93K 
[ ]MONSTR-I.corr.pdf2001-12-06 20:18 9.5K 
[CMP]MONSTR-I.corr.ps.gz1998-07-30 18:09 27K 
[ ]MONSTR-I.pdf2001-12-06 20:20 252K 
[CMP]MONSTR-I.ps.gz1996-09-27 14:35 128K 
[ ]MONSTR-II.pdf2001-12-06 20:23 272K 
[CMP]MONSTR-II.ps.gz1997-08-06 10:09 159K 
[ ]MONSTR-V.pdf2001-12-06 20:32 308K 
[CMP]MONSTR-V.ps.gz1998-01-07 10:06 184K 
[ ]MONSTR.TGR.Par.Mach.FULL.pdf2001-12-06 20:37 60K 
[CMP]MONSTR.TGR.Par.Mach.FULL.ps.gz1998-04-30 14:12 36K 
[ ]MONSTR.TGR.Par.Mach.pdf2001-12-06 20:39 206K 
[CMP]MONSTR.TGR.Par.Mach.ps.gz1998-04-30 14:12 86K 
[ ]Parallel.TGR.Conc.LP.pdf2001-12-06 20:47 45K 
[CMP]Parallel.TGR.Conc.LP.ps.gz1998-04-30 14:12 41K 
[ ]Pi.CCS.ext.abs.pdf2001-12-06 20:49 226K 
[CMP]Pi.CCS.ext.abs.ps.gz1998-04-30 14:12 53K 
[ ]Pi.MONSTR.pdf2001-12-06 20:53 313K 
[CMP]Pi.MONSTR.ps.gz1995-07-13 11:22 168K 
[ ]PrivPermBchSol.pdf2023-04-20 16:51 599K 
[CMP]PrivPermBchSol.ps.gz2023-04-20 16:51 463K 
[ ]ProofSys.CPS.pdf2022-07-03 15:13 476K 
[CMP]ProofSys.CPS.ps.gz2022-07-03 15:13 1.6M 
[ ]PunRewLONG.pdf2020-03-06 14:41 364K 
[CMP]PunRewLONG.ps.gz2020-03-06 14:41 350K 
[ ]PunRewSHORT.pdf2019-02-12 14:22 89K 
[CMP]PunRewSHORT.ps.gz2019-02-12 17:59 89K 
[ ]Refine.At.Act.Prot.pdf2009-01-23 11:18 317K 
[CMP]Refine.At.Act.Prot.ps.gz2009-01-23 11:17 1.1M 
[ ]Refine.At.Act.pdf2007-05-31 11:39 323K 
[CMP]Refine.At.Act.ps.gz2007-05-31 11:39 873K 
[ ]Refine.At.ns.At.Act.pdf2007-12-11 17:14 500K 
[CMP]Refine.At.ns.At.Act.ps.gz2007-12-11 17:13 1.8M 
[ ]Refine.Mod.Tools.Tom.pdf2008-07-28 12:16 107K 
[CMP]Refine.Mod.Tools.Tom.ps.gz2008-07-28 12:16 46K 
[ ]Refine.Mondex.Concept.pdf2008-06-23 18:08 94K 
[CMP]Refine.Mondex.Concept.ps.gz2008-06-23 18:09 41K 
[ ]Regularity.Sw.Des.pdf2001-12-06 20:59 138K 
[CMP]Regularity.Sw.Des.ps.gz1998-04-30 14:12 65K 
[ ]Retrench.At.Fail.At.Patt.pdf2011-06-09 15:23 272K 
[CMP]Retrench.At.Fail.At.Patt.ps.gz2011-06-09 15:22 303K 
[ ]Retrench.At.Patt.pdf2007-06-07 09:59 128K 
[CMP]Retrench.At.Patt.ps.gz2007-06-07 10:00 111K 
[ ]Retrench.BToolkit.pdf2005-01-13 18:03 229K 
[CMP]Retrench.BToolkit.ps.gz2005-01-13 17:45 91K 
[ ]Retrench.CD.Mod.pdf2011-05-18 10:32 218K 
[CMP]Retrench.CD.Mod.ps.gz2011-05-18 10:32 128K 
[ ]Retrench.Complex.pdf2004-03-25 11:09 163K 
[CMP]Retrench.Complex.ps.gz2004-03-25 11:08 58K 
[ ]Retrench.Composition.pdf2007-12-13 12:05 157K 
[CMP]Retrench.Composition.ps.gz2007-12-13 12:05 429K 
[ ]Retrench.Config.POs.pdf2007-06-15 15:48 108K 
[CMP]Retrench.Config.POs.ps.gz2007-06-15 15:47 66K 
[ ]Retrench.Control.Evol.pdf2001-12-04 20:12 244K 
[CMP]Retrench.Control.Evol.ps.gz2001-10-22 22:24 105K 
[ ]Retrench.Designs.pdf2015-06-01 15:52 234K 
[CMP]Retrench.Designs.ps.gz2015-06-01 15:52 328K 
[ ]Retrench.Dyn.Asp.TL.ACMT.pdf2006-02-20 11:39 142K 
[CMP]Retrench.Dyn.Asp.TL.ACMT.ps.gz2006-01-31 13:50 96K 
[ ]Retrench.Dyn.Asp.TL.pdf2005-10-13 17:16 248K 
[CMP]Retrench.Dyn.Asp.TL.ps.gz2005-10-13 17:16 107K 
[ ]Retrench.Eng.Var.Ref.pdf2001-12-06 21:01 87K 
[CMP]Retrench.Eng.Var.Ref.ps.gz1998-04-30 14:12 49K 
[ ]Retrench.EventB.UC.pdf2009-11-05 17:47 202K 
[CMP]Retrench.EventB.UC.ps.gz2009-11-05 17:47 1.1M 
[ ]Retrench.Ext.Reach.Ref.pdf2001-12-04 20:50 93K 
[CMP]Retrench.Ext.Reach.Ref.ps.gz1999-08-01 16:56 44K 
[ ]Retrench.Ext.Ref.Control.pdf2001-12-04 20:47 268K 
[CMP]Retrench.Ext.Ref.Control.ps.gz2000-06-30 10:21 114K 
[ ]Retrench.FT.ReaSys.I.Comb.pdf2011-08-29 05:07 343K 
[CMP]Retrench.FT.ReaSys.I.Comb.ps.gz2011-08-29 05:08 948K 
[ ]Retrench.FT.ReaSys.II.TimCy.pdf2011-08-29 06:33 496K 
[CMP]Retrench.FT.ReaSys.II.TimCy.ps.gz2011-08-29 06:34 1.7M 
[ ]Retrench.Feature.pdf2011-02-07 10:54 261K 
[CMP]Retrench.Feature.ps.gz2011-02-07 10:53 585K 
[ ]Retrench.Filter.pdf2006-06-20 10:24 177K 
[CMP]Retrench.Filter.ps.gz2006-06-20 10:24 438K 
[ ]Retrench.Frag.Fair.pdf2001-12-04 20:33 98K 
[CMP]Retrench.Frag.Fair.ps.gz2000-08-01 18:10 101K 
[ ]Retrench.Gen.FT.SDCS.pdf2006-06-01 17:24 136K 
[CMP]Retrench.Gen.FT.SDCS.ps.gz2006-06-01 17:24 125K 
[ ]Retrench.KAOS.pdf2009-10-22 15:06 178K 
[CMP]Retrench.KAOS.ps.gz2009-10-22 15:06 137K 
[ ]Retrench.Max.Abs.pdf2001-12-04 20:30 96K 
[CMP]Retrench.Max.Abs.ps.gz2000-06-29 10:22 103K 
[ ]Retrench.Min.Max.Abs.pdf2002-03-12 15:10 162K 
[CMP]Retrench.Min.Max.Abs.ps.gz2002-03-12 15:10 359K 
[ ]Retrench.Mod.Base.Req.Eng.pdf2001-11-23 10:29 75K 
[CMP]Retrench.Mod.Base.Req.Eng.ps.gz2001-11-14 11:05 79K 
[ ]Retrench.Mondex.Bal.pdf2006-12-05 16:04 281K 
[CMP]Retrench.Mondex.Bal.ps.gz2006-12-05 16:05 126K 
[ ]Retrench.Mondex.CG.DOS.pdf2009-05-05 19:48 151K 
[CMP]Retrench.Mondex.CG.DOS.ps.gz2009-05-05 19:48 368K 
[ ]Retrench.Mondex.Hash.pdf2007-02-27 10:30 127K 
[CMP]Retrench.Mondex.Hash.ps.gz2007-02-27 10:29 67K 
[ ]Retrench.Mondex.Log.pdf2006-05-12 12:18 157K 
[CMP]Retrench.Mondex.Log.ps.gz2006-05-12 12:26 85K 
[ ]Retrench.Mondex.OvView.pdf2008-09-02 12:38 285K 
[CMP]Retrench.Mondex.OvView.ps.gz2008-09-02 12:38 273K 
[ ]Retrench.Mondex.Seq.pdf2005-04-28 18:33 125K 
[CMP]Retrench.Mondex.Seq.ps.gz2005-04-28 18:33 51K 
[ ]Retrench.Mondex.Short.pdf2005-01-28 14:36 61K 
[CMP]Retrench.Mondex.Short.ps.gz2005-01-28 14:24 25K 
[ ]Retrench.Partial.Req.pdf2003-04-03 10:24 197K 
[CMP]Retrench.Partial.Req.ps.gz2003-04-03 10:24 211K 
[CMP]Retrench.Prom.Z.pdf2008-01-18 16:37 147K 
[ ]Retrench.Prom.Z.ps.gz2008-01-18 16:37 68K 
[ ]Retrench.Props.pdf2006-06-19 11:15 381K 
[CMP]Retrench.Props.ps.gz2005-12-08 13:55 270K 
[ ]Retrench.Punct.Sim.pdf2001-12-04 21:07 100K 
[CMP]Retrench.Punct.Sim.ps.gz2000-01-11 15:38 60K 
[ ]Retrench.Reconcile.1.pdf2004-06-03 13:47 147K 
[CMP]Retrench.Reconcile.1.ps.gz2004-06-03 13:47 370K 
[ ]Retrench.Reconcile.2.pdf2004-04-23 15:51 165K 
[CMP]Retrench.Reconcile.2.ps.gz2004-04-23 15:51 297K 
[ ]Retrench.Reconcile.pdf2003-10-16 13:02 207K 
[CMP]Retrench.Reconcile.ps.gz2003-10-16 13:02 399K 
[ ]Retrench.Ref.Sim.pdf2001-12-04 20:38 113K 
[CMP]Retrench.Ref.Sim.ps.gz2001-12-04 20:45 69K 
[ ]Retrench.Req.Val.Lift.pdf2004-01-29 12:29 134K 
[CMP]Retrench.Req.Val.Lift.ps.gz2004-01-29 09:34 86K 
[ ]Retrench.Safety.FT.pdf2004-05-06 10:00 226K 
[CMP]Retrench.Safety.FT.ps.gz2004-05-06 10:00 90K 
[ ]Retrench.Strng.Comp.FE.pdf2007-05-21 16:23 287K 
[CMP]Retrench.Strng.Comp.FE.ps.gz2007-05-21 16:23 653K 
[ ]Retrench.Strong.Comp.FULL.pdf2009-11-19 18:08 225K 
[CMP]Retrench.Strong.Comp.FULL.ps.gz2009-11-19 18:08 555K 
[ ]Retrench.Strong.Comp.pdf2009-11-19 18:09 158K 
[CMP]Retrench.Strong.Comp.ps.gz2009-11-19 18:09 423K 
[ ]Retrench.Struct.Decom.pdf2003-06-13 15:53 195K 
[CMP]Retrench.Struct.Decom.ps.gz2003-06-13 14:58 176K 
[ ]Retrench.Struct.Small.pdf2002-11-25 10:32 192K 
[CMP]Retrench.Struct.Small.ps.gz2002-11-25 10:31 175K 
[ ]Retrench.Tower.pdf2013-12-11 18:46 284K 
[CMP]Retrench.Tower.ps.gz2013-12-11 18:46 584K 
[ ]Retrench.UCWDev.EvB.pdf2008-05-12 10:28 117K 
[CMP]Retrench.UCWDev.EvB.ps.gz2008-05-12 10:28 118K 
[ ]Retrench.Underpin.pdf2007-05-17 09:52 241K 
[CMP]Retrench.Underpin.ps.gz2007-05-17 09:52 562K 
[ ]Retrench.pdf2001-12-04 21:11 87K 
[CMP]Retrench.ps.gz1999-06-18 14:50 9.6K 
[ ]SafeNFTMart.pdf2023-10-17 14:15 825K 
[CMP]SafeNFTMart.ps.gz2023-10-17 14:15 697K 
[ ]Sensors-2019-04350.pdf2019-10-09 11:14 6.4M 
[ ]SeqParHlth4CPS.pdf2016-12-20 15:00 197K 
[CMP]SeqParHlth4CPS.ps.gz2016-12-20 15:01 240K 
[ ]Sharp.Retrench.pdf2001-12-04 20:05 226K 
[CMP]Sharp.Retrench.ps.gz1999-12-07 10:07 143K 
[ ]Simon.Fraser.PhD.Thesis.pdf2008-09-11 11:31 2.6M 
[ ]Simple.Type.Inf.TGRS.pdf2001-12-06 21:11 71K 
[CMP]Simple.Type.Inf.TGRS.ps.gz1998-04-30 14:12 71K 
[ ]Study.IN.MONSTR.pdf2001-12-06 21:08 1.2M 
[CMP]Study.IN.MONSTR.ps.gz1998-04-30 14:12 190K 
[ ]TGR.Spec.Imp.FWork.COOL.pdf2001-12-06 21:05 62K 
[CMP]TGR.Spec.Imp.FWork.COOL.ps.gz1998-04-30 14:12 36K 
[ ]Tran.CPS.SpaceEx.pdf2022-09-21 20:43 337K 
[CMP]Tran.CPS.SpaceEx.ps.gz2022-09-21 20:43 1.0M 
[ ]TranVerCPSSpaceX.pdf2023-07-11 14:32 1.7M 
[CMP]TranVerCPSSpaceX.ps.gz2023-07-11 14:32 22M 
[ ]Trans.TGR.pdf2001-12-06 21:13 44K 
[CMP]Trans.TGR.ps.gz1998-04-30 14:12 28K 
[ ]VerSmCont.pdf2019-02-12 18:03 285K 
[CMP]VerSmCont.ps.gz2019-02-12 18:03 294K 
[ ]rec.ret.ref.1.prf.pdf2004-06-03 13:47 275K 
[CMP]rec.ret.ref.1.prf.ps.gz2004-06-03 13:47 375K 
[ ]rec.ret.ref.2.prf.pdf2004-06-03 13:47 313K 
[CMP]rec.ret.ref.2.prf.ps.gz2004-06-03 13:47 406K