Marcus Nilsson, Ph.D.

I run a consulting company

I have a Ph.D. from Dept. of Information Technology on verification of systems using formal methods. I defended my Ph.D. thesis in March 2005.

• Personal
• Computer Science links
• Interesting companies
• Nightfall, a textbased adventure, or MUD, I recommend.

Contact

Research related: marcusn@it.uu.se, other web@nilsson.tv

Projects

• Regular Model Checking, A tool for regular model checking, described in my Ph.D. thesis.

Publications

• Regular Model Checking
  Marcus Nilsson
  Ph.D. Thesis (Final version submitted for printing)
  [ PDF ]
• A Survey of Regular Model Checking
  Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena
  In Proc. 15th Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, 2004. © Springer-Verlag . LNCS at Springer Verlag.
  [ Compressed Postscript ]
• Regular Model Checking for LTL(MSO)
  Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena
  In Proc. 16th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, 2004. © Springer-Verlag . LNCS at Springer Verlag.
  [ Compressed Postscript ]
• Algorithmic Improvements in Regular Model Checking
  Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, and Marcus Nilsson
  In Proc. 15th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, 2003. © Springer-Verlag . LNCS at Springer Verlag.
  [ Compressed Postscript ]
• Regular Model Checking Made Simple and Efficient
  Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, and Marcus Nilsson
  In Proc. 13th Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, 2002. © Springer-Verlag . LNCS at Springer Verlag.
  [ Compressed Postscript ]
• Regular Model Checking
  Marcus Nilsson
  Licentiate thesis
  [ Compressed Postscript ] [ PDF ]
• Regular Model Checking
  Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, and Tayssir Touili
  In Proc. 12th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, 2000. © Springer-Verlag . LNCS at Springer Verlag.
  [ Compressed Postscript ]
• Transitive Closures of Regular Relations for Verifying Infinite-State Systems
  Bengt Jonsson, and Marcus Nilsson
  In Proc. 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, 2000. © Springer-Verlag . LNCS at Springer Verlag.
  [Compressed Postscript]
• Binary Communication in Parameterized System Verification
  Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, and Marcus Nilsson
  In Proc. 11th Nordic Workshop on Programming Theory pages 16--17. Technical report 1999-008, Department of Information Technology.
• Handling Global Conditions in Parameterized System Verification
  Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, and Marcus Nilsson
  In Proc. 11th Int. Conf. on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pages 134--145. Springer Verlag, 1999. © Springer-Verlag . LNCS at Springer Verlag.
  [Compressed Postscript]
• Analyzing Parameterized Distributed Algorithms, M.Sc. thesis
  Marcus Nilsson
  [Compressed Postscript]

• Main
  • Teaching
  • Computer Science
  • Companies
  • Personal
    • Exam photos
    • Photos Bertinoro
    • Photos Dog Sledges