iPres 2013

iPres 2013, 2-6 September 2013, Lisbon, Portugal, 

TIMBUS papers. Presentations to follow.




A Framework for Verification of Preserved and Redeployed Processes

 icon paper (200 kB) (full paper)

icon presentation (945 kB)

Tomasz Miksa, Stefan Pröll, Rudolf Mayer, Stephan Strodl, Ricardo Vieira, José Barateiro and Andreas Rauber

On the Assessment of Preservability: Method and Application

icon paper (400 kB) (full paper) 

icon presentation (1 MB)


Diogo Proença, Gonçalo Antunes, Tomasz Miksa

A Framework for Automated Verification in Software Escrow

icon paper (400 kB) (full paper)

icon presentation (700 kB)

Elisabeth Weigl, Johannes Binder, Stephan Strodl, Barbara Kolany, Daniel Draws, Andreas Rauber

Digital Preservation of a Process and its Application to e-Science Experiments

icon paper (2 MB) (full paper)(best paper award)

icon presentation (2.3 MB)

Stephan Strodl, Rudolf Mayer, Gonçalo Antunes, Daniel Draws, Andreas Rauber

Leveraging DP in Commercial Contexts through ERM

icon paper (420 kB) (short paper)

Daniel Simon, José Barateiro and Daniel Burda