Parosh Abdulla

Cited by

	All	Since 2018
Citations	7842	2367
h-index	49	27
i10-index	120	62

540

270

135

405

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202329 45 56 127 160 133 194 187 197 246 294 299 283 300 251 406 390 341 366 536 482 457 432 325 509 353 291

Public access

View all

27 articles

2 articles

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, Université Paris CitéVerified 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
Tuan Phong NgoLecturer at RMIT University in VietnamVerified email at rmit.edu.vn
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
Pritha MahataSenior Software Engineer, SwitchDin Pty LtdVerified email at switchdin.com
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 KaatiDSV@Stockholm UniversityVerified email at dsv.su.se
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Bui Phi DiepUppsala UniversityVerified email at it.uu.se
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Verified email at ncsu.edu
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	599	1996
Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996	488	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	281	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	252	2000
Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014	219	2014
Timed petri nets and bqos PA Abdulla, A Nylén International Conference on Application and Theory of Petri Nets, 53-70, 2001	208	2001
On-the-fly analysis of systems with unbounded, lossy FIFO channels PA Abdulla, A Bouajjani, B Jonsson Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	206	1998
A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004	179	2004
Stateless model checking for TSO and PSO PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas Acta Informatica 54, 789-818, 2017	175	2017
Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996	155	1996
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata) PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010	148	2010
Designing safe, reliable systems using scade PA Abdulla, J Deneux, G Stålmarck, H Ågren, O Åkerlund Leveraging Applications of Formal Methods: First International Symposium …, 2006	132	2006
Handling global conditions in parametrized system verification PA Abdulla, A Bouajjani, B Jonsson, M Nilsson Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	122	1999
Regular model checking without transducers (on efficient verification of parameterized systems) PA Abdulla, G Delzanno, NB Henda, A Rezine Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	121	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, 39-65, 2004	118	2004
Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	118	2002
String constraints for verification PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	113	2014
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	106	1999
Norn: An SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman International conference on computer aided verification, 462-469, 2015	98	2015
Model checking of systems with many identical timed processes PA Abdulla, B Jonsson Theoretical Computer Science 290 (1), 241-264, 2003	97	2003

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

Cited by

Co-authors