Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ahmed Bouajjani

Editorial, Special Issue of NETYS 2015

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2019English

Programs With Lists Are Counter Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2011English

On Sequentializing Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Getting Rid of Store-Buffers in TSO Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Abstract Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy