@comment{degas.bib: Publications from the Edinburgh site} @InProceedings{pepanets, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA} nets: A structured performance modelling formalism}, booktitle = {Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation}, year = 2002, editor = {A.J.~Field and P.G.~Harrison}, address = {London, UK}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 2324, pages = {111--130}, month = apr, postscript = {http://www.dcs.ed.ac.uk/home/stg/pepa/pepanets.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/pepa/pepanets.pdf} } @InProceedings{PerformanceUML, author = {C. Canevet and S. Gilmore and J. Hillston and P. Stevens}, title = {Performance modelling with {UML} and stochastic process algebras}, booktitle = {Proceedings of the Eighteenth Annual UK Performance Engineering Workshop}, month = jul, year = 2002, postscript = {http://www.dcs.ed.ac.uk/home/stg/UKPEW02/main.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/UKPEW02/main.pdf} } @Unpublished{PEPAnetsStochasticPi, author = {L. Brodo and S. Gilmore and J. Hillston and C. Priami}, title = {A stochastic pi-calculus semantics for {PEPA} nets}, note = {Working draft in preparation}, month = may, year = 2002, postscript = {http://www.dcs.ed.ac.uk/home/stg/pepanets/semantics/main.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/pepanets/semantics/main.pdf} } @Unpublished{PEPAnetsEOS, author = {S. Gilmore and J. Hillston}, title = {An enhanced operational semantics for {PEPA} nets}, note = {Working draft}, month = may, year = 2002, postscript = {http://www.dcs.ed.ac.uk/home/stg/pepanets/enhanced/main.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/pepanets/enhanced/main.pdf} } @Unpublished{PEPAnetsJamboreeSlides, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA} nets: A dynamic stochastic modelling formalism}, note = {Slides from the Informatics Jamboree talk}, month = may, year = 2002, postscript = {http://www.dcs.ed.ac.uk/home/stg/DEGAS/jamboree/slides.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/DEGAS/jamboree/slides.pdf} } @Unpublished{BrodoPEPAnetsStochasticPiSlides, author = {L. Brodo and S. Gilmore and J. Hillston and C. Priami}, title = {Translation and mobility}, note = {Slides from the PASTA workshop talk, Edinburgh}, month = jun, year = 2002, postscript = {http://www.dcs.ed.ac.uk/home/stg/PASTA/slides/PASTA_Brodo.ps} } @Unpublished{GilmoreSoftwarePerformanceDesignEnvironmentsSlides, author = {C. Canevet and S. Gilmore and J. Hillston and P. Stevens}, title = {Software performance design environments}, note = {Slides from the PASTA workshop talk, Edinburgh}, month = jun, year = 2002, pdf = {http://www.dcs.ed.ac.uk/home/stg/PASTA/slides/PASTA_Gilmore.pdf} } @Article{PerformanceUMLjournal, author = {C. Canevet and S. Gilmore and J. Hillston and M. Prowse and P. Stevens}, title = {Performance modelling with {UML} and stochastic process algebras}, journal = {IEE Proceedings: Computers and Digital Techniques}, year = 2003, volume = 150, number = 2, pages = {107--120}, month = mar, postscript = {http://homepages.inf.ed.ac.uk/stg/UKPEW02/JOURNAL/main.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/UKPEW02/JOURNAL/main.pdf} } @Article{pepanetsJournal, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {{PEPA} nets: A structured performance modelling formalism}, journal = {Performance Evaluation}, year = 2003, volume = 54, pages = {79--104}, postscript = {http://www.dcs.ed.ac.uk/home/stg/pcpn/PE/main.ps}, pdf = {http://www.dcs.ed.ac.uk/home/stg/pcpn/PE/main.pdf} } @Article{stevens03:ase, author = {Perdita Stevens}, title = {Small-scale {XMI} programming: a revolution in {UML} tool use?}, journal = {Journal of Automated Software Engineering}, year = 2003, volume = 10, number = 1, pages = {7--21}, month = jan, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/smallscale.pdf} } @Manual{CanevetProwseJavaDocumentation, title = {Documentation for the Java Extractor and Reflector}, author = {C. Canevet and S. Gilmore and M. Prowse}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = nov, year = 2002, postscript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/javaextractor.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/javaextractor.pdf} } @Manual{CanevetProwsePythonDocumentation, title = {Documentation for the Python Extractor and Reflector}, author = {C. Canevet and M. Prowse}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = sep, year = 2002, postscript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pythonextractor.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pythonextractor.pdf} } @Misc{CanevetProwsePythonSoftware, author = {C. Canevet and M. Prowse}, title = {Python Extractor and Reflector software}, howpublished = {Zipped archive of computer programs in the Python scripting language}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = sep, year = 2002, url = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/software/python_extractor.zip} } @Misc{PEPAdocumentation, author = {S. Gilmore}, title = {Screenshots, graphics and images from the {Edinburgh DEGAS} papers}, howpublished = {Web page archive of images in GIF, PNG and PostScript format}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = nov, year = 2002, url = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/images/pepa/} } @Misc{PRISMreflector, author = {S. Gilmore}, title = {A Reflector for the {PRISM} Probabilistic Model Checker}, howpublished = {Documentation on DEGAS project software}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = nov, year = 2002, postscript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/prismreflector.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/prismreflector.pdf} } @Misc{PRISMreflectorSoftware, author = {S. Gilmore}, title = {{PRISM} Reflector software}, howpublished = {Zipped archive of computer programs in the Standard ML programming language}, organization = {Laboratory for Foundations of Computer Science}, address = {The University of Edinburgh}, month = nov, year = 2002, url = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/software/prism_reflector.zip} } @Misc{GilmoreKloul, author = {S. Gilmore and L. Kloul}, title = {A unified approach to performance modelling and verification}, note = {Paper presented at Dagstuhl seminar on ``Probabilistic Methods in Verification and Planning''}, month = may, year = 2003, postscript = {ftp://ftp.dagstuhl.de/pub/Proceedings/03/03201/03201.GilmoreStephen.Paper.ps.gz} } @Misc{GilmoreKloulSlides, author = {S. Gilmore and L. Kloul}, title = {A unified approach to performance modelling and verification}, note = {Slides from the invited presentation at the Dagstuhl seminar on ``Probabilistic Methods in Verification and Planning''}, month = may, year = 2003, pdf = {ftp://ftp.dagstuhl.de/pub/Proceedings/03/03201/03201.GilmoreStephen.Slides.pdf} } @InProceedings{CompositionalCSL, author = {P. Ballarini and J. Hillston}, title = {Compositional {CSL} model checking for {Boucherie} product processes}, booktitle = {Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti)}, month = jun, year = 2003, pages = {9--22}, PostScript = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/proceedings/2003/ballarini.ps} } @InProceedings{PEPAnetsPRISM, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {Performance modelling with {PEPA} nets and {PRISM}}, booktitle = {Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti)}, month = jun, year = 2003, pages = {23--39}, PostScript = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/proceedings/2003/ribaudo.ps} } @Misc{PEPAnetsPRISMslides, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {Performance modelling with {PEPA} nets and {PRISM}}, howpublished = {Slides to accompany the paper at the PASTA workshop in Edinburgh}, month = jun, year = 2003, pdf = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/slides/2003/ribaudo.pdf} } @InProceedings{PEPAtools, author = {S. Gilmore and J. Hillston}, title = {A survey of the {PEPA} tools}, booktitle = {Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti)}, month = jun, year = 2003, pages = {40--49}, PostScript = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/proceedings/2003/gilmore.ps} } @Misc{PEPAtoolsSlides, author = {S. Gilmore and J. Hillston}, title = {A survey of the {PEPA} tools}, howpublished = {Slides to accompany the paper at the PASTA workshop in Edinburgh}, month = jun, year = 2003, pdf = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/slides/2003/gilmore.pdf} } @Misc{PEPAnetsStochasticCCSslides, author = {L. Brodo and S. Gilmore and J. Hillston and C. Priami}, title = {Mapping coloured stochastic {Petri} nets to stochastic process algebras}, howpublished = {Slides to accompany the ICALP Workshop on Stochastic Petri nets in Eindhoven}, month = jun, year = 2003, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/talks/EINDHOVEN/slides.pdf} } @InProceedings{PEPAnetsStochasticCCS, author = {L. Brodo and S. Gilmore and J. Hillston and C. Priami}, title = {Mapping coloured stochastic {Petri} nets to stochastic process algebras}, booktitle = {On-site proceedings of the ICALP Workshop on Stochastic Petri Nets and Related Formalisms}, pages = {47--66}, year = 2003, editor = {P. Kemper}, address = {Eindhoven, Holland}, publisher = {University of Dortmund Research Report number 780}, PostScript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/ccspepanets.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/ccspepanets.pdf} } @Misc{PEPAintermediateLanguageInvitedTalk, author = {J. Hillston}, title = {Searching for middle ground with {PEPA}}, howpublished = {Slides to accompany an invited talk at the ICALP Workshop on Stochastic Petri nets in Eindhoven}, month = jun, year = 2003, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/talks/EINDHOVEN/invited-slides.pdf} } @InProceedings{unifiedtool, author = {S. Gilmore and L. Kloul}, title = {A unified tool for performance modelling and predicition}, booktitle = {Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03)}, pages = {179--192}, year = 2003, volume = 2788, series = {LNCS}, address = {Edinburgh, Scotland}, month = sep, publisher = {Springer-Verlag}, PostScript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/unifiedtool.ps} } @Unpublished{unifiedtool-SLIDES, author = {S. Gilmore and L. Kloul}, title = {A unified tool for performance modelling and predicition: Slides from the conference presentation}, note = {Presentation at the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03)}, year = 2003, address = {Edinburgh, Scotland}, month = sep, pdf = {http://homepages.inf.ed.ac.uk/stg/papers/UPP/SLIDES/SAFECOMP/slides.pdf} } @Unpublished{performanceglobal, author = {L. Brodo and P. Degano and S. Gilmore and J. Hillston and C. Priami}, title = {Performance evaluation for global computation}, note = {Submitted for publication in the proceedings of the Rovereto meeting of the Global Computing Initiative}, month = may, year = 2003, PostScript = {http://homepages.inf.ed.ac.uk/stg/papers/GLOBAL/main.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/papers/GLOBAL/main.pdf} } @Unpublished{drawnet, author = {S. Gilmore and M. Gribaudo}, title = {Graphical modelling of process algebras with {DrawNET}}, note = {To appear in the proceedings of the tools appendix of the proceedings of the 2003 Illinois international multiconference on Measurement, Modelling and Evaluation of Computer-Communication systems}, month = sep, year = 2003, PostScript = {http://homepages.inf.ed.ac.uk/stg/papers/DRAWNET/main.ps}, pdf = {http://homepages.inf.ed.ac.uk/stg/papers/DRAWNET/main.pdf} } @Manual{Tabasco, title = {User Guide for the {Java Edition of the PEPA Workbench}---{T}abasco release}, author = {N.V. Haenel}, organization = {LFCS, Edinburgh}, month = oct, year = 2003, PostScript = {http://homepages.inf.ed.ac.uk/s9905941/manual.ps}, pdf = {http://homepages.inf.ed.ac.uk/s9905941/manual.pdf} } @InProceedings{activitypepanetsWOSP, author = {C. Canevet and S. Gilmore and J. Hillston and L. Kloul and P. Stevens}, title = {Analysing {UML} 2.0 activity diagrams in the software performance engineering process}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {74--78}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, PostScript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/activitypepanetsWOSP.ps} } @Unpublished{activitypepanets, author = {C. Canevet and S. Gilmore and J. Hillston and L. Kloul and P. Stevens}, title = {Analysing {UML} 2.0 activity diagrams in the software performance engineering process (Long version)}, note = {Submitted for publication}, month = aug, year = 2003, PostScript = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/activitypepanets.ps} } @Misc{tao, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {The {T}ao of {PEPA} nets}, howpublished = {Slides from an invited seminar at Imperial College, London}, month = aug, year = 2003, url = {http://homepages.inf.ed.ac.uk/stg/talks/TAO/}, pdf = {http://homepages.inf.ed.ac.uk/stg/talks/TAO/slides.pdf} } @inProceedings{pepanetsprismwosp, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {Software performance modelling using {PEPA} nets}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {13--24}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pepanetsprism.pdf} } @InProceedings{pepanetsmobility, author = {J. Hillston and M. Ribaudo}, title = {Modelling Mobility with {PEPA} Nets}, booktitle = {Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004)}, pages = {513--522}, year = 2004, volume = 3280, series = {LNCS}, address = {Kemer-Antalya, Turkey}, month = oct, publisher = {Springer-Verlag}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pepanetsmobility.pdf} } @InProceedings{omnyspepanets, author = {S. Gilmore and L. Kloul and D. Piazza}, title = {Modelling Role-Playing Games using {PEPA} Nets}, booktitle = {Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004)}, pages = {523-532}, year = 2004, volume = 3280, series = {LNCS}, address = {Kemer-Antalya, Turkey}, month = oct, publisher = {Springer-Verlag}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/omnyspepanets.pdf} } @InProceedings{choreographer, author = {S. Gilmore and V. Haenel and L. Kloul and M. Maidl}, title = {Choreographing security and performance analysis}, booktitle = {Proceedings of the Fifth International Workshop on Software and Performance (WoSP 2005)}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {2005}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, month = jul, OPTorganization = {}, publisher = {ACM Press}, note = {Submitted for consideration}, OPTannote = {} } @InProceedings{endtoend, author = {M. Buchholtz and S. Gilmore and V. Haenel and C. Montangero}, title = {End-to-end integrated security and performance analysis on the {DEGAS} Choreographer platform}, booktitle = {Proceedings of the 27th International Conferernce on Software Engineering (ICSE 2005)}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {2005}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, address = {ST. Louis, Missouiri}, month = may, OPTorganization = {}, publisher = {IEEE Press}, note = {Submitted for consideration}, OPTannote = {} } @comment{degas.bib: end of file}