Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. - Paula Herber; Robert Reicherdt; Patrick Bittner (EMSOFT, 2013)

Local authentication and authorization system for immediate setup of cloud environments. - Alexander Stanik; Patrick Bittner; Marvin Byfield; Fridtjof Sander; Daniel Schoder (ICACCI, 2013)

Vom BYOE zu GYSE. - Christopher Ritter; Patrick Bittner; Odej Kao (DFN-Forum Kommunikationstechnologien, 2014)

Get Your Study Plan. - Patrick Bittner; Christopher Ritter; Thomas Hildmann 001 (GI-Jahrestagung, 2014)

Modulempfehlungen über Vorgänger- und Nachfolgemodule. - Patrick Bittner (GI-Jahrestagung, 2015)