Frank Zeyda

Unifying semantic foundations for automated verification tools in Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti et al. · Science of Computer Programming · 2020 · 37 citations · Full text

Semantic Foundations, Formal Specification, Engineering +10

Unifying theories of reactive design contracts

Simon Foster, Ana Cavalcanti, Samuel James Canham et al. · Theoretical Computer Science · 2019 · 34 citations · Full text

Architectural Design, Industrial Design, Engineering +9

Safety-critical Java programs from Circus models

Ana Cavalcanti, Frank Zeyda, Andy Wellings et al. · Real-Time Systems · 2013 · 22 citations

Engineering, Safety-critical Java Programs, Software System Safety +11

Safety-critical Java in Circus

Ana Cavalcanti, Andy Wellings, Jim Woodcock et al. · 2011 · 18 citations

Engineering, Object-oriented Modeling, Safety Science +21

Unifying theories of time with generalised reactive processes

Simon Foster, Ana Cavalcanti, Jim Woodcock et al. · Information Processing Letters · 2018 · 17 citations · Full text

Temporal Dynamic, Temporal Complexity, Generalised Reactive Processes +2