default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank Zeyda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j14]Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda:
Bunch theory: Axioms, logic, applications and model. J. Log. Algebraic Methods Program. 140: 100977 (2024)- 2023
- [j13]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: 100811 (2023) - [c26]Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - 2020
- [j12]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197: 102510 (2020) - [j11]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020)
2010 – 2019
- 2019
- [j10]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) - [i4]Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR abs/1905.05500 (2019) - [i3]Bill Stoddart, Frank Zeyda, Steve Dunne:
Bunch theory, applications, axioms and models. CoRR abs/1911.04344 (2019) - 2018
- [j9]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018) - [c25]Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei:
Modeling and analysis of the disruptor framework in CSP. CCWC 2018: 803-809 - 2017
- [j8]Simon Foster, Frank Zeyda:
Optics. Arch. Formal Proofs 2017 (2017) - [c24]Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti:
Formalising Cosimulation Models. SEFM Workshops 2017: 453-468 - [i2]Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017) - [i1]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017) - 2016
- [c23]Simon Foster, Frank Zeyda, Jim Woodcock:
Unifying Heterogeneous State-Spaces with Lenses. ICTAC 2016: 295-314 - [c22]Frank Zeyda, Simon Foster, Leo Freitas:
An Axiomatic Value Model for Isabelle/UTP. UTP 2016: 155-175 - 2015
- [j7]Frank Zeyda, Ana Cavalcanti:
Laws of mission-based programming. Formal Aspects Comput. 27(2): 423-472 (2015) - [c21]Frank Zeyda, Gabor Aranyi, Fred Charles, Marc Cavazza:
An Empirical Analysis of Neurofeedback Using PID Control Systems. SMC 2015: 3197-3202 - 2014
- [j6]Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings:
Circus Models for Safety-Critical Java Programs. Comput. J. 57(7): 1046-1091 (2014) - [c20]Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
A Modular Theory of Object Orientation in Higher-Order UTP. FM 2014: 627-642 - [c19]Simon Foster, Frank Zeyda, Jim Woodcock:
Isabelle/UTP: A Mechanised Theory Engineering Framework. UTP 2014: 21-41 - 2013
- [j5]Bill Stoddart, Frank Zeyda:
A unification of probabilistic choice within a design-based model of reversible computation. Formal Aspects Comput. 25(1): 107-131 (2013) - [j4]Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei:
Safety-critical Java programs from Circus models. Real Time Syst. 49(5): 614-667 (2013) - [c18]Frank Zeyda, Ana Cavalcanti:
Refining SCJ Mission Specifications into Parallel Handler Designs. Refine@IFM 2013: 52-67 - 2012
- [j3]Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24(1): 127-160 (2012) - [j2]Frank Zeyda, Ana Cavalcanti:
Mechanical reasoning about families of UTP theories. Sci. Comput. Program. 77(4): 444-479 (2012) - [c17]Chris Marriott, Frank Zeyda, Ana Cavalcanti:
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ 2012: 294-307 - [c16]Frank Zeyda, Ana Cavalcanti:
Higher-Order UTP for a Theory of Methods. UTP 2012: 204-223 - 2011
- [j1]Marcel Oliveira, Frank Zeyda, Ana Cavalcanti:
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011) - [c15]Frank Zeyda, Ana Cavalcanti, Andy J. Wellings:
The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65 - [c14]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda:
Safety-critical Java in Circus. JTRES 2011: 20-29 - 2010
- [c13]Steve Dunne, Frank Zeyda:
Reactivising Classical B. ASM 2010: 302-318 - [c12]Michael Vernon, Frank Zeyda, Ana Cavalcanti:
Communication Systems in ClawZ. ASM 2010: 334-348 - [c11]Bill Stoddart, Frank Zeyda, Steve Dunne:
Preference and Non-deterministic Choice. ICTAC 2010: 137-152 - [c10]Frank Zeyda, Ana Cavalcanti:
Automating Refinement of Circus Programs. SBMF 2010: 274-290
2000 – 2009
- 2009
- [c9]Frank Zeyda, Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166 - [c8]Bill Stoddart, Robert Lynas, Frank Zeyda:
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. RC@ETAPS 2009: 33-56 - [c7]Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower. REFINE@FMWeek 2009: 225-243 - 2008
- [c6]Frank Zeyda, Ana Cavalcanti:
Encoding Circus Programs in ProofPowerZ. UTP 2008: 218-237 - [c5]Frank Zeyda, Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories. SBMF 2008: 239-257 - 2007
- [b1]Frank Zeyda:
Reversible computations in B. Teesside University, UK, 2007 - [c4]Bill Stoddart, Dominique Cansell, Frank Zeyda:
Modelling and Proof Analysis of Interrupt Driven Scheduling. B 2007: 155-170 - 2006
- [c3]Bill Stoddart, Frank Zeyda, Robert Lynas:
A Design-Based Model of Reversible Computation. UTP 2006: 63-83 - 2005
- [c2]Frank Zeyda, Bill Stoddart, Steve Dunne:
A Prospective-Value Semantics for the GSL. ZB 2005: 187-202 - 2003
- [c1]Bill Stoddart, Frank Zeyda:
Expression Transformers in B-GSL. ZB 2003: 197-215
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
