Author of the publication

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.

, , , and . ICCSA (4), volume 9158 of Lecture Notes in Computer Science, page 612-627. Springer, (2015)

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

Adopting Fuzzy Technique to Save Energy in Smart Home Control System., , , , , and . UNet, volume 10542 of Lecture Notes in Computer Science, page 345-356. Springer, (2017)Reducing efforts of software engineering systematic literature reviews updates using text classification., , , , , and . Inf. Softw. Technol., (2020)Evaluation of Test Criteria for Space Application Software Modeling in Statecharts., , , and . CIMCA/IAWTIC/ISE, page 157-162. IEEE Computer Society, (2008)Strategies for improving the modeling and interpretability of Bayesian networks., , , , , , and . Data Knowl. Eng., 63 (1): 91-107 (2007)Performance evaluation based on system modeling using Statecharts extensions., , , , , , , and . Simul. Model. Pract. Theory, 13 (7): 584-618 (2005)H-Switch Cover: a new test criterion to generate test case from finite state machines., , and . Softw. Qual. J., 25 (2): 373-405 (2017)An Optimization Model for Allocation of Network Users in Macro-femto Networks - An Approach based on Energy Efficiency and Quality of Service., , , , , and . SMARTGREENS, page 209-214. SciTePress, (2012)Using Natural Language Processing to Build Graphical Abstracts to be used in Studies Selection Activity in Secondary Studies., , , , , , and . SEAA, page 1-8. IEEE, (2021)A Markovian Performance Model for Resource Allocation Scheduling on GNU/Linux., , , , , , and . ISPA Workshops, volume 4331 of Lecture Notes in Computer Science, page 844-853. Springer, (2006)An Empirical Study on the Knowledge Management Practice in Software Testing., , , , , and . CIbSE, page 29-42. Curran Associates, (2018)