Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.

This short-paper offers an experience report about a successful way of giving an introductory compiler construction course to 3rd-year undergraduate students. Because the in-depth-presentation of compiler construction has ...

Many university students, especially first-year students, struggle to efficiently manage their study time which results in lower academic achievements. This paper empirically examines the effect that the number of ...

This 3-page abstract (with literature references) summarises the main points of my spoken presentation at the IACAP`2019 conference in Mexico City, June the 6th, 2019. A post-proceedings full-paper on this topic is in preparation.

This 3-page abstract (with literature references) summarises the main points of our spoken presentation at the IACAP`2019 conference in Mexico City, June the 7th, 2019. A post-proceedings full-paper on this topic is in ...

Three-valued abstraction is an established technique in software model checking. It proceeds by generating an abstract state space model over the values true, false and unknown, where the latter value is used to represent ...

The key to mature and efficient industrial software engineering is standardisation more than an aggressive struggle for innovation only for the sake of its own. This is assumption is also held for the area of sensor networks ...

Integration tools are important means for upholding the mutual consistency of dependent documents. In this work-in-progress-contribution (in German language) a new method for specifying such integration tools is sketched.