Post Tagged with: "Youtube"

#HIAMFeb17

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 »

 

Introduction to CPN Tools

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 »

 

LTL Model-checking in ASAP

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

New CD from Alizée

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 »

 

More Videos

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 »

 
 
 

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