Kategorie: DDC-Klasse 005.1015113
47 Titel
-
Stateless model checking for TSO and PSO
-
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
-
Model checking the evolution of gene regulatory networks
-
Dynamic controllability via Timed Game Automata
-
Verification of heap manipulating programs with ordered data by extended forest automata
-
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
-
Efficiently solving the Bin Packing problem through bio-inspired mobility
-
The complexity of counting models of linear-time temporal logic
-
Parameterized linear temporal logics meet costs: still not costlier than LTL
-
Precise parameter synthesis for stochastic biochemical systems
-
Optimization in temporal qualitative constraint networks
-
Verification of population protocols
-
Average-energy games
-
On reversible Turing machines and their function universality
-
A linear-time algorithm for the orbit problem over cyclic groups
-
Concurrent abstract state machines
-
Optimal covers in the relational database model
-
A general account of coinduction up-to
-
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
-
Guiding Craig interpolation with domain-specific abstractions