Ahmed Bouajjani - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

On the verification problem for weak memory modelsMohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi. POPL 2010: 7-18 [doi]

Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. ProceedingsAhmed Bouajjani, Wei-Ngan Chin, editors, Volume 6252 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Invariant Synthesis for Programs Manipulating Lists with Unbounded DataAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu. cav 2010: 72-88 [doi]

2009

Composed Bisimulation for Tree AutomataParosh Aziz Abdulla, Ahmed Bouajjani, LukÃ¡s HolÃk, Lisa Kaati, TomÃ¡s Vojnar. ijfcs, 20(4):685-700, 2009. [doi]

On the Reachability Problem for Dynamic Networks of Concurrent Pushdown SystemsMohamed Faouzi Atig, Ahmed Bouajjani. rp 2009: 1-2 [doi]

Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of ThreadsMohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer. TACAS 2009: 107-123 [doi]

Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. ProceedingsAhmed Bouajjani, Oded Maler, editors, Volume 5643 of Lecture Notes in Computer Science, Springer, 2009. [doi]

A Logic-Based Framework for Reasoning about Composite Data StructuresAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu. concur 2009: 178-195 [doi]

Rewriting Systems over Nested Data WordsAhmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu. memics 2009: [doi]

2008

Computing Simulations over Tree AutomataParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar. TACAS 2008: 93-108 [doi]

Composed Bisimulation for Tree AutomataParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar. wia 2008: 212-222 [doi]

Monotonic and Downward Closed GamesParosh Aziz Abdulla, Ahmed Bouajjani, Julien d Orso. logcom, 18(1):153-169, 2008. [doi]

Monotonic Abstraction for Programs with Dynamic Memory HeapsParosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine. cav 2008: 341-354 [doi]

Analyzing Asynchronous Programs with PreemptionMohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili. fsttcs 2008: [doi]

On the Reachability Analysis of Acyclic Networks of Pushdown SystemsMohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili. concur 2008: 356-371 [doi]

Verification of parametric concurrent systems with prioritised FIFO resource managementAhmed Bouajjani, Peter Habermehl, Tomás Vojnar. fmsd, 32(2):129-172, 2008. [doi]

SDSIrep: A Reputation System Based on SDSIAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth. TACAS 2008: 501-516 [doi]

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree AutomataAhmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar. wia 2008: 57-67 [doi]

2007

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State ProcessesAhmed Bouajjani, Yan Jurski, Mihaela Sighireanu. TACAS 2007: 690-705 [doi]

On Symbolic Verification of Weakly Extended PADAhmed Bouajjani, Jan Strejcek, Tayssir Touili. ENTCS, 175(3):47-64, 2007. [doi]

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked StructuresAhmed Bouajjani, Séverine Fratani, Shaz Qadeer. cav 2007: 207-220 [doi]

Rewriting Systems with DataAhmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu. fct 2007: 1-22 [doi]

Permutation rewriting and algorithmic verificationAhmed Bouajjani, Anca Muscholl, Tayssir Touili. iandc, 205(2):199-224, 2007. [doi]

A logic of reachable patterns in linked data-structuresGreta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani. jlp, 73(1-2):111-142, 2007. [doi]

2006

06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program AnalysisParosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm. dagstuhl 2006: [doi]

06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program AnalysisParosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm. dagstuhl 2006: [doi]

Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, editors, Volume 06081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

Parametric Verification of a Group Membership AlgorithmAhmed Bouajjani, Agathe Merceron. tplp, 6(3):321-353, 2006. [doi]

Programs with Lists Are Counter AutomataAhmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar. cav 2006: 517-531 [doi]

Reachability analysis of multithreaded software with asynchronous communicationAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek. dagstuhl 2006: [doi]

Abstract Regular Tree Model CheckingAhmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar. ENTCS, 149(1):37-48, 2006. [doi]

Abstract Regular Tree Model Checking of Complex Dynamic Data StructuresAhmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar. SAS 2006: 52-70 [doi]

Rewriting Models of Boolean ProgramsAhmed Bouajjani, Javier Esparza. RTA 2006: 136-150 [doi]

A Logic of Reachable Patterns in Linked Data-StructuresGreta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani. fossacs 2006: 94-110 [doi]

2005

Reachability Analysis of Multithreaded Software with Asynchronous CommunicationAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek. fsttcs 2005: 348-359 [doi]

Regular Symbolic Analysis of Dynamic Networks of Pushdown SystemsAhmed Bouajjani, Markus Müller-Olm, Tayssir Touili. concur 2005: 473-487 [doi]

Reachability Analysis of Synchronized PA SystemsAhmed Bouajjani, Javier Esparza, Tayssir Touili. ENTCS, 138(3):153-178, 2005. [doi]

On Computing Reachability Sets of Process Rewrite SystemsAhmed Bouajjani, Tayssir Touili. RTA 2005: 484-499 [doi]

Handling Liveness Properties in (::::omega::::-)Regular Model CheckingAhmed Bouajjani, Axel Legay, Pierre Wolper. ENTCS, 138(3):101-115, 2005. [doi]

Regular Model Checking for Programs with Dynamic MemoryAhmed Bouajjani. vissas 2006: 17-22

Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model CheckingAhmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar. TACAS 2005: 13-29 [doi]

Checking Timed Büchi Automata Emptiness EfficientlyStavros Tripakis, Sergio Yovine, Ahmed Bouajjani. fmsd, 26(3):267-292, 2005. [doi]

2004

Using Forward Reachability Analysis for Verification of Lossy Channel SystemsParosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson. fmsd, 25(1):39-65, 2004. [doi]

Symbolic Reachability Analysis of Higher-Order Context-Free ProcessesAhmed Bouajjani, Antoine Meyer. fsttcs 2004: 135-147 [doi]

Abstract Regular Model CheckingAhmed Bouajjani, Peter Habermehl, Tomás Vojnar. cav 2004: 372-386 [doi]

2003

Deciding Monotonic GamesParosh Aziz Abdulla, Ahmed Bouajjani, Julien d Orso. csl 2003: 1-14 [doi]

Automatic verification of recursive procedures with one integer parameterAhmed Bouajjani, Peter Habermehl, Richard Mayr. TCS, 295:85-106, 2003. [doi]

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource ManagementAhmed Bouajjani, Peter Habermehl, Tomás Vojnar. concur 2003: 172-187 [doi]

Verification of Infinite State Systems (Tutorial)Ahmed Bouajjani. csl 2003: 71 [doi]

Reachability Analysis of Process Rewrite SystemsAhmed Bouajjani, Tayssir Touili. fsttcs 2003: 74-87 [doi]

A generic approach to the static analysis of concurrent programs with proceduresAhmed Bouajjani, Javier Esparza, Tayssir Touili. POPL 2003: 62-73 [doi]

A Generic Approach to the Static Analysis of Concurrent Programs with ProceduresAhmed Bouajjani, Javier Esparza, Tayssir Touili. ijfcs, 14(4):551, 2003. [doi]

2002

Parametric Verification of a Group Membership AlgorithmAhmed Bouajjani, Agathe Merceron. ftrtft 2002: 311-330 [doi]

Extrapolating Tree TransformationsAhmed Bouajjani, Tayssir Touili. cav 2002: 539-554 [doi]

2001

Effective Lossy Queue LanguagesParosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani. icalp 2001: 639-651 [doi]

TReX: A Tool for Reachability Analysis of Complex SystemsAurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu. cav 2001: 368-372 [doi]

Perturbed Turing Machines and Hybrid SystemsEugene Asarin, Ahmed Bouajjani. lics 2001: 269-278

Analyzing Fair Parametric Extended AutomataAhmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu. SAS 2001: 335-355 [doi]

PrefaceAhmed Bouajjani. TCS, 256(1-2):1-2, 2001. [doi]

Automatic Verification of Recursive Procedures with One Integer ParameterAhmed Bouajjani, Peter Habermehl, Richard Mayr. mfcs 2001: 198-211 [doi]

Permutation Rewriting and Algorithmic VerificationAhmed Bouajjani, Anca Muscholl, Tayssir Touili. lics 2001:

Languages, Rewriting Systems, and Verification of Infinite-State SystemsAhmed Bouajjani. icalp 2001: 24-39 [doi]

2000

1999

1998

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO ChannelsParosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson. cav 1998: 305-318

1997

Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract)Ahmed Bouajjani, Peter Habermehl. icalp 1997: 560-570

On-the-fly symbolic model checking for real-time systemsAhmed Bouajjani, Stavros Tripakis, Sergio Yovine. rtss 1997: 25 [doi]

Reachability Analysis of Pushdown Automata: Application to Model-CheckingAhmed Bouajjani, Javier Esparza, Oded Maler. concur 1997: 135-150

1996

Constrained Properties, Semilinear Systems, and Petri NetsAhmed Bouajjani, Peter Habermehl. concur 1996: 481-497

Model-Checking for Extended Timed Temporal LogicsAhmed Bouajjani, Yassine Lakhnech, Sergio Yovine. ftrtft 1996: 306-326

1995

From Duration Calculus To Linear Hybrid AutomataAhmed Bouajjani, Yassine Lakhnech, Riadh Robbana. cav 1995: 196-210

Verifying omega-Regular Properties for a Subclass of Linear Hybrid SystemsAhmed Bouajjani, Riadh Robbana. cav 1995: 437-450

On the Verification Problem of Nonregular Properties for Nonregular ProcessesAhmed Bouajjani, Rachid Echahed, Peter Habermehl. lics 1995: 123-133

Temporal Logic + Timed Automata: Expressiveness and DecidabilityAhmed Bouajjani, Yassine Lakhnech. concur 1995: 531-545

Logics vs. Automata: The Hybrid CaseAhmed Bouajjani, Yassine Lakhnech. hybrid 1996: 531-542

Verifying Infinite State Processes with Sequential and Parallel CompositionAhmed Bouajjani, Rachid Echahed, Peter Habermehl. POPL 1995: 95-106

Property Preserving Abstractions for the Verification of Concurrent SystemsClaire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem. fmsd, 6(1):11-44, 1995.

1994

1993

On Model Checking for Real-Time Properties with DurationsAhmed Bouajjani, Rachid Echahed, Joseph Sifakis. lics 1993: 147-159

1992

Property Preserving SimulationsSaddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis. cav 1993: 260-273

Minimal State Graph GenerationAhmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond. SCP, 18(3):247-269, 1992.

1991

Verification for Finite Systems (Extended Abstract)Ahmed Bouajjani, Joseph Sifakis. tapsoft 1991: 55-57

Safety for Branching Time SemanticsAhmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis. icalp 1991: 76-92

1990

Minimal Model GenerationAhmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs. cav 1991: 197-203

1988

A logig for the description of behaviours and properties of concurrent systemsAhmed Bouajjani, Susanne Graf, Joseph Sifakis. rex 1989: 398-410