Franck van Breugel

Franck van Breugel

Software Developer

Leaving date: 15th August 2014

Completed Projects:

• ArtForm

Selected Publications

View AllManage publications

• Automatic Handling of Native Methods in Java PathFinder

  Nastaran Shafiei and Franck van Breugel

  In Proceedings of the 21st International SPIN Workshop. ACM. July, 2014.

  Details about Automatic Handling of Native Methods in Java PathFinder | BibTeX data for Automatic Handling of Native Methods in Java PathFinder

• The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

  Franck van Breugel and James Worrell

  In Horizons of the Mind. A Tribute to Prakash Panangaden. Vol. 8464 of Lecture Notes in Computer Science. Pages 191−213. Springer−Verlag. May, 2014.

  Details about The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata | BibTeX data for The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata