Parosh Abdulla

Cited by

	All	Since 2016
Citations	6829	2347
h-index	46	28
i10-index	114	62

560

280

140

420

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202126 40 61 117 152 132 188 189 193 245 297 310 292 292 260 434 384 360 375 547 490 456 451 361 38

Co-authors

Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Ahmed RezineLinköping UniversityVerified email at liu.se
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Yu-Fang ChenResearch Fellow, Academia SinicaVerified email at iis.sinica.edu.tw
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Aletta NylénUppsala UniversityVerified email at it.uu.se
Pritha MahataSenior Software Engineer, SwitchDin Pty LtdVerified email at switchdin.com
Tuan Phong NgoPhD, Uppsala UniversityVerified email at hust.edu.vn
Karlis CeransLeading researcher, IMCS, University of LatviaVerified email at lumii.lv
Yih-Kuen TsayProfessor of Information Management, National Taiwan UniversityVerified email at ntu.edu.tw
Lisa KaatiSenior scientist and group leader, FOIVerified email at foi.se
Konstantinos SagonasUppsala University and National Technical University of Athens (on leave)Verified email at it.uu.se
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityVerified email at it.uu.se
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Verified email at ncsu.edu
Bui Phi DiepUppsala UniversityVerified email at it.uu.se
Lorenzo ClementeUniversity of WarsawVerified email at mimuw.edu.pl

Parosh Abdulla

Professor of Computer Science, Uppsala University

Verified email at it.uu.se - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
General decidability theorems for infinite-state systems PA Abdulla, K Cerans, B Jonsson, YK Tsay Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996	550	1996
Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996	452	1996
Symbolic reachability analysis based on SAT-solvers PA Abdulla, P Bjesse, N Eén International Conference on Tools and Algorithms for the Construction and …, 2000	271	2000
Algorithmic analysis of programs with well quasi-ordered domains PA Abdulla, K Čerāns, B Jonsson, YK Tsay Information and Computation 160 (1), 109-127, 2000	240	2000
Timed petri nets and bqos PA Abdulla, A Nylén International Conference on Application and Theory of Petri Nets, 53-70, 2001	199	2001
On-the-fly analysis of systems with unbounded, lossy FIFO channels PA Abdulla, A Bouajjani, B Jonsson International Conference on Computer Aided Verification, 305-318, 1998	192	1998
Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014	162	2014
A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004	161	2004
Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996	140	1996
When simulation meets antichains PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010	126	2010
Designing safe, reliable systems using scade PA Abdulla, J Deneux, G Stålmarck, H Ågren, O Åkerlund International Symposium On Leveraging Applications of Formal Methods …, 2004	123	2004
Stateless model checking for TSO and PSO PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas Acta Informatica 54 (8), 789-818, 2017	113	2017
Using forward reachability analysis for verification of lossy channel systems PA Abdulla, A Collomb-Annichini, A Bouajjani, B Jonsson Formal Methods in System Design 25 (1), 39-65, 2004	112	2004
Handling global conditions in parametrized system verification PA Abdulla, A Bouajjani, B Jonsson, M Nilsson International Conference on Computer Aided Verification, 134-145, 1999	112	1999
Regular model checking without transducers (on efficient verification of parameterized systems) PA Abdulla, G Delzanno, NB Henda, A Rezine International Conference on Tools and Algorithms for the Construction and …, 2007	111	2007
Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso International Conference on Computer Aided Verification, 555-568, 2002	108	2002
Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol P Abdulla, A Annichini, A Bouajjani International Conference on Tools and Algorithms for the Construction and …, 1999	104	1999
Model checking of systems with many identical timed processes PA Abdulla, B Jonsson Theoretical Computer Science 290 (1), 241-264, 2003	95	2003
Parameterized verification of infinite-state processes with global conditions PA Abdulla, G Delzanno, A Rezine International Conference on Computer Aided Verification, 145-157, 2007	89	2007
String constraints for verification PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman International Conference on Computer Aided Verification, 150-166, 2014	82	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors