Research Areas

Temporal Logic

Verification via Supercompilation

Verification via Countermodel Finding

Applications of Data Stream processing in Security and Control



Last updated 25.09.2012