Erscheinungsjahr 2021 3 2020 3 2019 2 2018 5 2017 6 2016 1 2015 5 2014 5 2013 1 2012 1 2011 2 2010 1 2009 1 2008 2 2007 3 2006 2 2005 3 2004 2 2002 2 2001 4 2000 4 1999 3 1998 3 1997 1 alle zeigenListe einklappen
Autor/in Mantel, Heiko Weber, Alexandra 7 Sudbrock, Henning 6 Gay, Richard 5 Hutter, Dieter 5 Schairer, Axel 5 Schickel, Johannes 5 Autexier, Serge 4 Hamann, Tobias 4 Hu, Jinwei 4 Kreitz, Christoph 3 Köpf, Boris 3 Lux, Alexander 3 Perner, Matthias 3 Sabelfeld, Andrei 3 Starostin, Artem 3 Stephan, Werner 3 Wolf, Felix A. 3 Calotoiu, Alexandru 2 Caronni, Germano 2 Dantas, Yuri Gil 2 Dewald, Florian 2 Ereth, Sarah 2 Harvan, Matúš 2 Höhl, Thomas 2 Klaedtke, Felix Christopher 2 Lortz, Steffen 2 Nguyen, Toni 2 Rock, Georg 2 Sands, David 2 Schneider, David 2 Tasch, Markus 2 Wolpers, Andreas 2 Alber, Gernot 1 Askarov, Aslan 1 Balser, Michael 1 Basin, David 1 Basin, David A. 1 Bindel, Nina 1 Bischof, Christian 1 Bollmann, Dominik 1 Buchmann, Johannes 1 Bähr, Timo 1 Chong, Stephen 1 Czappa, Fabian 1 Demeyer, Serge 1 Gartner, Felix C. 1 Herda, Mihai 1 Hähnle, Reiner 1 Jakobs, Marie-Christine 1 Kraußer, Tina 1 Krämer, Juliane 1 Langenstein, Bruno 1 Lehr, Jan Patrick 1 Li, Ximeng 1 Mazaheri, Sogol 1 Mohr, Martin 1 Müller-Olm, Markus 1 Nikiforov, Oleg 1 Norouzi, Mohammad 1 Ott, Jörg 1 Otten, Jens 1 Probst, Christian W. 1 Reif, Wolfgang 1 Reinhard, Alexander 1 Ruhleder, Sebastian 1 Sauer, Alexander 1 Sauer, Jens 1 Schaefer, Ina 1 Scheidel, Lukas 1 Schellhorn, Gerhard 1 Schmitt, Stephan 1 Schneider, Thomas 1 Sprick, Barbara 1 Stenzel, Kurt 1 Vogt, Roland 1 Walther, Thomas 1 Weber, Friedrich 1 Weinert, Christian 1 Weißmantel, Tim 1 Wenner, Alexander 1 alle zeigenListe einklappen
Controlling the what and where of declassification in language-based security Mantel, Heiko Reinhard, Alexander 2007 - TUHH Open Research
Combining different proof techniques for verifying information flow security Mantel, Heiko Sudbrock, Henning Kraußer, Tina 2006 - TUHH Open Research
Security of multi-agent systems: A case study on comparison shopping Hutter, Dieter Mantel, Heiko Schaefer, Ina Schairer, Axel 2006 - TUHH Open Research
The framework of selective interleaving functions and the modular assembly kit Mantel, Heiko 2005 - TUHH Open Research
Exploiting generic aspects of security models in formal developments Mantel, Heiko Schairer, Axel 2005 - TUHH Open Research
Eliminating implicit information leaks by transformational typing and unification Köpf, Boris Mantel, Heiko 2005 - TUHH Open Research
A matrix characterization for multiplicative exponential linear logic Kreitz, Christoph Mantel, Heiko 2004 - TUHH Open Research
Controlled declassification based on intransitive noninterference Mantel, Heiko Sands, David 2004 - TUHH Open Research
Static confidentiality enforcement for distributed programs Sabelfeld, Andrei Mantel, Heiko 2002 - TUHH Open Research
A generic approach to the security of multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research
A unifying approach to the security of distributed and multi-threaded programs Mantel, Heiko Sabelfeld, Andrei 2001 - TUHH Open Research
A case study in the mechanical verification of fault tolerance Mantel, Heiko Gartner, Felix C. 2000 - TUHH Open Research
VSE: formal methods meet industrial needs Autexier, Serge Hutter, Dieter Langenstein, Bruno Mantel, Heiko Rock, Georg Schairer, Axel Stephan, Werner 2000 - TUHH Open Research
System description: Inka 5.0 - a logic voyager Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
Towards an evolutionary formal software-development using CASL Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research