Author of the publication

Automatic Processing of Planning Problems: Application on Representative Case Studies.

, , , and . ICCCI (CCIS Volume), volume 1653 of Communications in Computer and Information Science, page 436-445. Springer, (2022)

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

From an abstract specification in event-b toward an UML/OCL model., and . FormaliSE, page 17-23. ACM, (2014)Wr2Fdr Tool Maintenance for Models Checking., , , and . SoMeT, volume 297 of Frontiers in Artificial Intelligence and Applications, page 425-440. IOS Press, (2017)Behavioral Verification of UML2.0/PoSM Components., , and . SoMeT, volume 286 of Frontiers in Artificial Intelligence and Applications, page 246-257. IOS Press, (2016)MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE, , and . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (March 2018)Automatic Refinement for Event-B through Annotated Patterns., , , and . PDP, page 287-290. IEEE Computer Society, (2017)Behavioral Verification of Service Component Architecture., , , , , and . WETICE, page 239-241. IEEE Computer Society, (2017)Checking Non-functional Properties of UML2.0 Components Assembly., , and . WETICE, page 278-283. IEEE Computer Society, (2013)Formal Event-B Modeling of the MICONIC Application., and . SoMeT, volume 337 of Frontiers in Artificial Intelligence and Applications, page 197-210. IOS Press, (2021)Towards a Practical Approach to Check Service Component Architecture., , , and . SKG, page 65-72. IEEE Computer Society, (2015)Automatic Planning: From Event-B to PDDL., and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 247-254. Springer, (2018)