Patrick Bittner

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Experimental Study

Access Control Policies

Joint Source And Channel Coding

Top Venues

GI-Jahrestagung

DFN-Forum Kommunikationstechnologien

Publications

Patrick Bittner
Modulempfehlungen über Vorgänger- und Nachfolgemodule. GI-Jahrestagung (2015)
Christopher Ritter, Patrick Bittner, Odej Kao
Vom BYOE zu GYSE. DFN-Forum Kommunikationstechnologien (2014)
Patrick Bittner, Christopher Ritter, Thomas Hildmann
Get Your Study Plan. GI-Jahrestagung (2014)
Alexander Stanik, Patrick Bittner, Marvin Byfield, Fridtjof Sander, Daniel Schoder
Local authentication and authorization system for immediate setup of cloud environments. ICACCI (2013)
Paula Herber, Robert Reicherdt, Patrick Bittner
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. EMSOFT (2013)