Author of the publication

A method for testing and validating executable statechart models.

, , and . Software and Systems Modeling, 18 (2): 837-863 (2019)

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

Conflicts Resolution with the SoDA Methodology., , and . COREDEMA@ECAI, volume 10238 of Lecture Notes in Computer Science, page 82-99. (2016)From Natural Language to Argumentation and Cognitive Systems., , , and . COMMONSENSE, volume 2052 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Using ASEME Methodology for Model-Driven Agent Systems Development., and . AOSE, volume 6788 of Lecture Notes in Computer Science, page 106-127. Springer, (2010)A method for testing and validating executable statechart models., , and . Software and Systems Modeling, 18 (2): 837-863 (2019)Validating Business Requirements Using MAS Analysis Models., , and . AAMAS, page 1693-1694. ACM, (2015)An Agent Modeling Language Implementing Protocols through Capabilities., and . IAT, page 578-582. IEEE Computer Society, (2008)978-0-7695-3496-1.Modular JADE Agents Design and Implementation Using ASEME., and . IAT, page 221-228. IEEE Computer Society Press, (2010)978-0-7695-4191-4.A Tool for Portfolio Generation Using an Argumentation Based Decision Making Framework., and . ICTAI (2), page 270-273. IEEE Computer Society, (2007)0-7695-3015-X.An Open MAS Services Architecture for the V2G/G2V Problem., , , and . AAMAS, page 2198-2200. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Portfolio performance and risk-based assessment of the PORTRAIT tool., and . Operational Research, 15 (3): 359-378 (2015)