| 2009 |
|---|
| 72 | EE | Ralph-Johan Back:
Invariant based programming: basic approach and teaching experiences.
Formal Asp. Comput. 21(3): 227-244 (2009) |
| 2008 |
|---|
| 71 | EE | Mauno Rönkkö,
Marina A. Waldén,
Ralph-Johan Back:
Beyond particle systems: Operator networks.
Simulation Modelling Practice and Theory 16(7): 834-847 (2008) |
| 2007 |
|---|
| 70 | EE | Ralph-Johan Back,
Johannes Eriksson,
Magnus Myreen:
Testing and Verifying Invariant Based Programs in the SOCOS Environment.
TAP 2007: 61-78 |
| 2006 |
|---|
| 69 | EE | Ralph-Johan Back:
Incremental Software Construction with Refinement Diagrams.
AMAST 2006: 1 |
| 68 | EE | Ralph-Johan Back:
Invariant Based Programming.
ICATPN 2006: 1-18 |
| 2005 |
|---|
| 67 | EE | Ralph-Johan Back,
Magnus Myreen:
Tool Support for Invariant Based Programming.
APSEC 2005: 711-718 |
| 66 | EE | Ralph-Johan Back,
Luka Milovanov,
Ivan Porres:
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
PROFES 2005: 414-428 |
| 65 | EE | Ralph-Johan Back,
Johannes Eriksson,
Luka Milovanov:
Using Stepwise Feature Introduction in Practice: An Experience Report.
RISE 2005: 2-17 |
| 64 | EE | Ralph-Johan Back,
Viorel Preoteasa:
An algebraic treatment of procedure refinement to support mechanical verification.
Formal Asp. Comput. 17(1): 69-90 (2005) |
| 2004 |
|---|
| 63 | EE | Ralph-Johan Back,
Cristina Cerschi Seceleanu:
Contracts and Games in Controller Synthesis for Discrete Systems.
ECBS 2004: 307-315 |
| 62 | EE | Ralph-Johan Back,
Piia Hirkman,
Luka Milovanov:
Evaluating the XP Customer Model and Design by Contract.
EUROMICRO 2004: 318-325 |
| 2003 |
|---|
| 61 | EE | Ralph-Johan Back,
Xiaocong Fan,
Viorel Preoteasa:
Reasoning about Pointers in Refinement Calculus.
APSEC 2003: 425- |
| 60 | EE | Ralph-Johan Back,
Viorel Preoteasa:
Reasoning about recursive procedures with parameters.
MERLIN 2003 |
| 59 | EE | Ralph-Johan Back,
Dag Björklund,
Johan Lilius,
Luka Milovanov,
Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications.
UML 2003: 96-100 |
| 58 | EE | Ralph-Johan Back,
Joakim von Wright:
Compositional Action System Refinement.
Formal Asp. Comput. 15(2-3): 103-117 (2003) |
| 2002 |
|---|
| 57 | EE | Ralph-Johan Back,
Cristina Cerschi Seceleanu,
Jan Westerholm:
Symbolic Simulation of Hybrid Systems.
APSEC 2002: 147- |
| 56 | EE | Ralph-Johan Back:
SFI: A Refinement Based Layered Software Architecture.
ICFEM 2002: 1-2 |
| 55 | EE | Ralph-Johan Back:
Software Construction by Stepwise Feature Introduction.
ZB 2002: 162-183 |
| 54 | EE | Ralph-Johan Back,
Joakim von Wright:
Compositional Action System Refinement.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 53 | | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput. 8(1): 2-21 (2001) |
| 2000 |
|---|
| 52 | EE | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Generalizing Action Systems to Hybrid Systems.
FTRTFT 2000: 202-213 |
| 51 | 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) |
| 50 | EE | Ralph-Johan Back,
Joakim von Wright:
Encoding, Decoding and Data Refinement.
Formal Asp. Comput. 12(5): 313-349 (2000) |
| 49 | | Ralph-Johan Back,
Joakim von Wright:
Contracts, Games, and Refinement.
Inf. Comput. 156(1-2): 25-45 (2000) |
| 1999 |
|---|
| 48 | | Luigia Petre,
Ralph-Johan Back,
Ivan Paltor:
Analysing UML Use Cases as Contracts.
UML 1999: 518-533 |
| 47 | EE | Ralph-Johan Back,
Anna Mikhajlova,
Joakim von Wright:
Reasoning About Interactive Systems.
World Congress on Formal Methods 1999: 1460-1476 |
| 46 | EE | Martin Büchi,
Ralph-Johan Back:
Compositional Symmetric Sharing in B.
World Congress on Formal Methods 1999: 431-451 |
| 45 | EE | Ralph-Johan Back,
Joakim von Wright:
Reasoning Algebraically about Loops.
Acta Inf. 36(4): 295-334 (1999) |
| 1998 |
|---|
| 44 | EE | Ralph-Johan Back,
Michael J. Butler:
Fusion and Simultaneous Execution in the Refinement Calculus.
Acta Inf. 35(11): 921-949 (1998) |
| 43 | EE | Ralph-Johan Back,
Qiwen Xu:
Refinement of Fair Action Systems.
Acta Inf. 35(2): 131-165 (1998) |
| 1997 |
|---|
| 42 | | Ralph-Johan Back,
Martin Büchi,
Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects.
ARTS 1997: 248-262 |
| 41 | EE | Ralph-Johan Back,
Joakim von Wright:
Contracts, games and refinement.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 40 | | Ralph-Johan Back,
Jim Grundy,
Joakim von Wright:
Structured Calculational Proof.
Formal Asp. Comput. 9(5-6): 469-483 (1997) |
| 1996 |
|---|
| 39 | | Ralph-Johan Back,
Kaisa Sere:
Superposition Refinement of Reactive Systems.
Formal Asp. Comput. 8(3): 324-346 (1996) |
| 38 | | Ralph-Johan Back,
Alain J. Martin,
Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program. 26(1-3): 79-97 (1996) |
| 37 | | Ralph-Johan Back,
Kaisa Sere:
From Action Systems to Modular Systems.
Software - Concepts and Tools 17(1): 26-39 (1996) |
| 1995 |
|---|
| 36 | | Ralph-Johan Back,
Michael J. Butler:
Exploring Summation and Product Operators in the Refinement Calculus.
MPC 1995: 128-158 |
| 35 | | Ralph-Johan Back,
Alain J. Martin,
Kaisa Sere:
An Action System Specification of the Caltech Asynchronous Microprocessor.
MPC 1995: 159-179 |
| 34 | EE | Ralph-Johan Back,
Joakim von Wright:
Games and Winning Strategies.
Inf. Process. Lett. 53(3): 165-172 (1995) |
| 1994 |
|---|
| 33 | | Ralph-Johan Back,
Joakim von Wright:
Trace Refinement of Action Systems.
CONCUR 1994: 367-384 |
| 32 | | Ralph-Johan Back,
Kaisa Sere:
From Action Systems to Modular Systems.
FME 1994: 1-25 |
| 31 | | Ralph-Johan Back,
Kaisa Sere:
Action Systems with Synchronous Communication.
PROCOMET 1994: 107-126 |
| 1993 |
|---|
| 30 | | Ralph-Johan Back,
Joakim von Wright:
Statement Inversion and Strongest Postcondition.
Sci. Comput. Program. 20(3): 223-251 (1993) |
| 1992 |
|---|
| 29 | | Ralph-Johan Back,
Joakim von Wright:
Predicate Transformers and Higher Order Logic.
REX Workshop 1992: 1-20 |
| 28 | | Nissim Francez,
Ralph-Johan Back,
Reino Kurki-Suonio:
On Equivalence-Completions of Fairness Assumtions.
Formal Asp. Comput. 4(6): 582-591 (1992) |
| 27 | | Ralph-Johan Back,
Joakim von Wright:
Combining Angles, Demons and Miracles in Program Specifications.
Theor. Comput. Sci. 100(2): 365-383 (1992) |
| 1991 |
|---|
| 26 | | Ralph-Johan Back,
Kaisa Sere:
Superposition Refinement of Parallel Algorithms.
FORTE 1991: 475-493 |
| 25 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Action Systems.
Structured Programming 12(1): 17-30 (1991) |
| 1990 |
|---|
| 24 | | M. Aspnäs,
Ralph-Johan Back:
A programming environment for a transputer-based multiprocessor system.
Acta Cybern. 9(3): 291-301 (1990) |
| 23 | | Ralph-Johan Back,
Joakim von Wright:
Refinement Concepts Formalised in Higher Order Logic.
Formal Asp. Comput. 2(3): 247-272 (1990) |
| 1989 |
|---|
| 22 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Action Systems.
MPC 1989: 115-138 |
| 21 | | Ralph-Johan Back,
Joakim von Wright:
A Lattice-theoretical Basis for a Specification Language.
MPC 1989: 139-156 |
| 20 | | Ralph-Johan Back:
A Method for Refining Atomicity in Parallel Algorithms.
PARLE (2) 1989: 199-216 |
| 19 | | Ralph-Johan Back,
Joakim von Wright:
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
REX Workshop 1989: 42-66 |
| 18 | | Ralph-Johan Back:
Refinement Calculus, Part II: Parallel and Reactive Programs.
REX Workshop 1989: 67-93 |
| 17 | | Ralph-Johan Back,
Joakim von Wright:
Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Inf. 27(7): 583-625 (1989) |
| 16 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control.
Distributed Computing 3(2): 73-87 (1989) |
| 15 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Parallel Algorithms.
Sci. Comput. Program. 13(1): 133-180 (1989) |
| 1988 |
|---|
| 14 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Serializability in Distributed Systems with Handshaking.
ICALP 1988: 52-66 |
| 13 | EE | Ralph-Johan Back,
Reino Kurki-Suonio:
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988) |
| 12 | | Ralph-Johan Back:
A Calculus of Refinements for Program Derivations.
Acta Inf. 25(6): 593-624 (1988) |
| 1985 |
|---|
| 11 | | Ralph-Johan Back,
Heikki Mannila:
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
Theor. Comput. Sci. 39: 47-68 (1985) |
| 1984 |
|---|
| 10 | | Ralph-Johan Back,
Heikki Mannila:
A Semantic Approach to Program Modularity
Information and Control 60(1-3): 138-167 (1984) |
| 1983 |
|---|
| 9 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control.
PODC 1983: 131-142 |
| 8 | | Ralph-Johan Back,
Heikki Mannila,
Kari-Jouko Räihä:
Derivation of Efficient DAG Marking Algorithms.
POPL 1983: 20-27 |
| 7 | | Ralph-Johan Back:
A Continuous Semantics for Unbounded Nondeterminism.
Theor. Comput. Sci. 23: 187-210 (1983) |
| 1982 |
|---|
| 6 | | Ralph-Johan Back,
Heikki Mannila:
Locality in Modular Systems.
ICALP 1982: 1-13 |
| 5 | | Ralph-Johan Back,
Heikki Mannila:
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
PODC 1982: 111-120 |
| 1981 |
|---|
| 4 | | Ralph-Johan Back:
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic.
Acta Inf. 15: 233-249 (1981) |
| 3 | | Ralph-Johan Back:
On Correct Refinement of Programs.
J. Comput. Syst. Sci. 23(1): 49-68 (1981) |
| 1980 |
|---|
| 2 | | Ralph-Johan Back:
Exception Handling with Multi-Exit Statements.
Fachtagung über Programmiersprachen 1980: 71-82 |
| 1 | | Ralph-Johan Back:
Semantics of Unbounded Nondeterminism.
ICALP 1980: 51-63 |
