Concepedia

Parosh Aziz Abdulla

PA

54

Publications

2.8K

Citations

29

H-Index

1996

Active since

Affiliations

Uppsala University(Current)

Université Paris Cité

North Carolina State University

University of Genoa

Informa (Sweden)

Parosh Aziz Abdulla is an author at Uppsala University specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningSoftware AnalysisSystems EngineeringProgram AnalysisComputational Complexity

Publications per year

1996–2021

54

Publications

54

General decidability theorems for infinite-state systems

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jönsson et al. · 2002 · 403 citations

Reachability Analysis, Infinite Data Domain, Logical Automaton +15

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jönsson · Information and Computation · 1996 · 350 citations

Program Checking, Unreliable Channels, Engineering +10

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jönsson et al. · Information and Computation · 2000 · 199 citations

Mathematical Programming, Well Quasi-ordered Domains, Programming Language Theory +8

Optimal dynamic partial order reduction

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson et al. · 2014 · 176 citations

Mathematical Programming, Numerical Analysis, Reduced Order Modeling +21

Undecidable Verification Problems for Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jönsson · Information and Computation · 1996 · 87 citations

Program Checking, Unreliable Channels, Engineering +10

Rows per page

1–5 of 54