Projects



Changes between Version 1 and Version 2 of Events/ACPN2010/Diary


Ignore:
Timestamp:
Sep 14, 2010, 8:00:54 PM (14 years ago)
Author:
2betz
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Events/ACPN2010/Diary

    v1 v2  
    1 == Diary ==
     1= Diary =
     2== '''Monday: Sep, 13th 2010''' ==
     3=== Lectures by ===
     4'''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]]
     5
     6{{{#!th rowspan=2 align=left border=0
     7[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]]
     8}}}
     9{{{#!td rowspan=2 align=left border=0
     10- Introduction to state space-based verification
     11- Formal modeling of protocols: Petri nets and automata
     12- Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets
     13- The VerICS Toolkit: A selection of smaller case studies
     14}}}
     15|----------------
     16
     17and '''Lars M. Kristensen (Bergen, Norway)'''
     18
     19{{{#!td rowspan=2 align=left border=0
     20[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]]
     21}}}
     22{{{#!th rowspan=2 align=left border=0
     23- Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools
     24- Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets
     25- CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture
     26}}}
     27|----------------
     28== '''Tuesday: Sep, 14th 2010''' ==
     29=== Lectures by ===
     30'''Karsten Wolf (Rostock, Germany)'''[[br]][[br]]
     31
     32{{{#!th rowspan=2 align=left border=0
     33[[Image()]]
     34}}}
     35{{{#!td rowspan=2 align=left border=0
     36- Introduction to state space-based verification
     37- Formal modeling of protocols: Petri nets and automata
     38- Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets
     39- The VerICS Toolkit: A selection of smaller case studies
     40}}}
     41|----------------
     42
     43and '''Kees van Hee (Eindhoven, Netherlands)'''
     44
     45{{{#!td rowspan=2 align=left border=0
     46[[Image()]]
     47}}}
     48{{{#!th rowspan=2 align=left border=0
     49- Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools
     50- Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets
     51- CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture
     52}}}
     53|----------------