[English] [Svenska] [Español]

Marcus Nilsson, Ph.D.

He hacido el doctorado en Dept. of Information Technology, trabajando con verificación de sistemas aplicando metodos matemáticos. Presenté mi tesis de doctor en marzo del 2005.

Personal
Computer Science links
Empresas interesantes
Nightfall, a textbased adventure, or MUD, I recommend.

Contact

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

Proyectos

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

Publicaciones

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]

Página principal

Created and maintained by

Marcus Nilsson