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
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
2012
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats
Towards Autonomous Robotic Systems, 2017, p.166-181
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Towards Autonomous Robotic Systems, 2016, p.20-32
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Towards Autonomous Robotic Systems, 2015, p.26-37
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Models@run.time, p.101-136
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans
Hardware and Software: Verification and Testing, p.69-84
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface
Formal Modeling and Analysis of Timed Systems, p.335-351
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Logic-Based Program Synthesis and Transformation, 2014, Vol.8901, p.72-90
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures
Formal Methods and Software Engineering, p.585-600
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation
Hardware and Software: Verification and Testing, p.112-128
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards Automating Simulation-Based Design Verification Using ILP
Inductive Logic Programming, p.154-168
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.201-206
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports
Integrated Formal Methods, p.84-98
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
2012, 2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards Safe Human-Robot Interaction
Towards Autonomous Robotic Systems, p.323-335
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An abstract machine for reasoning about situations, actions, and causality
Extensions of Logic Programming, 2005, p.137-151
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EMC^2$$\end{document}
Computer Safety, Reliability, and Security, p.127-140
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computing rules for detecting contradictory transaction termination dependencies
Lecture notes in computer science, 1999, p.113-127
1999
Link zum Volltext
Verfügbarkeit prüfen
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen