Presentations

0

Modular Declare

Presentations | December 8, 2011

Another presentation on Modular Declare.  This one with more pretty pictures.Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...

Read Full Story »

 
0

Time is Not a Four-letter Word

Presentations | November 10, 2011

Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata.  Also how we can use this to give a priori advice...

Read Full Story »

 
1

Declare, Modular Declare, and iTasks

Presentations | November 4, 2011

Presentation introducing Declare and the new module concept conceived together with Bas Lijnen and implemented in Declare and iTasks.  Also, new concert photos...

Read Full Story »

 
0

Lecture in Meta-Modeling and Interoperability

Lectures, Presentations | October 3, 2011

Lecture I gave today.  It has drunk monkeys and Britney, so what else could you want?During the presentation, I showed parts of this video:Get the Flash Player...

Read Full Story »

 
0

A Meta-model for Operational Support

Presentations | September 8, 2011

Presentation I gave at an AIS meeting this morning. It’s about a (yet unpublished) paper on a meta-model for operational support.Fun game: anytime you see...

Read Full Story »

 
 
 
1 2 3

On my mind…

  • For a status report, I had to figure out how much code I'm maintaining. Turns out it's roughly 390000 lines.
    7 days ago
  • This is becoming a bad habit: had to run to catch the last direct train to Eindhoven.
    8 days ago
 
 

Recent Comments

  • Michael: Forgot to add: in my code in the post, what I'm trying to do is just to get all …
     
  • Michael: Yeah, unless you know you are processing an integer, you can only get an object …
     
  • Danny: Hmmm... is the first solution you explain that much different from the original?…