Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 10 of 10 for “"state space exploration"”.
-
Evaluating machine-independent metrics for state-space exploration
… heuristic techniques in tools that explore the state spaces of tests for such programs. To empirically evaluate these techniques, researchers apply them on subject programs, capture a set of metrics, and compare these metrics to provide some measure of the techniques’ effectiveness. From a …
-
Efficient state space exploration of reactive object-oriented programs
In dieser Arbeit werden neue Ansätze zur Zustandsexploration von eingebetteten C++ Programmen vorgestellt, die eine effiziente Suche nach Zuständen mit bestimmten Eigenschaften erlauben. Um eine einheitliche Behandlung von eingebetteten C++ Programmen zu ermöglichen, wird zunächst eine Erweiterung …
-
Verification of Simulation Models of Network Protocols Using State Space Exploration
Finally, we present incremental state space exploration (ISSE), a technique that aims to provide a speedup in the state space exploration time of evolving simulation models; i.e., simulation models whose code changes from one version to another. A code change may or may not lead to a behavioral …
-
Testing, runtime verification, and analysis of concurrent programs
… code. The second one is to explore the state space of multithreaded programs efficiently. Systematic state-space exploration could guarantee correctness for mul- tithreaded code, however, it is usually time consuming and thus infeasible in most cases. This dissertation presents several …
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
… (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis pipeline. We have investigated the use of BDDs in two different ways. …
-
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
… of O (m log n), where n and m are the number of states and non-zero entries of the generator matrix of the CTMC, respectively. We have also combined the use of symbolic data structures with state-lumping techniques to develop an efficient symbolic state-space exploration algorithm for …
-
A formal semantics of P4 and applications
… such as detection of unportable code, state space exploration of P4 programs and networks, bug finding using symbolic execution, data plane verification, program verification, and translation validation.
-
A generalized adversary decision algorithm and analytic solution methods for advise models
… Markov games. Furthermore, by exploring the state-space and generating the transition probability matrix, numerical solution methods may be applied to solve ADVISE models. Identifying key properties allows the models to be tested for compatibility with alternative solution methods from the …
-
ENGINEERING THE COMPLEX ELECTRICAL RESPONSE OF METALLIC CLUSTER-ASSEMBLED FILMS FOR NEUROMORPHIC COMPUTING APPLICATIONS
… to study the statistical properties of RS in space and time, unveiling the presence of non-trivial correlations in these systems. My analysis also highlighted the impact of sample geometry and dimension on the number and distribution of the switching regions. Furthermore, I probed the …
-
Scalable attack modelling in support of security information and event management
… network. Nodes in an attack graph represent the state of a network at a point in time while arcs between nodes indicate the transformation of a network from one state to another, via the exploit of a vulnerability. Using attack graphs allows system and network configuration information to be …