Abdulla, Parosh: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 || CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 231 KB

english, 2011

52

Mediating for reduction (on minimizing alternating Büchi automata)

Abdulla, Parosh Aziz, Chen, Yu-Fang, Holík, Lukáš, Vojnar, Tomáš

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

53

MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS

ABDULLA, PAROSH AZIZ, DELZANNO, GIORGIO, HENDA, NOOMENE BEN, REZINE, AHMED

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 279 KB

english, 2009

54

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Accurate Optimization Method for Allocation of Heterogeneous Resources in Embedded Systems

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

55

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Corona Product Complexity of Planar Graph and S-chain Graph

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 730 KB

english, 2016

56

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 276 KB

english, 2016

57

A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

58

Tools for software verification

Parosh Aziz Abdulla,K. Rustan M. Leino

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 115 KB

english, 2013

59

Stateless model checking for TSO and PSO

Abdulla, Parosh Aziz, Aronis, Stavros, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, Konstantinos

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

60

Closed, Open, and Robust Timed Networks

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 614 KB

english, 2005

61

Regular model checking

Parosh Aziz Abdulla

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

62

MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES

ABDULLA, PAROSH AZIZ, CEDERBERG, JONATHAN, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

63

Parameterized verification of time-sensitive models of ad hoc network protocols

Abdulla, Parosh Aziz, Delzanno, Giorgio, Rezine, Othmane, Sangnier, Arnaud, Traverso, Riccardo

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 906 KB

english, 2016

64

Well (and Better) Quasi-Ordered Transition Systems

Abdulla, Parosh Aziz

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 548 KB

english, 2010

65

Automatic verification of a class of systolic circuits

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 2.12 MB

english, 1992

66

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 ||

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 6.13 MB

english, 2011

67

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 351 KB

english, 2016

68

Universality of R-automata with Value Copying

Parosh Aziz Abdulla, Pavel Krcal, Wang Yi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 279 KB

english, 2009

69

Approximated parameterized verification of infinite-state processes with global conditions

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

70

[Lecture Notes in Computer Science] Reachability Problems Volume 8169 || Verification of Reachability Properties for Time Petri Nets

Abdulla, Parosh Aziz, Potapov, Igor

Year:

2013

Language:

english

File:

PDF, 273 KB

english, 2013

71

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Verification of cache coherence protocols wrt. trace filters

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Ganjeiy, Zeinab, Reziney, Ahmed, Zhu, Yunyun

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

72

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory

Abdulla, Parosh, Dwarkadas, Sandhya, Rezine, Ahmed, Shriraman, Arrvindh, Zhu, Yunyun

Year:

2013

Language:

english

File:

PDF, 505 KB

english, 2013

73

Branching-Time Model Checking Gap-Order Constraint Systems

Mayr, Richard, Totzke, Patrick, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 141 KB

english, 2016

74

Budget-bounded model-checking pushdown systems

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rezine, Othmane, Stenman, Jari

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1004 KB

english, 2014

75

BISIMULATION MINIMIZATION OF TREE AUTOMATA

ABDULLA, PAROSH AZIZ, HÖGBERG, JOHANNA, KAATI, LISA

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 968 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски