| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
|
| 1 | Andrew Butterfield |
The Inner and Outer Algebras of Unified Concurrency. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Simon Foster 0001 |
Hybrid Relations in Isabelle/UTP. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig |
A Testing Perspective on Algebraic, Denotational, and Operational Semantics. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Hoare, Georg Struth, Jim Woodcock 0001 |
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Larissa A. Meinicke |
Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Walter Guttmann |
Connecting Fixpoints of Computations with Strict Progress. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Naumann, Minh Ngo |
Whither Specifications as Programs. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wu 0005, Huibiao Zhu, Wanling Xie |
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. |
UTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | 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 |
|
| 1 | Siqi Li, Eric Madelaine |
A Denotational Semantics for Parameterised Networks of Synchronised Automata. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanling Xie, Shuangqing Xiang |
UTP Semantics for rTiMo. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ribeiro 0002, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Stepwise Approach to Linking Theories. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Simon Foster 0001, Leo Freitas |
An Axiomatic Value Model for Isabelle/UTP. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Gerard Ekembe Ngondi, Jim Woodcock 0001 |
UTP Semantics of Reactive Processes with Continuations. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He 0001 |
A New Roadmap for Linking Theories of Programming. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield |
UTPCalc - A Calculator for UTP Predicates. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster 0001, Bernhard Thiele, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Towards a UTP Semantics for Modelica. |
UTP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001 |
Isabelle/UTP: A Mechanised Theory Engineering Framework. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Canham, Jim Woodcock 0001 |
Three Approaches to Timed External Choice in UTP. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock 0001 |
Towards Algebraic Semantics of Circus Time. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Wu, Huibiao Zhu, Xi Wu 0005 |
Observation-Oriented Semantics for Calculus of Wireless Systems. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Angelicism in the Theory of Reactive Processes. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden |
Constructing the Views Framework. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Longfei Zhu, Qiwen Xu, Jifeng He 0001, Huibiao Zhu |
A Formal Model for a Hybrid Programming Language. |
UTP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Riccardo Bresciani, Andrew Butterfield |
A Probabilistic Theory of Designs Based on Distributions. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden, Tony Hoare |
Algebra Unifies Operational Calculi. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock 0001, Ana Cavalcanti 0001 |
Circus Time with Reactive Designs. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti 0001 |
Higher-Order UTP for a Theory of Methods. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengcheng Wu, Yongxin Zhao, Huibiao Zhu |
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock 0001, Victor Bandur |
Unifying Theories of Undefinedness in UTP. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Andrew Butterfield |
The Logic of U ·(TP)2. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Unifying Theories of Programming with Monads. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Steve Dunne |
Conscriptions: A New Relational Model for Sequential Computations. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li 0002, Yongxin Zhao, Xiaofeng Wu, Si Liu 0001 |
Promoting Models. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelis Huizing, Ruurd Kuiper 0001, Tom Verhoeff |
Halting Still Standing - Programs versus Specifications. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Xu Wang 0001, Huibiao Zhu |
Towards a Pomset Semantics for a Shared-Variable Parallel Language. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Pete Bell |
Probabilistic Choice, Reversibility, Loops, and Miracles. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Banks, Jeremy L. Jacob |
Unifying Theories of Confidentiality. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann |
Unifying Recursion in Partial, Total and General Correctness. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Unifying Theories in Isabelle/HOL. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Andrew Butterfield |
Saoithín: A Theorem Prover for UTP. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Jifeng He 0001 |
A Probabilistic BPEL-Like Language. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen |
Programmable Verifiers in Imperative Programming. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Banks, Jeremy L. Jacob |
On Modelling User Observations in the UTP. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Chen 0027, Nan Ye, Wenxu Ding |
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Specification Coverage for Testing in Circus. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Yifeng Chen, Jeff W. Sanders |
UTP and Sustainability. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Weiglhofer, Bernhard K. Aichernig |
Unifying Input Output Conformance. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back |
Refinement Calculus as a Theory of Contracts (Invited Paper). |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He 0001, Xiaoqing Peng, Naiyong Jin |
Denotational Approach to an Event-Driven System-Level Language. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti 0001 |
Encoding Circus Programs in ProofPowerZ. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naijun Zhan, Eun-Young Kang 0001, Zhiming Liu 0001 |
Component Publications and Compositions. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He 0001 |
Transaction Calculus - (Invited Paper). |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Ian J. Hayes, Andy Galloway |
Reasoning about Loops in Total and General Correctness. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ignacio Perna, Jim Woodcock 0001 |
UTP Semantics for Handel-C. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Locations. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann |
Lazy UTP. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair A. McEwan, Jim Woodcock 0001 |
Unifying Theories of Interrupts. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Anderson, Gabriel Ciobanu, Leo Freitas |
UTP and Temporal Logic Model Checking. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock 0001 |
The Miracle of Reactive Programming. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Clare E. Martin, Sharon A. Curtis |
Monadic Maps and Folds for Multirelations in an Allegory. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock 0001 |
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract). |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric C. R. Hehner |
Retrospective and Prospective for Unifying Theories of Programming. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He 0001, C. A. R. Hoare |
CSP Is a Retract of CCS. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Jifeng He 0001, Shengchao Qin, Adnan Sherif |
Constructing Property-Oriented Models for Verification. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He 0001, Jeff W. Sanders |
Unifying Probability. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann, Bernhard Möller |
Modal Design Algebra. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen |
Hierarchical Organisation of Predicate-Semantic Models. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Deutsch, Martin C. Henson |
A Relational Investigation of UTP Designs and Prescriptions. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gift Nuka, Jim Woodcock 0001 |
Mechanising a Unifying Theory. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Bill Stoddart, Frank Zeyda, Robert Lynas |
A Design-Based Model of Reversible Computation. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio |
Object-Orientation in the UTP. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license