Natascha Zachs
BSc
Roles
-
Office Services
Software Engineering, E194-01 -
Office Services
Data Science, E194-04 -
Office Services
Visual Analytics, E193-07
Projects
-
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
2024 – 2027 / Amazon Research Awards
Publication: 210852 -
Skalierbare Langzeitarchivierungsumgebungen
2011 – 2014 / European Commission
Publications: 162919 / 167605 / 27404 / 53775 / 53956 / 53959 / 53961 / 53962 / 53963 / 53964 -
Christian Doppler - Laboratory for Software Engineering Integration for Flexible Automation Systems
2010 – 2016 / Christian Doppler Research Association (CDG) -
Research Studio Digital Memory Engineering
2009 – 2012 / Austrian Research Promotion Agency (FFG) -
PLANETS: Permanent Long-Term Access through Networked Services
2006 – 2011 / European Commission
Publications: 51891 / 51892 / 51907 / 52096 / 52517 / 52632 / 52735 / 52769 / 52770 / 52957 / 52959 -
DPE: Digital Preservation Europe
2006 – 2009 / European Commission
Publications
- Selecting UML Models for Test-Driven Development along the Automation Systems Engineering Process / Hametner, R., Winkler, D., Östreicher, T., Surnic, N., & Biffl, S. (2010). Selecting UML Models for Test-Driven Development along the Automation Systems Engineering Process. In Proceedings IEEE Emerging Technologies and Factory Automation (ETFA 2010) (p. 4). IEEE Press. http://hdl.handle.net/20.500.12708/71584
- Digital Preservation Time Capsule: A Showcase for Digital Preservation / Surnic, N., & Rauber, A. (2009). Digital Preservation Time Capsule: A Showcase for Digital Preservation. In Workshop on Data Analysis (WDA 2009). Workshop on Data Analysis, Abaújszántó, Tokay-region, Hungary, Austria. http://hdl.handle.net/20.500.12708/52954