Search results
From MaRDI portal
- 2019-07-18 Paper Optimized State Space Grids for Abstractions 2018-06-27 Paper Computing Abstractions of Nonlinear Systems 2017-08-25 Paper On inconsistent...10 bytes (16 words) - 10:15, 12 December 2023
- of Nonlinear Systems 2023-02-13 Paper Robustly complete finite-state abstractions for verification of stochastic systems 2023-01-18 Paper Smooth converse...10 bytes (17 words) - 14:24, 10 December 2023
- Approximating Event System Abstractions by Covering Their States and Transitions 2021-05-26 Paper Test generation from event system abstractions to cover their states...10 bytes (18 words) - 06:35, 12 December 2023
- Automatic Verification of RMA Programs via Abstraction Extrapolation 2020-07-07 Paper Effective abstractions for verification under relaxed memory models...10 bytes (18 words) - 16:46, 12 December 2023
- de/entity/Q5357723 2017-09-12 Paper Independence Abstractions and Models of Concurrency 2017-02-21 Paper Complete Abstractions and Subclassical Modal Logics 2017-02-21...10 bytes (18 words) - 15:45, 12 December 2023
- 2015-03-17 Paper Secure implementations of typed channel abstractions 2014-09-12 Paper Security Abstractions and Intruder Models (Extended Abstract) 2014-07-23...10 bytes (17 words) - 05:32, 12 December 2023
- 2013-03-13 Paper Abstractions of random finite-state machines 2001-09-09 Paper Ideal Arbiters: Analysis and Design 1987-01-01 Paper Abstractions of Finite-State...10 bytes (18 words) - 23:25, 24 September 2023
- Publication Type Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis 2017-09-08 Paper Discrete-State Abstractions of Nonlinear Systems...10 bytes (16 words) - 03:21, 28 December 2023
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions 2018-06-05 Paper https://portal.mardi4nfdi.de/entity/Q4640252 2018-05-17...10 bytes (18 words) - 05:06, 12 December 2023
- multi-resolution abstractions 2020-03-06 Paper Synthesis of switching controllers using approximately bisimilar multiscale abstractions 2017-05-16 Paper...10 bytes (16 words) - 20:15, 12 December 2023
- Approximating Event System Abstractions by Covering Their States and Transitions 2021-05-26 Paper Test generation from event system abstractions to cover their states...10 bytes (16 words) - 02:49, 12 December 2023
- Synchronization in Networks With Switching Topology 2020-01-28 Paper Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent...10 bytes (16 words) - 18:38, 11 December 2023
- construction of infinite abstractions for networks of stochastic control systems 2019-12-19 Paper Compositional synthesis of finite abstractions for networks of...10 bytes (16 words) - 12:22, 28 January 2024
- networks 2010-02-26 Paper Topology-Dependent Abstractions of Broadcast Networks 2008-09-18 Paper Modal Abstractions of Concurrent Behaviour 2008-08-28 Paper...10 bytes (16 words) - 11:15, 24 September 2023
- Paper Pointers and data abstractions in high level languages—I: Language proposals 1977-01-01 Paper Pointers and data abstractions in high level languages—II:...10 bytes (18 words) - 19:35, 8 December 2023
- Paper Better Abstractions for Timed Automata 2017-05-16 Paper Better abstractions for timed automata 2016-11-18 Paper Coarse abstractions make Zeno behaviours...10 bytes (16 words) - 17:20, 6 October 2023
- de/entity/Q4636598 2018-04-19 Paper Better Abstractions for Timed Automata 2017-05-16 Paper Better abstractions for timed automata 2016-11-18 Paper Acceleration...10 bytes (16 words) - 23:43, 24 September 2023
- structural identifiability in expanded systems 2018-08-21 Paper Hybrid abstractions of affine systems 2006-07-20 Paper...10 bytes (18 words) - 18:01, 13 December 2023
- convex polyhedra and other numerical abstractions 2010-03-11 Paper Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness...10 bytes (18 words) - 00:48, 13 December 2023
- Erdős-Rényi networks: an \(H^2\)-norm perspective 2018-09-11 Paper Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis 2017-09-08 Paper...10 bytes (17 words) - 15:43, 12 December 2023