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