Jacek Galowicz

According to our database, Jacek Galowicz authored at least 2 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2012

Efficient Implementation of the bare-metal Hypervisor MetalSVM for the SCC.

Pablo Reble, Jacek Galowicz, Stefan Lankes, Thomas Bemmerl

Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012