| 2006 |
|---|
| 40 | EE | Kim Solin,
Joakim von Wright:
Refinement Algebra with Operators for Enabledness and Termination.
MPC 2006: 397-415 |
| 2004 |
|---|
| 39 | EE | Joakim von Wright:
Towards a refinement algebra.
Sci. Comput. Program. 51(1-2): 23-45 (2004) |
| 2003 |
|---|
| 38 | EE | Orieta Celiku,
Joakim von Wright:
Implementing Angelic Nondeterminism.
APSEC 2003: 176-185 |
| 37 | EE | Ralph-Johan Back,
Joakim von Wright:
Compositional Action System Refinement.
Formal Asp. Comput. 15(2-3): 103-117 (2003) |
| 2002 |
|---|
| 36 | EE | Orieta Celiku,
Joakim von Wright:
Theorem Prover Support for Precondition and Correctness Calculation.
ICFEM 2002: 299-310 |
| 35 | EE | Joakim von Wright:
From Kleene Algebra to Refinement Algebra.
MPC 2002: 233-262 |
| 34 | EE | Ralph-Johan Back,
Joakim von Wright:
Compositional Action System Refinement.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 33 | EE | John Derrick,
Eerke A. Boiten,
Jim Woodcock,
Joakim von Wright:
Preface.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2000 |
|---|
| 32 | | Linas Laibinis,
Joakim von Wright:
Functional Procedures in Higher-Order Logic.
TPHOLs 2000: 372-387 |
| 31 | EE | Ralph-Johan Back,
Anna Mikhajlova,
Joakim von Wright:
Class Refinement as Semantics of Correct Object Substitutability.
Formal Asp. Comput. 12(1): 18-40 (2000) |
| 30 | EE | Ralph-Johan Back,
Joakim von Wright:
Encoding, Decoding and Data Refinement.
Formal Asp. Comput. 12(5): 313-349 (2000) |
| 29 | | Ralph-Johan Back,
Joakim von Wright:
Contracts, Games, and Refinement.
Inf. Comput. 156(1-2): 25-45 (2000) |
| 1999 |
|---|
| 28 | EE | Ralph-Johan Back,
Anna Mikhajlova,
Joakim von Wright:
Reasoning About Interactive Systems.
World Congress on Formal Methods 1999: 1460-1476 |
| 27 | EE | Ralph-Johan Back,
Joakim von Wright:
Reasoning Algebraically about Loops.
Acta Inf. 36(4): 295-334 (1999) |
| 1998 |
|---|
| 26 | | Joakim von Wright:
Extending Window Inference.
TPHOLs 1998: 17-32 |
| 25 | | Anna Mikhajlova,
Joakim von Wright:
Proving Isomorphism of First-Order Logic Proof Systems in HOL.
TPHOLs 1998: 295-314 |
| 24 | | Rimvydas Ruksenas,
Joakim von Wright:
A Tool for Data Refinement.
TPHOLs 1998: 423-441 |
| 1997 |
|---|
| 23 | | Thomas Långbacka,
Joakim von Wright:
Refining Reactive Systems in HOL Using Action Systems.
TPHOLs 1997: 183-197 |
| 22 | EE | Ralph-Johan Back,
Joakim von Wright:
Contracts, games and refinement.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 21 | | Ralph-Johan Back,
Jim Grundy,
Joakim von Wright:
Structured Calculational Proof.
Formal Asp. Comput. 9(5-6): 469-483 (1997) |
| 1996 |
|---|
| 20 | | Joakim von Wright,
Jim Grundy,
John Harrison:
Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 19 | | Thomas Långbacka,
Rimvydas Ruksenas,
Joakim von Wright:
TkWinHOL: A Tool for Window Inference in HOL.
TPHOLs 1995: 245-260 |
| 18 | | Joakim von Wright:
Representing Higher-Order Logic Proofs in HOL.
Comput. J. 38(2): 171-179 (1995) |
| 17 | EE | Ralph-Johan Back,
Joakim von Wright:
Games and Winning Strategies.
Inf. Process. Lett. 53(3): 165-172 (1995) |
| 1994 |
|---|
| 16 | | Ralph-Johan Back,
Joakim von Wright:
Trace Refinement of Action Systems.
CONCUR 1994: 367-384 |
| 15 | | Joakim von Wright:
Representing Higher-Order Logic Proofs in HOL.
TPHOLs 1994: 456-470 |
| 14 | | Joakim von Wright:
The Lattice of Data Refinement.
Acta Inf. 31(2): 105-135 (1994) |
| 1993 |
|---|
| 13 | | Joakim von Wright,
Jukka Hekanaho,
P. Luostarinen,
Thomas Långbacka:
Mechanizing Some Advanced Refinement Concepts.
Formal Methods in System Design 3(1/2): 49-81 (1993) |
| 12 | | Ralph-Johan Back,
Joakim von Wright:
Statement Inversion and Strongest Postcondition.
Sci. Comput. Program. 20(3): 223-251 (1993) |
| 1992 |
|---|
| 11 | | Joakim von Wright,
Thomas Långbacka:
Using a Theorem Prover for Reasoning about Concurrent Algorithms.
CAV 1992: 56-68 |
| 10 | | Ralph-Johan Back,
Joakim von Wright:
Predicate Transformers and Higher Order Logic.
REX Workshop 1992: 1-20 |
| 9 | | Joakim von Wright,
Jukka Hekanaho,
P. Luostarinen,
Thomas Långbacka:
Mechanising some Advanced Refinement Concepts.
TPHOLs 1992: 307-326 |
| 8 | | Ralph-Johan Back,
Joakim von Wright:
Combining Angles, Demons and Miracles in Program Specifications.
Theor. Comput. Sci. 100(2): 365-383 (1992) |
| 1991 |
|---|
| 7 | | Joakim von Wright:
Mechanising the Temporal Logic of Actions in HOL.
TPHOLs 1991: 155-159 |
| 6 | | Joakim von Wright,
Kaisa Sere:
Program Transformations and Refinements in HOL.
TPHOLs 1991: 231-239 |
| 5 | | Joakim von Wright:
Program Inversion in the Refinement Calculus.
Inf. Process. Lett. 37(2): 95-100 (1991) |
| 1990 |
|---|
| 4 | | Ralph-Johan Back,
Joakim von Wright:
Refinement Concepts Formalised in Higher Order Logic.
Formal Asp. Comput. 2(3): 247-272 (1990) |
| 1989 |
|---|
| 3 | | Ralph-Johan Back,
Joakim von Wright:
A Lattice-theoretical Basis for a Specification Language.
MPC 1989: 139-156 |
| 2 | | Ralph-Johan Back,
Joakim von Wright:
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
REX Workshop 1989: 42-66 |
| 1 | | Ralph-Johan Back,
Joakim von Wright:
Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Inf. 27(7): 583-625 (1989) |
