Parosh Aziz Abdulla

267 papers A* 30A 17B 45C 13Journal 94Unranked 63
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parameterized Verification of Quantum Circuits.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2026 J jnl
Parametrised Verification of Intel-x86 Programs.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2025 J jnl
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs.
Comput.
Mohammed H. Abdulwahhab, Parosh Aziz Abdulla, Karwan Jacksi
2025 J jnl
A Symbolic Approach to Verifying Quantum Systems.
Commun. ACM
Parosh Aziz Abdulla
2025 B conf
Checking Consistency of Event-Driven Traces.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 J jnl
Checking Consistency of Event-driven Traces.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 J jnl
Efficient Linearizability Monitoring.
CoRR
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
2025 J jnl
Efficient Linearizability Monitoring.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
2025 B ed.
Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
FoSSaCS
Parosh Aziz Abdulla, Delia Kesner
2025 — conf
On the Verification of Quantum Circuits (Research Challenges and Opportunities).
Principles of Formal Quantitative Analysis
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Parameterized Verification of Quantum Circuits (Technical Report).
CoRR
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
2025 — conf
Quantum Circuit Verification - A Potential Roadmap (Invited Talk).
FSTTCS
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan Thinniyam Srinivasan
2025 — conf
Trading Space for Simplicity in Stateless Model Checking.
Real Time and Such
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2025 C conf
Verification of the Release-Acquire Semantics.
ICTAC
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2025 J jnl
Verification of the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2025 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2025 — conf
When GNNs Met a Word Equations Solver: Learning to Rank Equations.
FroCoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 — conf
Boosting Constrained Horn Solving by Unsat Core Learning.
VMCAI (1)
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer
2024 B conf
Concurrent Stochastic Lossy Channel Games.
CSL
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2024 B conf
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.
ATVA
Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe
2024 — conf
Fairness and Liveness Under Weak Consistency.
Taming the Infinities of Concurrency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
2024 B conf
Guiding Word Equation Solving Using Graph Neural Networks.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 J jnl
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 — conf
Parsimonious Optimal Dynamic Partial Order Reduction.
CAV (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024 J jnl
Parsimonious Optimal Dynamic Partial Order Reduction.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024 J jnl
Verification under Intel-x86 with Persistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2024 — conf
Verification under TSO with an infinite Data Domain.
TACAS (3)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
2024 J jnl
Verification under TSO with an infinite Data Domain.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
2024 J jnl
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).
CoRR
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2023 J jnl
Chain-Free String Constraints (Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
2023 J jnl
Concurrent Stochastic Lossy Channel Games.
CoRR
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
CoRR
Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proc. ACM Program. Lang.
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 — conf
Optimal Stateless Model Checking for Causal Consistency.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe
2023 — conf
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Overcoming Memory Weakness with Unified Fairness.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 — conf
Parameterized Verification under TSO with Data Types.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
2023 J jnl
Parameterized Verification under TSO with Data Types.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler
2023 J jnl
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2023 B conf
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2022 — conf
Consistency and Persistency in Program Verification: Challenges and Opportunities.
Principles of Systems Design
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
2022 J jnl
Optimal SMC for Transactional Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe
2022 A conf
Probabilistic Total Store Ordering.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
Probabilistic Total Store Ordering.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 — conf
Verifying Reachability for TSO Programs with Dynamic Thread Creation.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 J jnl
Correction to: An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2021 J jnl
Deciding reachability under persistent x86-TSO.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 — conf
Regular Model Checking: Evolution and Perspectives.
Model Checking, Synthesis, and Learning
Parosh Aziz Abdulla
2021 B conf
Solving Not-Substring Constraint withFlat Abstraction.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
2021 A conf
The Decidability of Verification under PS 2.0.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
2020 A* conf
Efficient handling of string-number conversion.
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-hung Lin, Lukás Holík, Wei-Cheng Wu
2020 — conf
On the Formalization of Decentralized Contact Tracing Protocols.
OVERLAY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
2020 B conf
On the Separability Problem of String Constraints.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020 J jnl
On the Separability Problem of String Constraints.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020 — conf
On the State Reachability Problem for Concurrent Programs Under Power.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
2020 J jnl
Parameterized verification under TSO is PSPACE-complete.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan
2020 J jnl
The Decidability of Verification under Promising 2.0.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis
2019 B conf
Chain-Free String Constraints.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
2019 — conf
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2019 J jnl
Optimal stateless model checking for reads-from equivalence under sequential consistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
2019 A* conf
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali
2019 J jnl
Special Issue on NETYS'2016.
Computing
Parosh Aziz Abdulla, Carole Delporte
2019 A* conf
Verification of programs under the release-acquire semantics.
PLDI
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018 J jnl
A Load-Buffer Semantics for Total Store Ordering.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2018 — conf
Complexity of Reachability for Data-Aware Dynamic Systems.
ACSD
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2018 A conf
Fragment Abstraction for Concurrent Shape Analysis.
ESOP
Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
2018 J jnl
Mending Fences with Self-Invalidation and Self-Downgrade.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2018 — ch.
Model Checking Parameterized Systems.
Handbook of Model Checking
Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur
2018 J jnl
Optimal Stateless Model Checking under the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 J jnl
Optimal stateless model checking under the release-acquire semantics.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 — conf
Perfect Timed Communication Is Hard.
FORMATS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018 C conf
Replacing Store Buffers by Load Buffers in TSO.
VECoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2018 B conf
Trau: SMT solver for string constraints.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2018 B conf
Universal Safety for Timed Petri Nets is PSPACE-complete.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
2018 J jnl
Universal Safety for Timed Petri Nets is PSPACE-complete.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
2018 — conf
Verification of Timed Asynchronous Programs.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
2017 J jnl
An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2017 — conf
Comparing Source Sets and Persistent Sets for Partial Order Reduction.
Models, Algorithms, Logics and Tools
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017 — conf
Context-Bounded Analysis for POWER.
TACAS (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 J jnl
Context-Bounded Analysis for POWER.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 B conf
Data Multi-Pushdown Automata.
CONCUR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2017 A* conf
Flatten and conquer: a framework for efficient analysis of string constraints.
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2017 J jnl
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.
J. ACM
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017 J jnl
Stateless model checking for TSO and PSO.
Acta Informatica
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2017 J jnl
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 J jnl
What is Decidable about Perfect Timed Channels?
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2016 B conf
Automated Verification of Linearization Policies.
SAS
Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
2016 B conf
Counter-Example Guided Program Verification.
FM
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
2016 A* conf
Data Communicating Processes with Unreliable Channels.
LICS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2016 C conf
Fencing Programs with Self-Invalidation and Self-Downgrade.
FORTE
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2016 J jnl
Mending Fences with Self-Invalidation and Self-Downgrade.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2016 — ed.
Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
NETYS
Parosh Aziz Abdulla, Carole Delporte-Gallet
2016 J jnl
Parameterized verification of time-sensitive models of ad hoc network protocols.
Theor. Comput. Sci.
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2016 J jnl
Parameterized verification through view abstraction.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2016 J jnl
Parameterized verification.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Giorgio Delzanno
2016 J jnl
Preface.
Fundam. Informaticae
Parosh Aziz Abdulla, Stéphane Demri, Alain Finkel, Jérôme Leroux, Igor Potapov
2016 B conf
Qualitative Analysis of VASS-Induced MDPs.
FoSSaCS
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2016 J jnl
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
CoRR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A* conf
Recency-Bounded Verification of Dynamic Database-Driven Systems.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 — conf
Stateless Model Checking for POWER.
CAV (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
2016 J jnl
Stateless Model Checking for POWER.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
2016 B conf
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2016 J jnl
Verification of heap manipulating programs with ordered data by extended forest automata.
Acta Informatica
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
2015 — conf
Norn: An SMT Solver for String Constraints.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2015 — conf
Precise and Sound Automatic Fence Insertion Procedure under PSO.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo
2015 J jnl
Qualitative Analysis of VASS-Induced MDPs.
CoRR
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2015 A conf
Stateless Model Checking for TSO and PSO.
TACAS
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015 J jnl
Stateless Model Checking for TSO and PSO.
CoRR
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015 A conf
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong
2015 — conf
Verification of Buffered Dynamic Register Automata.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2015 B conf
Verification of Cache Coherence Protocols wrt. Trace Filters.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu
2015 J jnl
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).
Dagstuhl Reports
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis
2015 — conf
View Abstraction - A Tutorial (Invited Paper).
SynCoP
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2015 — conf
Well Structured Transition Systems with History.
GandALF
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali
2015 — conf
What's Decidable about Availability Languages?.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi
2014 B conf
Block Me If You Can! - Context-Sensitive Parameterized Verification.
SAS
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2014 J jnl
Budget-bounded model-checking pushdown systems.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2014 C conf
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.
LATA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2014 J jnl
Infinite-State Energy Games.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
Infinite-state energy games.
CSL-LICS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
MPass: An Efficient Tool for the Analysis of Message-Passing Programs.
FACS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini
2014 J jnl
Mediating for reduction (on minimizing alternating Büchi automata).
Theor. Comput. Sci.
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2014 A* conf
Optimal dynamic partial order reduction.
POPL
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2014 J jnl
Stochastic Parity Games on Lossy Channel Systems.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2014 A* conf
String Constraints for Verification.
CAV
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2014 — conf
Verification of Dynamic Register Automata.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2013 B conf
All for the Price of Few.
VMCAI
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2013 A conf
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
TACAS
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2013 B conf
Analysis of Message Passing Programs Using SMT-Solvers.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
2013 A conf
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2013 J jnl
Monotonic Abstraction for Programs with Multiply-Linked Structures.
Int. J. Found. Comput. Sci.
Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
2013 J jnl
Priced Timed Petri Nets.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Richard Mayr
2013 — conf
Push-Down Automata with Gap-Order Constraints.
FSEN
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
2013 — ed.
Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
RP
Parosh Aziz Abdulla, Igor Potapov
2013 B conf
Solving Parity Games on Integer Vectors.
CONCUR
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2013 J jnl
Solving Parity Games on Integer Vectors.
CoRR
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2013 J jnl
Stochastic Parity Games on Lossy Channel Systems
CoRR
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2013 — conf
Stochastic Parity Games on Lossy Channel Systems.
QEST
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2013 J jnl
Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, K. Rustan M. Leino
2013 — conf
Verification of Directed Acyclic Ad Hoc Networks.
FMOODS/FORTE
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
2013 B conf
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.
ATVA
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
2013 A conf
Verifying safety and liveness for the FlexTM hybrid transactional memory.
DATE
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu
2013 — conf
Zenoness for Timed Pushdown Automata.
INFINITY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 — conf
Adding Time to Pushdown Automata
QFM
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 B conf
Automatic Fence Insertion in Integer Programs via Predicate Abstraction.
SAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A conf
Counter-Example Guided Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A* conf
Dense-Timed Pushdown Automata.
LICS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 B conf
Multi-pushdown systems with budgets.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2012 — conf
Petri Nets with Time and Cost
Infinity
Parosh Aziz Abdulla, Richard Mayr
2012 J jnl
Regular model checking for LTL(MSO).
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
2012 J jnl
Regular model checking.
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla
2012 C conf
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.
LATA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 — conf
Timed Lossy Channel Systems.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
2011 J jnl
A classification of the expressive power of well-structured transition systems.
Inf. Comput.
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2011 B conf
Advanced Ramsey-Based Büchi Automata Inclusion Testing.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2011 J jnl
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints.
Int. J. Found. Comput. Sci.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2011 B conf
Carrying Probabilities to the Infinite World.
CONCUR
Parosh Aziz Abdulla
2011 J jnl
Computing Optimal Coverability Costs in Priced Timed Petri Nets
CoRR
Parosh Aziz Abdulla, Richard Mayr
2011 A* conf
Computing Optimal Coverability Costs in Priced Timed Petri Nets.
LICS
Parosh Aziz Abdulla, Richard Mayr
2011 — conf
Monotonic Abstraction for Programs with Multiply-Linked Structures.
RP
Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
2011 — conf
On the Verification of Timed Ad Hoc Networks.
FORMATS
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2011 A ed.
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
TACAS
Parosh Aziz Abdulla, K. Rustan M. Leino
2010 — conf
Analyzing the Security in the GSM Radio Network Using Attack Jungles.
ISoLA (1)
Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
2010 B conf
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
CONCUR
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
2010 B conf
Forcing Monotonicity in Parameterized Verification: From Multisets to Words.
SOFSEM
Parosh Aziz Abdulla
2010 J jnl
Sampled Semantics of Timed Automata
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2010 A* conf
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
CAV
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2010 J jnl
Well (and better) quasi-ordered transition systems.
Bull. Symb. Log.
Parosh Aziz Abdulla
2010 A conf
When Simulation Meets Antichains.
TACAS
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
2009 C conf
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.
LATA
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2009 — conf
Approximated Context-Sensitive Analysis for Parameterized Verification.
FMOODS/FORTE
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009 J jnl
Approximated parameterized verification of infinite-state processes with global conditions.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009 B conf
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
ATVA
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji
2009 — conf
Automatic Verification of Directory-Based Consistency Protocols.
RP
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009 J jnl
Composed Bisimulation for Tree Automata.
Int. J. Found. Comput. Sci.
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2009 — conf
Infinite-State Verification: From Transition Systems to Markov Chains.
QEST
Parosh Aziz Abdulla
2009 — conf
Mediating for Reduction (on Minimizing Alternating Büchi Automata).
FSTTCS
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2009 B conf
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets.
FoSSaCS
Parosh Aziz Abdulla, Richard Mayr
2009 J jnl
Monotonic Abstraction: on Efficient Verification of Parameterized Systems.
Int. J. Found. Comput. Sci.
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
2009 — conf
Universality of R-automata with Value Copying.
INFINITY
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2008 — conf
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.
MEMICS
Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008 C conf
Composed Bisimulation for Tree Automata.
CIAA
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008 A conf
Computing Simulations over Tree Automata.
TACAS
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008 B conf
Handling Parameterized Systems with Non-atomic Global Conditions.
VMCAI
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
2008 J jnl
Model checking race-freeness.
SIGARCH Comput. Archit. News
Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl
2008 A* conf
Monotonic Abstraction for Programs with Dynamic Memory Heaps.
CAV
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
2008 C conf
Monotonic Abstraction in Action.
ICTAC
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2008 — conf
Monotonic Abstraction in Parameterized Verification.
RP
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2008 J jnl
Monotonic and Downward Closed Games.
J. Log. Comput.
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso
2008 — conf
On the Qualitative Analysis of Conformon P Systems.
Workshop on Membrane Computing
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2008 C conf
Parameterized Tree Systems.
FORTE
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
2008 B conf
R-Automata.
CONCUR
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2008 — conf
Shape Analysis via Monotonic Abstraction.
Beyond the Finite: New Challenges in Verification and Semistructured Data
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine
2008 B conf
Stochastic Games with Lossy Channels.
FoSSaCS
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
2008 J jnl
Universality Analysis for One-Clock Timed Automata.
Fundam. Informaticae
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell
2007 J jnl
Bisimulation Minimization of Tree Automata.
Int. J. Found. Comput. Sci.
Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati
2007 B conf
Comparing the Expressive Power of Well-Structured Transition Systems.
CSL
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2007 J jnl
Decisive Markov Chains
CoRR
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
2007 J jnl
Decisive Markov Chains.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
2007 J jnl
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
2007 A* conf
Parameterized Verification of Infinite-State Processes with Global Conditions.
CAV
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2007 A conf
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).
TACAS
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
2007 B conf
Sampled Universality of Timed Automata.
FoSSaCS
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2007 J jnl
Using Forward Reachability Analysis for Verification of Timed Petri Nets.
Nord. J. Comput.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
2007 — conf
Zone-Based Universality Analysis for Single-Clock Timed Automata.
FSEN
Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
2006 — conf
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Software Verification: Infinite-State Model Checking and Static Program Analysis
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm
2006 — conf
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Software Verification: Infinite-State Model Checking and Static Program Analysis
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm
2006 C conf
Bisimulation Minimization of Tree Automata.
CIAA
Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg
2006 J jnl
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
CoRR
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
2006 B conf
Eager Markov Chains.
ATVA
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
2006 — conf
Limiting Behavior of Markov Chains with Eager Attractors.
QEST
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
2006 B conf
Proving Liveness by Backwards Reachability.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena
2006 — ed.
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006
Software Verification: Infinite-State Model Checking and Static Program Analysis
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm
2006 J jnl
Tree regular model checking: A simulation-based approach.
J. Log. Algebraic Methods Program.
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
2005 A* conf
Decidability and Complexity Results for Timed Automata via Channel Machines.
ICALP
Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell
2005 C conf
Minimization of Non-deterministic Automata with Large Alphabets.
CIAA
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
2005 J jnl
Simulating perfect channels with probabilistic lossy channels.
Inf. Comput.
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
2005 A conf
Simulation-Based Iteration of Tree Transducers.
TACAS
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
2005 — conf
Verification of Parameterized Timed Systems.
FORMATS
Parosh Aziz Abdulla
2005 J jnl
Verification of probabilistic systems with faulty communication.
Inf. Comput.
Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Philippe Schnoebelen
2005 A* conf
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.
LICS
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
2004 B conf
A Survey of Regular Model Checking.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena
2004 J jnl
Better Quasi-Ordered Transition Systems
CoRR
Parosh Aziz Abdulla, Aletta Nylén
2004 — conf
Closed, Open, and Robust Timed Networks.
INFINITY
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
2004 — conf
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.
FSTTCS
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
2004 C conf
Designing Safe, Reliable Systems Using Scade.
ISoLA
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
2004 — conf
Designing Safe, Reliable Systems using Scade.
ISoLA (Preliminary proceedings)
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
2004 — conf
Forward Reachability Analysis of Timed Petri Nets.
FORMATS/FTRTFT
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
2004 A* conf
Multi-Clock Timed Networks.
LICS
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
2004 A* conf
Regular Model Checking for LTL(MSO).
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
2004 J jnl
SAT-Solving the Coverability Problem for Petri Nets.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
2004 J jnl
Using Forward Reachability Analysis for Verification of Lossy Channel Systems.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson
2003 A* conf
Algorithmic Improvements in Regular Model Checking.
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
2003 B conf
Deciding Monotonic Games.
CSL
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso
2003 J jnl
Model checking of systems with many identical timed processes.
Theor. Comput. Sci.
Parosh Aziz Abdulla, Bengt Jonsson
2003 B conf
Verification of Probabilistic Systems with Faulty Communication.
FoSSaCS
Parosh Aziz Abdulla, Alexander Moshe Rabinovich
2002 B conf
Regular Model Checking Made Simple and Efficient.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
2002 A* conf
Regular Tree Model Checking.
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
2001 B conf
Channel Representations in Protocol Verification.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson
2001 A* conf
Effective Lossy Queue Languages.
ICALP
Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani
2001 J jnl
Ensuring completeness of symbolic verification methods for infinite-state systems.
Theor. Comput. Sci.
Parosh Aziz Abdulla, Bengt Jonsson
2001 — conf
Timed Petri Nets and BQOs.
ICATPN
Parosh Aziz Abdulla, Aletta Nylén
2000 J jnl
Algorithmic Analysis of Programs with Well Quasi-ordered Domains.
Inf. Comput.
Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
2000 A* conf
Better is Better than Well: On Efficient Verification of Infinite-State Systems.
LICS
Parosh Aziz Abdulla, Aletta Nylén
2000 A* conf
Invited Tutorial: Verification of Infinite-State and Parameterized Systems.
CAV
Parosh Aziz Abdulla, Bengt Jonsson
2000 B conf
Reasoning about Probabilistic Lossy Channel Systems.
CONCUR
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
2000 A conf
Symbolic Reachability Analysis Based on SAT-Solvers.
TACAS
Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
2000 A* conf
Unfoldings of Unbounded Petri Nets.
CAV
Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
1999 A* conf
Handling Global Conditions in Parameterized System Verification.
CAV
Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson
1999 — conf
On the Existence of Network Invariants for Verifying Parameterized Systems.
Correct System Design
Parosh Aziz Abdulla, Bengt Jonsson
1999 A conf
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.
TACAS
Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani
1999 A* conf
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.
CAV
Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
1998 A* conf
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled
1998 A* conf
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels.
CAV
Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
1998 B conf
Simulation Is Decidable for One-Counter Nets (Extended Abstract).
CONCUR
Parosh Aziz Abdulla, Karlis Cerans
1998 A conf
Verifying Networks of Timed Processes (Extended Abstract).
TACAS
Parosh Aziz Abdulla, Bengt Jonsson
1997 C conf
An Improved Search Strategy for Lossy Channel Systems.
FORTE
Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled
1996 A* conf
General Decidability Theorems for Infinite-State Systems.
LICS
Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
1996 J jnl
Undecidable Verification Problems for Programs with Unreliable Channels.
Inf. Comput.
Parosh Aziz Abdulla, Bengt Jonsson
1996 J jnl
Verifying Programs with Unreliable Channels.
Inf. Comput.
Parosh Aziz Abdulla, Bengt Jonsson
1995 B conf
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).
CONCUR
Parosh Aziz Abdulla, Mats Kindahl
1994 A* conf
Undecidable Verification Problems for Programs with Unreliable Channels.
ICALP
Parosh Aziz Abdulla, Bengt Jonsson
1993 A* conf
Verifying Programs with Unreliable Channels
LICS
Parosh Aziz Abdulla, Bengt Jonsson
1992 J jnl
Automatic Verification of a Class Systolic Circuits.
Formal Aspects Comput.
Parosh Aziz Abdulla
1990 — —
Decision problems in systolic circuit verification.
Parosh Aziz Abdulla
1988 — conf
An Equivalence Decision Problem in Systolic Array Verification.
Specification and Verification of Concurrent Systems
Parosh Aziz Abdulla, Stefan Arnborg