Semanarium magisterskie
Niezawodność systemów współbieżnych i obiektowych


Prowadzący: dr hab. Sławomir Lasota, dr Aleksy Schubert

Termin: środy 12:15, sala 5050

Seminarium poświęcone szeroko rozumianej niezawodności systemów komputerowych, od praktycznych projektów weryfikacyjnych i narzędzi do modeli matematycznych i zagadnień teoretycznych z nimi związanych.


Referaty 2008/09

semestr zimowy:

Temat referatu
 Osoba referująca
 Przybliżony termin
 Materiały
AVISPA - narzędzie do weryfikacji protokołów Konrad Błachnio
 15 października 2008
Metoda symbolicznej reprezentacji modeli - OBDD
 Grzegorz Maj
 22 października 2008
 PDF
Podstawy JML-a
 Bartłomiej Bonarski
 29 października 2008
O rozstrzygalności problemu stopu ;)
 Sławomir Lasota
 5 listopada 2008
SAT-solvery
 Aleksander Lewandowski
 12 listopada 2008
O narzędziu CBMC
 Aleksander Lewandowski
 19 listopada 2008
Analiza kształtu z dobrym uporządkowaniem na listach
 Magda Zakrzewska
 26 listopada 2008
 PDF
Analiza kształtu z dobrym uporządkowaniem na listach (cd)
 Magda Zakrzewska
 3 grudnia 2008
Weryfikacja pamięci FLASH - case study
 Bartosz Zaborowski
 10 grudnia 2008
 WWW
Automaty czasowe i Uppaal
 Aleksander Zabłocki
 17 grudnia 2008
 PDF
Automaty czasowe i Uppaal (cd)
 Aleksander Zabłocki
 7 stycznia 2009
Automaty czasowe a maszyny z błędami
 Paweł Kaczan
 14 stycznia 2009
Automaty czasowe a maszyny z błędami (cd)
 Paweł Kaczan
 21 stycznia 2009

semestr letni:

Temat referatu
 Osoba referująca
 Przybliżony termin
 Materiały
Abstrakcyjna interpretacja Bartosz Zaborowski
 18 lutego 2009
Abstrakcyjna interpretacja (cd) Bartosz Zaborowski
 25 lutego 2009
nie odbyło się :(
4 marca 2009
O bisymulacji
 Grzegorz Maj
 11 marca 2009
 PDF
O bisymulacji (cd)
 Grzegorz Maj
 18 marca 2009
 PDF
JML
 Konrad Błachnio
 25 marca 2009
JML (cd)
 Konrad Błachnio
 1 kwietnia 2009
nie odbyło się :(
8 kwietnia 2008
Propozycje tematów prac magisterskich
 S.Lasota, A.Schubert
 22 kwietnia 2009
Analiza przedzialowa
 Aleksander Zabłocki
 29 kwietnia 2009
Analiza przedzialowa
 Aleksander Zabłocki
 6 maja 2009
 PDF
Roztrzygalnosć logik modalnych
 Magda Zakrzewska
 13 maja 2009
 PDF
Roztrzygalnosć logik modalnych (cd)
 Magda Zakrzewska
 20 maja 2009
Weryfikacja programów wielowątkowych w Javie
 Aleksander Lewandowski
 27 maja 2009
 PDF
O propozycjach tematów prac magisterskich
 S.Lasota, A.Schubert
 3 czerwca 2009

{sl,alx} małpa mimuw