Department of Artificial Intelligence and Systems Engineering
.NET (1) · .NET Framework (1) · 3D model generating (1) · abstract interpretation (1) · abstract reachability graph (1) · abstraction (3) · Abstraction interpretation (1) · abstraction refinement (1) · active automaton learning (1) · algorithm (1) · Amazon cloud (1) · Amazon Virtual Private Cloud (1) · artifical intelligence (2) · Artificial Intellgence (1) · artificial intelligence (1) · ASP.NET MVC (1) · asynchronous systems (1) · automatic code generation (1) · automatic software testing (1) · automatic validation (1) · automaton learning (1) · automotive cybersecurity (1) · autonomous (1) · autonomous car (1) · autonomous driving (3) · autonomous robot (1) · autonomous systems (1) · autonomous vehicles (1) · AUTOSAR (1) · bitvector (1) · block (1) · Bluetooth Low Energy (BLE) (1) · BME Formula Racing Team (1) · BME FRT (1) · bounded model checking (3) · BPMN (1) · Business Process Management (1) · business process modeling (1) · C (1) · C# (1) · C/C++ (1) · CARLA (1) · CEGAR (6) · cep (1) · cloud (1) · cloud computing (1) · Cloud infrastructure (1) · code generation (4) · comparison (1) · complex event processing (4) · Component based software design (1) · Component model (1) · Composition (1) · computer vision (4) · constrained saturation (1) · constraint (1) · constraint programming (1) · constraint satisfaction problem (1) · Controlled natural languages (1) · convolutional neural network (1) · cooperation (1) · course evaluation (1) · CPS (1) · cyber-physical system (1) · cyber-physical systems (9) · data augmentation (1) · data collection (2) · data monitoring (1) · data processing (1) · data stream processing (1) · data streaming (1) · data visualisation (1) · data visualization (1) · Data-Distribution Service (1) · DDS (2) · deadlock (1) · deep learning (1) · Deep Neural Networks (3) · Digital twin (1) · distance measuring (1) · distributed (2) · distributed algorithm (1) · distributed data processing (1) · Distributed systems (4) · domain knowledge (1) · dReach (1) · dReal (1) · Drools (1) · DSL (1) · Eclipse (3) · Eclipse Ditto (1) · Eclipse Kura (1) · Eclipse Modeling Framework (1) · Eclipse plugin (1) · Eclipse Vorto (2) · Editor (1) · efficient (1) · embedded systems (1) · EMF (1) · EMF-IncQuery (1) · engineering assistant (1) · Entity Framework (1) · Erlang/OTP (1) · error propagation (1) · extensible (1) · Extension handler component (1) · Extension handling (1) · fastSLAM (1) · fault tree (1) · finite state machine (1) · Flink (1) · Flutter framework (1) · form generation (1) · formal method (1) · formal methods (3) · formal modeling (1) · formal verification (11) · framework (2) · functional safety (1) · Gamma (4) · gateway (1) · GDI (1) · global path planning (1) · graph pattern matching (3) · graph sorting algorithms (1) · graph visualization (1) · graphs (1) · graphslam (1) · grey box testing (1) · Horn-clauses (1) · Horn-ICE (1) · hybrid (1) · hybrid automaton (1) · hybrid system (1) · IEEE 802.15.4 (1) · IIoT (1) · Industry 4.0 (1) · Internet of Things (1) · interval abstraction (1) · invariant synthesis (1) · IoT (2) · IoT devices (1) · IoT Edge (1) · IoT protocols (1) · ISO 26262 (1) · Java (1) · Java 8 (1) · Kalman filter (1) · k-induction (1) · Kronecker (1) · lane keeping assist (1) · large language model (1) · linear (1) · linear transition system (1) · LLVM (1) · local path planning (1) · Logi.CAD (1) · LTL (2) · machine learning (1) · marker detection (1) · Markov chain (1) · metamodeling (1) · Microsoft .Net 4.0 (1) · MiniSAT (1) · model (1) · model based code generation (1) · Model Based Design (1) · model based software developement (1) · model based software development (2) · model based systems engineering (4) · model checking (15) · model driven development (1) · model driven software development (1) · model synthesis (1) · model train (1) · model transformation (3) · Model-Based Design (1) · model-based software development (1) · model-based testing (1) · model-driven development (1) · model-driven software development (1) · modell checking (2) · modelling (2) · modeltransformarmation (1) · MoDeS3 (2) · monitoring (4) · MQTT broker (1) · natural language processing (1) · neural networks (1) · Newton refinement (1) · numeric methods (1) · object detection (2) · object recognition (1) · object tracking (2) · OpenCV (1) · OpenDDS (1) · parametric timed automata (3) · Partial order (1) · partial order reduction (1) · particle filter (1) · performance analysis (1) · Petri net (6) · Petri Nets (1) · PetriDotNet (2) · PetriDotNet 2 (1) · PetriDotNet2 (2) · Petri-net (5) · PLC (1) · plugin (1) · PWM (1) · Python (1) · qualitative model (1) · railway break system (1) · reachability (1) · reachability analysis (2) · real-time (1) · reconfiguration (1) · redundancy (1) · Refinement (1) · regular expresions (1) · regular expressions (1) · reliability (1) · remote control (1) · Requirements engineering (1) · REST API (1) · Retrieval Augmented Generation (RAG) (1) · robot simulator (1) · robustness (1) · robustness testing (2) · ROS (1) · Runtime verification (8) · safety critical (1) · safety system design (1) · safety-critical systems (2) · saturation (5) · scenario (1) · security analysis (1) · self driving car (1) · self driving vehicles (1) · semantic segmentation (1) · sensitivity analysis (1) · sensors (2) · sequence diagram (1) · servo motor (1) · simulation (2) · simulation environment (1) · simulations (1) · simultaneous localization and mapping (1) · Sirius (1) · SLAM (1) · smart city (1) · smart grid (1) · smart home automation (1) · SMT (1) · smt-lib (2) · software architecture (1) · software modelling (1) · software update (1) · SpaceEx (1) · specification formalization (1) · Spline (1) · state machine (3) · state space (1) · state space exploration (1) · statechart (3) · statechart composition (1) · statecharts (4) · stochastic model (1) · stream processing (1) · Structured Text (1) · symbolic execution (1) · symbolic model checking (1) · SysML (1) · SysML v2 (1) · system design (1) · system modeling (2) · system modelling (1) · system state monitoring (1) · systems engineering (2) · systems modeling (1) · temporal logic (4) · TensorFlow (1) · test generation (3) · testing (3) · Theta (2) · Theta* (3) · Thirty Meter Telescope (1) · Thread (1) · three-valued logic (1) · timed automata (1) · timed automaton (1) · timed Petri-net (1) · time-sensitive (1) · tools (1) · transfer learning (1) · TWI (1) · UAV (1) · ultrasonic (1) · UML (3) · Unfolding (1) · UPPAAL (1) · validation (1) · verification (6) · VIATRA (1) · VIATRA-CEP (1) · WCF (1) · Web-based application (1) · wireless communication (2) · workflow (1) · WSO2 CEP (1) · Xtext (5) · xtUML (1) · Yakindu (1) · ZigBee (1)
96 theses in total. View all theses »