Ralph-Johan Back

103 papers A* 6B 9C 8Misc 1Journal 42Unranked 32
YearRankTypeTitle / Venue / Authors
2018 B conf
A Precise Pictorial Language for Array Invariants.
IFM
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
2015 J jnl
Verification and code generation for invariant diagrams in Isabelle.
J. Log. Algebraic Methods Program.
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
2014 B conf
Proofs and Refutations in Invariant-Based Programming.
IFM
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
2012 B conf
Agile Development with Stepwise Feature Introduction.
ENASE
Mikolaj Olszewski, Ralph-Johan Back
2012 J jnl
Invariant diagrams with data refinement.
Formal Aspects Comput.
Viorel Preoteasa, Ralph-Johan Back
2012 J jnl
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin.
IEEE ACM Trans. Comput. Biol. Bioinform.
Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre
2011 J jnl
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation.
Nat. Comput.
Ion Petre, Andrzej Mizera, Claire L. Hyder, Annika Meinander, Andrey Mikhailov, Richard I. Morimoto, Lea Sistonen, John E. Eriksson, Ralph-Johan Back
2011 — conf
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
ThEdu
Ralph-Johan Back, Johannes Eriksson
2011 — ed.
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011.
ThEdu
Pedro Quaresma, Ralph-Johan Back
2011 Misc conf
Semantics and proof rules of invariant based programs.
SAC
Ralph-Johan Back, Viorel Preoteasa
2011 — ed.
Transactions on Computational Systems Biology XIII
Trans. Computational Systems Biology
Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink
2010 C conf
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.
ICFEM
Johannes Eriksson, Ralph-Johan Back
2010 J jnl
Semantics and Data Refinement of Invariant Based Programs.
Arch. Formal Proofs
Viorel Preoteasa, Ralph-Johan Back
2010 J jnl
Structured derivations: a unified proof style for teaching mathematics.
Formal Aspects Comput.
Ralph-Johan Back
2010 J jnl
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
Arch. Formal Proofs
Viorel Preoteasa, Ralph-Johan Back
2009 — conf
A New Mathematical Model for the Heat Shock Response.
Algorithmic Bioprocesses
Ion Petre, Andrzej Mizera, Claire L. Hyder, Andrey Mikhailov, John E. Eriksson, Lea Sistonen, Ralph-Johan Back
2009 C conf
Computational Heuristics for Simplifying a Biological Model.
CiE
Ion Petre, Andrzej Mizera, Ralph-Johan Back
2009 — conf
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response.
CMSB
Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre
2009 — conf
Data Refinement of Invariant Based Programs.
REFINE@FMWeek
Viorel Preoteasa, Ralph-Johan Back
2009 J jnl
Invariant based programming: basic approach and teaching experiences.
Formal Aspects Comput.
Ralph-Johan Back
2009 — ed.
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009.
COMPMOD
Ralph-Johan Back, Ion Petre, Erik P. de Vink
2009 — ed.
Transactions on Computational Systems Biology XI
Trans. Computational Systems Biology
Corrado Priami, Ralph-Johan Back, Ion Petre
2008 J jnl
Beyond particle systems: Operator networks.
Simul. Model. Pract. Theory
Mauno Rönkkö, Marina Waldén, Ralph-Johan Back
2008 — conf
Refinement Calculus as a Theory of Contracts (Invited Paper).
UTP
Ralph-Johan Back
2007 C conf
Testing and Verifying Invariant Based Programs in the SOCOS Environment.
TAP
Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
2006 — conf
Incremental Software Construction with Refinement Diagrams.
AMAST
Ralph-Johan Back
2006 — conf
Invariant Based Programming.
ICATPN
Ralph-Johan Back
2005 J jnl
An algebraic treatment of procedure refinement to support mechanical verification.
Formal Aspects Comput.
Ralph-Johan Back, Viorel Preoteasa
2005 B conf
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
PROFES
Ralph-Johan Back, Luka Milovanov, Ivan Porres
2005 C conf
Tool Support for Invariant Based Programming.
APSEC
Ralph-Johan Back, Magnus Myreen
2005 — conf
Using Stepwise Feature Introduction in Practice: An Experience Report.
RISE
Ralph-Johan Back, Johannes Eriksson, Luka Milovanov
2004 — conf
Contracts and Games in Controller Synthesis for Discrete Systems.
ECBS
Ralph-Johan Back, Cristina Cerschi Seceleanu
2004 — conf
Evaluating the XP Customer Model and Design by Contract.
EUROMICRO
Ralph-Johan Back, Piia Hirkman, Luka Milovanov
2003 — conf
A Workbench to Experiment on New Model Engineering Applications.
UML
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
2003 J jnl
Compositional Action System Refinement.
Formal Aspects Comput.
Ralph-Johan Back, Joakim von Wright
2003 C conf
Reasoning about Pointers in Refinement Calculus.
APSEC
Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa
2003 — conf
Reasoning about recursive procedures with parameters.
MERLIN
Ralph-Johan Back, Viorel Preoteasa
2002 — conf
Compositional Action System Refinement.
Refine
Ralph-Johan Back, Joakim von Wright
2002 C conf
SFI: A Refinement Based Layered Software Architecture.
ICFEM
Ralph-Johan Back
2002 — conf
Software Construction by Stepwise Feature Introduction.
ZB
Ralph-Johan Back
2002 C conf
Symbolic Simulation of Hybrid Systems.
APSEC
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm
2001 J jnl
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput.
Ralph-Johan Back, Luigia Petre, Ivan Porres
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 J jnl
Encoding, Decoding and Data Refinement.
Formal Aspects Comput.
Ralph-Johan Back, Joakim von Wright
2000 — conf
Generalizing Action Systems to Hybrid Systems.
FTRTFT
Ralph-Johan Back, Luigia Petre, Ivan Porres
1999 — conf
Analysing UML Use Cases as Contracts.
UML
Luigia Petre, Ralph-Johan Back, Ivan Paltor
1999 — conf
Compositional Symmetric Sharing in B.
World Congress on Formal Methods
Martin Büchi, Ralph-Johan Back
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 J jnl
Fusion and Simultaneous Execution in the Refinement Calculus.
Acta Informatica
Ralph-Johan Back, Michael J. Butler
1998 — book
Refinement Calculus - A Systematic Introduction.
Ralph-Johan Back, Joakim von Wright
1998 J jnl
Refinement of Fair Action Systems.
Acta Informatica
Ralph-Johan Back, Qiwen Xu
1997 — conf
Action-Based Concurrency and Synchronization for Objects.
ARTS
Ralph-Johan Back, Martin Büchi, Emil Sekerinski
1997 — conf
Contracts, games and refinement.
EXPRESS
Ralph-Johan Back, Joakim von Wright
1997 J jnl
Structured Calculational Proof.
Formal Aspects Comput.
Ralph-Johan Back, Jim Grundy, Joakim von Wright
1996 J jnl
From Action Systems to Modular Systems.
Softw. Concepts Tools
Ralph-Johan Back, Kaisa Sere
1996 J jnl
Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program.
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
1996 J jnl
Superposition Refinement of Reactive Systems.
Formal Aspects Comput.
Ralph-Johan Back, Kaisa Sere
1995 B conf
An Action System Specification of the Caltech Asynchronous Microprocessor.
MPC
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
1995 B conf
Exploring Summation and Product Operators in the Refinement Calculus.
MPC
Ralph-Johan Back, Michael J. Butler
1995 J jnl
Games and Winning Strategies.
Inf. Process. Lett.
Ralph-Johan Back, Joakim von Wright
1994 — conf
Action Systems with Synchronous Communication.
PROCOMET
Ralph-Johan Back, Kaisa Sere
1994 — conf
From Action Systems to Modular Systems.
FME
Ralph-Johan Back, Kaisa Sere
1994 B conf
Trace Refinement of Action Systems.
CONCUR
Ralph-Johan Back, Joakim von Wright
1993 J jnl
Construction of large-size interconnection networks with high performance.
Networks
Hong Shen, Ralph-Johan Back
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 J jnl
Construction of large-size interconnection networks with high performance.
Microprocess. Microprogramming
Hong Shen, Ralph-Johan Back
1992 J jnl
On Equivalence-Completions of Fairness Assumtions.
Formal Aspects Comput.
Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
1992 — conf
Predicate Transformers and Higher Order Logic.
REX Workshop
Ralph-Johan Back, Joakim von Wright
1992 — conf
Refinement Calculus, Lattices and Higher Order Logic.
NATO ASI PDC
Ralph-Johan Back
1992 — conf
Refinement of Parallel and Reactive Programs.
NATO ASI PDC
Ralph-Johan Back
1991 J jnl
Stepwise Refinement of Action Systems.
Struct. Program.
Ralph-Johan Back, Kaisa Sere
1991 C conf
Superposition Refinement of Parallel Algorithms.
FORTE
Ralph-Johan Back, Kaisa Sere
1990 J jnl
A programming environment for a transputer-based multiprocessor system.
Acta Cybern.
M. Aspnäs, Ralph-Johan Back
1990 J jnl
Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Informatica
Ralph-Johan Back, Joakim von Wright
1990 J jnl
Hathi-2 multiprocessor system.
Microprocess. Microsystems
M. Aspnäs, Ralph-Johan Back, T.-E. Malén
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
1990 — conf
Superposition and fairness in reactive system refinement.
Jerusalem Conference on Information Technology
Ralph-Johan Back, Reino Kurki-Suonio
1989 B conf
A Lattice-theoretical Basis for a Specification Language.
MPC
Ralph-Johan Back, Joakim von Wright
1989 — conf
A Method for Refining Atomicity in Parallel Algorithms.
PARLE (2)
Ralph-Johan Back
1989 J jnl
Decentralization of Process Nets with Centralized Control.
Distributed Comput.
Ralph-Johan Back, Reino Kurki-Suonio
1989 — conf
Refinement Calculus, Part I: Sequential Nondeterministic Programs.
REX Workshop
Ralph-Johan Back, Joakim von Wright
1989 — conf
Refinement Calculus, Part II: Parallel and Reactive Programs.
REX Workshop
Ralph-Johan Back
1989 B conf
Stepwise Refinement of Action Systems.
MPC
Ralph-Johan Back, Kaisa Sere
1989 J jnl
Stepwise Refinement of Parallel Algorithms.
Sci. Comput. Program.
Ralph-Johan Back, Kaisa Sere
1988 J jnl
A Calculus of Refinements for Program Derivations.
Acta Informatica
Ralph-Johan Back
1988 J jnl
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst.
Ralph-Johan Back, Reino Kurki-Suonio
1988 A* conf
Serializability in Distributed Systems with Handshaking.
ICALP
Ralph-Johan Back, Reino Kurki-Suonio
1987 — conf
A new paradigm for the design of concurrent systems.
IRTAW
Ralph-Johan Back, Reino Kurki-Suonio
1985 J jnl
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
Theor. Comput. Sci.
Ralph-Johan Back, Heikki Mannila
1984 J jnl
A Semantic Approach to Program Modularity
Inf. Control.
Ralph-Johan Back, Heikki Mannila
1983 J jnl
A Continuous Semantics for Unbounded Nondeterminism.
Theor. Comput. Sci.
Ralph-Johan Back
1983 A* conf
Decentralization of Process Nets with Centralized Control.
PODC
Ralph-Johan Back, Reino Kurki-Suonio
1983 A* conf
Derivation of Efficient DAG Marking Algorithms.
POPL
Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä
1982 A* conf
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
PODC
Ralph-Johan Back, Heikki Mannila
1982 A* conf
Locality in Modular Systems.
ICALP
Ralph-Johan Back, Heikki Mannila
1981 J jnl
On Correct Refinement of Programs.
J. Comput. Syst. Sci.
Ralph-Johan Back
1981 J jnl
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic.
Acta Informatica
Ralph-Johan Back
1980 — conf
Exception Handling with Multi-Exit Statements.
Fachtagung über Programmiersprachen
Ralph-Johan Back
1980 A* conf
Semantics of Unbounded Nondeterminism.
ICALP
Ralph-Johan Back