• 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 (5):

• 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.
• Ralph-Johan Back, Viorel Preoteasa, An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification. Formal Aspects of Computing 17(1), 69 – 90, 2005.
• Viorel Preoteasa, A Relation Between Unambiguous Regulat Expressions and Abstract Data Types. Fundamenta Informaticae 40(1), 53–77, 1999.

Articles in proceedings (8):

• Ralph-Johan Back, Viorel Preoteasa, Semantics and Proof Rules of Invariant Based Programs. In: William Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung, Jan Cederquist (Eds.), SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing, 1658–1665, ACM New York, NY, USA, 2011.
• Viorel Preoteasa, Algebra of Monotonic Boolean Transformers. In: A. Simao, C. Morgan (Eds.), SBMF 2011, Lecture Notes in Computer Science 7021, 140–155, Springer, 2011.
• 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.
• Viorel Preoteasa, Ralph-Johan Back, Data Refinement of Invariant Based Programs. In: E. Boiten, J. Derrick, S. Reeves (Eds.), Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009) , Electronic Notes in Theoretical Computer Science 259, 143–163, Elsevier, 2009.
• Viorel Preoteasa, Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings, Lecture Notes in Computer Science 4085, 508 – 523, Springer Berlin / Heidelberg, 2006.
• Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa, Reasoning about Pointers in Refinement Calculus. In: Proceedings of the Tenth Asia-Pacific Software Engineering Conference (APSEC'03), 2003.
• Ralph-Johan Back, Viorel Preoteasa, Reasoning About Recursive Procedures with Parameters. In: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding, , ACM Press, New York, NY, USA, 2003.
• Ralph-Johan Back, Luka Milovanov, Ivan Porres, Viorel Preoteasa, XP as a Framework for Practical Software Engineering Experiments . In: Proceedings of the Agile Processes in Software Engineering XP2002 Third International Conference, 2002.

Ph.D. thesis (1):

• Viorel Preoteasa, Program Variables – The Core of Mechanical Reasoning about Imperative Programs. TUCS Dissertations 79. Turku Centre for Computer Science, 2006.

Technical reports (9):

• Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and Code Generation for Invarian Diagrams in Isabelle. TUCS Technical Reports 1058, TUCS, 2012.
• Ralph-Johan Back, Viorel Preoteasa, Semantics and Proof Rules of Invariant Based Programs. TUCS Technical Reports 903, Turku Centre for Computer Science, 2008.
• Viorel Preoteasa, Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. TUCS Technical Reports 753, Turku Centre for Computer Science, 2006.
• Viorel Preoteasa, Mechanical Verification of Mutually Recursive Procedures for Parsing Expressions using Separation Logic. TUCS Technical Reports 771, Turku Centre for Computer Science, 2006.
• Ralph-Johan Back, Viorel Preoteasa, A Python Specification of the Tkinter Text-Widget. TUCS Technical Reports 607, Turku Centre for Computer Science, 2004.
• Viorel Preoteasa, Refinement of Recursive Procedures with Parameters in PVS. TUCS Technical Reports 596, Turku Centre for Computer Science, 2004.
• Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa, Reasoning about Pointers in Refinement Calculus. TUCS Technical Reports 543, Turku Centre for Computer Science, 2003.
• Ralph-Johan Back, Viorel Preoteasa, Reasoning about Recursive Procedures with Parameters. TUCS Technical Reports 500, Turku Centre for Computer Science, 2003.
• Ralph-Johan Back, Luka Milovanov, Ivan Porres, Viorel Preoteasa, An Experiment on Extreme Programming and Stepwise Feature Introduction. TUCS Technical Reports 451, Turku Centre for Computer Science, 2002.