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
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
1, 2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
1, 2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal modeling and analysis of safety-critical human multitasking
Innovations in systems and software engineering, 2019-09, Vol.15 (3-4), p.169-190
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Flexible Automatic Support for Web Accessibility Validation
Proceedings of the ACM on human-computer interaction, 2020-06, Vol.4 (EICS), p.1-24
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An Executable Formal Framework for Safety-Critical Human Multitasking
Lecture notes in computer science, 2018, Vol.10811, p.54-69
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Algorithm for Simulating Human Selective Attention
Software Engineering and Formal Methods, p.48-55
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Requirements Engineering: Foundation for Software Quality, p.39-56
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Formal Methods. FM 2019 International Workshops, p.99-113
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
Advances in Model and Data Engineering in the Digitalization Era, p.285-301
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance
2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC), 2023, p.54-58
2023
    Datensatz exportieren als...
  • BibTeX
Other Approaches
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Analysis and Verification of Robustness Properties in Becker-Döring Model
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Secure User-Centred Healthcare System: Design and Verification
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Data Mining and Processing Related Approaches
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards Model Checking Video Streams Using VoxLogicA on GPUs
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Privacy Risk and Data Utility Assessment on Network Data
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Refinement Based Algorithm for Learning Program Input Grammars
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches
From Data to Models and Back, 2022, Vol.13268
2022
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 53
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen