Parosh Abdulla

Cited by

	All	Since 2016
Citations	6935	2449
h-index	46	28
i10-index	115	65

560

280

140

420

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202126 40 61 117 151 133 186 191 183 251 301 310 292 299 258 434 385 361 372 549 490 455 440 355 156

New!

Public access

View all

24 articles

1 article

available

not available

Based on funding mandates

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
Konstantinos SagonasUppsala University and National Technical University of Athens (on leave)Verified email at it.uu.se
Lisa KaatiSenior scientist and group leader, FOIVerified email at foi.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
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Bui Phi DiepUppsala UniversityVerified email at it.uu.se

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	557	1996
Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996	458	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	272	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	242	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	197	1998
Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014	168	2014
A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004	165	2004
Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996	141	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	129	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	124	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	121	2017
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	112	2007
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 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