Shantel & Bucovina Club Orkestar at the Effenaar in Eindhoven

We won some tickets at #42's international pub quiz, and therefore went to see Shantel & Bucovina Club Orkestar, which basically is a bunch of eastern guys jumping and playing obnoxious instruments to form eastern songs.  It was quite fun.  I snapped some pictures and a short video during the concert: MichaelTime person of the […]

Read More… from Shantel & Bucovina Club Orkestar at the Effenaar in Eindhoven

Introduction to CPN Tools

I’ve been doing demonstrations of CPN Tools for almost 10 years now. At first, I did demonstrations with Troels Bjerre Sørensen and later alone. Next week, I’m chairing a hands-on session with CPN Tools, and rather than doing demos again, I decided to condense some material from the CPN Tools help pages (old version here) […]

Read More… from Introduction to CPN Tools

Embedding Declare in CPN Models via ProM

Now, this is really cool! This is part 3 of my series on embedding CPN simulation into ProM.  In this part, things get really interesting, and the actual goal of the effort becomes evident: we want to be able to embed external programs seamlessly into CPN models.  We do this by replacing a sub-page with […]

Read More… from Embedding Declare in CPN Models via ProM

Britney Spears’ Guide to DNS Cache Poisoning

dDist week 7 is all about guest lectures and DNS cache poisoning.  Here are my slides, this time lovingly edited in iMovie as the ustream video screwed up the slides; for you this means higher quality and less garbage in the beginning and end of the video. MichaelTime person of the year 2006, Nobel Peace […]

Read More… from Britney Spears’ Guide to DNS Cache Poisoning

Lecture on State Spaces in the CPN Course

I am to give a guest lecture on ASAP for the CPN course tomorrow.  For that, I've prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP.  None of the videos have any sound, but I am planning on ustreaming the lecture […]

Read More… from Lecture on State Spaces in the CPN Course