Yacine Kissoum

Papers

Total Citations

H-Index

About

Yacine Kissoum is a researcher whose work centers on the modeling and verification of complex, reactive systems, with a particular emphasis on smart environments and formal methods. His most cited paper, "Modeling Smart Home Using the Paradigm of Nets within Nets" (2012), demonstrates a pioneering approach to representing the dynamic, hierarchical interactions within smart homes. By applying the "nets within nets" formalism—a powerful extension of Petri nets—Kissoum provides a rigorous framework for capturing both the structural and behavioral aspects of such systems, enabling more reliable design and analysis. This contribution, though niche, has garnered 5 citations, reflecting its foundational role in the intersection of ubiquitous computing and formal verification. Kissoum’s research is distinguished by its focus on bridging theoretical modeling techniques with practical, real-world applications, particularly in the domain of intelligent environments. His work offers valuable insights for students and researchers exploring how formal methods can ensure the correctness and safety of increasingly autonomous and interconnected systems, making him a notable figure in the advancement of smart system engineering.