Torben Amtoft

Available identifiers

Publication	Date of Publication	Type
Correctly Slicing Extended Finite State Machines	2020-07-20	Paper
An alternative characterization of weak order dependence	2017-11-03	Paper
A logic for information flow in object-oriented programs	2017-08-21	Paper
A Theory of Slicing for Probabilistic Control Flow Graphs	2016-06-10	Paper
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow	2012-06-29	Paper
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays	2010-05-04	Paper
Slicing for modern program structures: a theory for eliminating irrelevant loops	2010-04-19	Paper
Flow-sensitive type systems and the ambient calculus	2009-07-13	Paper
A logic for information flow analysis with an application to forward slicing of simple imperative programs	2007-01-22	Paper
Programming Languages and Systems	2005-09-13	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4673435	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4414737	2003-07-27	Paper
Orderly communication in the ambient calculus.	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q2763674	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4518876	2001-02-05	Paper
Behavior analysis for validating communication patterns	1998-01-01	Paper
Type and behaviour reconstruction for higher-order concurrent programs	1997-09-29	Paper
Partial memoization for obtaining linear time behavior of a 2DPDA	1992-09-27	Paper

This page was built for person: Torben Amtoft