default search action

combined dblp search
author search
venue search
publication search

ask others

80th Birthday: Jifeng He, 2023

> Home > Conferences and Workshops > Birthday

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2023he
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2023he
Jonathan P. Bowen, Qin Li, Qiwen Xu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1

Jifeng He's Research Influence

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BowenZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BowenZ23
Jonathan P. Bowen, Huibiao Zhu:
Jifeng He at Oxford and Beyond: An Appreciation. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/000100OSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/000100OSZ23
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. 19-51
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/000123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/000123
Zhiming Liu:
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. 52-84

Oxford Colleagues

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChenS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChenS23
Yifeng Chen, Jeff W. Sanders:
Consciousness by Degree. 87-109
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HayesJM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HayesJM23
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Specifying and Reasoning About Shared-Variable Concurrency. 110-135
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001AL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001AL23
A. W. Roscoe, Pedro Antonino, Jonathan Lawrence:
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. 136-162

ProCoS Colleagues

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Bjorner23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bjorner23
Dines Bjørner:
Domain Modelling: A Foundation for Software Development. 165-210
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/FinkbeinerO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FinkbeinerO23
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. 211-231

Chinese Colleagues

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0004S023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0004S023
Xu Jiang, Jinghao Sun, Wang Yi:
Characterizations of Parallel Real-Time Workloads. 235-256
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/00010Y00F023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/00010Y00F023
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-Flow Test Data Generation. 257-293

European Colleagues

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CuijpersHL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CuijpersHL23
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. 297-322
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Mallet23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Mallet23
Frédéric Mallet:
Time: It is only Logical! 323-347
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ButterfieldT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ButterfieldT23
Andrew Butterfield, Frédéric Tuong:
Applying Formal Verification to an Open-Source Real-Time Operating System. 348-366
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HincheyV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HincheyV23
Mike Hinchey, Emil Vassev:
KnowLang - A Formal Specification Model for Self-adaptive Systems. 367-392

The Future Roadmap

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MuL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MuL23
Rundong Mu, Qin Li:
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. 395-412

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.