Search results
From MaRDI portal
- multithreaded Java with exceptions 2008-04-14 Paper A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs 2007-11-28 Paper...10 bytes (17 words) - 16:50, 9 December 2023
- with automated reasoning in the class 2023-06-02 Paper Spread the work: multi-threaded safety analysis for hybrid systems 2023-05-05 Paper Probabilistic Hyperproperties...10 bytes (15 words) - 13:50, 7 October 2023
- reasoning for concurrent objects 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of...10 bytes (16 words) - 02:00, 7 October 2023
- method for generic collections 2019-02-15 Paper Run-time checking multi-threaded Java programs 2016-03-10 Paper Being and change: reasoning about invariance...10 bytes (15 words) - 00:04, 12 December 2023
- reasoning for concurrent objects 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of...10 bytes (13 words) - 02:00, 7 October 2023
- complexity of Java programs 2022-03-31 Paper Polynomial time over the reals with parsimony 2021-07-06 Paper A tier-based typed programming language characterizing...10 bytes (13 words) - 19:57, 24 September 2023
- algorithms 2021-07-08 Paper Quantitative security analysis for multi-threaded programs 2021-06-09 Paper Practical abstractions for automated verification...10 bytes (13 words) - 15:28, 9 December 2023
- de/entity/Q5431926 2008-01-02 Paper Synchronous cooperation for explicit multi-threading 2007-12-10 Paper Thread algebra for strategic interleaving 2007-11-28 Paper Elementary...10 bytes (17 words) - 21:19, 8 December 2023
- Publication Date of Publication Type Framework for testing multi‐threaded Java programs 2003-03-25 Paper...10 bytes (13 words) - 01:01, 28 December 2023
- Publication Date of Publication Type Framework for testing multi‐threaded Java programs 2003-03-25 Paper...10 bytes (13 words) - 01:01, 28 December 2023
- Publication Date of Publication Type Framework for testing multi‐threaded Java programs 2003-03-25 Paper...10 bytes (13 words) - 01:01, 28 December 2023
- mardi4nfdi.de/entity/Q4808821 2004-08-12 Paper Framework for testing multi‐threaded Java programs 2003-03-25 Paper...10 bytes (13 words) - 12:21, 14 March 2024
- SEARCH IN COMPLEX DOMAINS 2005-09-28 Paper Framework for testing multi‐threaded Java programs 2003-03-25 Paper Optimal Search in Trees 1999-10-28 Paper...10 bytes (13 words) - 01:44, 28 December 2023
- mardi4nfdi.de/entity/Q4808821 2004-08-12 Paper Framework for testing multi‐threaded Java programs 2003-03-25 Paper https://portal.mardi4nfdi.de/entity/Q4787226...10 bytes (13 words) - 17:16, 6 October 2023
- the verifying C compiler 2010-01-25 Paper A verifying compiler for a multi-threaded object-oriented language 2008-03-06 Paper Using History Invariants to...10 bytes (13 words) - 14:08, 24 September 2023
- lazy functional programs 2005-04-21 Paper Abstract State Machines 2003-10-01 Paper Completeness of a bytecode verifier and a certifying Java-to-JVM compiler...10 bytes (16 words) - 03:10, 7 October 2023
- 2011-12-18 Paper Simulation of stability using Java application for Pareto design of controllers based on a new multi-objective particle swarm optimization 2011-12-18...10 bytes (13 words) - 08:10, 7 October 2023
- Publication:4038659 zbMATH Keywords JavaConcurrencycoarse-grained solutionfine-grained Java programGlobal invariantJava multi-threaded programming Mathematics Subject...15 bytes (200 words) - 11:35, 31 January 2024
- multithreaded Java. A dynamic logic for deductive verification of multi-threaded programs A deductive proof system for multithreaded Java with exceptions...15 bytes (332 words) - 03:42, 9 February 2024
- (CaRuD) A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs Compositionality Entails Sequentializability Starvation-free...15 bytes (949 words) - 08:03, 31 January 2024
