Department of Artificial Intelligence and Systems Engineering
.NET (1) · abstract reachability graph (1) · abstraction (2) · automotive embedded system (1) · AUTOSAR (1) · Bayes optimization (1) · CEGAR (3) · change-driven model transformations (1) · code generation (3) · code generator (1) · concurrency (1) · conformance testing (1) · containerization (1) · CUnit (1) · cyber-physical system (1) · Cygwin (1) · decision diagram (2) · design process (1) · design space exploration (1) · directed search (1) · distributed (1) · distributed application (1) · Distributed systems (1) · Docker (1) · Eclipse (2) · Eclipse Modeling Framework (1) · Eclipse plugin (1) · embedded software (1) · Enterprise Architect (1) · execution (1) · explicit (1) · formal methods (2) · formal modeling (1) · formal verification (7) · framework (2) · Gamma (3) · Gauss process (1) · git repository (1) · graphmodel (1) · heuristics (1) · industrial automation (1) · invariant (1) · Java (1) · JNI (1) · Kubernetes (1) · LTSmin (1) · mapping rules (1) · MBSE (1) · memory model (1) · memory modeling (1) · Message Queue (1) · model (1) · model based systems engineering (2) · model checking (9) · model driven (1) · model driven development (1) · model driven software development (1) · model generation (3) · model validation (2) · model-based code generation (1) · model-based systems engineering (3) · model-driven development (1) · modeling languages (2) · modeltransformarmation (2) · modular modeling language (1) · mqtt (1) · ontological behavior modeling (1) · OpenAPI (2) · operational library (1) · optimization algorithm (1) · orchestration (1) · parameter optimization (1) · partial order reduction (1) · Petri net (2) · PetriDotNet (1) · PINS (2) · Process modeling (1) · product abstraction (1) · reachability (1) · reachability analysis (1) · Refinery (2) · REST API (2) · safety critical (1) · SAT (1) · saturation (1) · search based software engineering (1) · set decision diagram (1) · simulation (1) · simulations (2) · SMT (1) · software verificaiton (1) · software verification (1) · state machine (2) · state modeling (1) · state space exploration (1) · state space explosion (1) · state-based systems engineering (1) · statechart (3) · statechart composition (3) · stateless model checking (1) · state-space (1) · stochastic model (1) · stochastic petri-net (1) · substitution diagram (1) · symbolic model checking (3) · SysML (1) · SysML v2 (6) · test generation (1) · Theta (4) · timed automata (1) · timed automaton (1) · transition system (1) · unit test (1) · unit testing (1) · UPPAAL (1) · validation (2) · VIATRA (1) · Viatra Solver (1) · view models (1) · V-model (1) · wrapper (1) · XSTS (1) · Xtend (1) · Xtext (1) · Yakindu (1)
31 theses in total. View all theses »