BibTeX records: Perdita Stevens

download as .bib file

@inproceedings{DBLP:conf/isola/Stevens22,
  author       = {Perdita Stevens},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Models as Documents, Documents as Models},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
                  Greece, October 22-30, 2022, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13702},
  pages        = {28--34},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19756-7\_3},
  doi          = {10.1007/978-3-031-19756-7\_3},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Stevens22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Stevens21,
  author       = {Perdita Stevens},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {The Future of Programming andModelling: {A} Vision},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation
                  - 10th International Symposium on Leveraging Applications of Formal
                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13036},
  pages        = {357--377},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89159-6\_23},
  doi          = {10.1007/978-3-030-89159-6\_23},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Stevens21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Stevens20,
  author       = {Perdita Stevens},
  title        = {Maintaining consistency in networks of models: bidirectional transformations
                  in the large},
  journal      = {Softw. Syst. Model.},
  volume       = {19},
  number       = {1},
  pages        = {39--65},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10270-019-00736-x},
  doi          = {10.1007/S10270-019-00736-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Stevens20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Stevens20a,
  author       = {Perdita Stevens},
  title        = {Connecting software build with maintaining consistency between models:
                  towards sound, optimal, and flexible building from megamodels},
  journal      = {Softw. Syst. Model.},
  volume       = {19},
  number       = {4},
  pages        = {935--958},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10270-020-00788-4},
  doi          = {10.1007/S10270-020-00788-4},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Stevens20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/GogollaS18,
  author       = {Martin Gogolla and
                  Perdita Stevens},
  title        = {Teaching modeling in computer science as an ecosystem: a provocative
                  analogy},
  journal      = {Comput. Sci. Educ.},
  volume       = {28},
  number       = {1},
  pages        = {5--22},
  year         = {2018},
  url          = {https://doi.org/10.1080/08993408.2018.1463634},
  doi          = {10.1080/08993408.2018.1463634},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csedu/GogollaS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DenneySW18,
  author       = {Ewen Denney and
                  Perdita Stevens and
                  Andrzej Wasowski},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {30},
  number       = {1},
  pages        = {1},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00165-017-0448-9},
  doi          = {10.1007/S00165-017-0448-9},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/DenneySW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HofmannACSS18,
  author       = {Martin Hofmann and
                  David Aspinall and
                  Brian Campbell and
                  Ian Stark and
                  Perdita Stevens},
  title        = {Foreword},
  journal      = {Theor. Comput. Sci.},
  volume       = {741},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.06.032},
  doi          = {10.1016/J.TCS.2018.06.032},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HofmannACSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/Stevens18,
  author       = {Perdita Stevens},
  editor       = {Alfonso Pierantonio and
                  Salvador Trujillo},
  title        = {Is Bidirectionality Important?},
  booktitle    = {Modelling Foundations and Applications - 14th European Conference,
                  ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10890},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92997-2\_1},
  doi          = {10.1007/978-3-319-92997-2\_1},
  timestamp    = {Fri, 20 Nov 2020 13:15:21 +0100},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/Stevens18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Stevens18a,
  author       = {Perdita Stevens},
  editor       = {{\"{O}}nder Babur and
                  Daniel Str{\"{u}}ber and
                  Silvia Abrah{\~{a}}o and
                  Loli Burgue{\~{n}}o and
                  Martin Gogolla and
                  Joel Greenyer and
                  Sahar Kokaly and
                  Dimitris S. Kolovos and
                  Tanja Mayerhofer and
                  Mansooreh Zahedi},
  title        = {Teaching and learning about abstraction},
  booktitle    = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
                  Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
                  2018, Copenhagen, Denmark, October 14-19, 2018},
  pages        = {143},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3270112.3270138},
  doi          = {10.1145/3270112.3270138},
  timestamp    = {Wed, 23 Feb 2022 12:16:51 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Stevens18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Stevens18,
  author       = {Perdita Stevens},
  editor       = {Andrzej Wasowski and
                  Richard F. Paige and
                  {\O}ystein Haugen},
  title        = {Towards sound, optimal, and flexible building from megamodels},
  booktitle    = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
                  Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
                  Denmark, October 14-19, 2018},
  pages        = {301--311},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3239372.3239378},
  doi          = {10.1145/3239372.3239378},
  timestamp    = {Wed, 21 Nov 2018 12:44:12 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Stevens18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/JohnsonS18,
  author       = {Michael Johnson and
                  Perdita Stevens},
  editor       = {Stefan Marr and
                  Jennifer B. Sartor},
  title        = {Confidentiality in the process of (model-driven) software development},
  booktitle    = {Conference Companion of the 2nd International Conference on Art, Science,
                  and Engineering of Programming, Nice, France, April 09-12, 2018},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191697.3191714},
  doi          = {10.1145/3191697.3191714},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programming/JohnsonS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2016bt,
  editor       = {Jeremy Gibbons and
                  Perdita Stevens},
  title        = {Bidirectional Transformations - International Summer School, Oxford,
                  UK, July 25-29, 2016, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9715},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-79108-1},
  doi          = {10.1007/978-3-319-79108-1},
  isbn         = {978-3-319-79107-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/2016bt.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CleveKSZ18,
  author       = {Anthony Cleve and
                  Ekkart Kindler and
                  Perdita Stevens and
                  Vadim Zaytsev},
  title        = {Multidirectional Transformations and Synchronisations (Dagstuhl Seminar
                  18491)},
  journal      = {Dagstuhl Reports},
  volume       = {8},
  number       = {12},
  pages        = {1--48},
  year         = {2018},
  url          = {https://doi.org/10.4230/DagRep.8.12.1},
  doi          = {10.4230/DAGREP.8.12.1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CleveKSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/CheneyGMS17,
  author       = {James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  title        = {On principles of Least Change and Least Surprise for bidirectional
                  transformations},
  journal      = {J. Object Technol.},
  volume       = {16},
  number       = {1},
  pages        = {3:1--31},
  year         = {2017},
  url          = {https://doi.org/10.5381/jot.2017.16.1.a3},
  doi          = {10.5381/JOT.2017.16.1.A3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/CheneyGMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/StevensG17,
  author       = {Perdita Stevens and
                  Jeremy Gibbons},
  editor       = {Romina Eramo and
                  Michael Johnson},
  title        = {On Ontologology},
  booktitle    = {Proceedings of the 6th International Workshop on Bidirectional Transformations
                  co-located with The European Joint Conferences on Theory and Practice
                  of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1827},
  pages        = {54--58},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1827/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/StevensG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Stevens17,
  author       = {Perdita Stevens},
  title        = {Bidirectional Transformations in the Large},
  booktitle    = {20th {ACM/IEEE} International Conference on Model Driven Engineering
                  Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
                  2017},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/MODELS.2017.8},
  doi          = {10.1109/MODELS.2017.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Stevens17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Abou-SalehCGMS16,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Jeremy Gibbons and
                  Perdita Stevens},
  title        = {Introduction to Bidirectional Transformations},
  booktitle    = {Bidirectional Transformations - International Summer School, Oxford,
                  UK, July 25-29, 2016, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9715},
  pages        = {1--28},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-79108-1\_1},
  doi          = {10.1007/978-3-319-79108-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Abou-SalehCGMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abou-SalehCGMS16,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Sam Lindley and
                  Conor McBride and
                  Philip W. Trinder and
                  Donald Sannella},
  title        = {Reflections on Monadic Lenses},
  booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to
                  Philip Wadler on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9600},
  pages        = {1--31},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30936-1\_1},
  doi          = {10.1007/978-3-319-30936-1\_1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Abou-SalehCGMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/McKinnaS16,
  author       = {James McKinna and
                  Perdita Stevens},
  editor       = {Anthony Anjorin and
                  Jeremy Gibbons},
  title        = {How to Regain Equilibrium without Losing your Balance? Scenarios for
                  Bx Deployment (Discussion Paper)},
  booktitle    = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
                  Bx 2016, co-located with The European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 8, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1571},
  pages        = {32--34},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1571/paper\_12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/McKinnaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
  editor       = {Perdita Stevens and
                  Andrzej Wasowski},
  title        = {Fundamental Approaches to Software Engineering - 19th International
                  Conference, {FASE} 2016, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9633},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49665-7},
  doi          = {10.1007/978-3-662-49665-7},
  isbn         = {978-3-662-49664-0},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS16,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  title        = {Reflections on Monadic Lenses},
  journal      = {CoRR},
  volume       = {abs/1601.02484},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.02484},
  eprinttype    = {arXiv},
  eprint       = {1601.02484},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KazmeierS15,
  author       = {J{\"{u}}rgen Kazmeier and
                  Perdita Stevens},
  title        = {Guest editorial to the special section on {MODELS} 2012},
  journal      = {Softw. Syst. Model.},
  volume       = {14},
  number       = {4},
  pages        = {1321--1322},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10270-014-0418-0},
  doi          = {10.1007/S10270-014-0418-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KazmeierS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Notions of Bidirectional Computation and Entangled State Monads},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {187--214},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_9},
  doi          = {10.1007/978-3-319-19797-5\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CheneyGMS15,
  author       = {James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Alcino Cunha and
                  Ekkart Kindler},
  title        = {Towards a Principle of Least Surprise for Bidirectional Transformations},
  booktitle    = {Proceedings of the 4th International Workshop on Bidirectional Transformations
                  co-located with Software Technologies: Applications and Foundations,
                  {STAF} 2015, L'Aquila, Italy, July 24, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1396},
  pages        = {66--80},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1396/p66-cheney.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/CheneyGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/AnjorinLKSS15,
  author       = {Anthony Anjorin and
                  Erhan Leblebici and
                  Roland Kluge and
                  Andy Sch{\"{u}}rr and
                  Perdita Stevens},
  editor       = {Alcino Cunha and
                  Ekkart Kindler},
  title        = {A Systematic Approach and Guidelines to Developing a Triple Graph
                  Grammar},
  booktitle    = {Proceedings of the 4th International Workshop on Bidirectional Transformations
                  co-located with Software Technologies: Applications and Foundations,
                  {STAF} 2015, L'Aquila, Italy, July 24, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1396},
  pages        = {81--95},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1396/p81-anjorin.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/AnjorinLKSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS15,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  title        = {Notions of bidirectional computation and entangled state monads},
  journal      = {CoRR},
  volume       = {abs/1505.02579},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.02579},
  eprinttype    = {arXiv},
  eprint       = {1505.02579},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSG14,
  author       = {James Cheney and
                  James McKinna and
                  Perdita Stevens and
                  Jeremy Gibbons},
  editor       = {K. Sel{\c{c}}uk Candan and
                  Sihem Amer{-}Yahia and
                  Nicole Schweikardt and
                  Vassilis Christophides and
                  Vincent Leroy},
  title        = {Towards a Repository of Bx Examples},
  booktitle    = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
                  {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1133},
  pages        = {87--91},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1133/paper-14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/edbt/CheneyMSG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSGA14,
  author       = {James Cheney and
                  James McKinna and
                  Perdita Stevens and
                  Jeremy Gibbons and
                  Faris Abou{-}Saleh},
  editor       = {K. Sel{\c{c}}uk Candan and
                  Sihem Amer{-}Yahia and
                  Nicole Schweikardt and
                  Vassilis Christophides and
                  Vincent Leroy},
  title        = {Entangled State Monads},
  booktitle    = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
                  {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1133},
  pages        = {108--111},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1133/paper-17.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edbt/CheneyMSGA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Stevens14,
  author       = {Perdita Stevens},
  editor       = {Stefania Gnesi and
                  Arend Rensink},
  title        = {Bidirectionally Tolerating Inconsistency: Partial Transformations},
  booktitle    = {Fundamental Approaches to Software Engineering - 17th International
                  Conference, {FASE} 2014, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
                  April 5-13, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8411},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54804-8\_3},
  doi          = {10.1007/978-3-642-54804-8\_3},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Stevens14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013edusym,
  editor       = {Timothy C. Lethbridge and
                  Perdita Stevens},
  title        = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE}
                  16th International Conference on Model Driven Engineering Languages
                  and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1134},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1134},
  urn          = {urn:nbn:de:0074-1134-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2013edusym.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/StevensT13,
  author       = {Perdita Stevens and
                  James F. Terwilliger},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {57},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.57.876.867},
  doi          = {10.14279/TUJ.ECEASST.57.876.867},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/StevensT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Stevens13,
  author       = {Perdita Stevens},
  title        = {A simple game-theoretic approach to checkonly {QVT} Relations},
  journal      = {Softw. Syst. Model.},
  volume       = {12},
  number       = {1},
  pages        = {175--199},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10270-011-0198-8},
  doi          = {10.1007/S10270-011-0198-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Stevens13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldS13,
  author       = {Julian C. Bradfield and
                  Perdita Stevens},
  editor       = {Vittorio Cortellessa and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Enforcing {QVT-R} with mu-Calculus and Games},
  booktitle    = {Fundamental Approaches to Software Engineering - 16th International
                  Conference, {FASE} 2013, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
                  16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7793},
  pages        = {282--296},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37057-1\_21},
  doi          = {10.1007/978-3-642-37057-1\_21},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BradfieldS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AkayamaDLSSS13,
  author       = {Seiko Akayama and
                  Birgit Demuth and
                  Timothy C. Lethbridge and
                  Marion Scholz and
                  Perdita Stevens and
                  Dave R. Stikkolorum},
  editor       = {Timothy C. Lethbridge and
                  Perdita Stevens},
  title        = {Tool Use in Software Modelling Education},
  booktitle    = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE}
                  16th International Conference on Model Driven Engineering Languages
                  and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1134},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1134/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AkayamaDLSSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Stevens12,
  author       = {Perdita Stevens},
  title        = {Observations relating to the equivalences induced on model sets by
                  bidirectional transformations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {49},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.49.714},
  doi          = {10.14279/TUJ.ECEASST.49.714},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Stevens12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldS12,
  author       = {Julian C. Bradfield and
                  Perdita Stevens},
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {Recursive Checkonly {QVT-R} Transformations with General when and
                  where Clauses via the Modal Mu Calculus},
  booktitle    = {Fundamental Approaches to Software Engineering - 15th International
                  Conference, {FASE} 2012, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
                  March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7212},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2\_14},
  doi          = {10.1007/978-3-642-28872-2\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BradfieldS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/HuSST11,
  author       = {Zhenjiang Hu and
                  Andy Sch{\"{u}}rr and
                  Perdita Stevens and
                  James F. Terwilliger},
  title        = {Dagstuhl seminar on bidirectional transformations {(BX)}},
  journal      = {{SIGMOD} Rec.},
  volume       = {40},
  number       = {1},
  pages        = {35--39},
  year         = {2011},
  url          = {https://doi.org/10.1145/2007206.2007217},
  doi          = {10.1145/2007206.2007217},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/HuSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HuSST11,
  author       = {Zhenjiang Hu and
                  Andy Sch{\"{u}}rr and
                  Perdita Stevens and
                  James F. Terwilliger},
  title        = {Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)},
  journal      = {Dagstuhl Reports},
  volume       = {1},
  number       = {1},
  pages        = {42--67},
  year         = {2011},
  url          = {https://doi.org/10.4230/DagRep.1.1.42},
  doi          = {10.4230/DAGREP.1.1.42},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HuSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Stevens10,
  author       = {Perdita Stevens},
  title        = {Bidirectional model transformations in {QVT:} semantic issues and
                  open questions},
  journal      = {Softw. Syst. Model.},
  volume       = {9},
  number       = {1},
  pages        = {7--20},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10270-008-0109-9},
  doi          = {10.1007/S10270-008-0109-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Stevens10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Stevens09,
  author       = {Perdita Stevens},
  editor       = {Richard F. Paige},
  title        = {A Simple Game-Theoretic Approach to Checkonly {QVT} Relations},
  booktitle    = {Theory and Practice of Model Transformations - 2nd International Conference,
                  ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5563},
  pages        = {165--180},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02408-5\_12},
  doi          = {10.1007/978-3-642-02408-5\_12},
  timestamp    = {Wed, 24 Jun 2020 13:02:21 +0200},
  biburl       = {https://dblp.org/rec/conf/icmt/Stevens09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Stevens08,
  author       = {Perdita Stevens},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Towards an Algebraic Theory of Bidirectional Transformations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_1},
  doi          = {10.1007/978-3-540-87405-8\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Stevens08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/TenzerS07,
  author       = {Jennifer Tenzer and
                  Perdita Stevens},
  title        = {{GUIDE:} Games with {UML} for interactive design exploration},
  journal      = {Knowl. Based Syst.},
  volume       = {20},
  number       = {7},
  pages        = {652--670},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.knosys.2007.05.005},
  doi          = {10.1016/J.KNOSYS.2007.05.005},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/TenzerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/Stevens07,
  author       = {Perdita Stevens},
  editor       = {Ralf L{\"{a}}mmel and
                  Joost Visser and
                  Jo{\~{a}}o Saraiva},
  title        = {A Landscape of Bidirectional Model Transformations},
  booktitle    = {Generative and Transformational Techniques in Software Engineering
                  II, International Summer School, {GTTSE} 2007, Braga, Portugal, July
                  2-7, 2007. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5235},
  pages        = {408--424},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-88643-3\_10},
  doi          = {10.1007/978-3-540-88643-3\_10},
  timestamp    = {Sun, 26 Apr 2020 17:09:18 +0200},
  biburl       = {https://dblp.org/rec/conf/gttse/Stevens07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Stevens07,
  author       = {Perdita Stevens},
  editor       = {Gregor Engels and
                  Bill Opdyke and
                  Douglas C. Schmidt and
                  Frank Weil},
  title        = {Bidirectional Model Transformations in {QVT:} Semantic Issues and
                  Open Questions},
  booktitle    = {Model Driven Engineering Languages and Systems, 10th International
                  Conference, MoDELS 2007, Nashville, USA, September 30 - October 5,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4735},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75209-7\_1},
  doi          = {10.1007/978-3-540-75209-7\_1},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/models/Stevens07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6351,
  editor       = {Ed Brinksma and
                  David Harel and
                  Angelika Mader and
                  Perdita Stevens and
                  Roel J. Wieringa},
  title        = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06351},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/portals/06351/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2006P6351.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0016253,
  author       = {Perdita Stevens and
                  Rob Pooley},
  title        = {Using {UML} - software engineering with objects and components, Second
                  Edition},
  series       = {Addison Wesley object technology series},
  publisher    = {Addison-Wesley},
  year         = {2006},
  isbn         = {978-0-321-26967-6},
  timestamp    = {Wed, 25 Mar 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0016253.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TenzerS06,
  author       = {Jennifer Tenzer and
                  Perdita Stevens},
  title        = {On modelling recursive calls and callbacks with two variants of Unified
                  Modelling Language state diagrams},
  journal      = {Formal Aspects Comput.},
  volume       = {18},
  number       = {4},
  pages        = {397--420},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00165-006-0003-6},
  doi          = {10.1007/S00165-006-0003-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/TenzerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06,
  author       = {Ed Brinksma and
                  David Harel and
                  Angelika Mader and
                  Perdita Stevens and
                  Roel J. Wieringa},
  editor       = {Ed Brinksma and
                  David Harel and
                  Angelika Mader and
                  Perdita Stevens and
                  Roel J. Wieringa},
  title        = {06351 Summary -- Methods for Modelling Software Systems {(MMOSS)}},
  booktitle    = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06351},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/957},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06a,
  author       = {Ed Brinksma and
                  David Harel and
                  Angelika Mader and
                  Perdita Stevens and
                  Roel J. Wieringa},
  editor       = {Ed Brinksma and
                  David Harel and
                  Angelika Mader and
                  Perdita Stevens and
                  Roel J. Wieringa},
  title        = {06351 Abstracts Collection -- Methods for Modelling Software Systems
                  {(MMOSS)}},
  booktitle    = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06351},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/958},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/StevensW05,
  author       = {Perdita Stevens and
                  Jon Whittle},
  title        = {Guest editorial to the special issue on {UML2003}},
  journal      = {Softw. Syst. Model.},
  volume       = {4},
  number       = {4},
  pages        = {353--354},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10270-005-0086-1},
  doi          = {10.1007/S10270-005-0086-1},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/StevensW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LeuckerNSW05,
  author       = {Martin Leucker and
                  Thomas Noll and
                  Perdita Stevens and
                  Michael Weber},
  title        = {Functional programming languages for verification tools: a comparison
                  of Standard {ML} and Haskell},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {7},
  number       = {2},
  pages        = {184--194},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10009-004-0184-3},
  doi          = {10.1007/S10009-004-0184-3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LeuckerNSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Stevens05,
  author       = {Perdita Stevens},
  editor       = {Stephan Reiff{-}Marganiec and
                  Mark Ryan},
  title        = {A Practical Introduction to Games, Infinity and the Edinburgh Concurrency
                  Workbench},
  booktitle    = {Feature Interactions in Telecommunications and Software Systems VIII,
                  ICFI'05, 28-30 June 2005, Leicester, {UK}},
  pages        = {35--36},
  publisher    = {{IOS} Press},
  year         = {2005},
  timestamp    = {Mon, 06 Nov 2017 16:35:11 +0100},
  biburl       = {https://dblp.org/rec/conf/fiw/Stevens05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KatoenS04,
  author       = {Joost{-}Pieter Katoen and
                  Perdita Stevens},
  title        = {Guest editors' introduction: Advancements and extensions of verification
                  techniques},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {6},
  number       = {2},
  pages        = {99--101},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10009-004-0150-0},
  doi          = {10.1007/S10009-004-0150-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/KatoenS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/CanevetGHKS04,
  author       = {C. Canevet and
                  Stephen Gilmore and
                  Jane Hillston and
                  Le{\"{\i}}la Kloul and
                  Perdita Stevens},
  editor       = {Jozo J. Dujmovic and
                  Virg{\'{\i}}lio A. F. Almeida and
                  Doug Lea},
  title        = {Analysing {UML} 2.0 activity diagrams in the software performance
                  engineering process},
  booktitle    = {Proceedings of the Fourth International Workshop on Software and Performance,
                  {WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004},
  pages        = {74--78},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/974044.974055},
  doi          = {10.1145/974044.974055},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/CanevetGHKS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Stevens03,
  author       = {Perdita Stevens},
  title        = {Small-Scale {XMI} Programming: {A} Revolution in {UML} Tool Use?},
  journal      = {Autom. Softw. Eng.},
  volume       = {10},
  number       = {1},
  pages        = {7--21},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021860700141},
  doi          = {10.1023/A:1021860700141},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Stevens03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Stevens03,
  author       = {Perdita Stevens},
  editor       = {Egon B{\"{o}}rger and
                  Angelo Gargantini and
                  Elvinia Riccobene},
  title        = {{UML} and Concurrency},
  booktitle    = {Abstract State Machines, Advances in Theory and Practice, 10th International
                  Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2589},
  pages        = {151--165},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36498-6\_8},
  doi          = {10.1007/3-540-36498-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Stevens03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TenzerS03,
  author       = {Jennifer Tenzer and
                  Perdita Stevens},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {Modelling Recursive Calls with {UML} State Diagrams},
  booktitle    = {Fundamental Approaches to Software Engineering, 6th International
                  Conference, {FASE} 2003, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
                  April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2621},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36578-8\_10},
  doi          = {10.1007/3-540-36578-8\_10},
  timestamp    = {Sun, 02 Oct 2022 16:01:12 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/TenzerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BaumeisterKKSW03,
  author       = {Hubert Baumeister and
                  Nora Koch and
                  Piotr Kosiuczenko and
                  Perdita Stevens and
                  Martin Wirsing},
  editor       = {Corrado Priami},
  title        = {{UML} for Global Computing},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_1},
  doi          = {10.1007/978-3-540-40042-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/global/BaumeisterKKSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2003,
  editor       = {Elie Najm and
                  Uwe Nestmann and
                  Perdita Stevens},
  title        = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
                  {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
                  19.21, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2884},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b94120},
  doi          = {10.1007/B94120},
  isbn         = {3-540-20491-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2003,
  editor       = {Perdita Stevens and
                  Jon Whittle and
                  Grady Booch},
  title        = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
                  Modeling Languages and Applications, 6th International Conference,
                  San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2863},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b14063},
  doi          = {10.1007/B14063},
  isbn         = {3-540-20243-9},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DAdderioDLS02,
  author       = {Luciana D'Adderio and
                  Rick G. Dewar and
                  Ashley D. Lloyd and
                  Perdita Stevens},
  title        = {Has the pattern emperor any clothes?: a controversy in three acts},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {27},
  number       = {1},
  pages        = {31--35},
  year         = {2002},
  url          = {https://doi.org/10.1145/566493.1148026},
  doi          = {10.1145/566493.1148026},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DAdderioDLS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Stevens02,
  author       = {Perdita Stevens},
  title        = {On the interpretation of binary associations in the Unified Modelling
                  Language},
  journal      = {Softw. Syst. Model.},
  volume       = {1},
  number       = {1},
  pages        = {68--79},
  year         = {2002},
  url          = {https://doi.org/10.1007/s10270-002-0002-x},
  doi          = {10.1007/S10270-002-0002-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Stevens02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Stevens02,
  author       = {Perdita Stevens},
  title        = {Refinement in {Z} and object-Z: foundations and advanced applications},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {12},
  number       = {1},
  pages        = {61},
  year         = {2002},
  url          = {https://doi.org/10.1002/stvr.237},
  doi          = {10.1002/STVR.237},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Stevens02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Stevens02,
  author       = {Perdita Stevens},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Playing Games with Software Design},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {1},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_1},
  doi          = {10.1007/3-540-46000-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Stevens02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BradfieldFS02,
  author       = {Julian C. Bradfield and
                  Juliana K{\"{u}}ster Filipe and
                  Perdita Stevens},
  editor       = {Ralf{-}Detlef Kutsche and
                  Herbert Weber},
  title        = {Enriching {OCL} Using Observational Mu-Calculus},
  booktitle    = {Fundamental Approaches to Software Engineering, 5th International
                  Conference, {FASE} 2002, held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
                  April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2306},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45923-5\_14},
  doi          = {10.1007/3-540-45923-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BradfieldFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/StevensT02,
  author       = {Perdita Stevens and
                  Jennifer Tenzer},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Games for {UML} Software Design},
  booktitle    = {Formal Methods for Components and Objects, First International Symposium,
                  {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2852},
  pages        = {467--486},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-39656-7\_20},
  doi          = {10.1007/978-3-540-39656-7\_20},
  timestamp    = {Sun, 02 Jun 2019 21:14:42 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/StevensT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/DeursenLS02,
  author       = {Arie van Deursen and
                  Timothy Lethbridge and
                  Perdita Stevens},
  title        = {Panel Introducion},
  booktitle    = {18th International Conference on Software Maintenance {(ICSM} 2002),
                  Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
                  Quebec, Canada},
  pages        = {248},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICSM.2002.1167774},
  doi          = {10.1109/ICSM.2002.1167774},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/DeursenLS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2002,
  editor       = {Joost{-}Pieter Katoen and
                  Perdita Stevens},
  title        = {Tools and Algorithms for the Construction and Analysis of Systems,
                  8th International Conference, {TACAS} 2002, Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2002,
                  Grenoble, France, April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2280},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46002-0},
  doi          = {10.1007/3-540-46002-0},
  isbn         = {3-540-43419-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0004611,
  author       = {Perdita Stevens and
                  Rob Pooley},
  title        = {{UML} - Softwareentwicklung mit Objekten und Komponenten: Version
                  1.3},
  publisher    = {Pearson Studium},
  year         = {2001},
  url          = {http://www.pearson-studium.de},
  isbn         = {978-3-8273-7003-7},
  timestamp    = {Tue, 12 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0004611.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Stevens01,
  author       = {Perdita Stevens},
  editor       = {Heinrich Hu{\ss}mann},
  title        = {On Use Cases and Their Relationships in the Unified Modelling Language},
  booktitle    = {Fundamental Approaches to Software Engineering, 4th International
                  Conference, {FASE} 2001 Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
                  2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2029},
  pages        = {140--155},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45314-8\_11},
  doi          = {10.1007/3-540-45314-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Stevens01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Stevens01,
  author       = {Perdita Stevens},
  editor       = {Martin Gogolla and
                  Cris Kobryn},
  title        = {On Associations in the Unified Modelling Language},
  booktitle    = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language,
                  Modeling Languages, Concepts, and Tools, 4th International Conference,
                  Toronto, Canada, October 1-5, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2185},
  pages        = {361--375},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45441-1\_27},
  doi          = {10.1007/3-540-45441-1\_27},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/Stevens01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DewarLPS99,
  author       = {Rick G. Dewar and
                  Ashley D. Lloyd and
                  Rob Pooley and
                  Perdita Stevens},
  title        = {Identifying nd communicting expertise in systems reengineering: a
                  patterns approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {145--152},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990614},
  doi          = {10.1049/IP-SEN:19990614},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DewarLPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/EvansFGHS99,
  author       = {Andy Evans and
                  Robert B. France and
                  Guy Genilloud and
                  Brian Henderson{-}Sellers and
                  Perdita Stevens},
  editor       = {Ana M. D. Moreira and
                  Serge Demeyer},
  title        = {Aggregation},
  booktitle    = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1743},
  pages        = {55--56},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Mon, 15 Jun 2020 17:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/EvansFGHS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Stevens99,
  author       = {Perdita Stevens},
  editor       = {Ana M. D. Moreira and
                  Serge Demeyer},
  title        = {{UML} for Describing Product-Line Architectures?},
  booktitle    = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1743},
  pages        = {199},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Mon, 22 Apr 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/Stevens99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Stevens99,
  author       = {Perdita Stevens},
  editor       = {Rance Cleaveland},
  title        = {Some Issues in the Software Engineering of Verification Tools},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, 5th
                  International Conference, {TACAS} '99, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, ETAPS'99,
                  Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1579},
  pages        = {435--438},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49059-0\_30},
  doi          = {10.1007/3-540-49059-0\_30},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Stevens99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Stevens98,
  author       = {Perdita Stevens},
  title        = {A Verification Tool Seveloper's Vade Mecum},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {2},
  number       = {2},
  pages        = {89--94},
  year         = {1998},
  url          = {https://doi.org/10.1007/s100090050019},
  doi          = {10.1007/S100090050019},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Stevens98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stevens98,
  author       = {Perdita Stevens},
  editor       = {Davide Sangiorgi and
                  Robert de Simone},
  title        = {Abstract Games for Infinite State Processes},
  booktitle    = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
                  France, September 8-11, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1466},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055621},
  doi          = {10.1007/BFB0055621},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Stevens98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/StevensP98,
  author       = {Perdita Stevens and
                  Rob Pooley},
  editor       = {Serge Demeyer and
                  Jan Bosch},
  title        = {Systems Reengineering Patterns},
  booktitle    = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
                  Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1543},
  pages        = {85--86},
  publisher    = {Springer},
  year         = {1998},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/StevensP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Stevens98,
  author       = {Perdita Stevens},
  editor       = {Serge Demeyer and
                  Jan Bosch},
  title        = {Report of Working Group on Reengineering Patterns},
  booktitle    = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
                  Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1543},
  pages        = {89--92},
  publisher    = {Springer},
  year         = {1998},
  timestamp    = {Thu, 13 Jun 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/Stevens98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StevensP98,
  author       = {Perdita Stevens and
                  Rob Pooley},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Systems Reengineering Patterns},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {17--23},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288210},
  doi          = {10.1145/288195.288210},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/StevensP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/StevensS98,
  author       = {Perdita Stevens and
                  Colin Stirling},
  editor       = {Bernhard Steffen},
  title        = {Practical Model-Checking Using Games},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, 4th
                  International Conference, {TACAS} '98, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, ETAPS'98,
                  Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1384},
  pages        = {85--101},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054166},
  doi          = {10.1007/BFB0054166},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/StevensS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics