Skip to main content
Andreas Mülder

Andreas Mülder

Principal Software Engineer · itemis AG

Responsible for

Model-Based Engineering Model-Driven Software Development
Andreas Mülder is Principal Software Engineer at itemis, responsible as technical project lead for itemis CREATE. Since 2007 he has been developing tools for platforms such as Eclipse, Visual Studio Code, Cloud and Web — with a focus on language engineering, domain-specific languages, simulators and code generators, as well as the integration of generative AI into production-ready tools. He shares his knowledge in blog posts on language engineering and AI-assisted tool development.

Aktuelles

Format

Formal Error Detection on State Machines: What Works and What Doesn't
Blog Model driven software development

Formal Error Detection on State Machines: What Works and What Doesn't

An unreachable transition, an unsatisfiable guard, a numeric overflow: these bugs hide in the model long before any test reveals them. A results report from two master's theses on formal error detection for state machines using symbolic execution and SMT solvers.

Read Article
Andreas Mülder Andreas Mülder 9 min read
Taking SCXML to the next level
Blog Model driven software development

Taking SCXML to the next level

How itemis CREATE adds higher-level modeling, simulation and unit testing on top of the SCXML standard.

Read Article
Andreas Mülder Andreas Mülder 5 min read