Search for dissertations about: "Joost-Pieter Katoen"
Found 2 swedish dissertations containing the words Joost-Pieter Katoen.
-
1. Clocks, DBMs and States in Timed Systems
Abstract : Today, computers are used to control various technical systems in our society. In many cases, time plays a crucial role in the operation of computers embedded in such systems. This thesis is about techniques and tools for the analysis of timing behaviours of computer systems. READ MORE
-
2. Design of Assured and Efficient Safety-critical Systems
Abstract : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. READ MORE