![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
80th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.