Waheed Ahmad
PhD Candidate, University of Twente




Research Interests

Since January 2013, I am working under the supervision of Dr. Mariëlle Stoelinga and Prof. Dr. Jaco van de Pol on the EU FP7 project named SENSATION. This project aims at increasing the scale of self energy-supporting systems capable of balancing energy harvesting and consumption, up to the level of complete products. My research interests are Real-time (Dataflow) Applications, Concurrent Systems, Model-checking, and Model-Driven Engineering.



  • COMET tool-chain: CO-designing using Model-Driven Engineering for DaTaflow Applications. Download Link.
  • STARS tool-chain: Scheduling and Temporal Analysis of Resource-constrained SDF graphs. Download Link.
  • SDF Fish. Web Version.Download Link.

Technical Reports


Selected Talks

Selected Events Attended

  • IPA Spring Days on Cyber-Physical Systems, Groesbeck, Netherlands, May 2013
  • IPA Course on Formal Methods, Eindhoven, Netherlands, Oct/Nov 2013
  • Design, Automation & Testing in Europe (DATE), Dresden, Germany, March 2014
  • 2nd MEALS Workshop, ETAPS, Grenoble, France, April 2014
  • 14th IEEE International Conference on Application of Concurrency to System Design (ACSD), Tunis, Tunisia, June 2014
  • International Summer School on Trends in Computing, Tarragona, Spain, July 2014
  • 1st Dutch National Symposium on Software Engineering (SEN), CWI, Amsterdam, Netherlands, Dec. 2014
  • 18th Euromicro Conference on Digital Systems Design (DSD), Madeira, Portugal, August 2015
  • 12th Laser Summer School on Software Engineering, Elba Island, Italy, Sep. 2015
  • 16th IEEE International Conference on Application of Concurrency to System Design (ACSD), Torun, Poland, June 2016
  • 7th International Symposium on Leveraging Applications for Formal Methods, Verification, and Validation (ISoLA), Corfu, Greece, October 2016

Organising and Technical Program Committee