Chorus-Line Algorithm for Clock Synchronization. - Mohamed Toufik Ailane; Jianguo Yao; Yuan Jin (IEEE Access, 2018)

Toward Formalizing The Emergent Behavior in Software Engineering. - Mohamed Toufik Ailane; Mohammad Abboush; Christoph Knieke; Abram Lawendy; Andreas Rausch 001 (SESoS/WDES, 2021)

Towards Specification Completion for Systems with Emergent Behavior based on DevOps. - Mohamed Toufik Ailane; Adina Aniculaesei; Christoph Knieke; Andreas Rausch 001; Fauzi Sholichin (CSCI, 2022)

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ? - Mohamed Toufik Ailane; Christoph Knieke; Andreas Rausch 001 (CoRR, 2022)

Specification Completion for Sustainable Software Development via Sustainability-Driven Mining. - Mohamed Toufik Ailane; Carolin Rubner; Andreas Rausch 001 (GREENS@ICSE, 2025)