• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Monographs (1):

• Ralph-Johan Back, Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Centre, 1980.

Edited special issues of journals (1):

• Johan Lilius, Richardo J. Machado, Dragos Truscan, Joao M. Fernandes, Ivan (guest editors) Porres (Eds.), Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005). Nordic Journal of Computing 12(3), 2005.

Edited proceedings (1):

• Ralph-Johan Back, Mikołaj Olszewski, Damian Soriano (Eds.), Deseo Meeting Scheduler: Towards Automated Verification of Database Integrity Constraints, 2008.

Articles in journals (57):

• Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and code generation for invariant diagrams in Isabelle. Journal of Logical and Algebraic Methods in Programming 84(1), 19–36, 2015.
• Viorel Preoteasa, Ralph-Johan Back, Invariant Diagrams with Data Refinement . Formal Aspects of Computing 24(1), 67–95, 2012.
• Viorel Preoteasa, Frame Rule for Mutually Recursive Procedures Manipulating Pointers . Theoretical Computer Science 410(42), 4216–4233 , 2009.
• Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius, MDE for Soc Design. Innovations in Systems and Software Engineering 5(1), 49–64, 2009.
• Marcus Alanen, Ivan Porres, A Metamodeling Language Supporting Subset and Union Properties. Software and Systems Modeling 7(1), 103–124, 2008.
• Ralph - Johan R Back, Invariant Based Programming: Basic approach and Teaching Experience. Formal Aspects of Computing , 2008.
• Mauno Rönkkö, Marina Waldén, Ralph-Johan Back, Beyond Particle Systems: Operator Networks. Simulation Modelling Practice and Theory , 2008.
• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres, Creating and Reconciling Diagrams After Executing Model Transformations. Science of Computer Programming 68(3), 128–151, 2007.
• Ralph-Johan Back, Luka Milovanov, Ivan Porres, Development andExperimentation in an Academic Environment: The Gaudí Factory. Systems and Software. Elsevier. , 2007.
• Kim Solin, Joakim von Wright, Enabledness and Termination in Refinement Algebra. Science of Computer Programming , 2007.
• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres, Comparison of Modeling Frameworks for Software Engineering. Nordic Journal of Computing 12(4), 321–342, 2005.
• Ralph-Johan Back, Viorel Preoteasa, An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification. Formal Aspects of Computing 17(1), 69 – 90, 2005.
• Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glenn Sveholm, Asim Pervez Zaka, An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing 12(4), 361–378, 2005.
• Ivan Porres, Rule-Based Update Transformations and Their Application to Model Refactorings. Software and Systems Modeling 4(4), 368–385, 2005.
• Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Synchronization Can Improve Reactive Systems Control and Modularity. Journal of Universal Computer Science (JUCS) 10(10), 1429-1468, 2004.
• Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. Formal Aspects of Computing 15(2), 103–117, 2003.
• Victor Bos, Jeroen Klein, Redesign of a Systems Engineering Language - Formalisation of Chi. Formal Aspects of Computing 15(4), 370–389, 2003.
• Ivan Porres, A Toolkit for Model Manipulation . Software and Systems Modeling 2(4), 262–277, 2003.
• V. Bos, J.J.T. Kleijn, Formal specification and analysis of production systems. International Journal of Production Research 40(15), 3879–3894, 2002.
• Ralph-Johan Back, Luigia Petre, Ivan Porres, Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing 8(1), 2–21, 2001.
• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing 12, 18–40, 2000.
• Ralph-Johan Back, Joakim von Wright, Encoding, Decoding and Data Refinement. Formal Aspects of Computing 12, 313–349, 2000.
• Ralph-Johan Back, Joakim von Wright, Contracts, Games and Refinement. Information and Computation 156, 25–45, 2000.
• Ralph-Johan Back, Joakim von Wright, Reasoning Algebraically about Loops. Acta Informatica 36, 295–334, 1999.
• Viorel Preoteasa, A Relation Between Unambiguous Regulat Expressions and Abstract Data Types. Fundamenta Informaticae 40(1), 53–77, 1999.
• Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculation Proof. 9, 1997.
• Ralph-Johan Back, Qiwen W. Xu, Refinement of Fair Action Systems. Acta Informatica 35, 1997.
• Ralph-Johan Back, Alain Martin, Kaisa Sere, Specifying the Caltech Asynchronous Microprocessor. 26, 1996.
• Ralph-Johan Back, Kaisa Sere, From Action Systems to Modular Systems. Software - Concepts and Tools (17), 26–39, 1996.
• Ralph-Johan Back, Kaisa Sere, Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346, 1996.
• Barbro Back, Ralph-Johan Back, Financial Statement Planning in the Presence of Tax Constraints. European Journal of Operational Research Vol.85, 548–563, 1995.
• Ralph-Johan Back, Joakim von Wright, Games and Winning Strategies. 53(3), 1995.
• Ralph-Johan Back, Joakim von Wright, Statement Inversion and Strongest Postcondition. 20, 1993.
• Tom Lönnroth, Jorma Hattula, R. Julin, A. Lampinen, Mats Aspnäs, Ralph-Johan Back, Jens Granlund, Patrik Waxlax, Analysis of Stimulated Triples Gamma Ray Data on a 100 Processor Transputer System. Nuclear Instruments and Methods in Physics Research Section a: Accelerators Spectrometers Detectors and Associated Equipment A 332, 554–560, 1993.
• Hong Shen, Ralph-Johan Back, Construction of Large Size Interconnection Networks With High Performance. 23, 1993.
• Ralph-Johan Back, Joakim von Wright, Combining Angels, Demons and Miracles in Program Specifications. 100, 1992.
• Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio, On Equivalence Completions of Fairness Assumptions. 4(6), 1992.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Action Systems. 12, 1991.
• Mats Aspnäs, Ralph-Johan Back, Thor-Erik Malén, The Hathi-2 Multiprocessor System. Microprocessors and Microsystems 14(7), 457–466, 1990.
• Ralph-Johan Back, FINSOFTIII: Rinnakkaislaskenta Ja Hermoverkot. (1), 1990.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Parallel Algorithms. 13(2-3), 1990.
• Ralph-Johan Back, Joakim von Wright, Refinement Concepts Formalized in Higher Order Logic. 2, 1990.
• Ralph-Johan Back, Joakim von Wright, Duality in Specification Languages: A Lattice Theoretical Approach. 27(7), 1990.
• Ralph-Johan Back, Reino Kurki-Suonio, Decentralization of Process Nets with Centralized Control. 3(2), 1989.
• Ralph-Johan Back, A Calculus of Refinements for Program Derivations. Acta Informatica 25, 1988.
• Ralph-Johan Back, Reino Kurki-Suonio, Distributed Co-Operation with Action Systems. 10(4), 1988.
• Ralph-Johan Back, Rinnakkaislaskennan Ongelmat. (1), 1987.