Search results
From MaRDI portal
- Termination Analysis of Java Bytecode by Term Rewriting 2012-04-25 Paper Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting...10 bytes (13 words) - 21:05, 24 September 2023
- Termination Analysis of Java Bytecode by Term Rewriting 2012-04-25 Paper Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting...10 bytes (13 words) - 17:25, 24 September 2023
- Attacks in Java 2016-01-12 Paper Inferring complete initialization of arrays 2013-12-04 Paper Definite Expression Aliasing Analysis for Java Bytecode 2012-09-21...10 bytes (13 words) - 10:23, 6 October 2023
- Certified Data Race Analysis for a Java-like Language 2009-10-20 Paper A Certified Lightweight Non-interference Java Bytecode Verifier 2007-09-04 Paper Defining...10 bytes (13 words) - 05:54, 7 October 2023
- information-flow security 2014-09-12 Paper A certified lightweight non-interference Java bytecode verifier 2014-03-12 Paper Secure information flow by self-composition...10 bytes (13 words) - 01:55, 7 October 2023
- Termination Analysis of Java Bytecode by Term Rewriting 2012-04-25 Paper Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting...10 bytes (13 words) - 03:06, 25 September 2023
- implementations 2014-04-10 Paper A certified lightweight non-interference Java bytecode verifier 2014-03-12 Paper Beyond Differential Privacy: Composition Theorems...10 bytes (15 words) - 15:57, 24 September 2023
- Automated Termination Analysis of Java Bytecode by Term Rewriting 2012-04-25 Paper Termination Graphs for Java Bytecode 2010-11-22 Paper...10 bytes (15 words) - 11:52, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4738342 2004-08-11 Paper Java bytecode verification: Algorithms and formalizations 2003-09-09 Paper https://portal...10 bytes (13 words) - 02:32, 25 September 2023
- non-termination 2015-07-15 Paper Magic-sets for localised analysis of Java bytecode 2012-01-13 Paper A non-termination criterion for binary constraint logic...10 bytes (13 words) - 04:33, 7 October 2023
- models 2015-03-17 Paper Type elaboration and subtype completion for Java bytecode 2015-03-17 Paper Staged Composition Synthesis 2014-04-16 Paper Intersection...10 bytes (13 words) - 14:18, 24 September 2023
- mardi4nfdi.de/entity/Q4738361 2004-08-11 Paper A type system for the Java bytecode language and verifier 2003-09-09 Paper https://portal.mardi4nfdi.de/entity/Q4417786...10 bytes (15 words) - 06:39, 7 October 2023
- EXPLOSION 2005-06-22 Paper A local approach for temporal model checking of Java bytecode 2005-05-12 Paper Compositionality and locality for improving model checking...10 bytes (13 words) - 02:05, 7 October 2023
- verification 2006-02-20 Paper A local approach for temporal model checking of Java bytecode 2005-05-12 Paper Compositionality and locality for improving model checking...10 bytes (13 words) - 17:07, 12 December 2023
- de/entity/Q2764152 2002-01-22 Paper The Hyperion system: Compiling multithreaded Java bytecode for distributed execution 2001-08-20 Paper Formal validation of data-parallel...10 bytes (15 words) - 01:59, 9 December 2023
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification 2010-05-27 Paper Instruction-level security analysis for...10 bytes (15 words) - 23:46, 12 December 2023
- mardi4nfdi.de/entity/Q4621150 2019-02-08 Paper Deadlock detection of Java bytecode 2018-09-06 Paper On the dynamics of sharing graphs 2018-07-04 Paper Deadlock...10 bytes (13 words) - 17:04, 9 December 2023
- definitions 2024-08-21 Paper Improving the official specification of Java bytecode verification 2003-02-20 Paper The control layer in open mechanized reasoning...10 bytes (13 words) - 12:56, 24 September 2023
- Determinism for CSP 2022-11-04 Paper Algebraic Compilation of Safety-Critical Java Bytecode 2022-11-04 Paper Temporal reasoning through automatic translation of...10 bytes (13 words) - 10:57, 7 October 2023
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification 2010-05-27 Paper https://portal.mardi4nfdi.de/entity/Q4818731...10 bytes (13 words) - 20:57, 11 December 2023
