Search dblp for Publications

export results for "toc:db/conf/birthday/he2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/000100OSZ23,
  author       = {Jim Woodcock and
                  Ana Cavalcanti and
                  Simon Foster and
                  Marcel Oliveira and
                  Augusto Sampaio and
                  Frank Zeyda},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {UTP, Circus, and Isabelle},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {19--51},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_2},
  doi          = {10.1007/978-3-031-40436-8\_2},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/000100OSZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/00010Y00F023,
  author       = {Ting Su and
                  Chengyu Zhang and
                  Yichen Yan and
                  Lingling Fan and
                  Yang Liu and
                  Zhoulai Fu and
                  Zhendong Su},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Towards Efficient Data-Flow Test Data Generation},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {257--293},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_10},
  doi          = {10.1007/978-3-031-40436-8\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/00010Y00F023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/000123,
  author       = {Zhiming Liu},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Linking Formal Methods in Software Development - {A} Reflection on
                  the Development of rCOS},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {52--84},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_3},
  doi          = {10.1007/978-3-031-40436-8\_3},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/000123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/0001AL23,
  author       = {A. W. Roscoe and
                  Pedro Antonino and
                  Jonathan Lawrence},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {The Consensus Machine: Formalising Consensus in the Presence of Malign
                  Agents},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {136--162},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_6},
  doi          = {10.1007/978-3-031-40436-8\_6},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/0001AL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/0004S023,
  author       = {Xu Jiang and
                  Jinghao Sun and
                  Wang Yi},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Characterizations of Parallel Real-Time Workloads},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {235--256},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_9},
  doi          = {10.1007/978-3-031-40436-8\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/0004S023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bjorner23,
  author       = {Dines Bj{\o}rner},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Domain Modelling: {A} Foundation for Software Development},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {165--210},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_7},
  doi          = {10.1007/978-3-031-40436-8\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bjorner23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BowenZ23,
  author       = {Jonathan P. Bowen and
                  Huibiao Zhu},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Jifeng He at Oxford and Beyond: An Appreciation},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_1},
  doi          = {10.1007/978-3-031-40436-8\_1},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BowenZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ButterfieldT23,
  author       = {Andrew Butterfield and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Applying Formal Verification to an Open-Source Real-Time Operating
                  System},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {348--366},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_13},
  doi          = {10.1007/978-3-031-40436-8\_13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ButterfieldT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ChenS23,
  author       = {Yifeng Chen and
                  Jeff W. Sanders},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Consciousness by Degree},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {87--109},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_4},
  doi          = {10.1007/978-3-031-40436-8\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ChenS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/CuijpersHL23,
  author       = {Pieter J. L. Cuijpers and
                  Jonas Hansen and
                  Kim G. Larsen},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Assume-Guarantee Reasoning for Additive Hybrid Behaviour},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {297--322},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_11},
  doi          = {10.1007/978-3-031-40436-8\_11},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CuijpersHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/FinkbeinerO23,
  author       = {Bernd Finkbeiner and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Concurrent Hyperproperties},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {211--231},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_8},
  doi          = {10.1007/978-3-031-40436-8\_8},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/FinkbeinerO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HayesJM23,
  author       = {Ian J. Hayes and
                  Cliff B. Jones and
                  Larissa A. Meinicke},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Specifying and Reasoning About Shared-Variable Concurrency},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {110--135},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_5},
  doi          = {10.1007/978-3-031-40436-8\_5},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HayesJM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HincheyV23,
  author       = {Mike Hinchey and
                  Emil Vassev},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {KnowLang - {A} Formal Specification Model for Self-adaptive Systems},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {367--392},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_14},
  doi          = {10.1007/978-3-031-40436-8\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HincheyV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Mallet23,
  author       = {Fr{\'{e}}d{\'{e}}ric Mallet},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Time: It is only Logical!},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {323--347},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_12},
  doi          = {10.1007/978-3-031-40436-8\_12},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Mallet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MuL23,
  author       = {Rundong Mu and
                  Qin Li},
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap
                  for Linking Theories of Programming},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  pages        = {395--412},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8\_15},
  doi          = {10.1007/978-3-031-40436-8\_15},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MuL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2023he,
  editor       = {Jonathan P. Bowen and
                  Qin Li and
                  Qiwen Xu},
  title        = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 80th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14080},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40436-8},
  doi          = {10.1007/978-3-031-40436-8},
  isbn         = {978-3-031-40435-1},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2023he.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.