default search action

combined dblp search
author search
venue search
publication search

ask others

Retirement: Jim Woodcock 2024

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > Retirement

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/2024woodcock
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2024woodcock
Simon Foster, Augusto Sampaio:
The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Lecture Notes in Computer Science 14900, Springer 2024, ISBN 978-3-031-67113-5
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChenZ024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChenZ024
Ningning Chen, Huibiao Zhu, Jifeng He:
Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001J24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001J24
Alan Burns, Cliff B. Jones:
Specifying Fault-Tolerant Mixed-Criticality Scheduling. 22-42
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jones24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jones24
Cliff B. Jones:
Clarifying Assumptions. 43-70
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LiuMJHSD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LiuMJHSD24
Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong:
PCSP# Denotational Semantics with an Application in Sports Analytics. 71-102
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenTF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LarsenTF24
Peter Gorm Larsen, Prasad Talasila, John S. Fitzgerald:
Towards the Composition of Digital Twins. 103-122
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LeedingST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LeedingST24
Kent Leeding, Steve Schneider, Helen Treharne:
Formal Modelling of Peercoin and Proof-of-Stake Protocols. 123-143
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001HS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001HS24
Jan Peleska, Wen-ling Huang, Robert Sachtleben:
On the Unification of Conformance Notions. 144-171
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001AL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001AL24
A. W. Roscoe, Pedro Antonino, Jonathan Lawrence:
Abstracting and Verifying Decentralised Systems in CSP. 172-202
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Butterfield24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Butterfield24
Andrew Butterfield:
Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP). 203-232
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SureshPDDC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SureshPDDC24
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti:
Static Race Detection for Periodic Real-Time Programs with IPCP Locks. 233-260
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0002YZM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0002YZM24
Pedro Ribeiro, Kangfeng Ye, Frank Zeyda, Alvaro Miyazawa:
A Tour Through the Programming Choices: Semantics and Applications. 261-305
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/OHalloranST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/OHalloranST24
Colin O'Halloran, William Simmonds, Nick Tudor:
I Kaptured the System. 306-328
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lecomte24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lecomte24
Thierry Lecomte:
Proving B with Atelier B. 329-345
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HoangSWVB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HoangSWVB24
Thai Son Hoang, Colin F. Snook, Karla Vanessa Morris Wright, Laurent Voisin, Michael J. Butler:
Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories. 346-374

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.