Firmware verification and simulation in IBM zEnterprise 196.

Constantin Werner

Stefan Koerner Constantin Werner Thomas Hess Philip Schulz Markus Strasser Sven Wagner Harald Böhm Martin Troester Dirk Bolte Herwig Elfering Thomas Pohl Klaus Theurich William H. Miller Peter Szwed Firmware verification and simulation in IBM zEnterprise 196. 14 2012 56 IBM J. Res. Dev. 1 https://doi.org/10.1147/JRD.2011.2178566 db/journals/ibmrd/ibmrd56.html#KoernerWHSSWBTBEPTMS12

Patryk Chamuczynski Omar Alfandi Constantin Werner Henrik Brosenne Dieter Hogrefe Performance Study of PANA Pre-authentication for Interdomain Handover. 79-83 2008 ICNS https://doi.org/10.1109/ICNS.2008.23 https://doi.ieeecomputersociety.org/10.1109/ICNS.2008.23 conf/icns/2008 db/conf/icns/icns2008.html#ChamuczynskiAWBH08 Omar Alfandi Henrik Brosenne Constantin Werner Dieter Hogrefe Fast Re-Authentication for Inter-Domain Handover using Context Transfer. 1-5 2008 ICOIN https://doi.org/10.1109/ICOIN.2008.4472766 conf/icoin/2008 db/conf/icoin/icoin2008.html#AlfandiBWH08 Patryk Chamuczynski Omar Alfandi Henrik Brosenne Constantin Werner Dieter Hogrefe Enabling Pervasiveness by Seamless Inter-domain Handover: Performance Study of PANA Pre-authentication. 372-376 2008 PerCom https://doi.org/10.1109/PERCOM.2008.44 https://doi.ieeecomputersociety.org/10.1109/PERCOM.2008.44 conf/percom/2008 db/conf/percom/percom2008.html#ChamuczynskiABWH08 Constantin Werner UML profile for communicating systems: a new UML profile for the specification and description of internet communication and signaling protocols. 2007 University of Göttingen http://webdoc.sub.gwdg.de/diss/2007/werner/ https://nbn-resolving.org/urn:nbn:de:gbv:7-webdoc-1456-2 https://d-nb.info/984694307 Rene Soltwisch Constantin Werner Dieter Hogrefe An Evaluation of Multi-Role Access Routers Specification and Validation of an IDKE aware Access Router. 1-6 2006 ICON https://doi.org/10.1109/ICON.2006.302567 conf/icon/2006 db/conf/icon/icon2006.html#SoltwischWH06 Constantin Werner Sebastian Kraatz Dieter Hogrefe A UML Profile for Communicating Systems. 1-18 2006 conf/sam/2006 SAM https://doi.org/10.1007/11951148_1 db/conf/sam/sam2006.html#WernerKH06 Constantin Werner Xiaoming Fu 0001 Dieter Hogrefe Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. 174-186 2005 conf/sdl/2005 SDL Forum https://doi.org/10.1007/11506843_12 db/conf/sdl/sdl2005.html#WernerFH05 Odej Kao Ingo la Tendresse Constantin Werner Marco Zibull Supporting Digital Watermarks with Error-Correcting Codes. 31-37 2003 conf/cisst/2003-1 CISST db/conf/cisst/cisst2003-1.html#KaoTWZ03 Constantin Werner Odej Kao Ingo la Tendresse Marco Zibull Search for Similar Scenes in Newsfeeds Based on Image Warping Technique. 542-550 2003 conf/cisst/2003-2 CISST db/conf/cisst/cisst2003-2.html#WernerKTZ03 Dieter Hogrefe R. Köster Constantin Werner Marco Zibull Teleteaching an der Universität Göttingen: Systemarchitektur und Problematiken. 129-133 2003 conf/delfi/2003 DeLFI db/conf/delfi/delfi2003.html#HogrefeKWZ03 https://dl.gi.de/handle/20.500.12116/15079 Omar Alfandi Harald Böhm Dirk Bolte Henrik Brosenne Patryk Chamuczynski Herwig Elfering Xiaoming Fu 0001 Thomas Hess Dieter Hogrefe Odej Kao Stefan Koerner R. Köster Sebastian Kraatz William H. Miller Thomas Pohl Philip Schulz Rene Alexander SoltwischRene Soltwisch Markus Strasser Peter Szwed Ingo la Tendresse Klaus Theurich Martin Troester Sven Wagner Marco Zibull