Ahlem Triki

Papers

Total Citations

H-Index

About

Ahlem Triki is a computer scientist whose research bridges the critical gap between formal verification and real-time embedded systems. Her work focuses on rigorous system design, particularly for parallel and autonomous systems, where correctness and timing guarantees are paramount. Triki’s most-cited paper, “Model-Based Implementation of Parallel Real-Time Systems” (2013, 19 citations), introduces a methodology that transforms high-level models into efficient, provably correct implementations—a foundational contribution to the field of model-driven engineering. She further extends this approach in “Rigorous System Design Flow for Autonomous Systems” (2014), addressing the unique challenges of safety-critical autonomous platforms. Her research provides a systematic framework for ensuring reliability in complex, concurrent environments, directly impacting the development of dependable cyber-physical systems. By combining formal methods with practical implementation strategies, Triki’s work offers engineers a clear path from abstract specifications to verified, real-time code. Her contributions are particularly valuable for students and researchers exploring the intersection of formal verification, real-time systems, and autonomous system design, demonstrating how rigorous theory can be applied to solve pressing engineering problems.