• 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

Articles in journals (1):

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

Articles in proceedings (7):

• Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back, Proofs and Refutations in Invariant-Based Programming. In: Elvira Albert, Emil Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014), Lecture Notes in Computer Science, 189–204, Springer, 2014.
• Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and Code Generation for Invariant Diagrams in Isabelle. In: Paul Petterson, Cristina Seceleanu (Eds.), Proceedings of the 23rd Nordic Workshop on Programming Theory, 30--32, Mälardalen Real-Time Research Centre, 2011.
• Johannes Eriksson, Ralph-Johan Back, Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. In: Jin Song Dong, Huibiao Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings., Lecture Notes in Computer Science 6447, 24–39, Springer, 2010.
• Ralph-Johan Back, Johannes Eriksson, Linda Mannila, Teaching the Construction of Correct Programs Using Invariant Based Programming. In: Proceedings of the 3rd South-East European Workshop on Formal Methods, 2007.
• Ralph-Johan Back, Johannes Eriksson, Magnus Myreen, Testing and Verifying Invariant Based Programs in the SOCOS Environment. In: Yuri Gurevich, Bertrand Meyer (Eds.), Tests And Proofs (First International Conference, TAP 2007, Zurich, Switzerland), Lecture Notes in Computer Science 4454, 61–78, Springer, 2007.
• Ralph-Johan Back, Johannes Eriksson, Magnus Myreen, Verifying Invariant Based Programs in the SOCOS Environment. In: Paul Boca, Jonathan Bowen, David Duce (Eds.), Teaching Formal Methods: Practice and Experience, Electronic Workshops in Computing (eWiC), 0, BCS, 2006.
• Ralph-Johan Back, Johannes Eriksson, Luka Milovanov, Using Stepwise Feature Introduction in Practice: An Experience Report. In: Nicolas Guelfi (Ed.), Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Lecture Notes in Computer Science 3943, 2–17, Springer-Verlag, 2005.

Ph.D. thesis (1):

• Johannes Eriksson, Tool-Supported Invariant-Based Programming. TUCS Dissertations 127. Turku Centre for Computer Science, 2010.

Technical reports (5):

• Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and Code Generation for Invarian Diagrams in Isabelle. TUCS Technical Reports 1058, TUCS, 2012.
• Johannes Eriksson, Ralph-Johan Back, PVS Support for Invariant-Based Programming. TUCS Technical Reports 979, Turku Centre for Computer Science, 2010.
• Ralph-Johan Back, Victor Bos, Johannes Eriksson, MathEdit: Tool Support for Structured Calculational Proofs. TUCS Technical Reports 854, Turku Centre for Computer Science, 2007.
• Ralph-Johan Back, Johannes Eriksson, Magnus Myréen, Testing and Verifying Invariant Based Programs in the SOCOS Environment. TUCS Technical Reports 797, Turku Centre for Computer Science, 2006.
• Ralph-Johan Back, Johannes Eriksson, Luka Milovanov, Experience on Using Stepwise Feature Introduction in Software Construction. TUCS Technical Reports 705, Turku Centre for Computer Science, 2005.