Author of the publication

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 319-336. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Anthraquinone derivatives based natural dye from Rheum emodi as a probe for thermal stability of proteins: Spectroscopic and chromatographic studies, , and . Journal of pharmaceutical and biomedical analysis, (2012)A study on inertia weight schemes with modified particle swarm optimization algorithm for multiple sequence alignment., , and . IC3, page 283-288. IEEE, (2013)Preliminary experiments in robot/human cooperative microinjection., , and . IROS, page 3186-3191. IEEE, (2003)Tracking multiple targets using binary proximity sensors., , , , and . IPSN, page 529-538. ACM, (2007)Multiple-Input Multiple-Output Paper Machine System Control Using Fuzzy-PID Tuned Controller., and . SocProS (2), volume 437 of Advances in Intelligent Systems and Computing, page 145-155. Springer, (2015)Simple and Efficient Computational Intelligence Strategies for Effective Collaborative Decisions., and . Future Internet, 11 (1): 24 (2019)Economic analysis and power management of a stand-alone wind/photovoltaic hybrid energy system using biogeography based optimization algorithm., , and . Swarm Evol. Comput., (2013)Context-aware search optimization framework on the internet of things., , and . Concurr. Comput. Pract. Exp., (2018)Real-Time Implementation of a Harmony Search Algorithm-Based Clustering Protocol for Energy-Efficient Wireless Sensor Networks., , , and . IEEE Trans. Ind. Informatics, 10 (1): 774-783 (2014)OCTRA-5G: Osmotic computing based task scheduling and resource allocation framework for 5G., , and . Concurr. Comput. Pract. Exp., (2022)