Jacek Galowicz

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Efficient Implementation

Model Based Testing

Sequence Diagrams

Operating System

Top Venues

Publications

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Pablo Reble, Jacek Galowicz, Stefan Lankes, Thomas Bemmerl
Efficient Implementation of the bare-metal Hypervisor MetalSVM for the SCC. MARC Symposium (2012)