I did a presentation about model-based testing. It’s here. Click below to progress, or click here for full screen. I’ve written a series of posts about the tool, mostly as development blog, so you can follow the thought process. The blogs are not […]
Category: Presentations
Concurrent Constraint Programming

Here’s a thing I didn’t expect to happen anymore: me publishing presentations on my homepage. It’s basically a shortened version of my post about user scenarios given at a kennissessie at work. It contains all the good stuff: Britney, CPN Tools, and tanks. As […]
Declare Mining for Dummies

[bibshow file=tech.bib]Probably my last presentation at TU/e: simple, general, and fast Declare mining. Much of this is in [bibcite key=megaminertech,megaminerfase] (not online yet at the time of writing). [/bibshow] MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Fast and Accurate Declare Mining
Presentation I’ll give in two weeks. How to be significantly faster at mining Declare than any existing tool, and at the same time get much better models. Abstract Declarative models make it possible to describe changing systems or systems with a lot of freedom […]
CPN Tools 4 @ Petri Nets 2013
Tool presentation of CPN Tools 4 from Petri Nets 2013. If you want to see CPN Tools 5, consider our IndieGoGo campaign. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Modeling is not Just for Supermodels

Presentation I’ll give next Monday. I went for a title which is catchy, but in the end turned out to not really have anything to do with the contents. Then again, “Stuff about CPN Tools and Declare and Operational Support and How They […]