المؤلفون: Gleirscher, Mario, Massoud, Rehab, Hutter, Dieter, Lüth, Christoph

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2404.10747

المؤلفون: Massoud, Rehab, Le, Hoang M., Chini, Peter, Saivasan, Prakash, Meyer, Roland, Drechsler, Rolf

المصدر: 2019 56th ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2019 56th ACM/IEEE. :1-6 Jun, 2019

Relation: 2019 56th ACM/IEEE Design Automation Conference (DAC)

المؤلفون: Schmidt, Robert, Massoud, Rehab, Raik, Jaan, Garcia-Ortiz, Alberto, Drechsler, Rolf

المصدر: 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS) On-Line Testing And Robust System Design (IOLTS), 2018 IEEE 24th International Symposium on. :247-250 Jul, 2018

Relation: 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)

المؤلفون: Chini, Peter, Massoud, Rehab, Meyer, Roland, Saivasan, Prakash

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Discrete Mathematics

URL الوصول: http://arxiv.org/abs/1807.05777

المؤلفون: Massoud, Rehab H., Abdelhalim, M. B., Allam, Mahmoud

المصدر: 2011 International Symposium on Performance Evaluation of Computer & Telecommunication Systems Performance Evaluation of Computer & Telecommunication Systems (SPECTS), 2011 International Symposium on. :235-240 Jun, 2011

Relation: 2011 International Symposium on Performance Evaluation of Computer & Telecommunication Systems (SPECTS)

المؤلفون: Massoud, Rehab^Aff10, Le, Hoang M.^Aff10, Drechsler, Rolf^{Aff10, Aff11}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, André, Étienne, editor^Aff8, Stoelinga, Mariëlle, editor^Aff9

المصدر: Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings. 11750:41-58

المؤلفون: Massoud, Rehab^Aff15, Stoppe, Jannis^{Aff15, Aff16}, Große, Daniel^{Aff15, Aff16}, Drechsler, Rolf^{Aff15, Aff16}

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Abate, Alessandro, editor^Aff13, Geeraerts, Gilles, editor^Aff14

المصدر: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings. 10419:335-351

المؤلفون: Massoud, Rehab

المساهمون: Drechsler, Rolf, Bertacco, Valeria

مصطلحات موضوعية: Temporal Description Logics, Formal verification, ddc:0

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00031e106fbd1c938f7a077f75824d4a