Tayssir Touili

Centre National de la Recherche Scientifique, Carnegie Mellon University

Papers

Total Citations

H-Index

About

Tayssir Touili is a leading researcher in formal methods and software verification, with a focus on developing efficient frameworks for analyzing concurrent and reactive systems. Her key contributions center on bridging the gap between expressive specification languages and practical algorithmic verification. Notably, her seminal 2005 paper on "State/Event Software Verification for Branching-Time Specifications" (25 citations) introduced novel techniques for verifying complex temporal properties that combine both state-based and event-based reasoning—a critical need for modern software systems. Building on this, her 2004 work on "An Expressive Verification Framework for State/Event Systems" (5 citations) proposed the branching-time logic SE-A[omega], which integrates high expressive power with algorithmic tractability, enabling automated verification of intricate system behaviors. Touili’s research has significantly advanced the state of the art in model checking and formal verification, providing foundational tools for ensuring correctness in safety-critical software. Her work continues to influence both theoretical developments and practical verification tools, making her a respected figure in the formal methods community.