Khaled El-Fakih

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Equivalence checking and intersection of deterministic timed finite state machines Formal Methods in System Design	2023-06-29	Paper
Deterministic timed finite state machines: equivalence checking and expressive power	2021-06-24	Paper
Deterministic timed finite state machines: equivalence checking and expressive power (available as arXiv preprint)	2021-06-24	Paper
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets Distributed Computing	2020-12-04	Paper
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation Formal Aspects of Computing	2018-03-29	Paper
Distinguishing experiments for timed nondeterministic finite state machines Acta Cybernetica	2014-05-05	Paper
Preset and adaptive homing experiments for nondeterministic finite state machines Implementation and Application of Automata	2011-07-29	Paper
Progressive solutions to a parallel automata equation Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Progressive Solutions to FSM Equations Implementation and Applications of Automata	2009-02-12	Paper
FSM Test Translation Through Context Lecture Notes in Computer Science	2007-05-02	Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets Computer Networks	2006-12-07	Paper
Progressive solutions to a parallel automata equation Theoretical Computer Science	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
scientific article; zbMATH DE number 2013785 (Why is no real title available?)	2003-12-07	Paper

Research outcomes over time

This page was built for person: Khaled El-Fakih