Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Advances in Symbolic Probabilistic Model Checking with PRISM +
- CPEC +
- CeTI +
- Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic +
- Compositional Feature-oriented Systems +
- Compositional Synthesis and Most General Controllers +
- Configuring BDD Compilation Techniques for Feature Models +
- Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems +
- Enhancing Probabilistic Model Checking with Ontologies +
- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance +
- Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings +
- Formale Systeme +
- Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings +
- Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification +
- High-level modelling and efficiency analysis of randomized protocols +
- LTL to Deterministic Emerson-Lei Automata +
- Lab Course “Modeling and Automated Verification” +
- Lecture “Advanced Logics” +
- Max-Planck-Institut für Informatik +
- Max-Planck-Institut für Softwaresysteme +
- Ontology-Mediated Probabilistic Model Checking +
- Playing Stochastic Games Precisely +
- Proc. of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015. +
- Project Group “Model Checking” +
- QuantLA +
- Quantitative Characterization of Reconfigurable Transistor Logic Gates +
- Reduction Methods for Probabilistic Model Checking +
- SECAI +
- Seminar “Selected Topics in Logic and Verification” +
- Stochastic transition systems: bisimulation, logic, and composition +
- Supporting Ontology-Mediated Stream Reasoning with Model Checking +
- The 10, 000 Facets of MDP Model Checking +
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) +
- The Complexity of Quantitative Information Flow in Recursive Programs +
- The Hanoi Omega-Automata Format +
- Theoretische Informatik und Logik +
- Theoretische Informatik und Logik +
- Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models +
