Khaled El-Fakih

Available identifiers

zbMath Open el-fakih.khaledMaRDI QIDQ856739

List of research outcomes

Publication	Date of Publication	Type
Equivalence checking and intersection of deterministic timed finite state machines	2023-06-29	Paper
Deterministic timed finite state machines: equivalence checking and expressive power	2021-06-24	Paper
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets	2020-12-04	Paper
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation	2018-03-29	Paper
Distinguishing experiments for timed nondeterministic finite state machines	2014-05-05	Paper
Preset and adaptive homing experiments for nondeterministic finite state machines	2011-07-29	Paper
Progressive solutions to a parallel automata equation	2010-05-26	Paper
Progressive Solutions to FSM Equations	2009-02-12	Paper
FSM Test Translation Through Context	2007-05-02	Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets	2006-12-07	Paper
Progressive solutions to a parallel automata equation	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437065	2003-12-07	Paper

Research outcomes over time

This page was built for person: Khaled El-Fakih