Marcus Nilsson, Ph.D.

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.

Publications

• • Regular Model Checking

  • Marcus Nilsson

  • Ph.D. Thesis (Final version submitted for printing)

  • [ PDFSpringer-Verlag ]

  • 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]