„checking“

Suchergebnisse

2.968 Treffer

• Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
  Klüppelholz, Sascha ; Baier, Christel ; Arbab, Farhad 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Model checking memory-related properties of hardware/software codesigns
  Pockrandt, Marcel ; Glesner, Sabine ; Juurlink, Ben ; Drechsler, Rolf 2014 Technische Universität Berlin
• Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
  Eggers, Andreas ; Fränzle, Martin ; Ramdani, Nacim 2014 BIS der Universität Oldenburg
• Formal verification of the pastry protocol
  Lu, Tianxiang ; Weidenbach, Christoph 2013 Saarländische Universitäts- und Landesbibliothek
• A uniform approach to the complexity and analysis of succinct systems
  Peter, Hans-Jörg ; Finkbeiner, Bernd 2013 Saarländische Universitäts- und Landesbibliothek
• Model checking stochastic hybrid systems
  Hahn, Ernst Moritz ; Hermanns, Holger 2013 Saarländische Universitäts- und Landesbibliothek
• Strategy machines – representation and complexity of strategies in infinite games
  Gelderie, Marcus 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Model composition in model-checking
  Felscher, Ingo 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning ; Theel, Oliver ; Katoen, Joost-Pieter 2014 BIS der Universität Oldenburg
• A Property Checking Methodology for Weakly Programmable System-on-Chip IPs – Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
  Loitz, Sacha 2014 Shaker
• Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud
  Frey, Sören 2014 Universitätsbibliothek Kiel
• Verification of Security Properties Using Formal Techniques
  Al-Shadly, Saleh ; Hogrefe, Dieter ; Fu, Xiaoming ; Grabowski, Jens ; Eckart, Modrow ; Rieck, Konrad ; Waack, Stephan 2014 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Proof-checking mathematical texts in controlled natural language
  Cramer, Marcos 2013 Universitäts- und Landesbibliothek Bonn
• MPI-semantic memory checking tools for parallel applications
  Fan, Shiqing ; Resch, Michael 2013 Universitätsbibliothek der Universität Stuttgart
• SeaFlows - a compliance checking framework for supporting the process lifecycle
  Ly, Linh Thao 2013 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• On symmetry reduction in model checking via graph canonicalisation
  Spermann, Corinna
• Model checking nondeterministic and randomly timed systems
  Neuhäußer, Martin R.
• Diagnosis, synthesis and analysis of probabilistic models
  Han, Tingting
• The quantitative µ-calculus
  Fischer, Diana 2013 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Lock sensitive analysis of parallel programs
  Lammich, Peter ; Müller-Olm, Markus 2011 Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität