
Parosh Aziz Abdulla
Person information
- affiliation: Uppsala University, Sweden
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j50]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Deciding reachability under persistent x86-TSO. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - 2020
- [j49]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan:
Parameterized verification under TSO is PSPACE-complete. Proc. ACM Program. Lang. 4(POPL): 26:1-26:29 (2020) - [c138]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CONCUR 2020: 16:1-16:19 - [c137]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer:
On the State Reachability Problem for Concurrent Programs Under Power. NETYS 2020: 47-59 - [c136]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier:
On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY 2020: 65-70 - [c135]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:
Efficient handling of string-number conversion. PLDI 2020: 943-957 - [i23]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CoRR abs/2005.09489 (2020) - [i22]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Viktor Vafeiadis:
The Decidability of Verification under Promising 2.0. CoRR abs/2007.09944 (2020)
2010 – 2019
- 2019
- [j48]Parosh Aziz Abdulla, Carole Delporte:
Special Issue on NETYS'2016. Computing 101(1): 1-2 (2019) - [j47]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
:
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3(OOPSLA): 150:1-150:29 (2019) - [c134]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík
, Petr Janku:
Chain-Free String Constraints. ATVA 2019: 277-293 - [c133]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). NETYS 2019: 3-18 - [c132]Parosh Aziz Abdulla, Jatin Arora
, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Verification of programs under the release-acquire semantics. PLDI 2019: 1117-1132 - [c131]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali:
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. PODS 2019: 335-352 - 2018
- [j46]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
A Load-Buffer Semantics for Total Store Ordering. Log. Methods Comput. Sci. 14(1) (2018) - [j45]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu:
Mending Fences with Self-Invalidation and Self-Downgrade. Log. Methods Comput. Sci. 14(1) (2018) - [j44]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Optimal stateless model checking under the release-acquire semantics. Proc. ACM Program. Lang. 2(OOPSLA): 135:1-135:29 (2018) - [c130]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD 2018: 11-20 - [c129]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
:
Universal Safety for Timed Petri Nets is PSPACE-complete. CONCUR 2018: 6:1-6:15 - [c128]Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh:
Fragment Abstraction for Concurrent Shape Analysis. ESOP 2018: 442-471 - [c127]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík
, Ahmed Rezine, Philipp Rümmer:
Trau: SMT solver for string constraints. FMCAD 2018: 1-5 - [c126]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 - [c125]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya:
Verification of Timed Asynchronous Programs. FSTTCS 2018: 8:1-8:16 - [c124]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Replacing Store Buffers by Load Buffers in TSO. VECoS 2018: 22-28 - [p1]Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725 - [i21]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke:
Universal Safety for Timed Petri Nets is PSPACE-complete. CoRR abs/1806.08170 (2018) - [i20]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Optimal Stateless Model Checking under the Release-Acquire Semantics. CoRR abs/1808.00843 (2018) - 2017
- [j43]Parosh Aziz Abdulla, Stavros Aronis
, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
:
Stateless model checking for TSO and PSO. Acta Informatica 54(8): 789-818 (2017) - [j42]Parosh Aziz Abdulla, Stavros Aronis
, Bengt Jonsson, Konstantinos Sagonas
:
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. J. ACM 64(4): 25:1-25:49 (2017) - [j41]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
, Bengt Jonsson, Ahmed Rezine:
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 19(5): 549-563 (2017) - [c123]Parosh Aziz Abdulla, Stavros Aronis
, Bengt Jonsson, Konstantinos Sagonas
:
Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools 2017: 516-536 - [c122]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig:
Data Multi-Pushdown Automata. CONCUR 2017: 38:1-38:17 - [c121]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Bui Phi Diep, Lukás Holík
, Ahmed Rezine, Philipp Rümmer:
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI 2017: 602-617 - [c120]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Context-Bounded Analysis for POWER. TACAS (2) 2017: 56-74 - [i19]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
The Benefits of Duality in Verifying Concurrent Programs under TSO. CoRR abs/1701.08682 (2017) - [i18]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Context-Bounded Analysis for POWER. CoRR abs/1702.01655 (2017) - [i17]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
What is Decidable about Perfect Timed Channels? CoRR abs/1708.05063 (2017) - 2016
- [j40]Parosh Aziz Abdulla, Lukás Holík
, Bengt Jonsson, Ondrej Lengál
, Cong Quy Trinh, Tomás Vojnar
:
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53(4): 357-385 (2016) - [j39]Parosh Aziz Abdulla, Stéphane Demri, Alain Finkel, Jérôme Leroux, Igor Potapov:
Preface. Fundam. Informaticae 143(3-4): i-ii (2016) - [j38]Parosh Aziz Abdulla, Giorgio Delzanno:
Parameterized verification. Int. J. Softw. Tools Technol. Transf. 18(5): 469-473 (2016) - [j37]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
:
Parameterized verification through view abstraction. Int. J. Softw. Tools Technol. Transf. 18(5): 495-516 (2016) - [j36]Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso:
Parameterized verification of time-sensitive models of ad hoc network protocols. Theor. Comput. Sci. 612: 1-22 (2016) - [c119]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. CAV (2) 2016: 134-156 - [c118]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
The Benefits of Duality in Verifying Concurrent Programs under TSO. CONCUR 2016: 5:1-5:15 - [c117]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep:
Counter-Example Guided Program Verification. FM 2016: 25-42 - [c116]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu:
Fencing Programs with Self-Invalidation and Self-Downgrade. FORTE 2016: 19-35 - [c115]Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Qualitative Analysis of VASS-Induced MDPs. FoSSaCS 2016: 319-334 - [c114]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig:
Data Communicating Processes with Unreliable Channels. LICS 2016: 166-175 - [c113]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS 2016: 195-210 - [c112]Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh:
Automated Verification of Linearization Policies. SAS 2016: 61-83 - [e4]Parosh Aziz Abdulla, Carole Delporte-Gallet:
Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9944, Springer 2016, ISBN 978-3-319-46139-7 [contents] - [i16]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR abs/1604.03413 (2016) - [i15]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. CoRR abs/1605.02185 (2016) - [i14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu:
Mending Fences with Self-Invalidation and Self-Downgrade. CoRR abs/1611.07372 (2016) - 2015
- [c111]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Lukás Holík
, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
Norn: An SMT Solver for String Constraints. CAV (1) 2015: 462-469 - [c110]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong:
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. ESOP 2015: 308-332 - [c109]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu:
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD 2015: 9-16 - [c108]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi:
What's Decidable about Availability Languages?. FSTTCS 2015: 192-205 - [c107]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine:
Verification of Buffered Dynamic Register Automata. NETYS 2015: 15-31 - [c106]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo:
Precise and Sound Automatic Fence Insertion Procedure under PSO. NETYS 2015: 32-47 - [c105]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
View Abstraction - A Tutorial (Invited Paper). SynCoP 2015: 1-15 - [c104]Parosh Aziz Abdulla, Stavros Aronis
, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
:
Stateless Model Checking for TSO and PSO. TACAS 2015: 353-367 - [c103]Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. GandALF 2015: 115-128 - [i13]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015) - [i12]Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Qualitative Analysis of VASS-Induced MDPs. CoRR abs/1512.08824 (2015) - [i11]Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis:
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5(11): 1-28 (2015) - 2014
- [j35]Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j34]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Budget-bounded model-checking pushdown systems. Formal Methods Syst. Des. 45(2): 273-301 (2014) - [j33]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík
, Tomás Vojnar
:
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552: 26-43 (2014) - [c102]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Lukás Holík
, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
String Constraints for Verification. CAV 2014: 150-166 - [c101]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman
, Richard Mayr, K. Narayan Kumar, Patrick Totzke
:
Infinite-state energy games. CSL-LICS 2014: 7:1-7:10 - [c100]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini:
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. FACS 2014: 198-206 - [c99]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine:
Verification of Dynamic Register Automata. FSTTCS 2014: 653-665 - [c98]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. LATA 2014: 62-75 - [c97]Parosh Aziz Abdulla, Stavros Aronis
, Bengt Jonsson, Konstantinos Sagonas
:
Optimal dynamic partial order reduction. POPL 2014: 373-384 - [c96]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
Block Me If You Can! - Context-Sensitive Parameterized Verification. SAS 2014: 1-17 - [i10]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke:
Infinite-State Energy Games. CoRR abs/1405.0628 (2014) - 2013
- [j32]Parosh Aziz Abdulla, Richard Mayr:
Priced Timed Petri Nets. Log. Methods Comput. Sci. 9(4) (2013) - [j31]Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
:
Monotonic Abstraction for Programs with Multiply-Linked Structures. Int. J. Found. Comput. Sci. 24(2): 187-210 (2013) - [j30]Parosh Aziz Abdulla, K. Rustan M. Leino:
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. 15(2): 85-88 (2013) - [c95]Parosh Aziz Abdulla, Lukás Holík
, Bengt Jonsson, Ondrej Lengál
, Cong Quy Trinh, Tomás Vojnar
:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA 2013: 224-239 - [c94]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Analysis of Message Passing Programs Using SMT-Solvers. ATVA 2013: 272-286 - [c93]Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Solving Parity Games on Integer Vectors. CONCUR 2013: 106-120 - [c92]Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu:
Verifying safety and liveness for the FlexTM hybrid transactional memory. DATE 2013: 785-790 - [c91]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine:
Verification of Directed Acyclic Ad Hoc Networks. FMOODS/FORTE 2013: 193-208 - [c90]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. FSEN 2013: 199-216 - [c89]Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems. QEST 2013: 338-354 - [c88]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
, Bengt Jonsson, Ahmed Rezine:
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS 2013: 324-338 - [c87]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS 2013: 530-536 - [c86]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
:
All for the Price of Few. VMCAI 2013: 476-495 - [c85]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Zenoness for Timed Pushdown Automata. INFINITY 2013: 35-47 - [e3]Parosh Aziz Abdulla, Igor Potapov:
Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. Lecture Notes in Computer Science 8169, Springer 2013, ISBN 978-3-642-41035-2 [contents] - [i9]Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems. CoRR abs/1305.5228 (2013) - [i8]Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Solving Parity Games on Integer Vectors. CoRR abs/1306.2806 (2013) - 2012
- [j29]Parosh Aziz Abdulla:
Regular model checking. Int. J. Softw. Tools Technol. Transf. 14(2): 109-118 (2012) - [j28]Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena:
Regular model checking for LTL(MSO). Int. J. Softw. Tools Technol. Transf. 14(2): 223-241 (2012) - [c84]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Multi-pushdown systems with budgets. FMCAD 2012: 24-33 - [c83]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Timed Lossy Channel Systems. FSTTCS 2012: 374-386 - [c82]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. LATA 2012: 58-69 - [c81]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Dense-Timed Pushdown Automata. LICS 2012: 35-44 - [c80]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS 2012: 164-180 - [c79]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219 - [c78]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Adding Time to Pushdown Automata. QFM 2012: 1-16 - [c77]Parosh Aziz Abdulla, Richard Mayr:
Petri Nets with Time and Cost. Infinity 2012: 9-24 - 2011
- [j27]Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
A classification of the expressive power of well-structured transition systems. Inf. Comput. 209(3): 248-279 (2011) - [j26]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22(4): 761-782 (2011) - [c76]Parosh Aziz Abdulla:
Carrying Probabilities to the Infinite World. CONCUR 2011: 1-16 - [c75]Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík
, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
:
Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR 2011: 187-202 - [c74]Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso:
On the Verification of Timed Ad Hoc Networks. FORMATS 2011: 256-270 - [c73]Parosh Aziz Abdulla, Richard Mayr:
Computing Optimal Coverability Costs in Priced Timed Petri Nets. LICS 2011: 399-408 - [c72]Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
:
Monotonic Abstraction for Programs with Multiply-Linked Structures. RP 2011: 125-138 - [e2]Parosh Aziz Abdulla, K. Rustan M. Leino:
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. Lecture Notes in Computer Science 6605, Springer 2011, ISBN 978-3-642-19834-2 [contents] - [i7]Parosh Aziz Abdulla, Richard Mayr:
Computing Optimal Coverability Costs in Priced Timed Petri Nets. CoRR abs/1104.0617 (2011) - 2010
- [j25]Parosh Aziz Abdulla:
Well (and better) quasi-ordered transition systems. Bull. Symb. Log. 16(4): 457-515 (2010) - [j24]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
Sampled Semantics of Timed Automata. Log. Methods Comput. Sci. 6(3) (2010) - [c71]Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík
, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
:
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147 - [c70]Parosh Aziz Abdulla, Yu-Fang Chen
, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine:
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR 2010: 86-101 - [c69]Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati:
Analyzing the Security in the GSM Radio Network Using Attack Jungles. ISoLA (1) 2010: 60-74 - [c68]Parosh Aziz Abdulla:
Forcing Monotonicity in Parameterized Verification: From Multisets to Words. SOFSEM 2010: 1-15 - [c67]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík
, Richard Mayr, Tomás Vojnar
:
When Simulation Meets Antichains. TACAS 2010: 158-174
2000 – 2009
- 2009
- [j23]Parosh Aziz Abdulla, Lukás Holík
, Lisa Kaati, Tomás Vojnar
:
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Electron. Notes Theor. Comput. Sci. 251: 27-48 (2009) - [j22]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34(2): 126-156 (2009) - [j21]Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík
, Lisa Kaati, Tomás Vojnar
:
Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009) - [j20]Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine:
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20(5): 779-801 (2009) - [c66]Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji:
Automated Analysis of Data-Dependent Programs with Dynamic Memory. ATVA 2009: 197-212 - [c65]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56 - [c64]Parosh Aziz Abdulla, Richard Mayr:
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. FoSSaCS 2009: 348-363 - [c63]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12 - [c62]Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA 2009: 71-82 - [c61]Parosh Aziz Abdulla:
Infinite-State Verification: From Transition Systems to Markov Chains. QEST 2009: 4 - [c60]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50 - [c59]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
Universality of R-automata with Value Copying. INFINITY 2009: 131-141 - 2008
- [j19]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: