Mohamed Toufik Ailane

According to our database, Mohamed Toufik Ailane authored at least 5 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Specification Completion for Sustainable Software Development via Sustainability-Driven Mining.

Mohamed Toufik Ailane, Carolin Rubner, Andreas Rausch

Proceedings of the 9th IEEE/ACM International Workshop on Green and Sustainable Software, 2025

2022

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

Mohamed Toufik Ailane, Christoph Knieke, Andreas Rausch

CoRR, 2022

Towards Specification Completion for Systems with Emergent Behavior based on DevOps.

Mohamed Toufik Ailane, Adina Aniculaesei, Christoph Knieke, Andreas Rausch, Fauzi Sholichin

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2021

Toward Formalizing The Emergent Behavior in Software Engineering.

Mohamed Toufik Ailane, Mohammad Abboush, Christoph Knieke, Abram Lawendy, Andreas Rausch

Proceedings of the IEEE/ACM Joint 9th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 15th Workshop on Distributed Software Development, 2021

2018

Chorus-Line Algorithm for Clock Synchronization.

Mohamed Toufik Ailane, Jianguo Yao, Yuan Jin

IEEE Access, 2018