Search results for "UTP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio	Object-Orientation in the UTP.	UTP	2006	DBLP DOI BibTeX RDF
100	Walter Guttmann, Bernhard Möller	Modal Design Algebra.	UTP	2006	DBLP DOI BibTeX RDF
100	Gift Nuka, Jim Woodcock 0001	Mechanising a Unifying Theory.	UTP	2006	DBLP DOI BibTeX RDF
89	Jim Woodcock 0001	An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).	UTP	2006	DBLP DOI BibTeX RDF
86	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Objects.	IFM	2007	DBLP DOI BibTeX RDF
82	Shengchao Qin, Jin Song Dong, Wei-Ngan Chin	A Semantic Foundation for TCOZ in Unifying Theories of Programming.	FME	2003	DBLP DOI BibTeX RDF	UTP, integrated formal specifications, semantics
75	Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001	A Theory of Pointers for the UTP.	ICTAC	2008	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
72	Simon Foster 0001	Hybrid Relations in Isabelle/UTP.	UTP	2019	DBLP DOI BibTeX RDF
72	Xi Wu 0005, Huibiao Zhu, Wanling Xie	UTP Semantics of a Calculus for Mobile Ad Hoc Networks.	UTP	2019	DBLP DOI BibTeX RDF
72	Wanling Xie, Shuangqing Xiang	UTP Semantics for rTiMo.	UTP	2016	DBLP DOI BibTeX RDF
72	Frank Zeyda, Simon Foster 0001, Leo Freitas	An Axiomatic Value Model for Isabelle/UTP.	UTP	2016	DBLP DOI BibTeX RDF
72	Gerard Ekembe Ngondi, Jim Woodcock 0001	UTP Semantics of Reactive Processes with Continuations.	UTP	2016	DBLP DOI BibTeX RDF
72	Andrew Butterfield	UTPCalc - A Calculator for UTP Predicates.	UTP	2016	DBLP DOI BibTeX RDF
72	Simon Foster 0001, Bernhard Thiele, Ana Cavalcanti 0001, Jim Woodcock 0001	Towards a UTP Semantics for Modelica.	UTP	2016	DBLP DOI BibTeX RDF
72	Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001	Isabelle/UTP: A Mechanised Theory Engineering Framework.	UTP	2014	DBLP DOI BibTeX RDF
72	Samuel Canham, Jim Woodcock 0001	Three Approaches to Timed External Choice in UTP.	UTP	2014	DBLP DOI BibTeX RDF
72	Frank Zeyda, Ana Cavalcanti 0001	Higher-Order UTP for a Theory of Methods.	UTP	2012	DBLP DOI BibTeX RDF
72	Jim Woodcock 0001, Victor Bandur	Unifying Theories of Undefinedness in UTP.	UTP	2012	DBLP DOI BibTeX RDF
72	Andrew Butterfield	Saoithín: A Theorem Prover for UTP.	UTP	2010	DBLP DOI BibTeX RDF
72	Michael J. Banks, Jeremy L. Jacob	On Modelling User Observations in the UTP.	UTP	2010	DBLP DOI BibTeX RDF
72	Yifeng Chen, Jeff W. Sanders	UTP and Sustainability.	UTP	2010	DBLP DOI BibTeX RDF
72	Juan Ignacio Perna, Jim Woodcock 0001	UTP Semantics for Handel-C.	UTP	2008	DBLP DOI BibTeX RDF
72	Walter Guttmann	Lazy UTP.	UTP	2008	DBLP DOI BibTeX RDF
72	Hugh Anderson, Gabriel Ciobanu, Leo Freitas	UTP and Temporal Logic Model Checking.	UTP	2008	DBLP DOI BibTeX RDF
72	Moshe Deutsch, Martin C. Henson	A Relational Investigation of UTP Designs and Prescriptions.	UTP	2006	DBLP DOI BibTeX RDF
65	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
65	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin	A Relational Model for Object-Oriented Designs.	APLAS	2004	DBLP DOI BibTeX RDF	UTP, Semantics, Object Orientation, Refinement
58	Bernhard Möller	The Linear Algebra of UTP.	MPC	2006	DBLP DOI BibTeX RDF
58	Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao	Software Testing Process Automation Based on UTP - A Case Study.	ISPW	2005	DBLP DOI BibTeX RDF
52	Dongwook Lee, JongWon Kim 0001	Delayed-Duplicated ACK (DDA) Algorithm for TCP Performance Enhancement to Overcome Packet Sequence Disruption in Fast-Handoff of Mobile IPv6.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
48	Pedro Ribeiro 0002, Augusto Sampaio (eds.)	Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings	UTP	2019	DBLP DOI BibTeX RDF
48	Andrew Butterfield	The Inner and Outer Algebras of Unified Concurrency.	UTP	2019	DBLP DOI BibTeX RDF
48	Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Alexandre Mota 0001, Kangfeng Ye	Probabilistic Semantics for RoboChart - A Weakest Completion Approach.	UTP	2019	DBLP DOI BibTeX RDF
48	Bernhard K. Aichernig	A Testing Perspective on Algebraic, Denotational, and Operational Semantics.	UTP	2019	DBLP DOI BibTeX RDF
48	Tony Hoare, Georg Struth, Jim Woodcock 0001	A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.	UTP	2019	DBLP DOI BibTeX RDF
48	Ian J. Hayes, Larissa A. Meinicke	Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges.	UTP	2019	DBLP DOI BibTeX RDF
48	Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan	Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.	UTP	2019	DBLP DOI BibTeX RDF
48	Walter Guttmann	Connecting Fixpoints of Computations with Strict Progress.	UTP	2019	DBLP DOI BibTeX RDF
48	David A. Naumann, Minh Ngo	Whither Specifications as Programs.	UTP	2019	DBLP DOI BibTeX RDF
48	Jonathan P. Bowen, Huibiao Zhu (eds.)	Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers	UTP	2017	DBLP DOI BibTeX RDF
48	Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth	A Discrete Geometric Model of Concurrent Program Execution.	UTP	2016	DBLP DOI BibTeX RDF
48	Siqi Li, Eric Madelaine	A Denotational Semantics for Parameterised Networks of Synchronised Automata.	UTP	2016	DBLP DOI BibTeX RDF
48	Pedro Ribeiro 0002, Ana Cavalcanti 0001, Jim Woodcock 0001	A Stepwise Approach to Linking Theories.	UTP	2016	DBLP DOI BibTeX RDF
48	Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan	A Two-Way Path Between Formal and Informal Design of Embedded Systems.	UTP	2016	DBLP DOI BibTeX RDF
48	Jifeng He 0001	A New Roadmap for Linking Theories of Programming.	UTP	2016	DBLP DOI BibTeX RDF
48	David A. Naumann (eds.)	Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers	UTP	2015	DBLP DOI BibTeX RDF
48	Kun Wei, Jim Woodcock 0001	Towards Algebraic Semantics of Circus Time.	UTP	2014	DBLP DOI BibTeX RDF
48	Xiaofeng Wu, Huibiao Zhu, Xi Wu 0005	Observation-Oriented Semantics for Calculus of Wireless Systems.	UTP	2014	DBLP DOI BibTeX RDF
48	Pedro Ribeiro 0002, Ana Cavalcanti 0001	Angelicism in the Theory of Reactive Processes.	UTP	2014	DBLP DOI BibTeX RDF
48	Stephan van Staden	Constructing the Views Framework.	UTP	2014	DBLP DOI BibTeX RDF
48	Longfei Zhu, Qiwen Xu, Jifeng He 0001, Huibiao Zhu	A Formal Model for a Hybrid Programming Language.	UTP	2014	DBLP DOI BibTeX RDF
48	Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)	Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers	UTP	2013	DBLP DOI BibTeX RDF
48	Riccardo Bresciani, Andrew Butterfield	A Probabilistic Theory of Designs Based on Distributions.	UTP	2012	DBLP DOI BibTeX RDF
48	Stephan van Staden, Tony Hoare	Algebra Unifies Operational Calculi.	UTP	2012	DBLP DOI BibTeX RDF
48	Kun Wei, Jim Woodcock 0001, Ana Cavalcanti 0001	Circus Time with Reactive Designs.	UTP	2012	DBLP DOI BibTeX RDF
48	Chengcheng Wu, Yongxin Zhao, Huibiao Zhu	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.	UTP	2012	DBLP DOI BibTeX RDF
48	Huibiao Zhu, Jeff W. Sanders, Jifeng He 0001, Shengchao Qin	Denotational Semantics for a Probabilistic Timed Shared-Variable Language.	UTP	2012	DBLP DOI BibTeX RDF
48	Andrew Butterfield	The Logic of U ·(TP)2.	UTP	2012	DBLP DOI BibTeX RDF
48	Jeremy Gibbons	Unifying Theories of Programming with Monads.	UTP	2012	DBLP DOI BibTeX RDF
48	Huibiao Zhu, Peng Liu, Jifeng He 0001, Shengchao Qin	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.	UTP	2012	DBLP DOI BibTeX RDF
48	Steve Dunne	Conscriptions: A New Relational Model for Sequential Computations.	UTP	2012	DBLP DOI BibTeX RDF
48	Andrew Butterfield (eds.)	Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers	UTP	2010	DBLP DOI BibTeX RDF
48	Shengchao Qin (eds.)	Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings	UTP	2010	DBLP DOI BibTeX RDF
48	Qin Li 0002, Yongxin Zhao, Xiaofeng Wu, Si Liu 0001	Promoting Models.	UTP	2010	DBLP DOI BibTeX RDF
48	Cornelis Huizing, Ruurd Kuiper 0001, Tom Verhoeff	Halting Still Standing - Programs versus Specifications.	UTP	2010	DBLP DOI BibTeX RDF
48	Yongxin Zhao, Xu Wang 0001, Huibiao Zhu	Towards a Pomset Semantics for a Shared-Variable Parallel Language.	UTP	2010	DBLP DOI BibTeX RDF
48	Bill Stoddart, Pete Bell	Probabilistic Choice, Reversibility, Loops, and Miracles.	UTP	2010	DBLP DOI BibTeX RDF
48	Michael J. Banks, Jeremy L. Jacob	Unifying Theories of Confidentiality.	UTP	2010	DBLP DOI BibTeX RDF
48	Walter Guttmann	Unifying Recursion in Partial, Total and General Correctness.	UTP	2010	DBLP DOI BibTeX RDF
48	Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff	Unifying Theories in Isabelle/HOL.	UTP	2010	DBLP DOI BibTeX RDF
48	Huibiao Zhu, Fan Yang, Jifeng He 0001	Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.	UTP	2010	DBLP DOI BibTeX RDF
48	Jifeng He 0001	A Probabilistic BPEL-Like Language.	UTP	2010	DBLP DOI BibTeX RDF
48	Yifeng Chen	Programmable Verifiers in Imperative Programming.	UTP	2010	DBLP DOI BibTeX RDF
48	Xin Chen 0027, Nan Ye, Wenxu Ding	A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.	UTP	2010	DBLP DOI BibTeX RDF
48	Ana Cavalcanti 0001, Marie-Claude Gaudel	Specification Coverage for Testing in Circus.	UTP	2010	DBLP DOI BibTeX RDF
48	Martin Weiglhofer, Bernhard K. Aichernig	Unifying Input Output Conformance.	UTP	2008	DBLP DOI BibTeX RDF
48	Ralph-Johan Back	Refinement Calculus as a Theory of Contracts (Invited Paper).	UTP	2008	DBLP DOI BibTeX RDF
48	Huibiao Zhu, Jifeng He 0001, Xiaoqing Peng, Naiyong Jin	Denotational Approach to an Event-Driven System-Level Language.	UTP	2008	DBLP DOI BibTeX RDF
48	Frank Zeyda, Ana Cavalcanti 0001	Encoding Circus Programs in ProofPowerZ.	UTP	2008	DBLP DOI BibTeX RDF
48	Naijun Zhan, Eun-Young Kang 0001, Zhiming Liu 0001	Component Publications and Compositions.	UTP	2008	DBLP DOI BibTeX RDF
48	Jifeng He 0001	Transaction Calculus - (Invited Paper).	UTP	2008	DBLP DOI BibTeX RDF
48	Steve Dunne, Ian J. Hayes, Andy Galloway	Reasoning about Loops in Total and General Correctness.	UTP	2008	DBLP DOI BibTeX RDF
48	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Locations.	UTP	2008	DBLP DOI BibTeX RDF
48	Alistair A. McEwan, Jim Woodcock 0001	Unifying Theories of Interrupts.	UTP	2008	DBLP DOI BibTeX RDF
48	Jim Woodcock 0001	The Miracle of Reactive Programming.	UTP	2008	DBLP DOI BibTeX RDF
48	Ana Cavalcanti 0001, Marie-Claude Gaudel	A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.	UTP	2008	DBLP DOI BibTeX RDF
48	Clare E. Martin, Sharon A. Curtis	Monadic Maps and Folds for Multirelations in an Allegory.	UTP	2008	DBLP DOI BibTeX RDF
48	Steve Dunne, Bill Stoddart (eds.)	Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers	UTP	2006	DBLP DOI BibTeX RDF
48	Eric C. R. Hehner	Retrospective and Prospective for Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF
48	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
48	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
48	Jifeng He 0001, Shengchao Qin, Adnan Sherif	Constructing Property-Oriented Models for Verification.	UTP	2006	DBLP DOI BibTeX RDF
48	Jifeng He 0001, Jeff W. Sanders	Unifying Probability.	UTP	2006	DBLP DOI BibTeX RDF
48	Ian J. Hayes	Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.	UTP	2006	DBLP DOI BibTeX RDF
48	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
48	Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
48	Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001	Consistent Code Generation from UML Models.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	UTP, UML, Semantics, Object Orientation, Consistency, Code generation
41	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
41	Bernhard K. Aichernig, Jifeng He 0001	Mutation testing in UTP.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
34	Zan Wang, Jin-lan Liu, Xue Yu	Self-fertilization based genetic algorithm for university timetabling problem.	GEC Summit	2009	DBLP DOI BibTeX RDF	self-fertilization, genetic algorithm, simulated annealing, timetabling, advisor