home

 

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)
    [ 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]