Waheed Ahmad

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Optimal Scheduling

Reachability Analysis

Decision Support

Top Venues

Publications

Azhar Iqbal Kashif Butt, Waheed Ahmad, Muhammad Rafiq, Naeed Ahmad, Muhammad Imran
Computationally efficient optimal control analysis for the mathematical model of Coronavirus pandemic. Expert Syst. Appl. 234 (2023)
Waheed Ahmad, Ayaz Ahmad, Amjad Iqbal, Muhammad Hamayun, Anwar Hussain, Gauhar Rehman, Salman Khan, Ubaid Ullah Khan, Dawar Khan, Lican Huang
Intelligent hepatitis diagnosis using adaptive neuro-fuzzy inference system and information gain method. Soft Comput. 23 (21) (2019)
Waheed Ahmad, Ayaz Ahmad, Chuncheng Lu, Barkat Ali Khoso, Lican Huang
A novel hybrid decision support system for thyroid disease forecasting. Soft Comput. 22 (16) (2018)
Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy (2016)
Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD (2016)
Waheed Ahmad, Jaco van de Pol
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) (2016)
Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD (2015)
Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD (2014)
Waheed Ahmad, Andrei Lobov, Jose L. Martinez Lastra
Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line. INDIN (2012)