Post Tagged with: "Youtube"

0

#HIAMFeb17

Uncategorized | February 18, 2011

You have seen the teasers.  You have listened to the super-hit.  Now the video is finally here:It’s a bit heavy on the product placement note, but obviously...

Read Full Story »

 
2

Introduction to CPN Tools

Uncategorized | September 14, 2010

This post has 171 words. Reading it will take less than one minute.VN:F [1.9.17_1161]Rating: 5.0/5 (1 vote cast)I’ve been doing demonstrations of CPN Tools...

Read Full Story »

 
6

LTL Model-checking in ASAP

Uncategorized | April 5, 2010

I just finished integrating LTL model-checking into ASAP.  This is joint work with Sami Evangelista and Thomas Vestergaard.  Basically, I’ve made the translation...

Read Full Story »

 
New CD from Alizée
1

New CD from Alizée

Uncategorized | April 5, 2010

Alizée recently released her fourth album (not counting the live album “Alizée En Concert”), named “Une Enfant du Siècle”, which translated...

Read Full Story »

 
0

More Videos

Uncategorized | October 6, 2009

I’m still making videos (as well as printing).  Latest productions below.  They show how to do off-line analysis in ASAP, outlines the JoSEL specification...

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?…