Travelled to:1 × Denmark
1 × Finland
1 × Italy
1 × Spain
1 × Switzerland
1 × Taiwan
2 × France
3 × USA
Collaborated with:H.Mannila J.Eriksson V.Preoteasa M.Büchi K.Sere R.Kurki-Suonio ∅ M.Parsa M.Myreen A.Mikhajlova J.v.Wright L.Petre I.Paltor K.Räihä D.Björklund J.Lilius L.Milovanov I.Porres
Talks about:system (5) program (3) invari (3) base (3) modular (2) semant (2) proof (2) nondetermin (1) workbench (1) distribut (1)
Person: Ralph-Johan Back
DBLP: Back:Ralph=Johan
Contributed to:
2014
2011
2007
2003
1999199919991994
1988
198319821980Wrote 12 papers:
- IFM-2014-ErikssonPB #invariant #programming #proving
- Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.
- SAC-2011-BackP #invariant #proving #semantics #source code
- Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
- TAP-2007-BackEM #invariant #source code #testing #verification
- Testing and Verifying Invariant Based Programs in the SOCOS Environment (RJB, JE, MM), pp. 61–78.
- UML-2003-BackBLMP #empirical
- A Workbench to Experiment on New Model Engineering Applications (RJB, DB, JL, LM, IP), pp. 96–100.
- FM-v1-1999-BuchiB #composition #symmetry
- Compositional Symmetric Sharing in B (MB, RJB), pp. 431–451.
- FM-v2-1999-BackMW #interactive #reasoning
- Reasoning About Interactive Systems (RJB, AM, JvW), pp. 1460–1476.
- UML-1999-PetreBP #case study #contract #uml
- Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
- FME-1994-BackS #composition
- From Action Systems to Modular Systems (RJB, KS), pp. 1–25.
- ICALP-1988-BackK #distributed
- Serializability in Distributed Systems with Handshaking (RJB, RKS), pp. 52–66.
- POPL-1983-BackMR #algorithm #graph #performance
- Derivation of Efficient DAG Marking Algorithms (RJB, HM, KJR), pp. 20–27.
- ICALP-1982-BackM #composition #locality
- Locality in Modular Systems (RJB, HM), pp. 1–13.
- ICALP-1980-Back #bound #nondeterminism #semantics
- Semantics of Unbounded Nondeterminism (RJB), pp. 51–63.