Department of Artificial Intelligence and Systems Engineering
4-valued logic (1) · alloy (1) · application development (1) · automated test (1) · automated test generation (1) · autonomous vehicles (4) · backend (1) · BitTorrent (1) · ChatGPT (1) · CMS (1) · code generation (1) · cyber-physical systems (4) · design space exploration (2) · Discord chatbot (1) · domain-specific languages (2) · Eclipse (2) · Eclipse Modeling Framework (3) · Eclipse plug-in (1) · embedding (1) · EMF-IncQuery (2) · Enterprise JAVA (1) · EQL (1) · Essbase (1) · frontend (1) · graph database (1) · graph generation (2) · graph metric (1) · graph metrics (1) · Graph solver (1) · graph transformation (1) · insurance (1) · Java application (1) · Java programming (1) · JSL (1) · LangChain (1) · Large language models (LLM) (1) · machine learnig (1) · MAVO (1) · metamodel (2) · metamodeling (1) · model based software developement (1) · model based testing (2) · model checking (1) · model generation (8) · model transformation (1) · modeling (1) · MQ (1) · mqtt (1) · mutation testing (1) · numerical solver (1) · OLAP (1) · P2P (1) · park house simulator (1) · partial model (3) · performance benchmark (1) · query (1) · RAG (1) · Refinery (1) · relational database (1) · road network generation (1) · robustness testing (1) · RPC (1) · runtime benchmark (1) · scalability benchmark (1) · simulation model (1) · Sirius (1) · state machine (2) · static analysis tool (1) · static code analysis (1) · test data generation (1) · test framework (1) · test generation (2) · testing (1) · testing in real industrial environment (1) · text generation (1) · VIATRA (1) · VIATRA Query (2) · virtual machine (1) · Webservices (1) · Xtext (1)
26 theses in total. View all theses »