UTP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 89 from 89

2019

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, ProceedingsPedro Ribeiro 0002, Augusto Sampaio, editors, Volume 11885 of Lecture Notes in Computer Science, Springer, 2019. [doi]

UTP Semantics of a Calculus for Mobile Ad Hoc NetworksXi Wu 0005, Huibiao Zhu, Wanling Xie. utp 2019: 198-216 [doi]

A Testing Perspective on Algebraic, Denotational, and Operational SemanticsBernhard K. Aichernig. utp 2019: 22-38 [doi]

The Inner and Outer Algebras of Unified ConcurrencyAndrew Butterfield. utp 2019: 157-175 [doi]

Hybrid Relations in Isabelle/UTPSimon Foster. utp 2019: 130-153 [doi]

Connecting Fixpoints of Computations with Strict ProgressWalter Guttmann. utp 2019: 62-79 [doi]

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and ChallengesIan J. Hayes, Larissa A. Meinicke. utp 2019: 176-197 [doi]

A Calculus of Space, Time, and Causality: Its Algebra, Geometry, LogicTony Hoare, Georg Struth, Jim Woodcock. utp 2019: 3-21 [doi]

Whither Specifications as ProgramsDavid A. Naumann, Minh Ngo. utp 2019: 39-61 [doi]

Probabilistic Semantics for RoboChart - A Weakest Completion ApproachJim Woodcock, Ana Cavalcanti, Simon Foster 0001, Alexandre Mota 0001, Kangfeng Ye. utp 2019: 80-105 [doi]

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/StateflowHaolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan. utp 2019: 109-129 [doi]

2017

Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected PapersJonathan P. Bowen, Huibiao Zhu, editors, Volume 10134 of Lecture Notes in Computer Science, Springer, 2017. [doi]

2016

UTPCalc - A Calculator for UTP PredicatesAndrew Butterfield. utp 2017: 197-216 [doi]

A Two-Way Path Between Formal and Informal Design of Embedded SystemsMingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan. utp 2017: 65-92 [doi]

Towards a UTP Semantics for ModelicaSimon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock. utp 2017: 44-64 [doi]

A New Roadmap for Linking Theories of ProgrammingJifeng He. utp 2017: 26-43 [doi]

A Denotational Semantics for Parameterised Networks of Synchronised AutomataSiqi Li, Eric Madelaine. utp 2017: 93-113 [doi]

A Discrete Geometric Model of Concurrent Program ExecutionBernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth. utp 2017: 1-25 [doi]

UTP Semantics of Reactive Processes with ContinuationsGerard Ekembe Ngondi, Jim Woodcock. utp 2017: 114-133 [doi]

A Stepwise Approach to Linking TheoriesPedro Ribeiro, Ana Cavalcanti, Jim Woodcock. utp 2017: 134-154 [doi]

UTP Semantics for rTiMoWanling Xie, Shuangqing Xiang. utp 2017: 176-196 [doi]

An Axiomatic Value Model for Isabelle/UTPFrank Zeyda, Simon Foster, Leo Freitas. utp 2017: 155-175 [doi]

2015

Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected PapersDavid Naumann, editor, Volume 8963 of Lecture Notes in Computer Science, Springer, 2015. [doi]

2014

2013

Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected PapersBurkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi, editors, Volume 7681 of Lecture Notes in Computer Science, Springer, 2013. [doi]

2012

A Probabilistic Theory of Designs Based on DistributionsRiccardo Bresciani, Andrew Butterfield. utp 2013: 105-123 [doi]

2Andrew Butterfield. utp 2013: 124-143 [doi]

Conscriptions: A New Relational Model for Sequential ComputationsSteve Dunne. utp 2013: 144-163 [doi]

Unifying Theories of Programming with MonadsJeremy Gibbons. utp 2013: 23-67 [doi]

Algebra Unifies Operational CalculiStephan van Staden, Tony Hoare. utp 2013: 88-104 [doi]

Circus Time with Reactive DesignsKun Wei, Jim Woodcock, Ana Cavalcanti. utp 2013: 68-87 [doi]

Unifying Theories of Undefinedness in UTPJim Woodcock, Victor Bandur. utp 2013: 1-22 [doi]

Unifying Operational Semantics with Algebraic Semantics for Instantaneous ReactionsChengcheng Wu, Yongxin Zhao, Huibiao Zhu. utp 2013: 186-203 [doi]

Higher-Order UTP for a Theory of MethodsFrank Zeyda, Ana Cavalcanti. utp 2013: 204-223 [doi]

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using MaudeHuibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin. utp 2013: 164-185 [doi]

Denotational Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin. utp 2013: 224-247 [doi]

2010

On Modelling User Observations in the UTPMichael J. Banks, Jeremy L. Jacob. utp 2010: 101-119 [doi]

Unifying Theories of ConfidentialityMichael J. Banks, Jeremy L. Jacob. utp 2010: 120-136 [doi]

Saoithín: A Theorem Prover for UTPAndrew Butterfield. utp 2010: 137-156 [doi]

Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected PapersAndrew Butterfield, editor, Volume 5713 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Specification Coverage for Testing in ::::Circus::::Ana Cavalcanti, Marie-Claude Gaudel. utp 2010: 1-45 [doi]

Programmable Verifiers in Imperative ProgrammingYifeng Chen. utp 2010: 172-187 [doi]

UTP and SustainabilityYifeng Chen, Jeff W. Sanders. utp 2010: 46-73 [doi]

A Formal Approach to Analyzing Interference Problems in Aspect-Oriented DesignsXin Chen, Nan Ye, Wenxu Ding. utp 2010: 157-171 [doi]

Unifying Theories in Isabelle/HOLAbderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. utp 2010: 188-206 [doi]

Unifying Recursion in Partial, Total and General CorrectnessWalter Guttmann. utp 2010: 207-225 [doi]

A Probabilistic BPEL-Like LanguageJifeng He. utp 2010: 74-100 [doi]

Halting Still Standing - Programs versus SpecificationsCornelis Huizing, Ruurd Kuiper, Tom Verhoeff. utp 2010: 226-233 [doi]

Promoting ModelsQin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu. utp 2010: 234-252 [doi]

Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. ProceedingsShengchao Qin, editor, Volume 6445 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Probabilistic Choice, Reversibility, Loops, and MiraclesBill Stoddart, Pete Bell. utp 2010: 253-270 [doi]

Towards a Pomset Semantics for a Shared-Variable Parallel LanguageYongxin Zhao, Xu Wang, Huibiao Zhu. utp 2010: 271-285 [doi]

Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level LanguageHuibiao Zhu, Fan Yang, Jifeng He. utp 2010: 286-308 [doi]

2008

UTP and Temporal Logic Model CheckingHugh Anderson, Gabriel Ciobanu, Leo Freitas. utp 2010: 22-41 [doi]

Refinement Calculus as a Theory of Contracts (Invited Paper)Ralph-Johan Back. utp 2010: 1 [doi]

A Note on Traces Refinement and the ::::conf:::: Relation in the Unifying Theories of ProgrammingAna Cavalcanti, Marie-Claude Gaudel. utp 2010: 42-61 [doi]

Reasoning about Loops in Total and General CorrectnessSteve Dunne, Ian J. Hayes, Andy Galloway. utp 2010: 62-81 [doi]

Lazy UTPWalter Guttmann. utp 2010: 82-101 [doi]

Transaction Calculus - (Invited Paper)Jifeng He. utp 2010: 2-21 [doi]

Monadic Maps and Folds for Multirelations in an AllegoryClare E. Martin, Sharon A. Curtis. utp 2010: 102-121 [doi]

Unifying Theories of InterruptsAlistair A. McEwan, Jim Woodcock. utp 2010: 122-141 [doi]

UTP Semantics for Handel-CJuan Ignacio Perna, Jim Woodcock. utp 2010: 142-160 [doi]

Unifying Theories of LocationsMichael Anthony Smith, Jeremy Gibbons. utp 2010: 161-180 [doi]

Unifying Input Output ConformanceMartin Weiglhofer, Bernhard K. Aichernig. utp 2010: 181-201 [doi]

The Miracle of Reactive ProgrammingJim Woodcock. utp 2010: 202-217 [doi]

Encoding ::::Circus:::: Programs in ProofPowerZFrank Zeyda, Ana Cavalcanti. utp 2010: 218-237 [doi]

Component Publications and CompositionsNaijun Zhan, Eun-Young Kang, Zhiming Liu. utp 2010: 238-257 [doi]

Denotational Approach to an Event-Driven System-Level LanguageHuibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin. utp 2010: 258-278 [doi]

2006

Pointers and Records in the Unifying Theories of ProgrammingAna Cavalcanti, Will Harwood, Jim Woodcock. utp 2006: 200-216 [doi]

Hierarchical Organisation of Predicate-Semantic ModelsYifeng Chen. utp 2006: 155-172 [doi]

A Relational Investigation of UTP Designs and PrescriptionsMoshe Deutsch, Martin C. Henson. utp 2006: 101-122 [doi]

Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected PapersSteve Dunne, Bill Stoddart, editors, Volume 4010 of Lecture Notes in Computer Science, Springer, 2006.

Modal Design AlgebraWalter Guttmann, Bernhard Möller. utp 2006: 236-256 [doi]

Termination of Real-Time Programs: Definitely, Definitely Not, or MaybeIan J. Hayes. utp 2006: 141-154 [doi]

CSP Is a Retract of CCSJifeng He, C. A. R. Hoare. utp 2006: 38-62 [doi]

Unifying ProbabilityJifeng He, Jeff W. Sanders. utp 2006: 173-199 [doi]

Constructing Property-Oriented Models for VerificationJifeng He, Shengchao Qin, Adnan Sherif. utp 2006: 85-100 [doi]

Retrospective and Prospective for Unifying Theories of ProgrammingEric C. R. Hehner. utp 2006: 1-17 [doi]

Mechanising a Unifying TheoryGift Nuka, Jim Woodcock. utp 2006: 217-235 [doi]

Unifying Theories in ProofPower-ZMarcel Oliveira, Ana Cavalcanti, Jim Woodcock. utp 2006: 123-140 [doi]

Object-Orientation in the UTPThiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio. utp 2006: 18-37 [doi]

A Design-Based Model of Reversible ComputationBill Stoddart, Frank Zeyda, Robert Lynas. utp 2006: 63-83 [doi]

An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)Jim Woodcock. utp 2006: 84-84 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

UTP (utp)

Viewing Publication 1 - 89 from 89

2019

2017

2016

2015

2014

2013

2012

2010

2008

2006

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

UTP (utp)

Viewing Publication 1 - 89 from 89

2019

2017

2016

2015

2014

2013

2012

2010

2008

2006

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1