Ralph-Johan Back

According to our database1, Ralph-Johan Back authored at least 94 papers between 1980 and 2015.

Collaborative distances :
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Verification and code generation for invariant diagrams in Isabelle.
J. Log. Algebr. Meth. Program., 2015

2014
Proofs and Refutations in Invariant-Based Programming.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012

Invariant diagrams with data refinement.
Formal Asp. Comput., 2012

Agile Development with Stepwise Feature Introduction.
Proceedings of the ENASE 2012, 2012

2011
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation.
Natural Computing, 2011

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Semantics and proof rules of invariant based programs.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010
Structured derivations: a unified proof style for teaching mathematics.
Formal Asp. Comput., 2010

Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
Archive of Formal Proofs, 2010

Semantics and Data Refinement of Invariant Based Programs.
Archive of Formal Proofs, 2010

Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Invariant based programming: basic approach and teaching experiences.
Formal Asp. Comput., 2009

Data Refinement of Invariant Based Programs.
Electr. Notes Theor. Comput. Sci., 2009

Control Strategies for the Regulation of the Eukaryotic Heat Shock Response.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Computational Heuristics for Simplifying a Biological Model.
Proceedings of the Mathematical Theory and Computational Practice, 2009

2008
Beyond particle systems: Operator networks.
Simulation Modelling Practice and Theory, 2008

Refinement Calculus as a Theory of Contracts (Invited Paper).
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007
Testing and Verifying Invariant Based Programs in the SOCOS Environment.
Proceedings of the Tests and Proofs, First International Conference, 2007

2006
Invariant Based Programming.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Incremental Software Construction with Refinement Diagrams.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
An algebraic treatment of procedure refinement to support mechanical verification.
Formal Asp. Comput., 2005

Using Stepwise Feature Introduction in Practice: An Experience Report.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
Proceedings of the Product Focused Software Process Improvement, 2005

Tool Support for Invariant Based Programming.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Evaluating the XP Customer Model and Design by Contract.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Contracts and Games in Controller Synthesis for Discrete Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Compositional Action System Refinement.
Formal Asp. Comput., 2003

A Workbench to Experiment on New Model Engineering Applications.
Proceedings of the «UML» 2003, 2003

Reasoning about recursive procedures with parameters.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Reasoning about Pointers in Refinement Calculus.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Compositional Action System Refinement.
Electr. Notes Theor. Comput. Sci., 2002

Software Construction by Stepwise Feature Introduction.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

SFI: A Refinement Based Layered Software Architecture.
Proceedings of the Formal Methods and Software Engineering, 2002

Symbolic Simulation of Hybrid Systems.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput., 2001

2000
Contracts, Games, and Refinement.
Inf. Comput., 2000

Encoding, Decoding and Data Refinement.
Formal Asp. Comput., 2000

Class Refinement as Semantics of Correct Object Substitutability.
Formal Asp. Comput., 2000

Generalizing Action Systems to Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Reasoning Algebraically about Loops.
Acta Inf., 1999

Analysing UML Use Cases as Contracts.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Compositional Symmetric Sharing in B.
Proceedings of the FM'99 - Formal Methods, 1999

Reasoning About Interactive Systems.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Refinement of Fair Action Systems.
Acta Inf., 1998

Fusion and Simultaneous Execution in the Refinement Calculus.
Acta Inf., 1998

Refinement Calculus - A Systematic Introduction.
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1674-2, 1998

1997
Structured Calculational Proof.
Formal Asp. Comput., 1997

Contracts, games and refinement.
Electr. Notes Theor. Comput. Sci., 1997

Action-Based Concurrency and Synchronization for Objects.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
From Action Systems to Modular Systems.
Software - Concepts and Tools, 1996

Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program., 1996

Superposition Refinement of Reactive Systems.
Formal Asp. Comput., 1996

1995
Games and Winning Strategies.
Inf. Process. Lett., 1995

An Action System Specification of the Caltech Asynchronous Microprocessor.
Proceedings of the Mathematics of Program Construction, 1995

Exploring Summation and Product Operators in the Refinement Calculus.
Proceedings of the Mathematics of Program Construction, 1995

1994
Action Systems with Synchronous Communication.
Proceedings of the Programming Concepts, 1994

From Action Systems to Modular Systems.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Trace Refinement of Action Systems.
Proceedings of the CONCUR '94, 1994

1993
Statement Inversion and Strongest Postcondition.
Sci. Comput. Program., 1993

Construction of large-size interconnection networks with high performance.
Networks, 1993

1992
Combining Angles, Demons and Miracles in Program Specifications.
Theor. Comput. Sci., 1992

Construction of large-size interconnection networks with high performance.
Microprocessing and Microprogramming, 1992

On Equivalence-Completions of Fairness Assumtions.
Formal Asp. Comput., 1992

Predicate Transformers and Higher Order Logic.
Proceedings of the Sematics: Foundations and Applications, 1992

Refinement of Parallel and Reactive Programs.
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

Refinement Calculus, Lattices and Higher Order Logic.
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

1991
Stepwise Refinement of Action Systems.
Structured Programming, 1991

Superposition Refinement of Parallel Algorithms.
Proceedings of the Formal Description Techniques, 1991

1990
Refinement Concepts Formalised in Higher Order Logic.
Formal Asp. Comput., 1990

A programming environment for a transputer-based multiprocessor system.
Acta Cybern., 1990

Duality in Specification Languages: A Lattice-Theoretical Approach.
Acta Inf., 1990

Superposition and fairness in reactive system refinement.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1989
Stepwise Refinement of Parallel Algorithms.
Sci. Comput. Program., 1989

Decentralization of Process Nets with Centralized Control.
Distributed Computing, 1989

Refinement Calculus, Part I: Sequential Nondeterministic Programs.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Refinement Calculus, Part II: Parallel and Reactive Programs.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

A Method for Refining Atomicity in Parallel Algorithms.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

A Lattice-theoretical Basis for a Specification Language.
Proceedings of the Mathematics of Program Construction, 1989

Stepwise Refinement of Action Systems.
Proceedings of the Mathematics of Program Construction, 1989

1988
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst., 1988

A Calculus of Refinements for Program Derivations.
Acta Inf., 1988

Serializability in Distributed Systems with Handshaking.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

1985
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
Theor. Comput. Sci., 1985

1984
A Semantic Approach to Program Modularity
Information and Control, 1984

1983
A Continuous Semantics for Unbounded Nondeterminism.
Theor. Comput. Sci., 1983

Derivation of Efficient DAG Marking Algorithms.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Decentralization of Process Nets with Centralized Control.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1982
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

Locality in Modular Systems.
Proceedings of the Automata, 1982

1981
On Correct Refinement of Programs.
J. Comput. Syst. Sci., 1981

Proving Total Correctness of Nondeterministic Programs in Infinitary Logic.
Acta Inf., 1981

1980
Exception Handling with Multi-Exit Statements.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

Semantics of Unbounded Nondeterminism.
Proceedings of the Automata, 1980


  Loading...