Author of the publication

An educational tool for implementing reactive systems following a goal-driven approach.

, , , , and . Comput. Appl. Eng. Educ., 22 (4): 764-773 (2014)

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

An educational tool for implementing reactive systems following a goal-driven approach., , , , and . Comput. Appl. Eng. Educ., 22 (4): 764-773 (2014)Sensitive Parameter Analysis for Solar Irradiance Short-Term Forecasting: Application to LoRa-Based Monitoring Technology., , , and . Sensors, 22 (4): 1499 (2022)Terahertz Frequency-Scaled Differential Imaging for Sub-6 GHz Vehicular Antenna Signature Analysis., , , , , , , and . Sensors, 20 (19): 5636 (2020)Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks., , , and . ICCS, volume 80 of Procedia Computer Science, page 1191-1201. Elsevier, (2016)Improving the Automatic Derivation of Choreography-conforming Web Services Systems., , , and . ICCS, volume 9 of Procedia Computer Science, page 449-458. Elsevier, (2012)Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation., , , , and . IJDSN, (2015)Democratization of PV Micro-Generation System Monitoring Based on Narrowband-IoT., , , , , and . Sensors, 22 (13): 4966 (2022)Petri nets-based model for the analysis of NORIA protocol., , , and . Concurr. Comput. Pract. Exp., 27 (17): 4704-4715 (2015)BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources, , and . CoRR, (2012)Data-aware automatic derivation of choreography-conforming systems of services., , , and . Comput. Stand. Interfaces, (2017)