Sorry

This feed does not validate.

In addition, interoperability with the widest range of feed readers could be improved by implementing the following recommendation.

Source: http://www.foldr.org/%7Emichaelw/log/index.atom

  1. <?xml version="1.0" encoding="utf-8"?>
  2. <?xml-stylesheet href="http://www.foldr.org/~michaelw/log/theme/style/rss.css" type="text/css"?>
  3. <feed xmlns="http://www.w3.org/2005/Atom" xml:base="http://foldr.org">
  4.  <title type="text">Random Bits and Pieces</title>
  5.  <subtitle type="text">Michael Weber</subtitle>
  6.  <link rel="self" type="application/atom+xml" href="http://www.foldr.org/~michaelw/log/index.atom"/>
  7.  <link rel="alternate" type="text/html" hreflang="en" href="http://www.foldr.org/~michaelw/log" />
  8.  <id>tag:foldr.org,2005:/</id>
  9.  <generator uri="http://www.blosxom.com/" version="2.0">Blosxom</generator>
  10.  
  11.  
  12.  
  13.  <updated>2010-03-21T22:02:00Z</updated>
  14.  
  15.  <entry>
  16.    <id>tag:foldr.org,2010:/science/publications/cav-2010-ltsmin</id>
  17.    <link rel="alternate" type="text/html" href="http://www.foldr.org/~michaelw/log/science/publications/cav-2010-ltsmin" />
  18.  
  19.    <title type="text">LTSmin: Distributed and Symbolic Reachability</title>
  20.    <published>2010-03-21T21:49:00Z</published>
  21.    <updated>2010-03-21T22:02:00Z</updated>
  22.    <category term="/science/publications"/>
  23.    <author>
  24.      <name>michaelw</name>
  25.      <uri>http://www.foldr.org/~michaelw/log</uri>
  26.      <email>[email protected]</email>
  27.    </author>
  28.    <content type="xhtml" xml:base="http://foldr.org" xml:lang="en">
  29. <div xmlns="http://www.w3.org/1999/xhtml">
  30. <img src="http://www.foldr.org/~michaelw/log/static/science/publications/pdf.png" alt="New Paper" />
  31.  
  32. <p>
  33.  <a
  34.  href="http://www.foldr.org/~michaelw/papers/cav-2010-ltsmin.pdf">LTSmin:
  35.  Distributed and Symbolic Reachability</a> (tool paper accepted
  36.  for publication
  37.  to <a href="http://www.floc-conference.org/CAV-home.html">CAV 2010</a>).
  38. </p>
  39.  
  40. <h2>Abstract</h2>
  41.  
  42. <blockquote>
  43. In model checking, analysis algorithms are applied to large graphs
  44. (state spaces), which model the behavior of (computer) systems. These
  45. models are typically generated from specifications in high-level
  46. languages. The <a href="http://fmt.cs.utwente.nl/tools/ltsmin/">LTSmin
  47. toolset</a> provides means to generate state spaces from high-level
  48. specifications, to check safety properties on-the-fly, to archive the
  49. resulting labelled transition systems (LTSs), and to minimize them
  50. with respect to (branching) bisimulation.
  51. </blockquote>
  52.  
  53. <p>This is a tool paper; a companion technical report provides more
  54. details on the methods (its sections on features and benchmarking are
  55. by now outdated):<br>
  56. <a href="http://fmt.cs.utwente.nl/~sccblom/">Stefan
  57.    Blom</a>, <a href="http://fmt.cs.utwente.nl/~vdpol/">Jaco van de
  58.    Pol</a> and <a href="http://fmt.cs.utwente.nl/~michaelw/">Michael
  59.    Weber</a>. <em><a href="http://eprints.eemcs.utwente.nl/15703/">Bridging
  60.    the Gap between Enumerative and Symbolic Model Checkers</a></em>,
  61.    Technical Report TR-CTIT-09-30, CTIT, University of Twente,
  62.    Enschede. (2009)</p>
  63. </div>
  64.    </content>
  65.  </entry>
  66.  
  67.  <entry>
  68.    <id>tag:foldr.org,2010:/science/publications/sttt-2010-vmssg</id>
  69.    <link rel="alternate" type="text/html" href="http://www.foldr.org/~michaelw/log/science/publications/sttt-2010-vmssg" />
  70.  
  71.    <title type="text">An Embeddable Virtual Machine for State Space Generation</title>
  72.    <published>2010-03-12T21:45:00Z</published>
  73.    <updated>2010-03-21T21:47:00Z</updated>
  74.    <category term="/science/publications"/>
  75.    <author>
  76.      <name>michaelw</name>
  77.      <uri>http://www.foldr.org/~michaelw/log</uri>
  78.      <email>[email protected]</email>
  79.    </author>
  80.    <content type="xhtml" xml:base="http://foldr.org" xml:lang="en">
  81. <div xmlns="http://www.w3.org/1999/xhtml">
  82. <img src="http://www.foldr.org/~michaelw/log/static/science/publications/pdf.png" alt="New Paper" />
  83.  
  84. <p>
  85.  <a href="http://www.foldr.org/~michaelw/papers/sttt-2010-vmssg.pdf">An
  86.  Embeddable Virtual Machine for State Space Generation</a>,
  87.  International Journal on Software Tools for Technology Transfer
  88.  (STTT),
  89.  DOI: <a href="http://dx.doi.org/10.1007/s10009-010-0141-2">10.1007/s10009-010-0141-2</a>.
  90. </p>
  91.  
  92. <h2>Abstract</h2>
  93.  
  94. <blockquote>
  95.  The semantics of modelling languages are not always specified in a
  96.  precise and formal way, and their rather complex underlying models
  97.  make it a non-trivial exercise to reuse them in newly developed
  98.  tools.  We report on experiments with a virtual machine-based
  99.  approach for state space generation.  The virtual machine's (VM)
  100.  byte-code language is straightforwardly implementable, facilitates
  101.  reuse and makes it an adequate target for translation of
  102.  higher-level languages like
  103.  the <a href="http://spinroot.com/">SPIN</a> model
  104.  checker's <a href="http://spinroot.com/spin/Man/">PROMELA</a>, or
  105.  even C.  As added value, it provides efficiently executable
  106.  operational semantics for modelling languages.  Several tools have
  107.  been built on top of the VM implementation we developed, to evaluate
  108.  the benefits of the proposed approach.
  109. </blockquote>
  110.  
  111. <p>
  112. (Invited journal version of
  113. an <a href="http://www.foldr.org/~michaelw/log/science/publications/spin-2007-vmssg">earlier SPIN
  114. publication</a>.)
  115. </p>
  116. </div>
  117.    </content>
  118.  </entry>
  119.  
  120.  <entry>
  121.    <id>tag:foldr.org,2009:/fun/academic-december</id>
  122.    <link rel="alternate" type="text/html" href="http://www.foldr.org/~michaelw/log/fun/academic-december" />
  123.  
  124.    <title type="text">Academic December</title>
  125.    <published>2009-12-11T02:03:00Z</published>
  126.    <updated>2009-12-11T18:41:00Z</updated>
  127.    <category term="/fun"/>
  128.    <author>
  129.      <name>michaelw</name>
  130.      <uri>http://www.foldr.org/~michaelw/log</uri>
  131.      <email>[email protected]</email>
  132.    </author>
  133.    <content type="xhtml" xml:base="http://foldr.org" xml:lang="en">
  134. <div xmlns="http://www.w3.org/1999/xhtml">
  135. <p>It is downright scary how
  136. accurately <a href="http://www.phdcomics.com/">PhD comics</a> keep
  137. documenting my life:</p>
  138.  
  139. <a href="http://www.phdcomics.com/comics/archive.php?comicid=1261"
  140. ><img src="http://www.foldr.org/~michaelw/log/static/fun/phd120909s.gif" alt="PhD comic 120909"
  141.      class="center" style="max-width:100%" /></a>
  142.  
  143. <p>(I am on holidays all of December to play with
  144. my <a href="http://www.foldr.org/~vanessa/">Little One</a>, during the
  145. day.  Which effectively means that I work from home and at night four
  146. days per week, and only go one day per week to university...  Oh well.
  147. Did I mention the guy in the comic is
  148. named <q><a href="http://www.phdcomics.com/comics/aboutcomics.html">Mike</a></q>?)</p>
  149. <h3><a id="academic-december-1" class="updatetitle">UPDATE 2010-01-14: Two More...
  150. </a><br /></h3>
  151. <div><p><a href="http://www.phdcomics.com/comics/archive.php?comicid=1268"
  152. ><img src="http://www.foldr.org/~michaelw/log/static/fun/phd011110s.gif" alt="PhD comic 011110"
  153.      class="center" style="max-width:100%" /></a>
  154. </p>
  155.  
  156. <p><a href="http://www.phdcomics.com/comics/archive.php?comicid=1269"
  157. ><img src="http://www.foldr.org/~michaelw/log/static/fun/phd011310s.gif" alt="PhD comic 011310"
  158.      class="center" style="max-width:100%" /></a>
  159. </p>
  160. </div>
  161.  
  162. </div>
  163.    </content>
  164.  </entry>
  165.  
  166.  <entry>
  167.    <id>tag:foldr.org,2009:/science/ltsmin-1-5</id>
  168.    <link rel="alternate" type="text/html" href="http://www.foldr.org/~michaelw/log/science/ltsmin-1-5" />
  169.  
  170.    <title type="text">LTSmin 1.5 Released</title>
  171.    <published>2009-12-02T22:09:00Z</published>
  172.    <updated>2009-12-02T22:16:00Z</updated>
  173.    <category term="/science"/>
  174.    <author>
  175.      <name>michaelw</name>
  176.      <uri>http://www.foldr.org/~michaelw/log</uri>
  177.      <email>[email protected]</email>
  178.    </author>
  179.    <content type="xhtml" xml:base="http://foldr.org" xml:lang="en">
  180. <div xmlns="http://www.w3.org/1999/xhtml">
  181. <p>We have released version 1.5 of LTSmin.  The following improvements
  182.  have been implemented:</p>
  183.  
  184. <ul>
  185.  <li>New
  186.  frontend <a href="http://divine.fi.muni.cz/page.php?page=language">DVE</a>
  187.  (requires <a href="http://divine.fi.muni.cz/trac/wiki/DevelopmentIntroduction">DiVinE-cluster</a>)</li>
  188.  <li>Bignum support for state counts in spec-reach tools<br />
  189.    (Jeroen Ketema)</li>
  190.  <li>spec-reach clean-up</li>
  191.  <li>'tree' vector set implementation based on AtermDD</li>
  192. </ul>
  193.  
  194. <p>The source code, installation instructions and manuals are
  195. available online:</p>
  196.  
  197. <center>
  198. <p><a href="http://fmt.cs.utwente.nl/tools/ltsmin/">http://fmt.cs.utwente.nl/tools/ltsmin/</a></p>
  199. </center>
  200.  
  201. <p>LTSmin is currently being developed by
  202.  the <a href="http://fmt.cs.utwente.nl/">Formal Methods and Tools</a>
  203.  group at the <a href="http://www.utwente.nl/">University of
  204.  Twente</a>, The Netherlands.</p>
  205.  
  206. <p>The previous release was <a href="http://www.foldr.org/~michaelw/log/science/ltsmin-1-4">LTSmin 1.4</a>.</p>
  207. </div>
  208.    </content>
  209.  </entry>
  210.  
  211.  <entry>
  212.    <id>tag:foldr.org,2009:/programming/lisp/cocoa-apis</id>
  213.    <link rel="alternate" type="text/html" href="http://www.foldr.org/~michaelw/log/programming/lisp/cocoa-apis" />
  214.  
  215.    <title type="text">Cocoa Apis</title>
  216.    <published>2009-11-01T11:30:00Z</published>
  217.    <updated>2009-11-01T11:59:00Z</updated>
  218.    <category term="/programming/lisp"/>
  219.    <author>
  220.      <name>michaelw</name>
  221.      <uri>http://www.foldr.org/~michaelw/log</uri>
  222.      <email>[email protected]</email>
  223.    </author>
  224.    <content type="xhtml" xml:base="http://foldr.org" xml:lang="en">
  225. <div xmlns="http://www.w3.org/1999/xhtml">
  226. <img src="http://www.foldr.org/~michaelw/log/static/programming/lisp/lisp.png" alt="Lisp Logo (by Conrad Barsky)" />
  227.  
  228. <p><a href="http://mikelevins.livejournal.com/">Mikel Evins</a> has
  229.  released <a href="http://mikelevins.livejournal.com/5400.html">Apis</a>,
  230.  a sample Common
  231.  Lisp <a href="http://developer.apple.com/cocoa/">Cocoa</a>
  232.  application
  233.  using <a href="http://www.clozure.com/clozurecl.html">CCL</a>'s
  234.  Cocoa bridge.  Obligatory screenshot:
  235. </p>
  236.  
  237. <img src="http://www.foldr.org/~michaelw/log/static/programming/lisp/apis.png" alt="Apis screenshot"
  238.     class="center" />
  239.  
  240. <p>For what it's worth, Mikel also
  241.  provides <a href="http://mikelevins.livejournal.com/5247.html">Atta</a>,
  242.  which is a similar project but based
  243.  on <a href="http://www.iro.umontreal.ca/~gambit/">Gambit
  244.  Scheme</a>.
  245. </p>
  246. </div>
  247.    </content>
  248.  </entry>
  249.  
  250. </feed>
  251.  
Copyright © 2002-9 Sam Ruby, Mark Pilgrim, Joseph Walton, and Phil Ringnalda