Stem circus$ (all stems)

18 papers:

FASE-2014-CavalcantiG #data flow #testing

Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.

IFM-2014-OliveiraSF #model checking #specification

Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.

SEFM-2014-MotaFDW #agile #model checking #prototype #semantics

Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.

FM-2011-BanksJ #specification

Specifying Confidentiality in Circus (MJB, JLJ), pp. 215–230.

SEFM-2010-WeiWB #design

A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.

FM-2009-GancarskiB #semantics

The Denotational Semantics of slotted-Circus (PG, AB), pp. 451–466.

IFM-2009-ZeydaC #diagrams

Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.

SEFM-2008-OliveiraGC #calculus #named #refinement

CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.

IFM-2007-ButterfieldSW

Slotted-Circus (AB, AS, JW), pp. 75–97.

FM-2006-FreitasC #automation #java

Automatic Translation from Circus to Java (AF, AC), pp. 115–130.

FM-2005-CavalcantiCO #diagrams

Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.

FM-2005-WoodcockCF #model checking #semantics

Operational Semantics for Model Checking Circus (JW, AC, LF), pp. 237–252.

SAT-J-2004-JinS05 #hybrid #named #satisfiability

CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 211–223.

CAV-2004-JinAS #bound #model checking #named #satisfiability #towards

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking (HJ, MA, FS), pp. 519–522.

SAT-2004-JinS #hybrid #named #satisfiability

CirCUs: A Hybrid Satisfiability Solver (HJ, FS), pp. 47–55.

FME-2003-AtiyaKW #semantics

A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.

DocEng-2002-Vion-DuryLP #modelling #xml

Experimenting with the circus language for XML modeling and transformation (JYVD, VL, EP), pp. 82–87.

FME-2002-SampaioWC #refinement

Refinement in Circus (AS, JW, AC), pp. 451–470.