Search results for "circus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A UTP semantics for Circus.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
116	John P. McDermott, Leo Freitas	A formal security policy for xenon.	FMSE	2008	DBLP DOI BibTeX RDF	refinement, open-source, z, csp, hypervisor, information-flow security, circus
110	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Formal development of industrial-scale systems in Circus.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
104	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	A Semantics for UML-RT Active Classes via Mapping into Circus.	FMOODS	2005	DBLP DOI BibTeX RDF	model transformations, method integration, UML-RT, Circus
93	Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas	Operational Semantics for Model Checking Circus.	FM	2005	DBLP DOI BibTeX RDF
93	Marcel Oliveira, Ana Cavalcanti 0001	From Circus to JCSP.	ICFEM	2004	DBLP DOI BibTeX RDF	concurrency, object-orientation, program development
93	Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio	A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.	ICTAC	2004	DBLP DOI BibTeX RDF	Formal methods integration, real-time systems, formal verification
86	Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga	Experimenting with the circus language for XML modeling and transformation.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	typed document transformation, XML, programming language, XSLT, document model, circus
75	Frank Zeyda, Ana Cavalcanti 0001	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
75	Andrew Butterfield, Adnan Sherif, Jim Woodcock 0001	Slotted-Circus.	IFM	2007	DBLP DOI BibTeX RDF
75	Angela F. Freitas, Ana Cavalcanti 0001	Automatic Translation from Circus to Java.	FM	2006	DBLP DOI BibTeX RDF
75	HoonSang Jin, Mohammad Awedh, Fabio Somenzi	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
75	HoonSang Jin, Fabio Somenzi	CirCUs: A Hybrid Satisfiability Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
75	Adnan Sherif, Jifeng He 0001	Towards a Time Model for Circus.	ICFEM	2002	DBLP DOI BibTeX RDF
75	Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
75	Wendy G. Lehnert, Claire Cardie, David Fisher, Joseph F. McCarthy, Ellen Riloff, Stephen Soderland	University of Massachusetts: description of the CIRCUS system as used for MUC-4.	MUC	1992	DBLP DOI BibTeX RDF
70	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Unifying classes and processes.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Integration, Refinement, CSP, Z
69	Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001	A Circus Semantics for Ravenscar Protected Objects.	FME	2003	DBLP DOI BibTeX RDF	Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus
58	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
58	Jim Woodcock 0001, Ana Cavalcanti 0001	The Semantics of Circus.	ZB	2002	DBLP DOI BibTeX RDF
58	Wendy G. Lehnert, Claire Cardie, David Fisher, Ellen Riloff, Robert Williams 0001	University of Massachusetts: description of the CIRCUS system as used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
46	Emmanuel Pietriga, Jean-Yves Vion-Dury, Vincent Quint	VXT: a visual approach to XML transformations.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	XML transformations, XML, XSLT, zoomable user interfaces, visual programming languages, circus
45	Abderrahmane Feliachi	Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus).		2012	RDF
40	Pawel Gancarski, Andrew Butterfield	The Denotational Semantics of slotted-Circus.	FM	2009	DBLP DOI BibTeX RDF
40	Don Kimber, Eleanor Gilbert Rieffel, Jim Vaughan, John Doherty	Virtual physics circus.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	virtual reality, design, education, mixed reality, art, physics
40	Ana Cavalcanti 0001, Phil Clayton	Verification of Control Systems using Circus.	ICECCS	2006	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
40	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	A Refinement Strategy for Circus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Concurrency, CSP, Z, Program development
35	Stergios V. Anastasiadis, Rajiv Wickremesinghe, Jeffrey S. Chase	Rethinking FTP: Aggressive block reordering for large file transfers.	ACM Trans. Storage	2009	DBLP DOI BibTeX RDF	file transfer protocols, scheduling, Disk access
35	Jim Woodcock 0001, Ana Cavalcanti 0001	The Steam Boiler in a Unified Theory of Z and CSP.	APSEC	2001	DBLP DOI BibTeX RDF
23	Maryam Saadat-Safa, Patrick Schaumont, Shahin Tajik	Parasitic Circus: On the Feasibility of Golden Free PCB Verification.	CoRR	2024	DBLP DOI BibTeX RDF
23	Kohei Kikuchi, Norihisa Fujita, Ryohei Kobayashi, Taisuke Boku	Implementation and Performance Evaluation of Collective Communications Using CIRCUS on Multiple FPGAs.	HPC Asia Workshops	2023	DBLP DOI BibTeX RDF
23	Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda	UTP, Circus, and Isabelle.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
23	Oren Sultan, Dafna Shahaf	Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes.	CoRR	2022	DBLP DOI BibTeX RDF
23	The Alliance of Digital Humanities Organizations	Response to "The circus we deserve? A front row look at the organization of the annual academic conference for the Digital Humanities".	Digit. Humanit. Q.	2022	DBLP BibTeX RDF
23	Laura Estill, Jennifer Guiliano, Élika Ortega, Melissa Terras, Deb Verhoeven, Glen Layne-Worthey	The circus we deserve? A front row look at the organization of the annual academic conference for the Digital Humanities.	Digit. Humanit. Q.	2022	DBLP BibTeX RDF
23	Oren Sultan, Dafna Shahaf	Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes.	EMNLP	2022	DBLP DOI BibTeX RDF
23	Oscar Peña, Franceli L. Cibrian, Monica Tentori	Circus in Motion: a multimodal exergame supporting vestibular therapy for children with autism.	J. Multimodal User Interfaces	2021	DBLP DOI BibTeX RDF
23	Ryuta Kashino, Ryohei Kobayashi, Norihisa Fujita, Taisuke Boku	Performance Evaluation of OpenCL-Enabled Inter-FPGA Optical Link Communication Framework CIRCUS and SMI.	HPC Asia	2021	DBLP DOI BibTeX RDF
23	Fan Shi, Timon Homberger, Joonho Lee, Takahiro Miki, Moju Zhao, Farbod Farshidian, Kei Okada, Masayuki Inaba, Marco Hutter 0001	Circus ANYmal: A Quadruped Learning Dexterous Manipulation with Its Limbs.	ICRA	2021	DBLP DOI BibTeX RDF
23	Fan Shi, Timon Homberger, Joonho Lee, Takahiro Miki, Moju Zhao, Farbod Farshidian, Kei Okada, Masayuki Inaba, Marco Hutter 0001	Circus ANYmal: A Quadruped Learning Dexterous Manipulation with Its Limbs.	CoRR	2020	DBLP BibTeX RDF
23	Tim Beyne, Yu Long Chen, Christoph Dobraunig, Bart Mennink	Dumbo, Jumbo, and Delirium: Parallel Authenticated Encryption for the Lightweight Circus.	IACR Trans. Symmetric Cryptol.	2020	DBLP DOI BibTeX RDF
23	Mikhail Afanasov, Naveed Anwar Bhatti, Dennis Campagna, Giacomo Caslini, Fabio Massimo Centonze, Koustabh Dolui, Andrea Maioli, Erica Barone, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, Luca Mottola	Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus.	SenSys	2020	DBLP DOI BibTeX RDF
23	Laia Turmo Vidal, Elena Márquez Segura, Luis Parrilla Bel, Annika Waern	Training Technology Probes Across Fitness Practices: Yoga, Circus and Weightlifting.	CHI Extended Abstracts	2020	DBLP DOI BibTeX RDF
23	Patrick Roche, Collin J. Goldbach, Alix Putman, Jeffrey A. Jalkio, Katie Kimball, AnnMarie P. Thomas	Circus Science: Designing Responsive Flying Trapeze Performance Costumes.	TEI	2020	DBLP DOI BibTeX RDF
23	Vincent Conitzer	Puzzle: the AI circus: (puzzle in honor of Tuomas Sandholm's 50th birthday).	SIGecom Exch.	2019	DBLP DOI BibTeX RDF
23	Alvaro Miyazawa, Ana Cavalcanti 0001, Andy J. Wellings	SCJ-Circus: Specification and refinement of Safety-Critical Java programs.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
23	Artur Oliveira Gomes, Andrew Butterfield	Circus2CSP: A Tool for Model-Checking Circus Using FDR.	FM	2019	DBLP DOI BibTeX RDF
23	Artur Oliveira Gomes, Andrew Butterfield	Towards a Model-Checker for Circus.	FM	2019	DBLP DOI BibTeX RDF
23	Elena Márquez Segura, Laia Turmo Vidal, Luis Parrilla Bel, Annika Waern	Circus, Play and Technology Probes: Training Body Awareness and Control with Children.	Conference on Designing Interactive Systems	2019	DBLP DOI BibTeX RDF
23	Elena Márquez Segura, Annika Waern, Luis Parrilla Bel, Laia Turmo Vidal	Super Trouper: The Playful Potential of Interactive Circus Training.	CHI PLAY (Companion)	2019	DBLP DOI BibTeX RDF
23	Mirjam Vosmeer, Alyea Sandovar	Circus Noel: A Case Study into Interaction and Interface Design for Cinematic VR.	ICEC	2018	DBLP DOI BibTeX RDF
23	Gabriele Guidi 0001, Laura Loredana Micoli, Umair Shafqat Malik	4D reconstruction by multi-source data fusion: the case of the hidden Roman Circus in Milan.	DigitalHERITAGE/VSMM	2018	DBLP DOI BibTeX RDF
23	Lukman H. Iwan, James A. Thom	Temporal video segmentation: detecting the end-of-act in circus performance videos.	Multim. Tools Appl.	2017	DBLP DOI BibTeX RDF
23	Kangfeng Ye, Jim Woodcock 0001	Model checking of state-rich formalism Circus by linking to CSP ‖ B.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
23	Alex D. B. Alberto, Ana Cavalcanti 0001, Marie-Claude Gaudel, Adenilso Simão	Formal mutation testing for Circus.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
23	Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon	Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
23	Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci 0001, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva	Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
23	Artur Oliveira Gomes, Andrew Butterfield	Modelling the Haemodialysis Machine with Circus.	ABZ	2016	DBLP DOI BibTeX RDF
23	Alvaro Miyazawa, Ana Cavalcanti 0001	SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.	Refine@FM	2015	DBLP DOI BibTeX RDF
23	Elise Lemle, Katherine Bomkamp, Marcella Klein Williams, Elizabeth Cutbirth	Two Bit Circus and the Future of Entertainment		2015	DOI RDF
23	Hsin Huang, Hsin-Chien Huang, Chun-Feng Liao, Ying-Chun Li, Tzu-Chieh Tsai, Li-jia Teng, Shih-Wei Wang	Future circus: a performer-guided mixed-reality performance art.	UbiComp/ISWC Adjunct	2015	DBLP DOI BibTeX RDF
23	Delphine Naquin, Yves d'Aubenton-Carafa, Claude Thermes, Maud Silvain	CIRCUS: a package for Circos display of structural genome variations from paired-end and mate-pair sequencing data.	BMC Bioinform.	2014	DBLP DOI BibTeX RDF
23	Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti 0001, Andy J. Wellings	Circus Models for Safety-Critical Java Programs.	Comput. J.	2014	DBLP DOI BibTeX RDF
23	J. Serradilla, J. Q. Shi, Y. Cheng, Graham Morgan, C. Lambden, Janet A. Eyre	Automatic assessment of upper limb function during play of the action video game, circus challenge: validity and sensitivity to change.	SeGAH	2014	DBLP DOI BibTeX RDF
23	Kun Wei, Jim Woodcock 0001	Towards Algebraic Semantics of Circus Time.	UTP	2014	DBLP DOI BibTeX RDF
23	Ludvig Elblaus, Maurizio Goina, Marie-Andrée Robitaille, Roberto Bresin	Modes of Sonic Interaction in Circus: Three Proofs of Concept.	ICMC	2014	DBLP BibTeX RDF
23	Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho	Model-Checking Circus State-Rich Specifications.	IFM	2014	DBLP DOI BibTeX RDF
23	Alexandre Mota 0001, Adalberto Farias, André Didier, Jim Woodcock 0001	Rapid Prototyping of a Semantically Well Founded Circus Model Checker.	SEFM	2014	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Marie-Claude Gaudel	Data Flow Coverage for Circus-Based Testing.	FASE	2014	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Frank Zeyda, Andy J. Wellings, Jim Woodcock 0001, Kun Wei	Safety-critical Java programs from Circus models.	Real Time Syst.	2013	DBLP DOI BibTeX RDF
23	Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff	The Circus Testing Theory Revisited in Isabelle/HOL.	ICFEM	2013	DBLP DOI BibTeX RDF
23	Kun Wei	Reactive Designs of Interrupts in Circus Time.	ICTAC	2013	DBLP DOI BibTeX RDF
23	Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel	Isabelle/Circus.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
23	Andrés Frias-Velázquez, Carlos Ortiz, Aleksandra Pizurica, Wilfried Philips, Gustavo Cerda	Object identification by using orthonormal circus functions from the trace transform.	ICIP	2012	DBLP DOI BibTeX RDF
23	Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff	Isabelle/Circus: A Process Specification and Verification Environment.	VSTTE	2012	DBLP DOI BibTeX RDF
23	Kun Wei, Jim Woodcock 0001, Ana Cavalcanti 0001	Circus Time with Reactive Designs.	UTP	2012	DBLP DOI BibTeX RDF
23	Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001	A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.	ABZ	2012	DBLP DOI BibTeX RDF
23	S. L. M. Barrocas, Marcel Oliveira	JCircus 2.0: an Extension of an Automatic Translator from Circus to Java.	CPA	2012	DBLP BibTeX RDF
23	Ana Cavalcanti 0001, Marie-Claude Gaudel	Testing for refinement in Circus.	Acta Informatica	2011	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	From control law diagrams to Ada via Circus.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
23	Michael J. Banks, Jeremy L. Jacob	Specifying Confidentiality in Circus.	FM	2011	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Andy J. Wellings, Jim Woodcock 0001, Kun Wei, Frank Zeyda	Safety-critical Java in Circus.	JTRES	2011	DBLP DOI BibTeX RDF
23	Kun Wei, Jim Woodcock 0001, Alan Burns 0001	Timed Circus: Timed CSP with the Miracle.	ICECCS	2011	DBLP DOI BibTeX RDF
23	Yukihiro Nomura, Naoto Hayashi, Yoshitaka Masutani, Takeharu Yoshikawa, Mitsutaka Nemoto, Shohei Hanaoka, Soichiro Miki, Eriko Maeda, Kuni Ohtomo	CIRCUS: an MDA Platform for Clinical Image Analysis in Hospitals.	Trans. Mass Data Anal. Images Signals	2010	DBLP BibTeX RDF
23	Pawel Gancarski, Andrew Butterfield	Prioritized slotted-Circus.	ICTAC	2010	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001, Marie-Claude Gaudel	Specification Coverage for Testing in Circus.	UTP	2010	DBLP DOI BibTeX RDF
23	Frank Zeyda, Ana Cavalcanti 0001	Automating Refinement of Circus Programs.	SBMF	2010	DBLP DOI BibTeX RDF
23	Kun Wei, Jim Woodcock 0001, Alan Burns 0001	A Timed Model of Circus with the Reactive Design Miracle.	SEFM	2010	DBLP DOI BibTeX RDF
23	Robert J. Gluck	Silver Apples, Electric Circus, Electronic Arts, and Commerce in Late 1960s New York.	ICMC	2009	DBLP BibTeX RDF
23	Helena M. Mentis, Mary Beth Rosson	"It's like a circus in here!": affect and information sharing in an emergency department.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	collaboration, emotion, information sharing
23	Francisco Heron de Carvalho Junior, Rafael Dueire Lins	Compositional Specification of Parallel Components Using Circus.	FACS	2008	DBLP DOI BibTeX RDF
23	Marcel Oliveira, Ana Cavalcanti 0001	ArcAngelC: a Refinement Tactic Language for Circus.	Refine@FM	2008	DBLP DOI BibTeX RDF
23	Ana Cavalcanti 0001	Stateflow Diagrams in Circus.	SBMF	2008	DBLP DOI BibTeX RDF
23	Frank Zeyda, Ana Cavalcanti 0001	Encoding Circus Programs in ProofPowerZ.	UTP	2008	DBLP DOI BibTeX RDF
23	Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro	CRefine: Support for the Circus Refinement Calculus.	SEFM	2008	DBLP DOI BibTeX RDF
23	Michael Eisenberg	Computational Diversions: Circus Maximus.	Int. J. Comput. Math. Learn.	2007	DBLP DOI BibTeX RDF
23	Joe Marshall	Eye-balls: computer vision in the circus.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	juggling, performance, computer vision, art
23	Manuela Xavier, Ana Cavalcanti 0001, Augusto Sampaio	Type Checking Circus Specifications.	SBMF	2006	DBLP DOI BibTeX RDF
23	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A Denotational Semantics for Circus.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
23	Junko Kawashima	Monster farm 5 circus caravan.	SIGGRAPH Computer Animation Festival	2006	DBLP DOI BibTeX RDF