Ahmed Bouajjani

According to our database, Ahmed Bouajjani authored at least 149 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Verification under Intel-x86 with Persistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proc. ACM Program. Lang., 2024

On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity.

Ahmed Bouajjani

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.

Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo

Proc. ACM Program. Lang., 2023

Comparing Causal Convergence Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Networked Systems - 11th International Conference, 2023

On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).

Ahmed Bouajjani

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Checking causal consistency of distributed databases.

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Computing, 2022

Automated Synthesis of Asynchronizations.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Proceedings of the Static Analysis - 29th International Symposium, 2022

Varda: A Framework for Compositional Distributed Programming.

Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro

Proceedings of the Networked Systems - 10th International Conference, 2022

Verifying Reachability for TSO Programs with Dynamic Thread Creation.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 10th International Conference, 2022

Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.

Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Consistency and Persistency in Program Verification: Challenges and Opportunities.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Principles of Systems Design, 2022

2021

Deciding reachability under persistent x86-TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proc. ACM Program. Lang., 2021

Robustness Against Transactional Causal Consistency.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Log. Methods Comput. Sci., 2021

Checking Robustness Between Weak Transactional Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Programming Languages and Systems, 2021

2020

Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

On the State Reachability Problem for Concurrent Programs Under Power.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer

Proceedings of the Networked Systems - 8th International Conference, 2020

Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Abstract semantic diffing of evolving concurrent programs.

Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Formal Methods Syst. Des., 2019

Editorial, special issue of NETYS 2015.

Ahmed Bouajjani, Hugues Fauconnier

Computing, 2019

Gradual Consistency Checking.

Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Checking Robustness Against Snapshot Isolation.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Model Checking Procedural Programs.

Rajeev Alur, Ahmed Bouajjani, Javier Esparza

Proceedings of the Handbook of Model Checking., 2018

A Load-Buffer Semantics for Total Store Ordering.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Log. Methods Comput. Sci., 2018

On reducing linearizability to state reachability.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Inf. Comput., 2018

Replacing Store Buffers by Load Buffers in TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy

Proceedings of the Networked Systems - 6th International Conference, 2018

Verifying Quantitative Temporal Properties of Procedural Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.

Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Context-Bounded Analysis for POWER.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

On verifying causal consistency.

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Parity Games on Bounded Phase Multi-pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 5th International Conference, 2017

Verification of Asynchronous Programs with Nested Locks.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the Programming Languages and Systems, 2017

Checking Linearizability of Concurrent Priority Queues.

Ahmed Bouajjani, Constantin Enea, Chao Wang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

2014 CAV award announcement.

Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball

Formal Methods Syst. Des., 2016

The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Lazy TSO Reachability.

Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Bounded phase analysis of message-passing programs.

Ahmed Bouajjani, Michael Emmi

Int. J. Softw. Tools Technol. Transf., 2014

Robustness against Relaxed Memory Models.

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Verifying eventual consistency of optimistic replication systems.

Ahmed Bouajjani, Constantin Enea, Jad Hamza

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

On Bounded Reachability Analysis of Shared Memory Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Context-Bounded Analysis of TSO Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Analysis of Recursively Parallel Programs.

Ahmed Bouajjani, Michael Emmi

ACM Trans. Program. Lang. Syst., 2013

Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the Programming Languages and Systems, 2013

Checking and Enforcing Robustness against TSO.

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

Proceedings of the Programming Languages and Systems, 2013

2012

Widening techniques for regular tree model checking.

Ahmed Bouajjani, Tayssir Touili

Int. J. Softw. Tools Technol. Transf., 2012

Abstract regular (tree) model checking.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

Int. J. Softw. Tools Technol. Transf., 2012

Editorʼs foreword.

Ahmed Bouajjani, David Harel, Lenore D. Zuck

J. Comput. Syst. Sci., 2012

Robustness Checking against TSO: Attacks and Defence

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

CoRR, 2012

Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

CoRR, 2012

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Programming Languages and Systems, 2012

Detecting Fair Non-termination in Multithreaded Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Automated Technology for Verification and Analysis, 2012

Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Programs with lists are counter automata.

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar

Formal Methods Syst. Des., 2011

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

Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

Log. Methods Comput. Sci., 2011

On Sequentializing Concurrent Programs.

Ahmed Bouajjani, Michael Emmi, Gennaro Parlato

Proceedings of the Static Analysis - 18th International Symposium, 2011

On inter-procedural analysis of programs with lists and data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Deciding Robustness against Total Store Ordering.

Ahmed Bouajjani, Roland Meyer, Eike Möhlmann

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Getting Rid of Store-Buffers in TSO Analysis.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On the verification problem for weak memory models.

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Composed Bisimulation for Tree Automata.

Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar

Int. J. Found. Comput. Sci., 2009

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

Log. Methods Comput. Sci., 2009

A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking

Ahmed Bouajjani, Axel Legay, Pierre Wolper

CoRR, 2009

On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Rewriting Systems over Nested Data Words.

Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Monotonic and Downward Closed Games.

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso

J. Log. Comput., 2008

Verification of parametric concurrent systems with prioritised FIFO resource management.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Formal Methods Syst. Des., 2008

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.

Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar

Proceedings of the Implementation and Applications of Automata, 2008

SDSIrep: A Reputation System Based on SDSI.

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Computing Simulations over Tree Automata.

Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Analyzing Asynchronous Programs with Preemption.

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Shape Analysis via Monotonic Abstraction.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

On the Reachability Analysis of Acyclic Networks of Pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

A logic of reachable patterns in linked data-structures.

Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

J. Log. Algebraic Methods Program., 2007

Permutation rewriting and algorithmic verification.

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili

Inf. Comput., 2007

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Rewriting Systems with Data.

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.

Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Parametric Verification of a Group Membership Algorithm.

Ahmed Bouajjani, Agathe Merceron

Theory Pract. Log. Program., 2006

On Symbolic Verification of Weakly Extended PAD.

Ahmed Bouajjani, Jan Strejcek, Tayssir Touili

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Static Analysis, 13th International Symposium, 2006

Rewriting Models of Boolean Programs.

Ahmed Bouajjani, Javier Esparza

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Reachability analysis of multithreaded software with asynchronous communication.

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

2005

Checking Timed Büchi Automata Emptiness Efficiently.

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Formal Methods Syst. Des., 2005

Regular Model Checking for Programs with Dynamic Memory.

Ahmed Bouajjani

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

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

Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

On Computing Reachability Sets of Process Rewrite Systems.

Ahmed Bouajjani, Tayssir Touili

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Using Forward Reachability Analysis for Verification of Lossy Channel Systems.

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Formal Methods Syst. Des., 2004

Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.

Ahmed Bouajjani, Axel Legay, Pierre Wolper

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Reachability Analysis of Synchronized PA Systems.

Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Symbolic Reachability Analysis of Higher-Order Context-Free Processes.

Ahmed Bouajjani, Antoine Meyer

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Abstract Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Automatic verification of recursive procedures with one integer parameter.

Ahmed Bouajjani, Peter Habermehl, Richard Mayr

Theor. Comput. Sci., 2003

A Generic Approach to the Static Analysis of Concurrent Programs with Procedures.

Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Int. J. Found. Comput. Sci., 2003

Reachability Analysis of Process Rewrite Systems.

Ahmed Bouajjani, Tayssir Touili

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Verification of Infinite State Systems (Tutorial).

Ahmed Bouajjani

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Deciding Monotonic Games.

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Proceedings of the CONCUR 2003, 2003

2002

Extrapolating Tree Transformations.

Ahmed Bouajjani, Tayssir Touili

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Preface.

Ahmed Bouajjani

Theor. Comput. Sci., 2001

Analyzing Fair Parametric Extended Automata.

Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu

Proceedings of the Static Analysis, 8th International Symposium, 2001

Perturbed Turing Machines and Hybrid Systems.

Eugene Asarin, Ahmed Bouajjani

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Languages, Rewriting Systems, and Verification of Infinite-State Systems.

Ahmed Bouajjani

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Effective Lossy Queue Languages.

Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

TReX: A Tool for Reachability Analysis of Complex Systems.

Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

An efficient automata approach to some problems on context-free grammars.

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Inf. Process. Lett., 2000

Regular Model Checking.

Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.

Aurore Annichini, Eugene Asarin, Ahmed Bouajjani

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations.

Ahmed Bouajjani, Peter Habermehl

Theor. Comput. Sci., 1999

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.

Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Model Checking Lossy Vector Addition Systems.

Ahmed Bouajjani, Richard Mayr

Proceedings of the STACS 99, 1999

Handling Global Conditions in Parameterized System Verification.

Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels.

Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

On-the-fly symbolic model checking for real-time systems.

Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).

Ahmed Bouajjani, Peter Habermehl

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Reachability Analysis of Pushdown Automata: Application to Model-Checking.

Ahmed Bouajjani, Javier Esparza, Oded Maler

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Model-Checking for Extended Timed Temporal Logics.

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Constrained Properties, Semilinear Systems, and Petri Nets.

Ahmed Bouajjani, Peter Habermehl

Proceedings of the CONCUR '96, 1996

1995

Property Preserving Abstractions for the Verification of Concurrent Systems.

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem

Formal Methods Syst. Des., 1995

Verifying Infinite State Processes with Sequential and Parallel Composition.

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

On the Verification Problem of Nonregular Properties for Nonregular Processes

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Proceedings of the Proceedings, 1995

Logics vs. Automata: The Hybrid Case.

Ahmed Bouajjani, Yassine Lakhnech

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Temporal Logic + Timed Automata: Expressiveness and Decidability.

Ahmed Bouajjani, Yassine Lakhnech

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.

Ahmed Bouajjani, Riadh Robbana

Proceedings of the Computer Aided Verification, 1995

From Duration Calculus To Linear Hybrid Automata.

Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana

Proceedings of the Computer Aided Verification, 1995

1994

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Hybrid Systems II, 1994

Verfying Invariance Properties of Timed Systems with Duration Variables.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Verification of Nonregular Temporal Properties for Context-Free Processes.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the CONCUR '94, 1994

Verification of Context-Free Timed Systems Using Linear Hybrid Observers.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

On Model Checking for Real-Time Properties with Durations

Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Minimal State Graph Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond

Sci. Comput. Program., 1992

Property Preserving Simulations.

Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Verification for Finite Systems (Extended Abstract).

Ahmed Bouajjani, Joseph Sifakis

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Safety for Branching Time Semantics.

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Minimal Model Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988

A logig for the description of behaviours and properties of concurrent systems.

Ahmed Bouajjani, Susanne Graf, Joseph Sifakis

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988