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

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 Statistical Approach to Test Stochastic and Probabilistic Systems., , , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 186-205. Springer, (2009)Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts., and . CEC, page 2403-2410. IEEE, (2021)Using Ants to Fight Wildfire., , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 371-380. Springer, (2017)MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning., , and . ACIIDS (2), volume 5991 of Lecture Notes in Computer Science, page 47-56. Springer, (2010)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)How does the memory work? By timed-arc Petri nets., , , , and . IEEE ICCI, page 128-135. IEEE Computer Society, (2005)