Ralph-Johan Back

Publication Activity (10 Years)

Years Active: 1980-2018
Publications (10 Years): 1

Top Topics

Code Generation

English Language

Affine Transformation

Top Venues

J. Log. Algebraic Methods Program.

Publications

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
A Precise Pictorial Language for Array Invariants. IFM (2018)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
Verification and code generation for invariant diagrams in Isabelle. J. Log. Algebraic Methods Program. 84 (1) (2015)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Proofs and Refutations in Invariant-Based Programming. IFM (2014)
Viorel Preoteasa, Ralph-Johan Back
Invariant diagrams with data refinement. Formal Aspects Comput. 24 (1) (2012)
Mikolaj Olszewski, Ralph-Johan Back
Agile Development with Stepwise Feature Introduction. ENASE (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. Biol. Bioinform. 9 (3) (2012)
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. Nat. Comput. 10 (1) (2011)
Ralph-Johan Back, Viorel Preoteasa
Semantics and proof rules of invariant based programs. SAC (2011)
Ralph-Johan Back, Johannes Eriksson
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support ThEdu (2011)
Johannes Eriksson, Ralph-Johan Back
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM (2010)
Viorel Preoteasa, Ralph-Johan Back
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Arch. Formal Proofs 2010 (2010)
Ralph-Johan Back
Structured derivations: a unified proof style for teaching mathematics. Formal Aspects Comput. 22 (5) (2010)
Viorel Preoteasa, Ralph-Johan Back
Semantics and Data Refinement of Invariant Based Programs. Arch. Formal Proofs 2010 (2010)
Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB (2009)
Ion Petre, Andrzej Mizera, Claire L. Hyder, Andrey Mikhailov, John E. Eriksson, Lea Sistonen, Ralph-Johan Back
A New Mathematical Model for the Heat Shock Response. Algorithmic Bioprocesses (2009)
Viorel Preoteasa, Ralph-Johan Back
Data Refinement of Invariant Based Programs. Electron. Notes Theor. Comput. Sci. 259 (2009)
Ion Petre, Andrzej Mizera, Ralph-Johan Back
Computational Heuristics for Simplifying a Biological Model. CiE (2009)
Ralph-Johan Back
Invariant based programming: basic approach and teaching experiences. Formal Aspects Comput. 21 (3) (2009)
Ralph-Johan Back
Refinement Calculus as a Theory of Contracts (Invited Paper). UTP (2008)
Mauno Rönkkö, Marina Waldén, Ralph-Johan Back
Beyond particle systems: Operator networks. Simul. Model. Pract. Theory 16 (7) (2008)
Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP (2007)
Ralph-Johan Back
Incremental Software Construction with Refinement Diagrams. AMAST (2006)
Ralph-Johan Back
Invariant Based Programming. ICATPN (2006)
Ralph-Johan Back, Luka Milovanov, Ivan Porres
Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES (2005)
Ralph-Johan Back, Viorel Preoteasa
An algebraic treatment of procedure refinement to support mechanical verification. Formal Aspects Comput. 17 (1) (2005)
Ralph-Johan Back, Johannes Eriksson, Luka Milovanov
Using Stepwise Feature Introduction in Practice: An Experience Report. RISE (2005)
Ralph-Johan Back, Magnus Myreen
Tool Support for Invariant Based Programming. APSEC (2005)
Ralph-Johan Back, Piia Hirkman, Luka Milovanov
Evaluating the XP Customer Model and Design by Contract. EUROMICRO (2004)
Ralph-Johan Back, Cristina Cerschi Seceleanu
Contracts and Games in Controller Synthesis for Discrete Systems. ECBS (2004)
Ralph-Johan Back, Joakim von Wright
Compositional Action System Refinement. Formal Aspects Comput. 15 (2-3) (2003)
Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa
Reasoning about Pointers in Refinement Calculus. APSEC (2003)
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)
Ralph-Johan Back
Software Construction by Stepwise Feature Introduction. ZB (2002)
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm
Symbolic Simulation of Hybrid Systems. APSEC (2002)
Ralph-Johan Back
SFI: A Refinement Based Layered Software Architecture. ICFEM (2002)
Ralph-Johan Back, Joakim von Wright
Compositional Action System Refinement. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8 (1) (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Generalizing Action Systems to Hybrid Systems. FTRTFT (2000)
Ralph-Johan Back, Joakim von Wright
Contracts, Games, and Refinement. Inf. Comput. 156 (1-2) (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)
Luigia Petre, Ralph-Johan Back, Ivan Paltor
Analysing UML Use Cases as Contracts. UML (1999)
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)
Martin Büchi, Ralph-Johan Back
Compositional Symmetric Sharing in B. World Congress on Formal Methods (1999)
Ralph-Johan Back, Qiwen Xu
Refinement of Fair Action Systems. Acta Informatica 35 (2) (1998)
Ralph-Johan Back, Michael J. Butler
Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica 35 (11) (1998)
Ralph-Johan Back, Jim Grundy, Joakim von Wright
Structured Calculational Proof. Formal Aspects Comput. 9 (5-6) (1997)
Ralph-Johan Back, Martin Büchi, Emil Sekerinski
Action-Based Concurrency and Synchronization for Objects. ARTS (1997)
Ralph-Johan Back, Joakim von Wright
Contracts, games and refinement. EXPRESS (1997)
Ralph-Johan Back, Kaisa Sere
From Action Systems to Modular Systems. Softw. Concepts Tools 17 (1) (1996)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26 (1-3) (1996)
Ralph-Johan Back, Kaisa Sere
Superposition Refinement of Reactive Systems. Formal Aspects Comput. 8 (3) (1996)
Ralph-Johan Back, Michael J. Butler
Exploring Summation and Product Operators in the Refinement Calculus. MPC (1995)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC (1995)
Ralph-Johan Back, Joakim von Wright
Games and Winning Strategies. Inf. Process. Lett. 53 (3) (1995)
Ralph-Johan Back, Kaisa Sere
Action Systems with Synchronous Communication. PROCOMET (1994)
Ralph-Johan Back, Kaisa Sere
From Action Systems to Modular Systems. FME (1994)
Ralph-Johan Back, Joakim von Wright
Trace Refinement of Action Systems. CONCUR (1994)
Ralph-Johan Back, Joakim von Wright
Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20 (3) (1993)
Hong Shen, Ralph-Johan Back
Construction of large-size interconnection networks with high performance. Networks 23 (4) (1993)
Ralph-Johan Back
Refinement Calculus, Lattices and Higher Order Logic. NATO ASI PDC (1992)
Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
On Equivalence-Completions of Fairness Assumtions. Formal Aspects Comput. 4 (6) (1992)
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)
Hong Shen, Ralph-Johan Back
Construction of large-size interconnection networks with high performance. Microprocess. Microprogramming 35 (1-5) (1992)
Ralph-Johan Back
Refinement of Parallel and Reactive Programs. NATO ASI PDC (1992)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Action Systems. Struct. Program. 12 (1) (1991)
Ralph-Johan Back, Kaisa Sere
Superposition Refinement of Parallel Algorithms. FORTE (1991)
M. Aspnäs, Ralph-Johan Back, T.-E. Malén
Hathi-2 multiprocessor system. Microprocess. Microsystems 14 (7) (1990)
Ralph-Johan Back, Joakim von Wright
Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Informatica 27 (7) (1990)
Ralph-Johan Back, Reino Kurki-Suonio
Superposition and fairness in reactive system refinement. Jerusalem Conference on Information Technology (1990)
M. Aspnäs, Ralph-Johan Back
A programming environment for a transputer-based multiprocessor system. Acta Cybern. 9 (3) (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
Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop (1989)
Ralph-Johan Back
A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) (1989)
Ralph-Johan Back, Joakim von Wright
Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop (1989)
Ralph-Johan Back, Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control. Distributed Comput. 3 (2) (1989)
Ralph-Johan Back, Joakim von Wright
A Lattice-theoretical Basis for a Specification Language. MPC (1989)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13 (1) (1989)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Action Systems. MPC (1989)
Ralph-Johan Back, Reino Kurki-Suonio
Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10 (4) (1988)
Ralph-Johan Back, Reino Kurki-Suonio
Serializability in Distributed Systems with Handshaking. ICALP (1988)
Ralph-Johan Back
A Calculus of Refinements for Program Derivations. Acta Informatica 25 (6) (1988)
Ralph-Johan Back, Reino Kurki-Suonio
A new paradigm for the design of concurrent systems. IRTAW (1987)
Ralph-Johan Back, Heikki Mannila
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theor. Comput. Sci. 39 (1985)
Ralph-Johan Back, Heikki Mannila
A Semantic Approach to Program Modularity Inf. Control. 60 (1-3) (1984)
Ralph-Johan Back
A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23 (1983)
Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä
Derivation of Efficient DAG Marking Algorithms. POPL (1983)
Ralph-Johan Back, Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control. PODC (1983)
Ralph-Johan Back, Heikki Mannila
Locality in Modular Systems. ICALP (1982)
Ralph-Johan Back, Heikki Mannila
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC (1982)
Ralph-Johan Back
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Acta Informatica 15 (1981)
Ralph-Johan Back
On Correct Refinement of Programs. J. Comput. Syst. Sci. 23 (1) (1981)
Ralph-Johan Back
Semantics of Unbounded Nondeterminism. ICALP (1980)
Ralph-Johan Back
Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen (1980)