PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mohamed, Otmane Aït"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).

, , , and . Comput. J., 47 (1): 71-84 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohamed Hassan University of Stuttgart

Tarek Mohamed University of Stuttgart

Abdelrahman Hesham Mohamed University of Stuttgart

Sherif Abdulatif Mohamed University of Stuttgart

Mohamed Osama Helal Ahmed University of Stuttgart

 

Other publications of authors with the same name

A case study on system-level modeling by aspect-oriented programming., , , and . ISQED, page 345-349. IEEE Computer Society, (2009)Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications., , , and . MEMOCODE, page 175-184. IEEE, (2014)Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications., , and . ISCAS, page 417-420. IEEE, (2007)On the Design and Verification Methodology of the Look-Aside Interface., , , and . DATE, page 290-295. (2004)MDG-based Verification by Retiming and Combinational Transformations., , and . Great Lakes Symposium on VLSI, page 356-361. IEEE Computer Society, (1998)Special issue on contributions of computational intelligence in designing complex information systems., , and . Computing, 97 (7): 663-666 (2015)Mechanizing a pi-Calculus Equivalence in HOL.. TPHOLs, volume 971 of Lecture Notes in Computer Science, page 1-16. Springer, (1995)A New Approach for the Construction of Multiway Decision Graphs., , , , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 228-242. Springer, (2008)Coverage Driven Test Generation and Consistency Algorithm., and . KDPD, volume 8439 of Lecture Notes in Computer Science, page 136-151. Springer, (2013)New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking., , , and . IEEE Access, (2018)