Pages that link to "Item:Q1910794"
From MaRDI portal
The following pages link to Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem (Q1910794):
Displaying 50 items.
- On commutativity based edge lean search (Q2268917) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- More efficient on-the-fly LTL verification with Tarjan's algorithm (Q2575734) (← links)
- Multithreaded testing of program interfaces (Q2654998) (← links)
- Concurrency verification. Introduction to compositional and noncompositional methods (Q2768503) (← links)
- Dynamical modeling and analysis of large cellular regulatory networks (Q2787874) (← links)
- On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency (Q2827447) (← links)
- Partial order reduction for verification of spatial properties of pi-calculus processes (Q2848141) (← links)
- Distributed partial order reduction of state spaces (Q2848148) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- Dynamic Reductions for Model Checking Concurrent Software (Q2961569) (← links)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- Succinct discrete time approximations of distributed hybrid automata (Q2985857) (← links)
- Accurate hybridization of nonlinear systems (Q2985859) (← links)
- Compositional analysis for linear control systems (Q2985860) (← links)
- On integration of event-based estimation and robust MPC in a feedback loop (Q2985861) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems (Q2985865) (← links)
- Timed automata with observers under energy constraints (Q2985866) (← links)
- Real-time scheduling of mixture-of-experts systems with limited resources (Q2985868) (← links)
- On a control algorithm for time-varying processor availability (Q2985869) (← links)
- Timed I/O automata (Q2985870) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Synthesis using approximately bisimilar abstractions (Q2985872) (← links)
- Oscillation analysis of linearly coupled piecewise affine systems (Q2985873) (← links)
- On infinity norms as Lyapunov functions for piecewise affine systems (Q2985874) (← links)
- Identifiability of discrete-time linear switched systems (Q2985875) (← links)
- Rank properties of poincare maps for hybrid systems with applications to bipedal walking (Q2985876) (← links)
- Stealthy deception attacks on water SCADA systems (Q2985877) (← links)
- Comparison of overapproximation methods for stability analysis of networked control systems (Q2985878) (← links)
- Distributed Kalman Filter algorithms for self-localization of mobile devices (Q2985880) (← links)
- Convergence results for ant routing algorithms viastochastic approximation (Q2985881) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884) (← links)
- Safe compositional network sketches (Q2985887) (← links)
- Bayesian statistical model checking with application to Simulink/Stateflow verification (Q2985888) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- Modeling and verification of stochastic hybrid systems using HIOA (Q2985890) (← links)
- A generating function approach to the stability of discrete-time switched linear systems (Q2985891) (← links)
- Stabilization of planar switched linear systems using polar coordinates (Q2985893) (← links)
- Amir Pnueli and the dawn of hybrid systems (Q2985894) (← links)
