Theories of Programming and Formal Methods

Keyphrases

Publications

2023

Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods (2023)
Dines Bjørner
Domain Modelling: A Foundation for Software Development. Theories of Programming and Formal Methods (2023)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Concurrent Hyperproperties. Theories of Programming and Formal Methods (2023)
Jonathan P. Bowen, Huibiao Zhu
Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods (2023)
Mike Hinchey, Emil Vassev
KnowLang - A Formal Specification Model for Self-adaptive Systems. Theories of Programming and Formal Methods (2023)
Andrew Butterfield, Frédéric Tuong
Applying Formal Verification to an Open-Source Real-Time Operating System. Theories of Programming and Formal Methods (2023)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods (2023)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Frédéric Mallet
Time: It is only Logical! Theories of Programming and Formal Methods (2023)
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods (2023)
Rundong Mu, Qin Li
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. Theories of Programming and Formal Methods (2023)
Zhiming Liu
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Theories of Programming and Formal Methods (2023)
A. W. Roscoe, Pedro Antonino, Jonathan Lawrence
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. Theories of Programming and Formal Methods (2023)
Yifeng Chen, Jeff W. Sanders
Consciousness by Degree. Theories of Programming and Formal Methods (2023)
Xu Jiang, Jinghao Sun, Wang Yi
Characterizations of Parallel Real-Time Workloads. Theories of Programming and Formal Methods (2023)

volume 14080, 2023

Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Theories of Programming and Formal Methods 14080 (2023)

2013

volume 8051, 2013

Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Theories of Programming and Formal Methods 8051 (2013)