dblp.uni-trier.dewww.uni-trier.de

Ralph-Johan Back Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
76EECorrado Priami, Ralph-Johan Back, Ion Petre: Transactions on Computational Systems Biology XI Springer 2009
75EEElena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre: Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB 2009: 111-125
74EEIon Petre, Andrzej Mizera, Ralph-Johan Back: Computational Heuristics for Simplifying a Biological Model. CiE 2009: 399-408
73EERalph-Johan Back, Ion Petre, Erik P. de Vink: Proceedings Second International Workshop on Computational Models for Cell Processes CoRR abs/0910.1605: (2009)
72EERalph-Johan Back: Invariant based programming: basic approach and teaching experiences. Formal Asp. Comput. 21(3): 227-244 (2009)
2008
71EEMauno Rönkkö, Marina A. Waldén, Ralph-Johan Back: Beyond particle systems: Operator networks. Simulation Modelling Practice and Theory 16(7): 834-847 (2008)
2007
70EERalph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78
2006
69EERalph-Johan Back: Incremental Software Construction with Refinement Diagrams. AMAST 2006: 1
68EERalph-Johan Back: Invariant Based Programming. ICATPN 2006: 1-18
2005
67EERalph-Johan Back, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718
66EERalph-Johan Back, Luka Milovanov, Ivan Porres: Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428
65EERalph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17
64EERalph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)
2004
63EERalph-Johan Back, Cristina Cerschi Seceleanu: Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315
62EERalph-Johan Back, Piia Hirkman, Luka Milovanov: Evaluating the XP Customer Model and Design by Contract. EUROMICRO 2004: 318-325
2003
61EERalph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-
60EERalph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003
59EERalph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres: A Workbench to Experiment on New Model Engineering Applications. UML 2003: 96-100
58EERalph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)
2002
57EERalph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm: Symbolic Simulation of Hybrid Systems. APSEC 2002: 147-
56EERalph-Johan Back: SFI: A Refinement Based Layered Software Architecture. ICFEM 2002: 1-2
55EERalph-Johan Back: Software Construction by Stepwise Feature Introduction. ZB 2002: 162-183
54EERalph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
53 Ralph-Johan Back, Luigia Petre, Ivan Porres: Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8(1): 2-21 (2001)
2000
52EERalph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
51EERalph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000)
50EERalph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. Comput. 12(5): 313-349 (2000)
49 Ralph-Johan Back, Joakim von Wright: Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000)
1999
48 Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533
47EERalph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476
46EEMartin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451
45EERalph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)
1998
44EERalph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Inf. 35(11): 921-949 (1998)
43EERalph-Johan Back, Qiwen Xu: Refinement of Fair Action Systems. Acta Inf. 35(2): 131-165 (1998)
1997
42 Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262
41EERalph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: (1997)
40 Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
1996
39 Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Reactive Systems. Formal Asp. Comput. 8(3): 324-346 (1996)
38 Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)
37 Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. Software - Concepts and Tools 17(1): 26-39 (1996)
1995
36 Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158
35 Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179
34EERalph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)
1994
33EERalph-Johan Back, Joakim von Wright: Trace Refinement of Action Systems. CONCUR 1994: 367-384
32EERalph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. FME 1994: 1-25
31 Ralph-Johan Back, Kaisa Sere: Action Systems with Synchronous Communication. PROCOMET 1994: 107-126
1993
30 Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)
1992
29EERalph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20
28 Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio: On Equivalence-Completions of Fairness Assumtions. Formal Asp. Comput. 4(6): 582-591 (1992)
27 Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)
1991
26 Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493
25 Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. Structured Programming 12(1): 17-30 (1991)
1990
24 M. Aspnäs, Ralph-Johan Back: A programming environment for a transputer-based multiprocessor system. Acta Cybern. 9(3): 291-301 (1990)
23 Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. Formal Asp. Comput. 2(3): 247-272 (1990)
1989
22 Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. MPC 1989: 115-138
21 Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156
20EERalph-Johan Back: A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) 1989: 199-216
19EERalph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66
18EERalph-Johan Back: Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop 1989: 67-93
17 Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)
16 Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. Distributed Computing 3(2): 73-87 (1989)
15 Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989)
1988
14EERalph-Johan Back, Reino Kurki-Suonio: Serializability in Distributed Systems with Handshaking. ICALP 1988: 52-66
13EERalph-Johan Back, Reino Kurki-Suonio: Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988)
12 Ralph-Johan Back: A Calculus of Refinements for Program Derivations. Acta Inf. 25(6): 593-624 (1988)
1985
11 Ralph-Johan Back, Heikki Mannila: On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theor. Comput. Sci. 39: 47-68 (1985)
1984
10 Ralph-Johan Back, Heikki Mannila: A Semantic Approach to Program Modularity Information and Control 60(1-3): 138-167 (1984)
1983
9 Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. PODC 1983: 131-142
8 Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä: Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27
7 Ralph-Johan Back: A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23: 187-210 (1983)
1982
6EERalph-Johan Back, Heikki Mannila: Locality in Modular Systems. ICALP 1982: 1-13
5 Ralph-Johan Back, Heikki Mannila: A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC 1982: 111-120
1981
4 Ralph-Johan Back: Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Acta Inf. 15: 233-249 (1981)
3 Ralph-Johan Back: On Correct Refinement of Programs. J. Comput. Syst. Sci. 23(1): 49-68 (1981)
1980
2 Ralph-Johan Back: Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen 1980: 71-82
1EERalph-Johan Back: Semantics of Unbounded Nondeterminism. ICALP 1980: 51-63

Coauthor Index

1M. Aspnäs [24]
2Dag Björklund [59]
3Martin Büchi [42] [46]
4Michael J. Butler [36] [44]
5Elena Czeizler (Elena Petre) [75]
6Eugen Czeizler [75]
7Johannes Eriksson [65] [70]
8Xiaocong Fan [61]
9Nissim Francez [28]
10Jim Grundy [40]
11Piia Hirkman [62]
12Reino Kurki-Suonio [9] [13] [14] [16] [28]
13Johan Lilius [59]
14Heikki Mannila [5] [6] [8] [10] [11]
15Alain J. Martin [35] [38]
16Anna Mikhajlova [47] [51]
17Luka Milovanov [59] [62] [65] [66]
18Andrzej Mizera [74]
19Magnus Myreen [67] [70]
20Ivan Paltor [48]
21Ion Petre [73] [74] [75] [76]
22Luigia Petre [48] [52] [53]
23Ivan Porres [52] [53] [59] [66]
24Viorel Preoteasa [60] [61] [64]
25Corrado Priami [76]
26Kari-Jouko Räihä [8]
27Mauno Rönkkö [71]
28Cristina Cerschi Seceleanu [57] [63]
29Emil Sekerinski [42]
30Kaisa Sere [15] [22] [25] [26] [31] [32] [35] [37] [38] [39]
31Erik P. de Vink [73]
32Marina A. Waldén [71]
33Jan Westerholm [57]
34Joakim von Wright [17] [19] [21] [23] [27] [29] [30] [33] [34] [40] [41] [45] [47] [49] [50] [51] [54] [58]
35Qiwen Xu [43]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)