Lectures:

• WG2.2 Meeting 2008: Model checking security protocols: a multi-agent system approach
• ICATPN04: Specification and model checking of temporal properties in Time Petri Nets and Timed Automata
• IPIPAN'04: VERICS 2004 - stan obecny i perspektywy rozwoju
• ZAKOPANE'02: Weryfikacja modelowa dla wielowartosciowych logik temporalnych
• ICATPN01: Abstractions and partial order reductions for checking branching properties of Time Petri Nets
• CEEMAS'01: Efficient model checking of causal-knowledge protocols
• CSP'01: