| 2004 |
|---|
| 6 | EE | Parosh Aziz Abdulla,
Johann Deneux,
Pritha Mahata,
Aletta Nylén:
Forward Reachability Analysis of Timed Petri Nets.
FORMATS/FTRTFT 2004: 343-362 |
| 5 | EE | Parosh Aziz Abdulla,
Aletta Nylén:
Better Quasi-Ordered Transition Systems
CoRR cs.LO/0409052: (2004) |
| 4 | EE | Parosh Aziz Abdulla,
S. Purushothaman Iyer,
Aletta Nylén:
SAT-Solving the Coverability Problem for Petri Nets.
Formal Methods in System Design 24(1): 25-43 (2004) |
| 2001 |
|---|
| 3 | EE | Parosh Aziz Abdulla,
Aletta Nylén:
Timed Petri Nets and BQOs.
ICATPN 2001: 53-70 |
| 2000 |
|---|
| 2 | | Parosh Aziz Abdulla,
S. Purushothaman Iyer,
Aletta Nylén:
Unfoldings of Unbounded Petri Nets.
CAV 2000: 495-507 |
| 1 | EE | Parosh Aziz Abdulla,
Aletta Nylén:
Better is Better than Well: On Efficient Verification of Infinite-State Systems.
LICS 2000: 132-140 |
