default search action
Mohamed H. Zaki
Person information
- affiliation: Concordia University, Faculty of Engineering and Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j16]Kazi Redwan Shabab
, Shakib Mustavee
Dynamic mode decomposition type algorithms for modeling and predicting queue lengths at signalized intersections with short lookback. J. Intell. Transp. Syst. 28(5): 741-755 (2024) - [j15]Zijin Wang
Investigating the Effects of Human-Machine Interface on Cooperative Driving Using a Multi-Driver Co-Simulation Platform. IEEE Trans. Intell. Veh. 9(1): 2808-2821 (2024) - 2022
- [j14]Saumya Gupta
Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach. IEEE Access 10: 81624-81641 (2022) - [j13]Al-Hussein A. El-Shafie
An efficient hardware implementation of CNN-based object trackers for real-time applications. Neural Comput. Appl. 34(22): 19937-19952 (2022) - 2020
- [j12]Adnan Rashid
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8: 27291-27307 (2020) - [j11]Ibtissem Seghaier
Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 294-307 (2020) - 2018
- [j10]Ons Lahiouel
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(3): 517-530 (2018) - [j9]Mohamed H. Zaki
Automated Analysis of Pedestrian Group Behavior in Urban Settings. IEEE Trans. Intell. Transp. Syst. 19(6): 1880-1889 (2018) - 2017
- [j8]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59: 135-147 (2017) - 2016
- [j7]Henda Aridhi, Mohamed H. Zaki
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24(3): 1036-1049 (2016) - 2013
- [j6]Mohamed H. Zaki
Classifying Road Users in Urban Scenes Using Movement Patterns. J. Comput. Civ. Eng. 27(4): 395-406 (2013) - [j5]Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki
Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 21(10): 1811-1822 (2013) - 2011
- [j4]William Denman, Mohamed H. Zaki
Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. 5(3): 243-255 (2011) - 2010
- [j3]Rajeev Narayanan, Mohamed H. Zaki
Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. J. Electron. Test. 26(1): 97-109 (2010) - 2009
- [j2]Mohamed H. Zaki
Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. 6(5): 373-392 (2009) - 2008
- [j1]Mohamed H. Zaki
Formal verification of analog and mixed signal designs: A survey. Microelectron. J. 39(12): 1395-1404 (2008)
Conference and Workshop Papers
- 2025
- [c29]Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar:
Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections. SysCon 2025: 1-8 - 2024
- [c28]Alaa Torkey
Emergency Management Plan for Electric Vehicles During Floods Using Daily Routing Patterns. SM 2024: 183-188 - [c27]Ahmed ElNawawy, Jinhyung Lee, Mohamed H. Zaki:
Optimizing Smart Bike-Sharing Station Placement Near Public Transit Stops Using GIS: A Case Study of London, Ontario. SM 2024: 203-208 - [c26]Oumaima Barhoumi, Mohamed H. Zaki
Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS 2024: 1-19 - 2021
- [c25]Al-Hussein A. El-Shafie
Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. ISCAS 2021: 1-5 - 2019
- [c24]Al-Hussein A. El-Shafie
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. IWCMC 2019: 1476-1481 - 2017
- [c23]Ons Lahiouel, Mohamed H. Zaki
Enhancing analog yield optimization for variation-aware circuits sizing. DATE 2017: 1273-1276 - 2016
- [c22]Ibtissem Seghaier, Mohamed H. Zaki
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS 2016: 1294-1297 - 2015
- [c21]Ons Lahiouel, Mohamed H. Zaki
Towards enhancing analog circuits sizing using SMT-based techniques. DAC 2015: 171:1-171:6 - [c20]Ibtissem Seghaier, Mohamed H. Zaki
Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI 2015: 99-102 - [c19]Ibtissem Seghaier, Mohamed H. Zaki
A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI 2015: 237-242 - 2014
- [c18]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki
A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI 2014: 247-248 - [c17]Paul Winkler, Henda Aridhi, Mohamed H. Zaki
Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI 2014: 305-310 - [c16]Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki
A qualitative simulation approach for verifying PLL locking property. ACM Great Lakes Symposium on VLSI 2014: 317-322 - [c15]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki
Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS 2014: 161-164 - 2013
- [c14]Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks. UAI 2013 - 2012
- [c13]Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Towards improving simulation of analog circuits using model order reduction. DATE 2012: 1337-1342 - [c12]Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar:
Verifying jitter in an analog and mixed signal design using dynamic time warping. DATE 2012: 1413-1416 - [c11]Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki
Using LCSS algorithm for circuit level verification of analog designs. NEWCAS 2012: 185-188 - 2011
- [c10]Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar:
Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. DATE 2011: 1188-1191 - [c9]William Denman, Mohamed H. Zaki
Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods 2011: 89-100 - 2010
- [c8]Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson:
Formal verification of analog circuits in the presence of noise and process variation. DATE 2010: 1309-1312 - 2009
- [c7]William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki
Formal verification of analog designs using MetiTarski. FMCAD 2009: 93-100 - 2007
- [c6]Ghiath Al Sammane, Mohamed H. Zaki
A symbolic methodology for the verification of analog and mixed signal designs. DATE 2007: 249-254 - [c5]Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar:
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. FDL 2007: 293-298 - [c4]Mohamed H. Zaki
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. FMCAD 2007: 207-215 - [c3]Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar:
Formal Verification of Analog and Mixed Signal Designs in Mathematica. International Conference on Computational Science (2) 2007: 263-267 - [c2]Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
Qualitative Abstraction based Verification for Analog Circuits. ISoLA 2007: 147-158 - 2006
- [c1]Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
A practical approach for monitoring analog circuits. ACM Great Lakes Symposium on VLSI 2006: 330-335
Informal and Other Publications
- 2025
- [i5]Mariam Nour, Mohamed H. Zaki, Mohamed A. Abdel-Aty:
Towards Connected Smart Work Zones: Advancing Work Zone Management through Improved Connectivity. CoRR abs/2503.14801 (2025) - 2021
- [i4]Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal Das:
Exploring DMD-type Algorithms for Modeling Signalised Intersections. CoRR abs/2107.06369 (2021) - [i3]Mariam Nour, Mohamed H. Zaki:
Towards formalization and monitoring of microscopic traffic parameters using temporal logic. CoRR abs/2110.06208 (2021) - 2019
- [i2]Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib:
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. CoRR abs/1901.02620 (2019) - 2013
- [i1]Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks. CoRR abs/1309.6833 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-13 18:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: