![]() |
List of all Publications |
[Abdulla and Jonsson, 1993]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1993). Verifying Programs with Unreliable Channels. In: Proc. LICS '93-8th IEEE Int. Symp. on Logic in Computer Science. pp. 160--170. |
[Abdulla and Jonsson, 1996]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1996). Verifying Programs with Unreliable Channels. In: Information and Computation, 127(2):91--101. |
[Abdulla and Jonsson, 1996]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1996). Undecidable Verification Problems for Programs with Unreliable Channels. In: Information and Computation, 130(1):71--90. |
[Kindahl, 1999]![]() ![]() |
M. Kindahl (1999). Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms. PhD thesis, Dept. of Computer Systems, Uppsala University, Swden. |
[Abdulla and Nylén, 2004]![]() ![]() |
Parosh Aziz Abdulla and Aletta Nylén (2004). Better-Structured Transition Systems. Technical Report Nr. 2004-017. Dept. of Information Technology, Uppsala University, Sweden. |
[Abdulla and Nylén, 2002]![]() ![]() |
Parosh Aziz Abdulla and Aletta Nylén (2002). Undecidability of LTL for Timed Petri Nets. In: Proc. 4th Int. Workshop on Verification of Infinite-State Systems. |
[Abdulla and Jonsson, 2003]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (2003). Model checking of systems with many identical timed processes. In: Theoretical Computer Science, 290(1):241--264. |
[Abdulla et al., 2003]![]() ![]() |
Parosh Aziz Abdulla and Ahmed Bouajjani and Juilen d'Orso (2003). Deciding Monotonic Games. In: Proc. CSL 2003. Volume 2803 of Lecture Notes in Computer Science. pp. 1--14. |
[Abdulla et al., 2004]![]() ![]() |
Parosh Aziz Abdulla and S. Purushothaman Iyer and Aletta Nylén (2004). SAT-Solving the Coverability Problem for Petri Nets. In: Formal Methods in System Design, 24(1):25--43. |
[Abdulla et al., 2004]![]() ![]() |
Parosh Aziz Abdulla and Johann Deneux and Pritha Mahata (2004). Multi-Clock Timed Networks. In: Proc. LICS '04-20th IEEE Int. Symp. on Logic in Computer Science. pp. 345--354. |
[Mahata, 2005]![]() ![]() |
P. Mahata (2005). Model Checking Parameterized Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala University, Sweden, Uppsala, Sweden. |
[Abdulla, 2005]![]() ![]() |
Parosh Aziz Abdulla (2005). Verification of Parameterized Timed Systems. In: Proc. FORMATS'05, International Conference on Formal Modelling and Analysis of Timed Systems. |