Search for dissertations about: "Mohamed Faouzi Atig"

Found 5 swedish dissertations containing the words Mohamed Faouzi Atig.

2. 1. On Solving String Constraints

   Author : Phi Diep Bui; Mohamed Faouzi Atig; Parosh Abdulla; Matthew Hague; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; String constraint solving; SMT; Verification;

   Abstract : Software systems are deeply involved in diverse human activities as everyone uses a variety of software systems on a daily basis. It is essential to guarantee that software systems all work correctly. Two popular methods for finding failures of software systems are testing and model checking. READ MORE

4. 2. Verification of Software under Relaxed Memory

   Author : Carl Leonardsson; Bengt Jonsson; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Viktor Vafeiadis; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; verification; relaxed memory models; Datavetenskap; Computer Science;

   Abstract : The work covered in this thesis concerns automatic analysis of correctness of parallel programs running under relaxed memory models.When a parallel program is compiled and executed on a modern architecture, various optimizations may cause it to behave in unexpected ways. READ MORE

5. 3. Model Checking of Software Systems under Weak Memory Models

   Author : Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

   Abstract : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. READ MORE

6. 4. Verification of networks of communicating processes : Reachability problems and decidability issues

   Author : Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

   Abstract : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. READ MORE

7. 5. Caches, Transactions and Memories : Models, Coherence and Consistency

   Author : Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

   Abstract : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. READ MORE