Michael Westergaard's Homepage

Archives

• ► 2012 (15)
  • ► February (4)
    • More Accomplishments!
    • Science!
    • Refreshing
    • Unicode and Beta
  • ► January (11)
    • Logo
    • A Poem
    • Britney at Roskilde?
    • Nuke the Site From Orbit!
    • Using Declarative Workflow Modeling to Achieve True Happiness
    • A Sign
    • Dutch iTunes Match
    • New House Mate
    • A Traditional Britmas
    • Britmassy
    • Simulated Naughtiness in CPN Tools
• ► 2011 (227)
  • ► December (18)
    • Productivity Boost
    • Exploiting the Innards of ProM and Breaking Data-Hiding for Fun and Profit
    • Speling Mitsakes are teh Funzors
    • Evil is Fun
    • New Twitter
    • There Was a Line...
    • Why You Shouldn't Drunk-Post
    • Strong Accept, High Confidence
    • Modular Declare
    • I'm a Dork
    • Tacky
    • Unraveling the Conspiracy of the Croquettes
    • Pretty Declare
    • Just for Wil
    • Scary
    • Fuuuuuuuuck!
    • A New Kind of Exception
    • Signs…
  • ► November (23)
    • Britnification II: The Postering
    • Bring It
    • Amazon for Efficiency
    • I Are the Smarts
    • Britnification
    • Why I Rule!
    • Eating Varied
    • Consumerism
    • Amazon Recommendations are Funny
    • Strongly Connected Components in Declarative Models
    • German Siri is NOT German
    • Colored Automata in Declare
    • Sometimes…
    • Refactoring – Stay Quick and Beautiful
    • The Burning Cottage: An Approach to Solving the Mash/Meat-Equilibrium
    • Jawsome
    • Time is Not a Four-letter Word
    • Declare Rebranding
    • Declare, Modular Declare, and iTasks
    • Formal Specification
    • The Greek Family
    • Britney in London
    • Modular Declare
  • ► October (23)
    • The Tour that Keeps on Giving
    • Custom B-shirt (Awesome)
    • Britney Spears Concert in Rotterdam
    • iPhonerific
    • B-shirt with a Message
    • A Tale of Two Britney Concerts
    • Britney Spears Concert in Herning
    • Bread
    • Salad
    • New Britney Loot
    • Britney's Finale in Herning
    • Britney Quiz
    • Professional?
    • Backstage Before Britney in Herning
    • Heh
    • Because Two is Twice as Nice as One
    • Destinee & Paris
    • Some New Merchandise
    • :D
    • Nostalgica
    • Stew
    • How Cool is This?
    • Lecture in Meta-Modeling and Interoperability
  • ► September (19)
    • I'm Sooooooo Ready!!
    • Hitchcock Was Here?
    • Rendering…
    • English News for Expats in Holland
    • Some Notes on Declarative Workflows and Operational Support
    • Generated Models
    • Windows 8 in the Land of Business Process Modeling
    • I put the Alcohol in Workaholic
    • Printer Repair
    • I am, Apparently, a Rocket Scientist!
    • Promotion
    • A Meta-model for Operational Support
    • The End
    • On Papers and Drawing Feet
    • Emptying the Freezer
    • This ≠ Good
    • Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL
    • Hotel of God
    • French Summer
  • ► August (19)
    • Fusion Cooking
    • RFC 3514 version 2.0
    • Stupid Rain!
    • Right Attitude
    • Why Bother…?
    • Presentation Title
    • Gadgunchies
    • They Never Saw it Coming
    • Forever…
    • Commit Comments Regarding Hudson
    • Amusing
    • Beautiful
    • I Wonder...
    • This
    • Logging: New Feature in the ProM Widgets Package
    • How to Make a Pizza
    • Friday
    • An E-mail
    • Refreshing
  • ► July (17)
    • Haute Déchets
    • Printing on W&I from Mac OS X Lion
    • Major Update
    • ProM Plug-in Documentation: Declare
    • Rebecca's Moment
    • ProM Package Documentation: Cosimulation
    • New Single from Mel C
    • Hwo 2 B a Journalist
    • Watch!
    • ProM Package Documentation: SimpleXQueryProvider
    • ProM Package Documentation: OperationalSupport
    • ProM Package Documentation: KeyValue
    • Back to the 90s
    • ProM Package Documentation: CPNet
    • Guus Meeuwis @ De Eerste Valkenswaardse Zomerfeesten
    • Camp Christ
    • We Are Famous! Beer Tasting @ Roskilde 2011
  • ► June (10)
    • Modeling and Verification of a Protocol for Operational Support
    • Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
    • Towards Verifying Parallel Algorithms using Coloured Petri Nets
    • Efficient Implementation of Prioritized Transitions for High-level Petri Nets
    • Cross Harder
    • International!!!
    • D'aaaw... Silly Brits
    • Truth in Advertising
    • Pinky and the Whiskey
    • Yes! Meet and Greet with Britney Spears!
  • ► May (24)
    • ProM Plug-in Suggestion: Social Network MSC Visualization
    • Anybody Knows How to Set Up Twitter-like Service for WordPress?
    • A Tidy Desk is a Sign of an Empty Mind
    • How Much Memory is Needed to Store a Log?
    • Duck, Duck, Grease!
    • Manly …and Manlier
    • E-mails
    • Spicy
    • Better Than the Bible
    • Declare Demo
    • Singer/Songwriting
    • Pink & Purple
    • Meat
    • Getting There
    • Pink
    • Using Declarative Workflow Modeling to Achieve Happiness in Life
    • Denmark
    • Shiny is the new Shiny
    • CPN Tools Downloads
    • Shopping List
    • Teaser
    • ProM Plug-in Suggestion: ProM Orchestration
    • ProM Plug-in Suggestion: CPN Log Extraction
    • CPN Tools Features Accumulating In response to Requests (FAIR)
  • ► April (20)
    • Beer and Orange Day
    • Britney Beers 2 – The Beerening!
    • Britney Beers
    • Salad Snacks
    • Per Consumptie Wijzer
    • Barbie
    • Revenge!
    • I'm Not Conservative!
    • Transition System
    • In All Fairness…
    • Poll: Preferred Society
    • Plumbing
    • Party
    • Attention: Students
    • CrashPlan
    • Really Pretty?
    • Femme Fatale Tour
    • Flight Booking with British Airways
    • New Sandals
    • Food Porn
  • ► March (18)
    • Procrastination… Go!
    • B-cisions…
    • Process Mining Real Logs
    • Pouring Turpentine Down the Toilet is Optional
    • BS-tistics
    • 16 Little B-shirts
    • Poll: Which is Louder?
    • Graphical User Interface
    • Open Letter
    • Nuclear Summer
    • Windows
    • Stock Distribution
    • Guess Why…
    • Mostly Done Unpacking
    • This is not Silly!
    • Crank It to 11
    • I Are teh Funneh
    • Thanks Windows
  • ► February (24)
    • Who is Taller? Michael or Mailund?
    • Black or White
    • Shrines
    • Facebook Ads
    • So, THAT's Why I Can See My Breath
    • Oleby
    • Moving Out
    • Call for Suggestions
    • #HIAMFeb17
    • That's Not How Math Works
    • My Bed du Jour (Well, Nuit, Really)
    • My Stuff
    • Do I…
    • Facebook Just Became So Much Better
    • Painting -- Day N-1
    • Slicker Widgets for ProM
    • Painting -- Day 5
    • The Access/CPN Source Released
    • Painting -- Day 4
    • Painting -- Day 2
    • Painting -- Day 1
    • New House -- Before
    • Femme Fatale
    • Statistics for cpntools.org
  • ► January (12)
    • Double Hop a la Pig?
    • This is Why Twitter is Important
    • Pretty
    • Open-sourcing CPN Tools
    • The Fairy-tale of the Incompetency of Dan-Ejendomme as
    • PhD in TLA
    • Better Facebook 5.0
    • !True
    • Polls are Fun
    • Hold It Against Me
    • Observation
    • Heh
• ▼ 2010 (146)
  • ► December (13)
    • Bunde-Potpourri
    • Guess It's Official, Then
    • Brian og en Flaske Muskatvin
    • Britmas Eve 2010
    • Prettiest Bird Nest Box Ever
    • Most Clueless Person Ever
    • New Door Sign
    • Shantel & Bucovina Club Orkestar at the Effenaar in Eindhoven
    • Flemse?
    • Stupid Dutch Summer
    • Why I Shouldn’t be Allowed Internet Access
    • When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)
    • Spam!
  • ► November (16)
    • Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
    • Memory-Efficiency in Java
    • Progress
    • Spot the Fatty
    • Bad Petri Net Jokes
    • Characteristics of a Parallel State-space Analysis Algorithm
    • Mission: Imperative
    • Idiots and Technology
    • Parallel State-space Generation
    • Redundancy?
    • A Graphical History of CPN Tools
    • Sneak Preview…
    • Slides from AIS Group Meeting
    • GLOW Festival 2010 in Eindhoven
    • The End of an Era
    • Time Limitation on Method Execution in Java
  • ► October (18)
    • Old and New
    • It's Friday
    • Dear Internet...
    • Sort Efterår (Black Fall) 2010
    • Lady Gaga Concert in Herning
    • Box-party
    • Why Workers' Unions, Equal Wages and Minimum Wages are as bad as Monopolies and Cartels
    • Couch Modeling: CPN Tools on iPad?
    • Self-referential Humor
    • More Britney!
    • Intro to the New Operational Support Service
    • Playing With/Suffering SlickerBox
    • Operational Support vs. Predator
    • Doing Some State-space Analysis...
    • The Joy of a Wired Network
    • Slides from (Cancelled) Presentation at the BEST Workshop
    • Slides from Advanced Course on Petri Nets
    • Forslag: Privatiser DR
  • ► September (8)
    • The Britney Spears Strategy for Investment
    • Taxes and the Nash Equilibrium, and Why the Social State Consequently Blows
    • Rostock By Night. And Day. Also, Hamburg.
    • Introduction to CPN Tools
    • Useful Application
    • Tentative Title
    • New CPN Tools Logo
    • Well, isn't this just a kick in the groin
  • ► August (8)
    • That's Sooooo Cute...
    • First results from Java CPN simulator
    • Magnetism
    • Pink Balloons
    • My New Pink iPad Cover
    • Typing on an iPad
    • Road Amusement Park
    • Real Time and Transition Priorities in CPN Tools
  • ► July (16)
    • Memory Leaks in Java Code
    • Embedding Declare in CPN Models via ProM
    • B Radio
    • The Right Amount of Britney
    • After
    • Before
    • Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
    • That's an unconventional parking...
    • Productivity
    • Sneak Preview: Annotation of CPN Models in ProM
    • CPN Simulation in ProM
    • User-interface... from SWEDEN!
    • B Good
    • Two Protocols, One Wire
    • The Shortest Distance…
    • Food Poisoning
  • ► June (19)
    • Flying rats at a small cafe where we got a beer
    • The portogese seem to be celebrating something today
    • Conference dinner
    • View from the conference dinner restaurant
    • After dinner port. At €14 for half a bottle it was quite a steal.
    • Must be a church, what with all the festive lights and so, I mean.
    • Shiny decorations. Pretty.
    • Braga is all decorated for the town fair. I have no idea who told them I was coming :-)
    • View from the restaurant area
    • View from the pool area
    • The pool actually is quite nice
    • In Porto airport you can get what is probably the smallest beer in the world. And this is the only size (I asked for a real one).
    • Put Google's background picture feature to good use and Britnified Google
    • B Tomfoolery
    • Jamie Lynn
    • Moving In
    • Weird/wired Old Crap
    • Black Spring
    • Burned Out
  • ► May (3)
    • Sooting
    • 12th Day of Britmas
    • Fire
  • ► April (8)
    • Bye, Bye, Britney!
    • Creativity
    • 12 Days of Britmas
    • Tartelets
    • Sustenance
    • LTL Model-checking in ASAP
    • New CD from Alizée
    • Arn
  • ► March (12)
    • Teehee
    • Cute Chrome
    • Pretty Spears
    • Bitte Warten
    • It's Just Standing There… Taunting Me
    • Soooooo Pretty
    • Homeopathic Cooking
    • Something's not Right…
    • Britney Spears' Guide to DNS Cache Poisoning
    • The Joy of Backup
    • Neat Phone Case
    • dDist Week 6: Fault Tolerance
  • ▼ February (16)
    • Persistence
    • Whisky-Tango-Foxtrot!
    • Hint
    • dDist Week 5: Consistency
    • Britney Wallpapers
    • Multi-tasking
    • The Joy of Windows
    • Name Scheming
    • Lecture on State Spaces in the CPN Course
    • Crappy "Just-add-water" "Soup"
    • LFP på dåse vs. LFP på flaske
    • LFP på dåse
    • dDist Week 4: Synchronization
    • Live Streaming Lectures in dDist
    • Server Move
    • My Recipe for Mornay Sauce
  • ► January (9)
    • Slicer
    • Join the Kilt 2010 Group on Facebook
    • Math and Tools for Running Experiments
    • Automatic Flattening of CPN Models
    • Kilt 2010 Now Accepts Credit Cards and Paypal
    • Kilt 2010 Gets Its First Sponsor
    • Kilt 2010 Goes Live
    • Things-that-break'R'us
    • Pain
• ► 2009 (86)
  • ► December (17)
    • People Start Arriving
    • Group Picture
    • Getting Ready
    • Starter
    • Sparkletini
    • Celia Cleaning Kitchen
    • On State-sponsored Art
    • Christmas Eve
    • I Can Drink That
    • Nightmare Before Christmas
    • What the Fucking Fuck?
    • Paperless Office
    • Some People are Idiots (Us, For Example)
    • N900
    • Easily Amused
    • I Vote Against!
    • PhDs from Daimi
  • ► November (23)
    • Hmmm...
    • TSC!
    • Sunny Bergen…?
    • Python
    • Isn't Socialism Really Un-solidary?
    • Parallels Desktop
    • Another Britney DVD
    • WorldOfBritney's Twitter Hacked
    • Mac OS X Server as VPN End-point and File Server
    • Gadgety
    • Britney's Twitter Account Hacked
    • New Britney DVD
    • Setting Up Mac Mini Server for Basic Operation
    • Christmas Tree?
    • Google Wave
    • Beer Tasting
    • CPN Tools on Mac OS X?
    • Pretty Impressed…
    • New Server
    • It's a Kind of Magic
    • Uncharacteristic of Apple
    • Is This Blasphemy?
    • Video for Britney's "3" is Out
  • ► October (13)
    • Halloween Beer and Jazz Festival
    • All Photos from Islay
    • Visiting Scotland
    • New Homepage
    • Britney Figure
    • New Door-sign
    • Halfway There
    • More Videos
    • More Slide-making…
    • Tutorial on ASAP
    • A Few Shots
    • Minutes
    • HEST Kongres
  • ► September (26)
    • Legacy Code
    • New Upcoming Single from Britney!
    • After the Conference Dinner
    • Before the Conference Dinner
    • That's More Like It
    • The Beer Choices
    • Downtown Puerto de la Cruz
    • View From My Hotel
    • Kniver det med forståelsen…
    • Damn Socialism!
    • Yuck!
    • Is Knowledge About Cell Phones Essential to the Economy…?
    • Hi-fi
    • Wait, huh…?
    • Getting One's Just Deserts…
    • New iPod
    • CO2 is the Food of Trees! Why Do You Hate Trees?
    • On a Scale from 1 to Stupid…
    • In Soviet Denmark…
    • My Blog
    • Fredagscaféens Prisfinder
    • Box o Meat
    • Yeah, so This is not Exactly Fast
    • My Office
    • Found an Amplifier
    • I mean, this is just not right!
  • ► August (6)
    • 10th Year Anniversary
    • Palle
    • The Dog
    • Bællefant
    • 30m Free Fall in Tivoli
    • The Dale's Way 2009
  • ► July (1)
    • Photos from Britney Concert
• ► 2008 (2)
  • ► July (1)
    • Hvad Gud lærte mig om biorytmer
  • ► May (1)
    • Refleksioner Over Alt og Intet, Naturen og Gud
• ► 2003 (4)
  • ► June (1)
    • Om veje og candyfloss
  • ► March (3)
    • Hvorfor det er sejt at have arbitrært mange hænder
    • Studerende, skrid!
    • Gud om morgenen
• ► 2002 (3)
  • ► May (2)
    • Når vækkeuret går i fuckup
    • Dataloger. De er da saere
  • ► March (1)
    • Om øl og dominobrikker