Search results
From MaRDI portal
- of Publication Type A study of potential parallelism among traces in Java programs 2009-05-06 Paper https://portal.mardi4nfdi.de/entity/Q3619367 2009-04-03...10 bytes (15 words) - 02:04, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q2753764 2002-01-06 Paper Model checking JAVA programs using JAVA PathFinder 2000-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4845499...10 bytes (13 words) - 13:06, 6 October 2023
- certification for multithreaded Java 2016-07-27 Paper Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs 2016-04-26 Paper Featherweight...10 bytes (13 words) - 02:16, 7 October 2023
- 2017-07-27 Paper Safety-critical Java programs from \textsf{Circus} models 2014-04-08 Paper The safety-critical Java memory model formalised 2013-03-22...10 bytes (15 words) - 19:00, 24 September 2023
- Permission-Based Separation Logic for Multithreaded Java Programs 2015-03-11 Paper Separation Logic Contracts for a Java-Like Language with Fork/Join 2009-01-27 Paper...10 bytes (13 words) - 21:18, 24 September 2023
- implementation 2022-08-19 Paper Deductive verification of floating-point Java programs in KeY 2021-10-18 Paper Axiomatization of Typed First-Order Logic 2019-12-19...10 bytes (13 words) - 18:08, 24 September 2023
- Verification of Java programs with interacting analysis plugins 2013-12-04 Paper Crowfoot: A Verifier for Higher-Order Store Programs 2012-06-15 Paper...10 bytes (13 words) - 16:08, 6 October 2023
- Type Modeling big data processing programs 2021-07-08 Paper Specification and Runtime Verification of Java Card Programs 2015-03-19 Paper Verified Compilation...10 bytes (15 words) - 07:51, 6 October 2023
- processing programs 2021-07-08 Paper https://portal.mardi4nfdi.de/entity/Q4610050 2018-04-05 Paper Specification and Runtime Verification of Java Card Programs...10 bytes (15 words) - 07:51, 6 October 2023
- semantics for Java futures 2009-05-06 Paper Phase-based visualization and analysis of Java programs 2006-10-19 Paper Using JavaNws to compare C and Java TCP-socket...10 bytes (14 words) - 20:01, 21 September 2023
- Aspects of Computing - ICTAC 2004 2005-11-30 Paper Java-MaC: A run-time assurance approach for Java programs 2004-09-09 Paper...10 bytes (13 words) - 20:23, 24 September 2023
- safety for programs with pointer arithmetic 2017-07-10 Paper Lower Runtime Bounds for Integer Programs 2016-09-05 Paper Proving Termination of Programs Automatically...10 bytes (13 words) - 17:25, 24 September 2023
- Verification of Java Card Programs 2015-03-19 Paper JCML: A specification language for the runtime verification of Java card programs 2012-07-20 Paper...10 bytes (17 words) - 12:42, 28 January 2024
- Separation Logic for Multithreaded Java Programs 2015-03-11 Paper Automatic Parallelization and Optimization of Programs by Proof Rewriting 2009-08-18 Paper...10 bytes (13 words) - 16:07, 6 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 2012-04-24...10 bytes (13 words) - 03:06, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q4472546 2004-08-04 Paper Model checking JAVA programs using JAVA PathFinder 2000-01-01 Paper...10 bytes (13 words) - 12:58, 24 September 2023
- Verification of Java Card Programs 2015-03-19 Paper JCML: A specification language for the runtime verification of Java card programs 2012-07-20 Paper...10 bytes (17 words) - 07:51, 6 October 2023
- Publication Type Optimizing data structures in high-level programs 2014-11-27 Paper Executing Java programs with transactional memory 2006-12-14 Paper...10 bytes (15 words) - 16:59, 6 October 2023
- Multi-level graph drawing using infomap clustering 2020-10-26 Paper Executing Java programs with transactional memory 2006-12-14 Paper...10 bytes (13 words) - 12:22, 7 October 2023
- Publication Date of Publication Type Deductive verification of floating-point Java programs in KeY 2021-10-18 Paper Verification of asynchronous systems with an...10 bytes (13 words) - 18:36, 24 September 2023
