Archive for June, 2011

1

Modeling and Verification of a Protocol for Operational Support

Presentations | June 23, 2011

Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...

Read Full Story »

 
0

Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models

Presentations | June 22, 2011

And here’s the demo I gave on the demo slide:Get the Flash Player to see this content.var params = { 'allowfullscreen': 'true', 'allowscriptaccess': 'always',...

Read Full Story »

 
0

Towards Verifying Parallel Algorithms using Coloured Petri Nets

Presentations | June 22, 2011

Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...

Read Full Story »

 
0

Efficient Implementation of Prioritized Transitions for High-level Petri Nets

Presentations | June 22, 2011

Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...

Read Full Story »

 
0

Cross Harder

Uncategorized | June 22, 2011

No doubt, you’ve already seen this wonder:I love B’s arch smile and the great humor (like the hilarious Crossroads 2 advertisement). Save / share:EmailPrintFacebookTwitterLinkedInShareDiggRedditStumbleUpon...

Read Full Story »

 
 
 
1 2

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.
    4 days ago
  • This is becoming a bad habit: had to run to catch the last direct train to Eindhoven.
    4 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?…