This is a presentation of the paper [bibtex file=conferences.bib key=improved-translation] i gave at BPM 2011. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL
Note: If you get a security error, it is not from my site but from SlideShare – I have contacted their support to fix the problem. This morning I gave a presentation of what I’ve been doing lately. It is basically an extended version of my (planned) 5 minute presentation for the BEST workshop. These […]
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 from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of utility functions, and made the initial integration into ASAP. After that […]
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]