Searching for authors named "Parosh Aziz Abdulla" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
Symbolic Reachability Analysis based on SAT-Solvers
- …Symbolic Reachability Analysis based on SAT-Solvers Parosh Aziz Abdulla 1 , Per Bjesse 2…
- Cited by 60 (2 self) – Add To MetaCart
-
Handling Parameterized Systems with Non-Atomic Global Conditions
- …Handling Parameterized Systems with Non-Atomic Global Conditions Parosh Aziz Abdulla Uppsala…
- Add To MetaCart
-
Better-Structured Transition Systems
- …Better-Structured Transition Systems Parosh Aziz Abdulla Aletta Nylen Dept. of Information…
- Add To MetaCart
-
On the Existence of Network Invariants for Verifying Parameterized Systems
- …On the Existence of Network Invariants for Verifying Parameterized Systems Parosh Aziz Abdulla…
- Cited by 7 (0 self) – Add To MetaCart
-
Designing Safe, Reliable Systems using Scade
- …Designing Safe, Reliable Systems using Scade Parosh Aziz Abdulla 1 , Johann Deneux 1 , Gunnar St…
- Cited by 2 (0 self) – Add To MetaCart
-
Verification of probabilistic systems with faulty communication
- … Verification of Probabilistic Systems with Faulty Communication Parosh Aziz Abdulla1…
- Cited by 21 (7 self) – Add To MetaCart
-
Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems
- …Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems Parosh Aziz…
- Cited by 12 (1 self) – Add To MetaCart
-
Simulation is Decidable for One-counter Nets (Extended Abstract)
- …Simulation is Decidable for One-counter Nets (Extended Abstract) Parosh Aziz Abdulla Dept…
- Cited by 3 (0 self) – Add To MetaCart
-
AVIS 2006 Preliminary Version On the Coverability Problem for Constrained Multiset Rewriting
- … Parosh Aziz Abdulla 1 and Giorgio Delzanno 2 1 Uppsala University, Sweden - email:parosh@(email omitted); 2…
- Add To MetaCart
-
Undecidable Verification Problems for Programs with Unreliable Channels
- …Undecidable Verification Problems for Programs with Unreliable Channels Parosh Aziz Abdulla…
- Cited by 44 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
