Viorel Preoteasa

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

5 EE Viorel Preoteasa: Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. FM 2006: 508-523

2005

4 EE Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)

2003

3 EE Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-

2 EE Ralph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003

1999

1 Viorel Preoteasa: A Relation Between Unambiguous Regular Expressions and Abstract Data Types. Fundam. Inform. 40(1): 53-77 (1999)

2006
5	EE	Viorel Preoteasa: Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. FM 2006: 508-523
2005
4	EE	Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)
2003
3	EE	Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-
2	EE	Ralph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003
1999
1		Viorel Preoteasa: A Relation Between Unambiguous Regular Expressions and Abstract Data Types. Fundam. Inform. 40(1): 53-77 (1999)

Coauthor Index

1 Ralph-Johan Back [2] [3] [4]

2 Xiaocong Fan [3]