Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
1st Edition 2021, 2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
1st ed. 2020., 2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
1, 2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Theory of Traces for Systems with Nondeterminism and Probability
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Microcosm Principle and Concurrency in Coalgebra
Foundations of Software Science and Computational Structures, p.246-260
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Trace Semantics via Determinization
Coalgebraic Methods in Computer Science, p.109-129
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Traces, Executions and Schedulers, Coalgebraically
Algebra and Coalgebra in Computer Science, p.206-220
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameter-Independent Strategies for pMDPs via POMDPs
Quantitative Evaluation of Systems, 2018, Vol.11024, p.53-70
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Probabilistic Automata: System Types, Parallel Composition and Comparison
Lecture notes in computer science, 2004, p.1-43
2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Dynamic Reductions for Model Checking Concurrent Software
Verification, Model Checking, and Abstract Interpretation, 2017, Vol.10145, p.246-265
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Marriage Between Safety and Cybersecurity: Still Practicing
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Probabilistic Model Checking of Randomized Java Code
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Model-Checked I2C Specification
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tool Papers
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
PatEC: Pattern-Based Equivalence Checking
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verifying Pipeline Implementations in OpenMP
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model Checking
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Case Studies
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Invited Talks
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Go2Pins: A Framework for the LTL Verification of Go Programs
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 63
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen