×

zbMATH — the first resource for mathematics

Mantel, Heiko

Compute Distance To:
Author ID: mantel.heiko Recent zbMATH articles by "Mantel, Heiko"
Published as: Mantel, H.; Mantel, Heiko
External Links: MGP
Documents Indexed: 21 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 38 times in 33 Documents Cited by Year
Towards an evolutionary formal software-development using CASL. Zbl 0966.68140
Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel
9
2000
Scalable offline monitoring of temporal specifications. Zbl 1380.68268
Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko
7
2016
Static confidentiality enforcement for distributed programs. Zbl 1015.68509
Sabelfeld, Andrei; Mantel, Heiko
6
2002
linTAP: A tableau prover for linear logic. Zbl 0932.03010
Mantel, Heiko; Otten, Jens
3
1999
Controlled declassification based on intransitive noninterference. Zbl 1116.68397
Mantel, Heiko; Sands, David
2
2004
Information flow control and applications - bridging a gap -. Zbl 0977.68681
Mantel, Heiko
2
2001
Types versus PDGs in information flow analysis. Zbl 1394.68078
Mantel, Heiko; Sudbrock, Henning
1
2013
Scheduler-independent declassification. Zbl 1358.68065
Lux, Alexander; Mantel, Heiko; Perner, Matthias
1
2012
Who can declassify? Zbl 1341.68029
Lux, Alexander; Mantel, Heiko
1
2009
Combining different proof techniques for verifying information flow security. Zbl 1196.68050
Mantel, Heiko; Sudbrock, Henning; Kraußer, Tina
1
2007
Controlling the what and where of declassification in language-based security. Zbl 1187.68157
Mantel, Heiko; Reinhard, Alexander
1
2007
Exploiting generic aspects of security models in formal developments. Zbl 1098.68588
Mantel, Heiko; Schairer, Axel
1
2005
VSE: Formal methods meet industrial needs. Zbl 1060.68673
Autexier, Serge; Hutter, Dieter; Langenstein, Bruno; Mantel, Heiko; Rock, Georg; Schairer, Axel; Stephan, Werner; Vogt, Roland; Wolpers, Andreas
1
2000
A case study in the mechanical verification of fault tolerance. Zbl 1010.68170
Mantel, Heiko; Gärtner, Felix C.
1
2000
A matrix characterization for \(\mathcal{MELL}\). Zbl 0928.03009
Mantel, Heiko; Kreitz, Christoph
1
1998
Scalable offline monitoring of temporal specifications. Zbl 1380.68268
Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko
7
2016
Types versus PDGs in information flow analysis. Zbl 1394.68078
Mantel, Heiko; Sudbrock, Henning
1
2013
Scheduler-independent declassification. Zbl 1358.68065
Lux, Alexander; Mantel, Heiko; Perner, Matthias
1
2012
Who can declassify? Zbl 1341.68029
Lux, Alexander; Mantel, Heiko
1
2009
Combining different proof techniques for verifying information flow security. Zbl 1196.68050
Mantel, Heiko; Sudbrock, Henning; Kraußer, Tina
1
2007
Controlling the what and where of declassification in language-based security. Zbl 1187.68157
Mantel, Heiko; Reinhard, Alexander
1
2007
Exploiting generic aspects of security models in formal developments. Zbl 1098.68588
Mantel, Heiko; Schairer, Axel
1
2005
Controlled declassification based on intransitive noninterference. Zbl 1116.68397
Mantel, Heiko; Sands, David
2
2004
Static confidentiality enforcement for distributed programs. Zbl 1015.68509
Sabelfeld, Andrei; Mantel, Heiko
6
2002
Information flow control and applications - bridging a gap -. Zbl 0977.68681
Mantel, Heiko
2
2001
Towards an evolutionary formal software-development using CASL. Zbl 0966.68140
Autexier, Serge; Hutter, Dieter; Mantel, Heiko; Schairer, Axel
9
2000
VSE: Formal methods meet industrial needs. Zbl 1060.68673
Autexier, Serge; Hutter, Dieter; Langenstein, Bruno; Mantel, Heiko; Rock, Georg; Schairer, Axel; Stephan, Werner; Vogt, Roland; Wolpers, Andreas
1
2000
A case study in the mechanical verification of fault tolerance. Zbl 1010.68170
Mantel, Heiko; Gärtner, Felix C.
1
2000
linTAP: A tableau prover for linear logic. Zbl 0932.03010
Mantel, Heiko; Otten, Jens
3
1999
A matrix characterization for \(\mathcal{MELL}\). Zbl 0928.03009
Mantel, Heiko; Kreitz, Christoph
1
1998
all top 5

Cited by 92 Authors

5 Rabe, Florian
4 Horozal, Fulya
4 Kohlhase, Michael
3 Basin, David A.
3 Mantel, Heiko
3 Mossakowski, Till
2 Bonakdarpour, Borzoo
2 Codescu, Mihai
2 Falcone, Yliès
2 Hutter, Dieter
2 Klaedtke, Felix
2 Krstić, Srđan
2 Traytel, Dmitry
1 Abujarad, Fuad
1 Ahrendt, Wolfgang
1 Astesiano, Egidio
1 Autexier, Serge
1 Baldan, Paolo
1 Bartocci, Ezio
1 Beggiato, Alessandro
1 Berkovich, Shay
1 Bianculli, Domenico
1 Bibel, Wolfgang
1 Bidoit, Michel
1 Brix, Frederik
1 Caronni, Germano
1 Chaudhuri, Kaustuv
1 Chen, Zhong
1 Colombo, Christian
1 Crafa, Silvia
1 da S. Corrêa, Marcelo
1 Dixon, Lucas
1 Eggert, Sebastian
1 Ereth, Sarah
1 Fallah, Mehran S.
1 Fischmeister, Sebastian
1 Fleuriot, Jacques D.
1 Francalanza, Adrian
1 Franke, Andreas
1 Gao, Sheng
1 Gardey, Guillaume
1 Harvan, Matúš
1 Ho, Hsi-Ming
1 Iranmanesh, Zeinab
1 Kassem, Ali
1 Kirchner, Hélène
1 Kobayashi, Naoki
1 Krieg-Brückner, Bernd
1 Kulkarni, Sandeep S.
1 Lafourcade, Pascal
1 Laud, Peeter
1 Lin, Yiyan
1 Lourenço, João M.
1 Ma, Jianfeng
1 Mosses, Peter D.
1 Müller-Olm, Markus
1 Müller, Samuel
1 Mullins, John
1 Nickovic, Dejan
1 Otten, Jens
1 Ouaknine, Joel O.
1 Owe, Olaf
1 Pace, Gordon J.
1 Perner, Matthias
1 Pettai, Martin
1 Pfenning, Frank
1 Price, Greg
1 Ramezanifarkhani, Toktam
1 Rossi, Sabina
1 Roux, Olivier H.
1 Rufino, José
1 Russo, Alejandro
1 Sabelfeld, Andrei
1 Sánchez, César
1 Sannella, Donald T.
1 Schaefer, Ina
1 Schairer, Axel
1 Schneider, Gerardo
1 Schneider, Joshua P.
1 Signoles, Julien
1 Sojakova, Kristina
1 Sun, Cong
1 Tarlecki, Andrzej
1 Tokas, Shukun
1 van der Meyden, Ron
1 Vana, Leonardo Bruno
1 Vu, Thuy Duong
1 Weiss, Alexander
1 Wenner, Alexander
1 Worrell, James B.
1 Xi, Ning
1 Zălinescu, Eugen

Citations by Year