Tayssir Touili

Fu Song, Tayssir Touili: Model-Checking Software Library API Usage Rules. IFM 2013: 192-207

Fu Song, Tayssir Touili: LTL Model-Checking for Malware Detection. TACAS 2013: 416-431

Tayssir Touili: Preface. Formal Methods in System Design 40(2): 121 (2012)

Tayssir Touili: Computing transitive closures of hedge transformations. IJCCBS 3(1/2): 132-150 (2012)

Ahmed Bouajjani, Tayssir Touili: Widening techniques for regular tree model checking. STTT 14(2): 145-165 (2012)

Fu Song, Tayssir Touili: Efficient Malware Detection Using Model-Checking. FM 2012: 418-433

Fu Song, Tayssir Touili: PuMoC: a CTL model-checker for sequential programs. ASE 2012: 346-349

Fu Song, Tayssir Touili: Pushdown Model Checking for Malware Detection. TACAS 2012: 110-125

Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A decision procedure for detecting atomicity violations for communicating processes with locks. STTT 13(1): 37-60 (2011)

Fu Song, Tayssir Touili: Efficient CTL Model-Checking for Pushdown Systems. CONCUR 2011: 434-449

Tayssir Touili, Mohamed Faouzi Atig: Verifying parallel programs with dynamic communication structures. Theor. Comput. Sci. 411(38-39): 3460-3468 (2010)

Tayssir Touili, Byron Cook, Paul Jackson (Eds.): Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Lecture Notes in Computer Science 6174, Springer 2010, isbn 978-3-642-14294-9

Mihaela Sighireanu, Tayssir Touili: Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. Electr. Notes Theor. Comput. Sci. 239: 43-56 (2009)

Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili: Verifying Multithreaded Recursive Programs with Integer Variables. Electr. Notes Theor. Comput. Sci. 239: 143-154 (2009)

Tayssir Touili: Constrained Reachability of Process Rewrite Systems. ICTAC 2009: 307-321

Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142

Mohamed Faouzi Atig, Tayssir Touili: Verifying Parallel Programs with Dynamic Communication Structures. CIAA 2009: 145-154

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: Analyzing Asynchronous Programs with Preemption. FSTTCS 2008: 37-48

Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298

Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar: Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67

Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007)

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007)

Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94

Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257

Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217

Julien d'Orso, Tayssir Touili: Regular Hedge Model Checking. IFIP TCS 2006: 213-230

Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349

Ahmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487

Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69

Ahmed Bouajjani, Tayssir Touili: On Computing Reachability Sets of Process Rewrite Systems. RTA 2005: 484-499

Tayssir Touili: Dealing with Communication for Dynamic Multithreaded Recursive Programs. VISSAS 2005: 213-227

Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith: Verification by Network Decomposition. CONCUR 2004: 276-291

Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci. 14(4): 551- (2003)

Ahmed Bouajjani, Tayssir Touili: Reachability Analysis of Process Rewrite Systems. FSTTCS 2003: 74-87

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

Ahmed Bouajjani, Tayssir Touili: Extrapolating Tree Transformations. CAV 2002: 539-554

Tayssir Touili: Regular Model Checking using Widening Techniques. Electr. Notes Theor. Comput. Sci. 50(4): 342-356 (2001)

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation Rewriting and Algorithmic Verification. LICS 2001: 399-408

Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili: Regular Model Checking. CAV 2000: 403-418