Ralph-Johan Back

Viorel Preoteasa, Ralph-Johan Back: Invariant diagrams with data refinement. Formal Asp. Comput. 24(1): 67-95 (2012)

Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre: Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin. IEEE/ACM Trans. Comput. Biology Bioinform. 9(3): 885-898 (2012)

Mikolaj Olszewski, Ralph-Johan Back: Agile Development with Stepwise Feature Introduction. ENASE 2012: 161-166

Ion Petre, Andrzej Mizera, Claire L. Hyder, Annika Meinander, Andrey Mikhailov, Richard I. Morimoto, Lea Sistonen, John E. Eriksson, Ralph-Johan Back: A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Natural Computing 10(1): 595-612 (2011)

Ralph-Johan Back, Viorel Preoteasa: Semantics and proof rules of invariant based programs. SAC 2011: 1658-1665

Ralph-Johan Back, Johannes Eriksson: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support. THedu'11 2011: 29-48

Pedro Quaresma, Ralph-Johan Back (Eds.): Proceedings First Workshop on CTP Components for Educational Software. EPTCS 79, 2011

Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, isbn 978-3-642-19747-5

Viorel Preoteasa, Ralph-Johan Back: Semantics and Data Refinement of Invariant Based Programs. Archive of Formal Proofs 2010 (2010)

Viorel Preoteasa, Ralph-Johan Back: Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Archive of Formal Proofs 2010 (2010)

Ralph-Johan Back: Structured derivations: a unified proof style for teaching mathematics. Formal Asp. Comput. 22(5): 629-661 (2010)

Johannes Eriksson, Ralph-Johan Back: Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM 2010: 24-39

Viorel Preoteasa, Ralph-Johan Back: Data Refinement of Invariant Based Programs. Electr. Notes Theor. Comput. Sci. 259: 143-163 (2009)

Ralph-Johan Back: Invariant based programming: basic approach and teaching experiences. Formal Asp. Comput. 21(3): 227-244 (2009)

Ion Petre, Andrzej Mizera, Ralph-Johan Back: Computational Heuristics for Simplifying a Biological Model. CiE 2009: 399-408

Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre: Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB 2009: 111-125

Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Proceedings Second International Workshop on Computational Models for Cell Processes. EPTCS 6, 2009

Corrado Priami, Ralph-Johan Back, Ion Petre (Eds.): Transactions on Computational Systems Biology XI. Lecture Notes in Computer Science 5750, Springer 2009, isbn 978-3-642-04185-3

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)

Ralph-Johan Back: Refinement Calculus as a Theory of Contracts (Invited Paper). UTP 2008: 1

Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78

Ralph-Johan Back: Incremental Software Construction with Refinement Diagrams. AMAST 2006: 1

Ralph-Johan Back: Invariant Based Programming. ICATPN 2006: 1-18

Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)

Ralph-Johan Back, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718

Ralph-Johan Back, Luka Milovanov, Ivan Porres: Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428

Ralph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17

Ralph-Johan Back, Cristina Cerschi Seceleanu: Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315

Ralph-Johan Back, Piia Hirkman, Luka Milovanov: Evaluating the XP Customer Model and Design by Contract. EUROMICRO 2004: 318-325

Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)

Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-

Ralph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003

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

Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): 3 (2002)

Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm: Symbolic Simulation of Hybrid Systems. APSEC 2002: 147-

Ralph-Johan Back: SFI: A Refinement Based Layered Software Architecture. ICFEM 2002: 1-2

Ralph-Johan Back: Software Construction by Stepwise Feature Introduction. ZB 2002: 162-183

Ralph-Johan Back, Luigia Petre, Ivan Porres: Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8(1): 2-21 (2001)

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000)

Ralph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. Comput. 12(5): 313-349 (2000)

Ralph-Johan Back, Joakim von Wright: Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000)

Ralph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213

Ralph-Johan Back, Joakim von Wright: Refinement calculus - a systematic introduction. Undergraduate texts in computer science, Springer 1999, isbn 978-0-387-98417-9, pp. I-XV, 1-519

Ralph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)

Martin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476

Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533

Ralph-Johan Back, Qiwen Xu: Refinement of Fair Action Systems. Acta Inf. 35(2): 131-165 (1998)

Ralph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Inf. 35(11): 921-949 (1998)

Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: 20-33 (1997)

Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)

Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262

Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Reactive Systems. Formal Asp. Comput. 8(3): 324-346 (1996)

Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)

Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. Software - Concepts and Tools 17(1): 26-39 (1996)

Ralph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)

Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158

Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179

Ralph-Johan Back, Joakim von Wright: Trace Refinement of Action Systems. CONCUR 1994: 367-384

Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. FME 1994: 1-25

Ralph-Johan Back, Kaisa Sere: Action Systems with Synchronous Communication. PROCOMET 1994: 107-126

Hong Shen, Ralph-Johan Back: Construction of large-size interconnection networks with high performance. Networks 23(4): 399-414 (1993)

Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)

Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio: On Equivalence-Completions of Fairness Assumtions. Formal Asp. Comput. 4(6): 582-591 (1992)

Hong Shen, Ralph-Johan Back: Construction of large-size interconnection networks with high performance. Microprocessing and Microprogramming 35(1-5): 545-554 (1992)

Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)

Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20

Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. Structured Programming 12(1): 17-30 (1991)

Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493

M. Aspnäs, Ralph-Johan Back: A programming environment for a transputer-based multiprocessor system. Acta Cybern. 9(3): 291-301 (1990)

Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. Formal Asp. Comput. 2(3): 247-272 (1990)

Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)

Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. Distributed Computing 3(2): 73-87 (1989)

Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989)

Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. MPC 1989: 115-138

Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156

Ralph-Johan Back: A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) 1989: 199-216

Ralph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66

Ralph-Johan Back: Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop 1989: 67-93

Ralph-Johan Back: A Calculus of Refinements for Program Derivations. Acta Inf. 25(6): 593-624 (1988)

Ralph-Johan Back, Reino Kurki-Suonio: Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988)

Ralph-Johan Back, Reino Kurki-Suonio: Serializability in Distributed Systems with Handshaking. ICALP 1988: 52-66

Ralph-Johan Back, Heikki Mannila: On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theor. Comput. Sci. 39: 47-68 (1985)

Ralph-Johan Back, Heikki Mannila: A Semantic Approach to Program Modularity. Information and Control 60(1-3): 138-167 (1984)

Ralph-Johan Back: A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23: 187-210 (1983)

Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. PODC 1983: 131-142

Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä: Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27

Ralph-Johan Back, Heikki Mannila: Locality in Modular Systems. ICALP 1982: 1-13

Ralph-Johan Back, Heikki Mannila: A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC 1982: 111-120

Ralph-Johan Back: Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Acta Inf. 15: 233-249 (1981)

Ralph-Johan Back: On Correct Refinement of Programs. J. Comput. Syst. Sci. 23(1): 49-68 (1981)

Ralph-Johan Back: Semantics of Unbounded Nondeterminism. ICALP 1980: 51-63

Ralph-Johan Back: Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen 1980: 71-82