Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 1

Conference/Workshop Paper (1)

Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL Stratego (Jul 2024)
Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen , Brian Nielsen , Michele Albano
The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024)

Items per page:
Apr 2025
State of Test Optimization for Variability in Industry
Apr 2025
Learning single and compound-protocol automata and checking behavioral equivalences
Apr 2025
Enhancing IoT Edge Platforms: Selecting an MQTT-Compatible Broker for Kubernetes Environments
Apr 2025
AI-Powered Semantic Search for Historical Documentation: A Collaborative Research with Hitachi Energy
Apr 2025
Supporting Automated Documentation Updates in Continuous Software Development with Large Language Models
Apr 2025
Experience using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields