Joakim von Wright

Publication Activity (10 Years)

Years Active: 1989-2009
Publications (10 Years): 0

Publications

Kim Solin, Joakim von Wright
Enabledness and termination in refinement algebra. Sci. Comput. Program. 74 (8) (2009)
Kim Solin, Joakim von Wright
Refinement Algebra with Operators for Enabledness and Termination. MPC (2006)
Joakim von Wright
Towards a refinement algebra. Sci. Comput. Program. 51 (1-2) (2004)
Orieta Celiku, Joakim von Wright
Implementing Angelic Nondeterminism. APSEC (2003)
Ralph-Johan Back, Joakim von Wright
Compositional Action System Refinement. Formal Aspects Comput. 15 (2-3) (2003)
Orieta Celiku, Joakim von Wright
Theorem Prover Support for Precondition and Correctness Calculation. ICFEM (2002)
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
Preface. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Joakim von Wright
From Kleene Algebra to Refinement Algebra. MPC (2002)
Ralph-Johan Back, Joakim von Wright
Compositional Action System Refinement. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Linas Laibinis, Joakim von Wright
Functional Procedures in Higher-Order Logic. TPHOLs (2000)
Ralph-Johan Back, Joakim von Wright
Contracts, Games, and Refinement. Inf. Comput. 156 (1-2) (2000)
Joakim von Wright
Distance tutorials in a systems design course. ITiCSE (2000)
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects Comput. 12 (1) (2000)
Ralph-Johan Back, Joakim von Wright
Encoding, Decoding and Data Refinement. Formal Aspects Comput. 12 (5) (2000)
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Reasoning About Interactive Systems. World Congress on Formal Methods (1999)
Ralph-Johan Back, Joakim von Wright
Reasoning Algebraically about Loops. Acta Informatica 36 (4) (1999)
Rimvydas Ruksenas, Joakim von Wright
A Tool for Data Refinement. TPHOLs (1998)
Anna Mikhajlova, Joakim von Wright
Proving Isomorphism of First-Order Logic Proof Systems in HOL. TPHOLs (1998)
Joakim von Wright
Extending Window Inference. TPHOLs (1998)
Ralph-Johan Back, Jim Grundy, Joakim von Wright
Structured Calculational Proof. Formal Aspects Comput. 9 (5-6) (1997)
Thomas Långbacka, Joakim von Wright
Refining Reactive Systems in HOL Using Action Systems. TPHOLs (1997)
Ralph-Johan Back, Joakim von Wright
Contracts, games and refinement. EXPRESS (1997)
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
TkWinHOL: A Tool for Window Inference in HOL. TPHOLs (1995)
Ralph-Johan Back, Joakim von Wright
Games and Winning Strategies. Inf. Process. Lett. 53 (3) (1995)
Joakim von Wright
Representing Higher-Order Logic Proofs in HOL. Comput. J. 38 (2) (1995)
Joakim von Wright
The Lattice of Data Refinement. Acta Informatica 31 (2) (1994)
Ralph-Johan Back, Joakim von Wright
Trace Refinement of Action Systems. CONCUR (1994)
Joakim von Wright
Representing Higher-Order Logic Proofs in HOL. TPHOLs (1994)
Joakim von Wright
Program Refinement by Theorem Prover. Refine (1994)
Ralph-Johan Back, Joakim von Wright
Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20 (3) (1993)
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanizing Some Advanced Refinement Concepts. Formal Methods Syst. Des. 3 (1/2) (1993)
Ralph-Johan Back, Joakim von Wright
Predicate Transformers and Higher Order Logic. REX Workshop (1992)
Ralph-Johan Back, Joakim von Wright
Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100 (2) (1992)
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanising some Advanced Refinement Concepts. TPHOLs (1992)
Joakim von Wright, Thomas Långbacka
Using a Theorem Prover for Reasoning about Concurrent Algorithms. CAV (1992)
Joakim von Wright
Mechanising the Temporal Logic of Actions in HOL. TPHOLs (1991)
Joakim von Wright, Kaisa Sere
Program Transformations and Refinements in HOL. TPHOLs (1991)
Joakim von Wright
Program Inversion in the Refinement Calculus. Inf. Process. Lett. 37 (2) (1991)
Ralph-Johan Back, Joakim von Wright
Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Informatica 27 (7) (1990)
Ralph-Johan Back, Joakim von Wright
Refinement Concepts Formalised in Higher Order Logic. Formal Aspects Comput. 2 (3) (1990)
Ralph-Johan Back, Joakim von Wright
Refinement Concepts Formalized in Higher Order Logic. Programming Concepts and Methods (1990)
Ralph-Johan Back, Joakim von Wright
Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop (1989)
Ralph-Johan Back, Joakim von Wright
A Lattice-theoretical Basis for a Specification Language. MPC (1989)