Parosh Abdulla

Cited by

	All	Since 2016
Citations	7123	2625
h-index	47	28
i10-index	115	69

560

280

140

420

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202128 44 64 118 153 137 189 193 188 248 301 306 293 299 260 436 392 348 370 551 493 461 450 344 325

Public access

View all

23 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
Bui Phi DiepUppsala UniversityVerified email at it.uu.se
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in

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	565	1996
Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996	467	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	276	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	245	2000
Timed petri nets and bqos PA Abdulla, A Nylén International Conference on Application and Theory of Petri Nets, 53-70, 2001	201	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	201	1998
Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014	171	2014
A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004	168	2004
Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996	143	1996
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	128	2017
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	126	2004
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	125	2010
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	115	2007
Handling global conditions in parametrized system verification PA Abdulla, A Bouajjani, B Jonsson, M Nilsson International Conference on Computer Aided Verification, 134-145, 1999	114	1999
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	111	2004
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	96	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	91	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	88	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

Follow this author

Cited by

Co-authors