Search results
From MaRDI portal
- Termination of nondeterministic probabilistic programs 2020-01-23 Paper Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information 2019-09-17...10 bytes (15 words) - 14:16, 6 October 2023
- of temporal concurrent constraint programs 2017-11-09 Paper Information leakage games 2017-10-27 Paper Slicing concurrent constraint programs 2017-10-13...10 bytes (15 words) - 03:31, 12 December 2023
- Properties of Recursive Probabilistic Programs 2024-01-23 Paper Model Checking Temporal Properties of Recursive Probabilistic Programs 2024-01-16 Paper The...10 bytes (17 words) - 00:51, 9 December 2023
- Slicing concurrent constraint programs 2017-10-13 Paper Proving correctness of timed concurrent constraint programs 2017-07-12 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 00:57, 10 December 2023
- Context-bounded analysis of concurrent programs (invited talk) 2024-11-14 Paper Checking refinement of asynchronous programs against context-free specifications...10 bytes (14 words) - 09:01, 6 October 2023
- Higher-Order Concurrent Programs with Dynamic Resource Creation 2016-12-21 Paper Temporal verification of higher-order functional programs 2016-10-24 Paper...10 bytes (14 words) - 08:08, 25 September 2023
- fully abstract semantics for concurrent constraint programming 1999-03-23 Paper Undecidable verification problems for programs with unreliable channels 1997-03-06...10 bytes (13 words) - 01:05, 9 December 2023
- locking 2013-09-26 Paper Probabilistic Automata with Isolated Cut-Points 2013-09-20 Paper Model checking concurrent programs with nondeterminism and randomization...10 bytes (14 words) - 08:45, 24 September 2023
- parametrised by an algebraic theory 2024-06-24 Paper Symbolic semantics for probabilistic programs 2024-05-29 Paper Symbolic register automata 2024-02-16 Paper https://portal...10 bytes (16 words) - 02:32, 7 October 2023
- Paper Fragment abstraction for concurrent shape analysis 2019-09-13 Paper Undecidable verification problems for programs with unreliable channels 2019-04-29...10 bytes (15 words) - 01:05, 9 December 2023
- Invariants for Concurrent Programs 1980-01-01 Paper Proving correctness of coroutines without history variables 1980-01-01 Paper Programming Language Constructs...10 bytes (16 words) - 05:27, 9 December 2023
- semantics for symbolic execution 2024-09-13 Paper Symbolic semantics for probabilistic programs 2024-05-29 Paper Asynchronous Cooperative Contracts for Cooperative...10 bytes (16 words) - 01:00, 7 October 2023
- linear-history semantics for languages for distributed programming 1984-01-01 Paper Verification of Probabilistic Programs 1984-01-01 Paper Fair termination revisited...10 bytes (15 words) - 22:59, 24 September 2023
- mardi4nfdi.de/entity/Q4972731 2019-11-26 Paper Realizability of concurrent recursive programs 2018-11-15 Paper Emptiness of Ordered Multi-Pushdown Automata...10 bytes (13 words) - 11:42, 7 October 2023
- Verifying Parallel Programs with Dynamic Communication Structures 2009-07-09 Paper Context-Bounded Analysis for Concurrent Programs with Dynamic Creation...10 bytes (15 words) - 19:11, 6 October 2023
- Linear-Invariant Generation for Probabilistic Programs: 2010-10-01 Paper Compositional Closure for Bayes Risk in Probabilistic Noninterference 2010-09-07 Paper...10 bytes (14 words) - 14:42, 6 December 2023
- 2013-08-12 Paper Probabilistic automata for computing with words 2013-02-21 Paper Reachability and Termination Analysis of Concurrent Quantum Programs 2012-09-25...10 bytes (13 words) - 20:15, 8 December 2023
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities 2013-01-07 Paper Symbolic predictive analysis for concurrent programs 2012-07-03...10 bytes (13 words) - 02:21, 7 October 2023
- Paper Explanations as programs in probabilistic logic programming 2022-08-10 Paper An SMT-based concolic testing tool for logic programs 2021-07-06 Paper Reversible...10 bytes (15 words) - 02:15, 25 September 2023
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter 2015-08-14 Paper Runtime analysis of probabilistic programs with unbounded recursion...10 bytes (13 words) - 11:40, 28 January 2024
