Author of the publication

CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF.

, , , and . Softw. Syst. Model., 20 (3): 867-895 (2021)

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

Using Evolutionary Computation to Improve Mutation Testing., , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 381-391. Springer, (2017)Using Ants to Fight Wildfire., , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 371-380. Springer, (2017)FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage., , and . J. Information Telecommunication, 2 (1): 2-18 (2018)Passive testing of communicating systems with timeouts., and . Inf. Softw. Technol., (2015)Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems., , and . SEKE, page 426-431. Knowledge Systems Institute Graduate School, (2009)A Logic for Assessing Sets of Heterogeneous Testing Hypotheses., , and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 39-54. Springer, (2006)Scenarios-Based Testing of Systems with Distributed Ports., , and . QSIC, page 52-61. IEEE Computer Society, (2010)How does the memory work? By timed-arc Petri nets., , , , and . IEEE ICCI, page 128-135. IEEE Computer Society, (2005)Generation of optimal finite test suites for timed systems., , and . TASE, page 149-158. IEEE Computer Society, (2007)Analysis of the OLSR Protocol by Using Formal Passive Testing., , , , and . APSEC, page 152-159. IEEE Computer Society, (2009)