BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (6)
semant (4)
refin (3)
satisfi (3)
solver (3)

Stem circus$ (all stems)

18 papers:

FASEFASE-2014-CavalcantiG #data flow #testing
Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
IFMIFM-2014-OliveiraSF #model checking #specification
Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.
SEFMSEFM-2014-MotaFDW #agile #model checking #prototype #semantics
Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.
FMFM-2011-BanksJ #specification
Specifying Confidentiality in Circus (MJB, JLJ), pp. 215–230.
SEFMSEFM-2010-WeiWB #design
A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
FMFM-2009-GancarskiB #semantics
The Denotational Semantics of slotted-Circus (PG, AB), pp. 451–466.
IFMIFM-2009-ZeydaC #diagrams
Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.
SEFMSEFM-2008-OliveiraGC #calculus #named #refinement
CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.
IFMIFM-2007-ButterfieldSW
Slotted-Circus (AB, AS, JW), pp. 75–97.
FMFM-2006-FreitasC #automation #java
Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
FMFM-2005-CavalcantiCO #diagrams
Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.
FMFM-2005-WoodcockCF #model checking #semantics
Operational Semantics for Model Checking Circus (JW, AC, LF), pp. 237–252.
ICSTSAT-J-2004-JinS05 #hybrid #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 211–223.
CAVCAV-2004-JinAS #bound #model checking #named #satisfiability #towards
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking (HJ, MA, FS), pp. 519–522.
SATSAT-2004-JinS #hybrid #named #satisfiability
CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 47–55.
FMFME-2003-AtiyaKW #semantics
A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.
DocEngDocEng-2002-Vion-DuryLP #modelling #xml
Experimenting with the circus language for XML modeling and transformation (JYVD, VL, EP), pp. 82–87.
FMFME-2002-SampaioWC #refinement
Refinement in Circus (AS, JW, AC), pp. 451–470.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.