Searching for authors named "Parosh Aziz Abdulla" – sorted by Relevance.
-
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

