BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Back:Ralph=Johan

Contributed to:

IFM 20142014
SAC 20112011
TAP 20072007
UML 20032003
World Congress on Formal Methods 19991999
World Congress on Formal Methods 19991999
UML 19991999
FME 19941994
ICALP 19881988
POPL 19831983
ICALP 19821982
ICALP 19801980

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.