Aletta Nylén Dept. of Information Technology Computing Science P.O. Box 337 SE-751 05 Uppsala, Sweden   Office: Phone: Fax: Email: room P1322 at Polacksbacken +46 18 471 71 22 +46 18 51 19 25 Aletta.Nylen@it.uu.se

Introduktion till Informationsteknologi
Secure Computer Systems I and II
Cryptology

• Forward Reachability Analysis of Timed Petri Nets.
  Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylén.
  In Formal Tecniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint Int. Conferences of Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), Proceedings. LNCS 3253. 2004.
• SAT-solving the Coverability Problem for Unbounded Petri Nets.
  Parosh Aziz Abdulla, Purushothaman Iyer and Aletta Nylén.
  In The Journal of Formal Methods in System Design, 24(1): 25-43. 2004.
• Compact Constraints for Verification of Well Quasi-Ordered Programs.
  Aletta Nylén.
  PhD thesis. 2003. (Postscript, pdf)
• Downward Closed Language Generators.
  Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylén.
  Tech. report 2003-001. Department of Information Technology, Uppsala University. 2003. ( Postscript)
• Downward Closed Language Generators. (Extended Abstract)
  Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylén.
  Presented at the 14th Nordic Workshop on Programming Theory. 2002. ( Postscript)
• Undecidability of LTL for Timed Petri Nets.
  Parosh Aziz Abdulla and Aletta Nylén.
  In Pre-Proc. 4th Int. Workshop on Verification of Infinite-State Systems. 2002. ( Postscript)
• Timed Petri Nets and BQOs.
  Parosh Aziz Abdulla and Aletta Nylén.
  In Proc. 22nd Int. Conf. on Application and Theory of Petri Nets. LNCS 2075. 2001.
• Better is Better than Well: On Efficient Verification of Infinite-State Systems.
  Parosh Aziz Abdulla and Aletta Nylén.
  In Proc. 15th IEEE Symp. on Logic in Computer Science. 2000. (Slides)
• Unfoldings of Unbounded Petri Nets.
  Parosh Aziz Abdulla, Purushothaman Iyer and Aletta Nylén.
  In Proc. 12th Int. Conf. on Computer Aided Verification. LNCS 1855. 2000. (Abstract, Slides)
• BQOs and Timed Petri Nets.
  Parosh Aziz Abdulla and Aletta Nylén.
  Tech. report 2000-021. Department of Information Technology, Uppsala University. 2000. ( Postscript)
• Modelling and Verification of Authentication Protocols.
  Aletta Nylén.
  M.Sc. Thesis. 1997. (Postscript)
• Modelling and Automated Verification of Authentication Protocols.
  Parosh Aziz Abdulla, Bengt Jonsson and Aletta Nylén.
  In Proc. of Dimacs workshop on design and formal verification of security protocols. 1997. ( Postscript)
• MarketSpace'96 - an Open Agent-Based Market Infrastructure
  Joakim Eriksson, Niclas Finne and Sverker Janson (editors).
  Tech. report 147, Computing Science Deptartment, Uppsala University. 1997. (gzipped postscript)