Department of Artificial Intelligence and Systems Engineering
4-valued logic (1) · abstraction (3) · abstraction refinement (1) · Amazon AWS (1) · Amazon cloud (1) · Amazon EC2 (1) · Amazon ECS (1) · Amazon Web Services (1) · analysis (1) · application (1) · architecture (1) · automated test generation (1) · autonom vehicles (1) · autonomous vehicles (1) · availability (1) · Bayes optimization (1) · black box testing (1) · C# (1) · CEGAR (2) · cloud (1) · CNN (Convolutional Neural Network) (1) · complex event processing (1) · CPS (1) · CPS reliability (1) · critical systems (1) · cyber-physical system (1) · deep learning (1) · design-space exploration (2) · Distributed systems (1) · docker compose (1) · Docker containers (1) · Docker image (1) · Editor (1) · epas (1) · extra-functional (1) · fault tree (1) · formal verification (2) · Galileo (1) · genetic algorithm (1) · Grafana (1) · graph generation (1) · graph visualization (1) · heuristic optimization (1) · IoT (1) · Java backend (1) · Jetty (1) · knowledge base (1) · lazy abstraction (1) · logic solver (1) · Markov chain (1) · Markov-chain (1) · model checking (2) · model generation (1) · model transformation (1) · model-driven architecture (1) · modell driven (1) · non-linear optimization (1) · OpenTelemetry (1) · parameter optimization (1) · partial model (1) · partial models (2) · performability (1) · performance (1) · probabilistc programming (1) · probabilistic programming (1) · probabilistic verification (1) · Prometheus (1) · propagation (1) · real-time systems (1) · Refinery (1) · relational database (1) · reliability analysis (1) · reliability modelling (1) · reliaility (1) · runtime monitoring (1) · safety-critical system (1) · safety-critical systems (1) · satellite (1) · scalability (1) · simulaion (1) · statechart (1) · statecharts (1) · stochastic (1) · stochatic analysis (1) · SysML (1) · tensor representations (1) · test generation (2) · timed automaton (1) · timed systems (1) · traffic sign recognition (1) · UWP (1) · verification (1) · webapplication (1) · WebSocket (1) · Windows (1)
17 theses in total. View all theses »