Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID80th Birthday: Jifeng He, 2023
- 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
- Jonathan P. Bowen, Huibiao Zhu:
Jifeng He at Oxford and Beyond: An Appreciation. 3-18 - Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. 19-51 - Zhiming Liu:
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. 52-84
Oxford Colleagues
- Yifeng Chen, Jeff W. Sanders:
Consciousness by Degree. 87-109 - Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Specifying and Reasoning About Shared-Variable Concurrency. 110-135 - A. W. Roscoe, Pedro Antonino, Jonathan Lawrence:
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. 136-162
ProCoS Colleagues
- Dines Bjørner:
Domain Modelling: A Foundation for Software Development. 165-210 - Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. 211-231
Chinese Colleagues
- Xu Jiang, Jinghao Sun, Wang Yi:
Characterizations of Parallel Real-Time Workloads. 235-256 - 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
- Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. 297-322 - Frédéric Mallet:
Time: It is only Logical! 323-347 - Andrew Butterfield, Frédéric Tuong:
Applying Formal Verification to an Open-Source Real-Time Operating System. 348-366 - Mike Hinchey, Emil Vassev:
KnowLang - A Formal Specification Model for Self-adaptive Systems. 367-392
The Future Roadmap
- Rundong Mu, Qin Li:
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. 395-412
a service of 
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.
last updated on 2024-04-26 18:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
