Frank Zeyda - RankMe

46 papers B 3C 4Journal 18Unranked 20

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