Department of Artificial Intelligence and Systems Engineering
adaptive algorithm (1) · analysis (1) · animation (1) · anomaly detection (2) · application development (1) · artifical intelligence (3) · assume-guarantee (1) · cloud (1) · cloud based systems (1) · cloud computing (2) · cloud services (1) · code generation (1) · concept map (1) · convolutional neural network (1) · CPS (1) · cyber-physical systems (5) · data analysis (2) · data security (2) · data visualisation (2) · data visualization (1) · database management (1) · deep learning (1) · Deep Neural Networks (1) · dependability (4) · development tool (1) · Digital twin (1) · dynamic infrastructures (1) · dynamic scaling (1) · error detection (2) · Error propagation analysis (1) · explainable AI (3) · exploratory data analysis (1) · fault diagnosis (1) · fault injection (1) · fault tolerant (1) · fault-tolerant systems (1) · FEm (1) · fog computing (1) · formal methods (1) · Github Security Advisory Database (1) · ifml (1) · impact assessment (1) · information fusion (1) · information structuring (1) · infrastructure monitoring (1) · integer programming (1) · interaction (1) · IT security (2) · knowledge representation (2) · Log (1) · LSTM (1) · machine learning (2) · metamodel (1) · metamodeling (1) · Microsoft Azure (1) · mind map (1) · MiniSAT (1) · model abstraction (2) · Model Based Design (1) · model based testing (1) · model driven development (1) · model extraction (1) · model-based (1) · model-driven development (1) · modelling (1) · neural networks (1) · numerical method (1) · ontology (5) · open source code (1) · OpenSESAME (1) · OWL (1) · proccess visualization (1) · process optimization (1) · Processing (1) · Protégé (1) · QSAT (1) · qualitative model (4) · qualitative modeling (3) · R (1) · RDF (1) · reasoning (1) · requirement specification (1) · robustness testing (1) · safety-critical systems (1) · SAT (1) · SBOM (1) · security (1) · security evaluation (1) · semantic model (1) · semantics (1) · simulating model (1) · simulation (1) · SMT (1) · software analysis (1) · specification design (1) · specification formalization (1) · state machine (1) · statistical data visualization (1) · statistics (1) · SWIFI (software implemented fault injection) (1) · system design (1) · System Identification (1) · system modelling (1) · system monitoring (1) · time series analysis (1) · time series prediction (1) · Unity (1) · user interface design (1) · virtualization (1) · vulnerability (1) · white-box testing (1) · Yakindu (1) · Z3 (1)
30 theses in total. View all theses »