Heiko Mantel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality Programming Languages and Systems	2022-12-09	Paper
Unwinding Possibilistic Security Properties Lecture Notes in Computer Science	2022-03-07	Paper
Connection-based proof construction in linear logic Automated Deduction—CADE-14	2019-10-01	Paper
Scalable offline monitoring of temporal specifications Formal Methods in System Design	2018-02-12	Paper
Using dynamic pushdown networks to automate a modular information-flow analysis Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Types versus PDGs in information flow analysis Logic-Based Program Synthesis and Transformation	2013-09-13	Paper
Scheduler-independent declassification Lecture Notes in Computer Science	2012-09-05	Paper
Who Can Declassify? Formal Aspects in Security and Trust	2009-04-07	Paper
Combining Different Proof Techniques for Verifying Information Flow Security Logic-Based Program Synthesis and Transformation	2007-09-10	Paper
Controlling the What and Where of Declassification in Language-Based Security Programming Languages and Systems	2007-09-04	Paper
Security of multi-agent systems: a case study on comparison shopping Journal of Applied Logic	2007-07-25	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
A matrix characterization for multiplicative exponential linear logic Journal of Automated Reasoning	2004-08-16	Paper
scientific article; zbMATH DE number 1948408 (Why is no real title available?)	2003-07-13	Paper
VSE: Formal methods meet industrial needs International Journal on Software Tools for Technology Transfer. STTT	2003-02-13	Paper
A case study in the mechanical verification of fault tolerance Journal of Experimental & Theoretical Artificial Intelligence	2002-12-04	Paper
scientific article; zbMATH DE number 1693432 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1617292 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1341478 (Why is no real title available?)	2000-03-13	Paper
scientific article; zbMATH DE number 1301753 (Why is no real title available?)	1999-10-03	Paper
scientific article; zbMATH DE number 1301870 (Why is no real title available?)	1999-06-16	Paper

Research outcomes over time

This page was built for person: Heiko Mantel