Found 11 relevant results in 2.44s where lecturer="Daniel Kröning"
Design of Digital Circuits
Digitaltechnik
The class provides an introduction to the design of digital circuitry. The class covers the basics of the technical foundations of gates. An introduction to hardware description languages and their use in the design process follows.
Digital Design and Computer Architecture
Digitaltechnik und Rechnerarchitektur
The seminar covers hot research topics in digital design and computer architecture. aus dem Bereich der Digitaltechnik und der Rechnerarchitektur. We discuss subjects such as correctness and complexity of circuits and processor architectures, synthesis, simulation, and verification.
Digital Design and Computer Architecture
Digitaltechnik und Rechnerarchitektur
The seminar covers hot research topics in digital design and computer architecture. We discuss subjects such as correctness and complexity of circuits and processor architectures, synthesis, simulation, and verification.
The class covers the formal foundations and basic principles of algorithms used for verifying complex software automatically. We discuss SAT, BDDs, decision procedures, model checking and automatic abstraction.
The course introduces the fundamental concepts from the area of hybrid systems, that is dynamical systems that involve the interaction of continuous (real valued) states and discrete (finite valued) states, i.e., hardware or software.The course introduces algorithms for verifying properties of hybrid systems. The applications range from automotive control to systems biology.
An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.
An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.
An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.
An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.
Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis
Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis