Frank Zeyda

According to our database, Frank Zeyda authored at least 42 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Bunch theory: Axioms, logic, applications and model.

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda

J. Log. Algebraic Methods Program., 2024

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda

J. Log. Algebraic Methods Program., 2023

UTP, Circus, and Isabelle.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda

Proceedings of the Theories of Programming and Formal Methods, 2023

2020

Unifying theories of reactive design contracts.

Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda

Theor. Comput. Sci., 2020

Unifying semantic foundations for automated verification tools in Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

Sci. Comput. Program., 2020

2019

Bunch theory, applications, axioms and models.

Bill Stoddart, Frank Zeyda, Steve Dunne

CoRR, 2019

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.

Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff

Arch. Formal Proofs, 2019

2018

Unifying theories of time with generalised reactive processes.

Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

Inf. Process. Lett., 2018

Modeling and analysis of the disruptor framework in CSP.

Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2017

Unifying Theories of Timed with Generalised Reactive Processes.

Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

CoRR, 2017

Optics.

Simon Foster, Frank Zeyda

Arch. Formal Proofs, 2017

Formalising Cosimulation Models.

Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti

Proceedings of the Software Engineering and Formal Methods, 2017

2016

An Axiomatic Value Model for Isabelle/UTP.

Frank Zeyda, Simon Foster, Leo Freitas

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Unifying Heterogeneous State-Spaces with Lenses.

Simon Foster, Frank Zeyda, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Laws of mission-based programming.

Frank Zeyda, Ana Cavalcanti

Formal Aspects Comput., 2015

An Empirical Analysis of Neurofeedback Using PID Control Systems.

Frank Zeyda, Gabor Aranyi, Fred Charles, Marc Cavazza

Proceedings of the 2015 IEEE International Conference on Systems, 2015

2014

<i>Circus</i> Models for Safety-Critical Java Programs.

Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings

Comput. J., 2014

Isabelle/UTP: A Mechanised Theory Engineering Framework.

Simon Foster, Frank Zeyda, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

A Modular Theory of Object Orientation in Higher-Order UTP.

Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio

Proceedings of the FM 2014: Formal Methods, 2014

2013

Safety-critical Java programs from Circus models.

Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei

Real Time Syst., 2013

A unification of probabilistic choice within a design-based model of reversible computation.

Bill Stoddart, Frank Zeyda

Formal Aspects Comput., 2013

Refining SCJ Mission Specifications into Parallel Handler Designs

Frank Zeyda, Ana Cavalcanti

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

2012

Mechanical reasoning about families of UTP theories.

Frank Zeyda, Ana Cavalcanti

Sci. Comput. Program., 2012

Mechanised support for sound refinement tactics.

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Formal Aspects Comput., 2012

Higher-Order UTP for a Theory of Methods.

Frank Zeyda, Ana Cavalcanti

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

Chris Marriott, Frank Zeyda, Ana Cavalcanti

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A tactic language for refinement of state-rich concurrent specifications.

Marcel Oliveira, Frank Zeyda, Ana Cavalcanti

Sci. Comput. Program., 2011

Safety-critical Java in Circus.

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

The Safety-Critical Java Mission Model: A Formal Account.

Frank Zeyda, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Automating Refinement of <i>Circus</i> Programs.

Frank Zeyda, Ana Cavalcanti

Proceedings of the Formal Methods: Foundations and Applications, 2010

Preference and Non-deterministic Choice.

Bill Stoddart, Frank Zeyda, Steve Dunne

Proceedings of the Theoretical Aspects of Computing, 2010

Communication Systems in ClawZ.

Michael Vernon, Frank Zeyda, Ana Cavalcanti

Proceedings of the Abstract State Machines, 2010

Reactivising Classical B.

Steve Dunne, Frank Zeyda

Proceedings of the Abstract State Machines, 2010

2009

Supporting ArcAngel in ProofPower.

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages.

Bill Stoddart, Robert Lynas, Frank Zeyda

Proceedings of the Workshop on Reversible Computation, 2009

Mechanised Translation of Control Law Diagrams into Circus.

Frank Zeyda, Ana Cavalcanti

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Encoding <i>Circus</i> Programs in ProofPowerZ.

Frank Zeyda, Ana Cavalcanti

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007

Reversible computations in B.

Frank Zeyda

PhD thesis, 2007

Modelling and Proof Analysis of Interrupt Driven Scheduling.

Bill Stoddart, Dominique Cansell, Frank Zeyda

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

A Design-Based Model of Reversible Computation.

Bill Stoddart, Frank Zeyda, Robert Lynas

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2005

A Prospective-Value Semantics for the GSL.

Frank Zeyda, Bill Stoddart, Steve Dunne

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2003

Expression Transformers in B-GSL.

Bill Stoddart, Frank Zeyda

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003