Frank Zeyda

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 16

Top Venues

CoRR

J. Log. Algebraic Methods Program.

Arch. Formal Proofs

UTP

Teesside University, UK (PHD)

Education History

Teesside University, UK

PHD

Publications

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
Bunch theory: Axioms, logic, applications and model. J. Log. Algebraic Methods Program. 140 (2024)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130 (2023)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197 (2020)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802 (2020)
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR (2019)
Bill Stoddart, Frank Zeyda, Steve Dunne
Bunch theory, applications, axioms and models. CoRR (2019)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135 (2018)
Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei
Modeling and analysis of the disruptor framework in CSP. CCWC (2018)
Simon Foster, Frank Zeyda
Optics. Arch. Formal Proofs 2017 (2017)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying Theories of Reactive Design Contracts. CoRR (2017)
Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
Formalising Cosimulation Models. SEFM Workshops (2017)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Theories of Timed with Generalised Reactive Processes. CoRR (2017)
Frank Zeyda, Simon Foster, Leo Freitas
An Axiomatic Value Model for Isabelle/UTP. UTP (2016)
Simon Foster, Frank Zeyda, Jim Woodcock
Unifying Heterogeneous State-Spaces with Lenses. ICTAC (2016)
Frank Zeyda, Ana Cavalcanti
Laws of mission-based programming. Formal Aspects Comput. 27 (2) (2015)
Frank Zeyda, Gabor Aranyi, Fred Charles, Marc Cavazza
An Empirical Analysis of Neurofeedback Using PID Control Systems. SMC (2015)
Simon Foster, Frank Zeyda, Jim Woodcock
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP (2014)
Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings
Models for Safety-Critical Java Programs. Comput. J. 57 (7) (2014)
Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
A Modular Theory of Object Orientation in Higher-Order UTP. FM (2014)
Frank Zeyda, Ana Cavalcanti
Refining SCJ Mission Specifications into Parallel Handler Designs Refine@IFM (2013)
Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei
Safety-critical Java programs from Circus models. Real Time Syst. 49 (5) (2013)
Bill Stoddart, Frank Zeyda
A unification of probabilistic choice within a design-based model of reversible computation. Formal Aspects Comput. 25 (1) (2013)
Frank Zeyda, Ana Cavalcanti
Mechanical reasoning about families of UTP theories. Sci. Comput. Program. 77 (4) (2012)
Frank Zeyda, Ana Cavalcanti
Higher-Order UTP for a Theory of Methods. UTP (2012)
Chris Marriott, Frank Zeyda, Ana Cavalcanti
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ (2012)
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24 (1) (2012)
Frank Zeyda, Ana Cavalcanti, Andy J. Wellings
The Safety-Critical Java Mission Model: A Formal Account. ICFEM (2011)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda
Safety-critical Java in Circus. JTRES (2011)
Marcel Oliveira, Frank Zeyda, Ana Cavalcanti
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76 (9) (2011)
Bill Stoddart, Frank Zeyda, Steve Dunne
Preference and Non-deterministic Choice. ICTAC (2010)
Steve Dunne, Frank Zeyda
Reactivising Classical B. ASM (2010)
Bill Stoddart, Robert Lynas, Frank Zeyda
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. Electron. Notes Theor. Comput. Sci. 253 (6) (2010)
Frank Zeyda, Ana Cavalcanti
Programs. SBMF (2010)
Michael Vernon, Frank Zeyda, Ana Cavalcanti
Communication Systems in ClawZ. ASM (2010)
Frank Zeyda, Ana Cavalcanti
Mechanical Reasoning about Families of UTP Theories. Electron. Notes Theor. Comput. Sci. 240 (2009)
Frank Zeyda, Ana Cavalcanti
Mechanised Translation of Control Law Diagrams into Circus. IFM (2009)
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
Supporting ArcAngel in ProofPower. Electron. Notes Theor. Comput. Sci. 259 (2009)
Frank Zeyda, Ana Cavalcanti
Programs in ProofPowerZ. UTP (2008)
Bill Stoddart, Dominique Cansell, Frank Zeyda
Modelling and Proof Analysis of Interrupt Driven Scheduling. B (2007)
Bill Stoddart, Frank Zeyda, Robert Lynas
A Design-Based Model of Reversible Computation. UTP (2006)
Frank Zeyda, Bill Stoddart, Steve Dunne
A Prospective-Value Semantics for the GSL. ZB (2005)
Bill Stoddart, Frank Zeyda
Expression Transformers in B-GSL. ZB (2003)

Frank Zeyda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Zeyda