Joakim von Wright

46 papers A* 1B 5C 2Journal 17Unranked 18
YearRankTypeTitle / Venue / Authors
2009 J jnl
Enabledness and termination in refinement algebra.
Sci. Comput. Program.
Kim Solin, Joakim von Wright
2006 B conf
Refinement Algebra with Operators for Enabledness and Termination.
MPC
Kim Solin, Joakim von Wright
2004 J jnl
Towards a refinement algebra.
Sci. Comput. Program.
Joakim von Wright
2003 J jnl
Compositional Action System Refinement.
Formal Aspects Comput.
Ralph-Johan Back, Joakim von Wright
2003 C conf
Implementing Angelic Nondeterminism.
APSEC
Orieta Celiku, Joakim von Wright
2002 — ed.
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002
Refine
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002 — conf
Compositional Action System Refinement.
Refine
Ralph-Johan Back, Joakim von Wright
2002 B conf
From Kleene Algebra to Refinement Algebra.
MPC
Joakim von Wright
2002 — conf
Preface.
Refine
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002 C conf
Theorem Prover Support for Precondition and Correctness Calculation.
ICFEM
Orieta Celiku, Joakim von Wright
2000 J jnl
Class Refinement as Semantics of Correct Object Substitutability.
Formal Aspects Comput.
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
2000 J jnl
Contracts, Games, and Refinement.
Inf. Comput.
Ralph-Johan Back, Joakim von Wright
2000 B conf
Distance tutorials in a systems design course.
ITiCSE
Joakim von Wright
2000 J jnl
Encoding, Decoding and Data Refinement.
Formal Aspects Comput.
Ralph-Johan Back, Joakim von Wright
2000 — conf
Functional Procedures in Higher-Order Logic.
TPHOLs
Linas Laibinis, Joakim von Wright
1999 — conf
Reasoning About Interactive Systems.
World Congress on Formal Methods
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
1999 J jnl
Reasoning Algebraically about Loops.
Acta Informatica
Ralph-Johan Back, Joakim von Wright
1998 — conf
A Tool for Data Refinement.
TPHOLs
Rimvydas Ruksenas, Joakim von Wright
1998 — conf
Extending Window Inference.
TPHOLs
Joakim von Wright
1998 — conf
Proving Isomorphism of First-Order Logic Proof Systems in HOL.
TPHOLs
Anna Mikhajlova, Joakim von Wright
1998 — book
Refinement Calculus - A Systematic Introduction.
Ralph-Johan Back, Joakim von Wright
1997 — conf
Contracts, games and refinement.
EXPRESS
Ralph-Johan Back, Joakim von Wright
1997 — conf
Refining Reactive Systems in HOL Using Action Systems.
TPHOLs
Thomas Långbacka, Joakim von Wright
1997 J jnl
Structured Calculational Proof.
Formal Aspects Comput.
Ralph-Johan Back, Jim Grundy, Joakim von Wright
1996 — ed.
Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
TPHOLs
Joakim von Wright, Jim Grundy, John Harrison
1995 J jnl
Games and Winning Strategies.
Inf. Process. Lett.
Ralph-Johan Back, Joakim von Wright
1995 J jnl
Representing Higher-Order Logic Proofs in HOL.
Comput. J.
Joakim von Wright
1995 — conf
TkWinHOL: A Tool for Window Inference in HOL.
TPHOLs
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
1994 — conf
Program Refinement by Theorem Prover.
Refine
Joakim von Wright
1994 — conf
Representing Higher-Order Logic Proofs in HOL.
TPHOLs
Joakim von Wright
1994 J jnl
The Lattice of Data Refinement.
Acta Informatica
Joakim von Wright
1994 B conf
Trace Refinement of Action Systems.
CONCUR
Ralph-Johan Back, Joakim von Wright
1993 J jnl
Mechanizing Some Advanced Refinement Concepts.
Formal Methods Syst. Des.
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
1993 J jnl
Statement Inversion and Strongest Postcondition.
Sci. Comput. Program.
Ralph-Johan Back, Joakim von Wright
1992 J jnl
Combining Angles, Demons and Miracles in Program Specifications.
Theor. Comput. Sci.
Ralph-Johan Back, Joakim von Wright
1992 — conf
Mechanising some Advanced Refinement Concepts.
TPHOLs
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
1992 — conf
Predicate Transformers and Higher Order Logic.
REX Workshop
Ralph-Johan Back, Joakim von Wright
1992 A* conf
Using a Theorem Prover for Reasoning about Concurrent Algorithms.
CAV
Joakim von Wright, Thomas Långbacka
1991 — conf
Mechanising the Temporal Logic of Actions in HOL.
TPHOLs
Joakim von Wright
1991 J jnl
Program Inversion in the Refinement Calculus.
Inf. Process. Lett.
Joakim von Wright
1991 — conf
Program Transformations and Refinements in HOL.
TPHOLs
Joakim von Wright, Kaisa Sere
1990 J jnl
Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Informatica
Ralph-Johan Back, Joakim von Wright
1990 J jnl
Refinement Concepts Formalised in Higher Order Logic.
Formal Aspects Comput.
Ralph-Johan Back, Joakim von Wright
1990 — conf
Refinement Concepts Formalized in Higher Order Logic.
Programming Concepts and Methods
Ralph-Johan Back, Joakim von Wright
1989 B conf
A Lattice-theoretical Basis for a Specification Language.
MPC
Ralph-Johan Back, Joakim von Wright
1989 — conf
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
REX Workshop
Ralph-Johan Back, Joakim von Wright