Marcus Nilsson, Ph.D.

Jag driver ett konsultföretag

Jag var forskarstuderande vid Institutionen för informationsteknologi med inriktning mot verifiering av system med formella metoder. Jag försvarade min doktorsavhandling mars 2005.

• Personligt
• Datavetenskapslänkar
• Intressanta företag
• Nightfall, ett textbaserat äventyr, eller MUD, som jag rekommenderar.

Kontakt

Forskningsrelaterat: marcusn@it.uu.se, övrigt web@nilsson.tv

Projekt

• Regular Model Checking, ett verktyg for regular model checking, beskrivet i min doktorsavhandling.

Publikationer

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

• Huvudsidan
  • Undervisning
  • Datavetenskap
  • Företag
  • Personligt
    • Examensfoton
    • Photos Bertinoro
    • Foton hundspann