Waheed Ahmad

According to our database, Waheed Ahmad authored at least 9 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Computationally efficient optimal control analysis for the mathematical model of Coronavirus pandemic.

Azhar Iqbal Kashif Butt, Waheed Ahmad, Muhammad Rafiq, Naeed Ahmad, Muhammad Imran

Expert Syst. Appl., December, 2023

2019

Intelligent hepatitis diagnosis using adaptive neuro-fuzzy inference system and information gain method.

Waheed Ahmad, Ayaz Ahmad, Amjad Iqbal, Muhammad Hamayun, Anwar Hussain, Gauhar Rehman, Salman Khan, Ubaid Ullah Khan, Dawar Khan, Lican Huang

Soft Comput., 2019

2018

A novel hybrid decision support system for thyroid disease forecasting.

Waheed Ahmad, Ayaz Ahmad, Chuncheng Lu, Barkat Ali Khoso, Lican Huang

Soft Comput., 2018

2016

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.

Waheed Ahmad, Jaco van de Pol

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.

Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata.

Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.

Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.

Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2012

Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line.

Waheed Ahmad, Andrei Lobov, Jose L. Martinez Lastra

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012