A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Project: ENABLE-S3
Updated at: 29-04-2024
Resources
5625 items found
Learning for Active 3D Mapping
Project: ENABLE-S3
Updated at: 29-04-2024
Low Speed Longitudinal Control Algorithms for Automated Vehicles in Simulation and Real Platforms
Project: ENABLE-S3
Updated at: 29-04-2024
Testing Solutions for AEB / AES Development
Project: ENABLE-S3
Updated at: 29-04-2024
COGNITIVE JOURNEY COMPANION SYSTEM
Project: ENABLE-S3
Updated at: 29-04-2024
System Feature (hardware and software) for IQ improvement
Project: ENABLE-S3
Updated at: 29-04-2024
METHOD AND DEVICE FOR TESTING A DRIVER ASSISTANCE SYSTEM
Project: ENABLE-S3
Updated at: 29-04-2024
METHOD AND DEVICE FOR ANALYSING A SENSOR DATA STREAM AND METHOD FOR DRIVING A VEHICLE
Project: ENABLE-S3
Updated at: 29-04-2024
RADAR TARGET SIMULATION DEVICE AND METHOD
Project: ENABLE-S3
Updated at: 29-04-2024
Verfahren zur Analyse eines Automatisierungssystems einer Anlage, Emulator zum zumindest teilweise virtuellen Betreiben ...
Project: ENABLE-S3
Updated at: 29-04-2024
Traffic Data Representation for Neural Network Scenario Classification
Project: ENABLE-S3
Updated at: 29-04-2024
A reliable token-based MAC protocol for V2V communication in urban VANET
Project: SafeCOP
Updated at: 29-04-2024
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems
Project: SafeCOP
Updated at: 29-04-2024
DynaMO—Dynamic Multisuperframe Tuning for Adaptive IEEE 802.15.4e DSME Networks
Project: SafeCOP
Updated at: 29-04-2024
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Project: SafeCOP
Updated at: 29-04-2024
Approaches for Facilities Layer Protocols for Platooning
Project: SafeCOP
Updated at: 29-04-2024
Learning-based testing for autonomous systems using spatial and temporal requirements
Project: SafeCOP
Updated at: 29-04-2024
Interfacing a Brake-by-Wire Simulink Model with SUMO
Project: SafeCOP
Updated at: 29-04-2024
TinyWIDS: a WPM-based Intrusion Detection System for TinyOS2.x/802.15.4 Wireless Sensor Networks
Project: SafeCOP
Updated at: 29-04-2024
ITS-enabled advanced road weather services and infrastructures for vehicle winter testing, professional traffic fleets a...
Project: SafeCOP
Updated at: 29-04-2024
Using Safety Contracts to Verify Design Assumptions During Runtime
Project: SafeCOP
Updated at: 29-04-2024
Towards Intelligent Real-Time Road Weather Services Utilizing Mobile Vehicular Data
Project: SafeCOP
Updated at: 29-04-2024
A Safety-Centric Change Management Framework by Tailoring Agile and V-Model Processes
Project: SafeCOP
Updated at: 29-04-2024
Probabilistic Communication in Car Platoons
Project: SafeCOP
Updated at: 29-04-2024
A Business Model for selling components with safety certificates
Project: SafeCOP
Updated at: 29-04-2024
A density-based contention window control scheme for unicast communications in vehicular ad hoc networks
Project: SafeCOP
Updated at: 29-04-2024
Vehicular-networking- and road-weather-related research in Sodankylä
Project: SafeCOP
Updated at: 29-04-2024
Cognitive radio network with secrecy and interference constraints
Project: SafeCOP
Updated at: 29-04-2024
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Project: SafeCOP
Updated at: 29-04-2024
Functional Safety and Evolvable Architectures for Autonomy
Project: SafeCOP
Updated at: 29-04-2024