Parosh Aziz Abdulla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
115
Venues
24
Active years
1993–2026
Best venue rank
A*
Where they publish
- A*CAV18 papers
- BCONCUR16 papers
- ATACAS15 papers
- BATVA8 papers
- A*LICS8 papers
- CFORTE5 papers
- BFOSSACS5 papers
- BCSL4 papers
- AESOP4 papers
- BVMCAI3 papers
- A*PLDI3 papers
- BFMCAD3 papers
- BSAS3 papers
- CLATA3 papers
- CISoLA3 papers
- A*ICALP3 papers
- BAPLAS2 papers
- CICTAC2 papers
- A*PODS2 papers
- CVECoS1 paper
- BFM1 paper
- A*POPL1 paper
- ADATE1 paper
- BSOFSEM1 paper
Papers
115 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | On the Verification Problem of Remote Direct Memory Access Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler |
| 2025 | APLAS | Checking Consistency of Event-Driven Traces. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2025 | ICTAC | Verification of the Release-Acquire Semantics. | Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn |
| 2024 | ATVA | Guiding Word Equation Solving Using Graph Neural Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rmmer |
| 2024 | ATVA | Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. | Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe |
| 2024 | CAV | Parsimonious Optimal Dynamic Partial Order Reduction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas |
| 2024 | CSL | Concurrent Stochastic Lossy Channel Games. | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | TACAS | Verification under TSO with an infinite Data Domain. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg |
| 2024 | VMCAI | Boosting Constrained Horn Solving by Unsat Core Learning. | Parosh Aziz Abdulla, Chencheng Liang, Philipp Rmmer |
| 2023 | ATVA | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2023 | CAV | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2023 | TACAS | Parameterized Verification under TSO with Data Types. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler |
| 2023 | TACAS | Optimal Stateless Model Checking for Causal Consistency. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe |
| 2022 | ESOP | Probabilistic Total Store Ordering. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | ESOP | The Decidability of Verification under PS 2.0. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis |
| 2020 | CONCUR | On the Separability Problem of String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | ATVA | Chain-Free String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku |
| 2019 | PLDI | Verification of programs under the release-acquire semantics. | Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
| 2019 | PODS | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali |
| 2018 | CONCUR | Universal Safety for Timed Petri Nets is PSPACE-complete. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
| 2018 | ESOP | Fragment Abstraction for Concurrent Shape Analysis. | Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2018 | FMCAD | Trau: SMT solver for string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2018 | VECoS | Replacing Store Buffers by Load Buffers in TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2017 | CONCUR | Data Multi-Pushdown Automata. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2017 | PLDI | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | TACAS | Context-Bounded Analysis for POWER. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2016 | CAV | Stateless Model Checking for POWER. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson |
| 2016 | CONCUR | The Benefits of Duality in Verifying Concurrent Programs under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2016 | FM | Counter-Example Guided Program Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep |
| 2016 | FORTE | Fencing Programs with Self-Invalidation and Self-Downgrade. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu |
| 2016 | FOSSACS | Qualitative Analysis of VASS-Induced MDPs. | Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2016 | LICS | Data Communicating Processes with Unreliable Channels. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2016 | PODS | Recency-Bounded Verification of Dynamic Database-Driven Systems. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine |
| 2016 | SAS | Automated Verification of Linearization Policies. | Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2015 | CAV | Norn: An SMT Solver for String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2015 | ESOP | The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong |
| 2015 | FMCAD | Verification of Cache Coherence Protocols wrt. Trace Filters. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |
| 2015 | TACAS | Stateless Model Checking for TSO and PSO. | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas |
| 2014 | CAV | String Constraints for Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2014 | CSL | Infinite-state energy games. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
| 2014 | LATA | Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2014 | POPL | Optimal dynamic partial order reduction. | Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas |
| 2014 | SAS | Block Me If You Can! - Context-Sensitive Parameterized Verification. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2013 | ATVA | Analysis of Message Passing Programs Using SMT-Solvers. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
| 2013 | ATVA | Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. | Parosh Aziz Abdulla, Luks Holk, Bengt Jonsson, Ondrej Lengl, Cong Quy Trinh, Toms Vojnar |
| 2013 | CONCUR | Solving Parity Games on Integer Vectors. | Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2013 | DATE | Verifying safety and liveness for the FlexTM hybrid transactional memory. | Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu |
| 2013 | FORTE | Verification of Directed Acyclic Ad Hoc Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine |
| 2013 | TACAS | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2013 | TACAS | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk, Bengt Jonsson, Ahmed Rezine |
| 2013 | VMCAI | All for the Price of Few. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2012 | FMCAD | Multi-pushdown systems with budgets. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman |
| 2012 | LATA | The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2012 | LICS | Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2012 | SAS | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | TACAS | Counter-Example Guided Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2011 | CONCUR | Carrying Probabilities to the Infinite World. | Parosh Aziz Abdulla |
| 2011 | CONCUR | Advanced Ramsey-Based Bchi Automata Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2011 | LICS | Computing Optimal Coverability Costs in Priced Timed Petri Nets. | Parosh Aziz Abdulla, Richard Mayr |
| 2010 | CAV | Simulation Subsumption in Ramsey-Based Bchi Automata Universality and Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2010 | CONCUR | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2010 | ISoLA | Analyzing the Security in the GSM Radio Network Using Attack Jungles. | Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati |
| 2010 | SOFSEM | Forcing Monotonicity in Parameterized Verification: From Multisets to Words. | Parosh Aziz Abdulla |
| 2010 | TACAS | When Simulation Meets Antichains. | Parosh Aziz Abdulla, Yu-Fang Chen, Luks Holk, Richard Mayr, Toms Vojnar |
| 2009 | ATVA | Automated Analysis of Data-Dependent Programs with Dynamic Memory. | Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji |
| 2009 | FORTE | Approximated Context-Sensitive Analysis for Parameterized Verification. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2009 | FOSSACS | Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. | Parosh Aziz Abdulla, Richard Mayr |
| 2009 | LATA | A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2008 | CAV | Monotonic Abstraction for Programs with Dynamic Memory Heaps. | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frdric Haziza, Ahmed Rezine |
| 2008 | CONCUR | R-Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2008 | FORTE | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |
| 2008 | FOSSACS | Stochastic Games with Lossy Channels. | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
| 2008 | ICTAC | Monotonic Abstraction in Action. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | TACAS | Computing Simulations over Tree Automata. | Parosh Aziz Abdulla, Ahmed Bouajjani, Luks Holk, Lisa Kaati, Toms Vojnar |
| 2008 | VMCAI | Handling Parameterized Systems with Non-atomic Global Conditions. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
| 2007 | CAV | Parameterized Verification of Infinite-State Processes with Global Conditions. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2007 | CSL | Comparing the Expressive Power of Well-Structured Transition Systems. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2007 | FOSSACS | Sampled Universality of Timed Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2007 | TACAS | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
| 2006 | ATVA | Eager Markov Chains. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
| 2006 | CONCUR | Proving Liveness by Backwards Reachability. | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
| 2005 | ICALP | Decidability and Complexity Results for Timed Automata via Channel Machines. | Parosh Aziz Abdulla, Johann Deneux, Jol Ouaknine, James Worrell |
| 2005 | LICS | Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |
| 2005 | TACAS | Simulation-Based Iteration of Tree Transducers. | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
| 2004 | CAV | Regular Model Checking for LTL(MSO). | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
| 2004 | CONCUR | A Survey of Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena |
| 2004 | ISoLA | Designing Safe, Reliable Systems Using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | ISoLA | Designing Safe, Reliable Systems using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | LICS | Multi-Clock Timed Networks. | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
| 2003 | CAV | Algorithmic Improvements in Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2003 | CSL | Deciding Monotonic Games. | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso |
| 2003 | FOSSACS | Verification of Probabilistic Systems with Faulty Communication. | Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
| 2002 | CAV | Regular Tree Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso |
| 2002 | CONCUR | Regular Model Checking Made Simple and Efficient. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2001 | CONCUR | Channel Representations in Protocol Verification. | Parosh Aziz Abdulla, Bengt Jonsson |
| 2001 | ICALP | Effective Lossy Queue Languages. | Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani |
| 2000 | CAV | Unfoldings of Unbounded Petri Nets. | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nyln |
| 2000 | CAV | Invited Tutorial: Verification of Infinite-State and Parameterized Systems. | Parosh Aziz Abdulla, Bengt Jonsson |
| 2000 | CONCUR | Reasoning about Probabilistic Lossy Channel Systems. | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
| 2000 | LICS | Better is Better than Well: On Efficient Verification of Infinite-State Systems. | Parosh Aziz Abdulla, Aletta Nyln |
| 2000 | TACAS | Symbolic Reachability Analysis Based on SAT-Solvers. | Parosh Aziz Abdulla, Per Bjesse, Niklas En |
| 1999 | CAV | Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. | Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech |
| 1999 | CAV | Handling Global Conditions in Parameterized System Verification. | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson |
| 1999 | TACAS | Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |
| 1998 | CAV | On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson |
| 1998 | CAV | A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). | Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled |
| 1998 | CONCUR | Simulation Is Decidable for One-Counter Nets (Extended Abstract). | Parosh Aziz Abdulla, Karlis Cerans |
| 1998 | TACAS | Verifying Networks of Timed Processes (Extended Abstract). | Parosh Aziz Abdulla, Bengt Jonsson |
| 1997 | FORTE | An Improved Search Strategy for Lossy Channel Systems. | Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled |
| 1996 | LICS | General Decidability Theorems for Infinite-State Systems. | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
| 1995 | CONCUR | Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). | Parosh Aziz Abdulla, Mats Kindahl |
| 1994 | ICALP | Undecidable Verification Problems for Programs with Unreliable Channels. | Parosh Aziz Abdulla, Bengt Jonsson |
| 1993 | LICS | Verifying Programs with Unreliable Channels | Parosh Aziz Abdulla, Bengt Jonsson |