Seminarium, Teoretisk datalogi

Karem Sakallah: SAT-Enabled Verification of State Transition Systems

8 mar

Seminarium, Teoretisk datalogi

tisdag 2016-03-08, 12.00

Medverkande: Karem Sakallah, University of Michigan and Qatar Computing Research Institute

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-08T12:00:00.677+01:00 2016-03-08T12:00:00.677+01:00 Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi)

Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata

11 mar

Seminarium, Teoretisk datalogi

fredag 2016-03-11, 13.15

Medverkande: Marielle Stoelinga (Associate Professor of Risk Management for ICT University of Twente)

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-11T13:15:00.297+01:00 2016-03-11T13:15:00.297+01:00 Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi)