Department of Artificial Intelligence and Systems Engineering
.NET (1) · 5G mobile networks (2) · AI components (1) · Android platform (1) · ANTLR (1) · architectural design (1) · architecture (1) · automata (1) · automatic code generation (3) · automatic software testing (1) · automotive application (1) · AUTOSAR (1) · C# (1) · CAN (1) · CATES (1) · cloud computing (1) · code coverage (1) · code generation (1) · collaborative drawing (1) · communication protocol (1) · component-based (1) · context-aware systems (1) · continuous integration (1) · CTL (1) · CSS2 (1) · dependability analysis (1) · domain specific language (1) · Dynamic Orchestration (1) · EBNF (1) · Eclipse plug-in (1) · Edge Computing (1) · embedded controller (1) · embedded software (1) · embedded system (1) · ETSI NFV (1) · FabricJs (1) · formal methods (1) · formal verification (2) · Gamma (1) · GUI (1) · hardver in the loop (1) · HIL (1) · IEEE 1588 (1) · integration test (1) · ios platform (1) · IoT Edge (1) · Java 8 (1) · Java development (2) · JavaScript (1) · Jenkins (1) · linear temporal logic (2) · Live Sequence Chart (1) · LSC (1) · model based testing (2) · model checking (1) · model validation (1) · model-based testing (1) · modell checking (1) · MongoDB (1) · monitor (1) · monitor synthesis (2) · monitoring (5) · monitoring system (1) · network monitoring (1) · Network Service Orchestrator (1) · observation (1) · ontology (1) · optimization (1) · performance regression (1) · performance test tool (1) · performance testing (1) · Promela (1) · PTPv2 (1) · reconfiguration (1) · requirement engineering (1) · requirement specification (2) · Robot Operating System (1) · ROS (1) · Runtime verification (8) · safety critical system (1) · safety-critical embedded systems (1) · safety-critical systems (3) · SAP RAP (1) · SAP RCM (1) · SAP S/4HANA (1) · SAPUI5 (1) · scenario (2) · semantic technologies (1) · sequence diagram (1) · simulation (1) · software developement (1) · software development (1) · software testing (4) · Spec Explorer (1) · specification formalization (1) · SPIN (1) · Spring Boot (1) · Spring Data (1) · Spring framework (1) · Spring MVC (1) · Spring Security (1) · SSH (1) · state machine (1) · stochastic petri-net (1) · system modeling (1) · system monitoring (2) · temporal logic (3) · temporal logic expressions (1) · temporal logics (3) · test coverage measurement (2) · test generation (1) · three-valued logic (1) · time constraints (1) · UPPAAL (2) · verification (3) · visualization (1) · web application (1) · WebSocket (1) · Xtext (1)
31 theses in total. View all theses »