BibTeX records: Cees Pierik

• > Home > Persons > Cees Pierik

@article{DBLP:journals/tcs/PierikB05,
  author       = {Cees Pierik and
                  Frank S. de Boer},
  title        = {A proof outline logic for object-oriented programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {343},
  number       = {3},
  pages        = {413--442},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.06.018},
  doi          = {10.1016/J.TCS.2005.06.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PierikB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/PierikCB05,
  author       = {Cees Pierik and
                  Dave Clarke and
                  Frank S. de Boer},
  editor       = {John S. Fitzgerald and
                  Ian J. Hayes and
                  Andrzej Tarlecki},
  title        = {Controlling Object Allocation Using Creation Guards},
  booktitle    = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
                  Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3582},
  pages        = {59--74},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11526841\_6},
  doi          = {10.1007/11526841\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/PierikCB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/PierikB04,
  author       = {Cees Pierik and
                  Frank S. de Boer},
  editor       = {Charles Rattray and
                  Savi Maharaj and
                  Carron Shankland},
  title        = {Modularity and the Rule of Adaptation},
  booktitle    = {Algebraic Methodology and Software Technology, 10th International
                  Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3116},
  pages        = {394--408},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27815-3\_31},
  doi          = {10.1007/978-3-540-27815-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/PierikB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BoerPEM03,
  author       = {Frank S. de Boer and
                  Cees Pierik and
                  Rogier M. van Eijk and
                  John{-}Jules Ch. Meyer},
  editor       = {Mark Dermot Ryan and
                  John{-}Jules Ch. Meyer and
                  Hans{-}Dieter Ehrich},
  title        = {Coordinating Agents in {OO}},
  booktitle    = {Objects, Agents, and Features, International Seminar, Dagstuhl Castle,
                  Germany, February 2003, Revised and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2975},
  pages        = {8--25},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25930-5\_2},
  doi          = {10.1007/978-3-540-25930-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BoerPEM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/BoerP03,
  author       = {Frank S. de Boer and
                  Cees Pierik},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {How to Cook a Complete Hoare Logic for Your Pet {OO} Language},
  booktitle    = {Formal Methods for Components and Objects, Second International Symposium,
                  {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3188},
  pages        = {111--133},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-30101-1\_5},
  doi          = {10.1007/978-3-540-30101-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/BoerP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/PierikB03,
  author       = {Cees Pierik and
                  Frank S. de Boer},
  editor       = {Elie Najm and
                  Uwe Nestmann and
                  Perdita Stevens},
  title        = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
  booktitle    = {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},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39958-2\_5},
  doi          = {10.1007/978-3-540-39958-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/PierikB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmoods/BoerP02,
  author       = {Frank S. de Boer and
                  Cees Pierik},
  editor       = {Bart Jacobs and
                  Arend Rensink},
  title        = {Computer-aided Specification and Verification of Annotated Object-Oriented
                  Programs},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
                  {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
                  Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
                  Enschede, The Netherlands},
  series       = {{IFIP} Conference Proceedings},
  volume       = {209},
  pages        = {163--177},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BoerP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}