Zagotavljanje in analiza varnosti sistema za upravljanje vsebin WordPress : diplomsko delo /

od Casar, Aleš.
Izdano 2017

Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo /

od Časar, Aleš.
Izdano 1995

Verifikacija končnih avtomatov s simboličnim preverjanjem modelov : magistrsko delo /

od Časar, Aleš.
Izdano 1998

Odkrivanje zatičnih napak s simboličnim preverjanjem modelov : doktorska disertacija /

od Časar, Aleš.
Izdano 2002

Varnost in IP telefonija /

od Časar, Aleš.

Distribuirani napadi onemogočitve storitve s preplavljanjem /

od Časar, Aleš.

Analiza PISUM s stališča varnosti : 1. poročilo /

od Časar, Aleš.
Izdano 2003

Representation of Boolean functions with ROBDDs : [drugouvrščeni referat na študentskem tekmovanju IEEE Regije 8, COMPEURO '93, 24.-27. maj 1993, Pariz] /

od Meolic, Robert., Časar, Aleš.
Izdano 1993

Representation of Boolean functions with ROBDDs /

od Časar, Aleš., Meolic, Robert.

IEEE - ? /

od Časar, Aleš., Vlaovič, Boštjan.

Simbolično preverjanje končnih avtomatov s CTL = Symbolic model checking of finite state machines with CTL /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

Exploiting partitioned transition relations for efficient symbolic model checking in CTL /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

Efficient symbolic traversal algorithms using partitioned transition relations /

od Brezočnik, Zmago., Časar, Aleš., Kapus, Tatjana.

Poštenostne omejitve v simboličnem preverjanju modelov s CTL /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

Exploiting symbolic model checking for sensing stuck-at faults in digital circuits /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

BDD programming package /

od Časar, Aleš., Meolic, Robert., Brezočnik, Zmago.
Izdano 1995

Symbolic CTL model checking using fairness constraints /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

Formal verification of digital circuits using symbolic model checking /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

Urejanje blokov ločene prehajalne relacije /

od Časar, Aleš., Brezočnik, Zmago., Kapus, Tatjana.

EST - Efficient Symbolic Tools

od Meolic, Robert., Kapus, Tatjana., Časar, Aleš., Sepesy Maučec, Mirjam., Brezočnik, Zmago.
Izdano 2000