Frank Piessens
Microsoft
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Frank Piessens.
software engineering and formal methods | 2005
Bart Jacobs; K.R.M. Leino; Frank Piessens; Wolfram Schulte
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for object-oriented programs that protects object structures against inconsistency due to race conditions. It is based on a recent methodology for single-threaded programs where developers define aggregate object structures using an ownership system and declare invariants over them. The methodology is supported by a set of language elements and by both a sound modular static verification method and run-time checking support. The paper reports on preliminary experience with a prototype implementation.
Archive | 2004
Yves Younan; Wouter Joosen; Frank Piessens
Archive | 2003
Bart De Win; Wouter Joosen; Frank Piessens
Archive | 2005
Yves Younan; Wouter Joosen; Frank Piessens; Hans Van den Eynden
Archive | 2007
Adriaan Moors; Frank Piessens
formal techniques for java like programs | 2005
Bart Jacobs; Erik Meijer; Frank Piessens; Wolfram Schulte
Archive | 2005
Bart Jacobs; K. Rustan M. Leino; Frank Piessens; Wolfram Schulte
Archive | 2005
Lieven Desmet; Frank Piessens; Wouter Joosen; Pierre Verbaeten
Archive | 2011
Dries Vanoverberghe; Jonathan de Halleux; Nikolai Tillmann; Frank Piessens
Proceedings of the 3rd International Conference on .NET | 2005
Jan Smans; Bart Jacobs; Frank Piessens
