Author of the publication

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

Behavioral Subtyping Relations for Timed Components.. FGIT-ASEA/DRBC/EL, volume 257 of Communications in Computer and Information Science, page 26-35. Springer, (2011)A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture., , and . Int. J. Inf. Technol. Syst. Approach, 14 (1): 156-173 (2021)Formal specification and validation of refinement from WS-CDL to BPEL., , and . ISCC, page 1016-1021. IEEE, (2019)Dealing with a non green behaviour in WSN., , , and . Simul. Model. Pract. Theory, (2018)Towards an efficient and a more accurate web service selection using MCDM methods., , , and . J. Comput. Sci., (2017)Behavioral Compatibility of Active Components.. SEFM, page 372-376. IEEE Computer Society, (2008)Branching Time Semantics for UML 2.0 Sequence Diagrams.. FORTE, volume 4229 of Lecture Notes in Computer Science, page 259-274. Springer, (2006)Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures., , and . Int. J. Softw. Innov., 10 (1): 1-22 (2022)Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol., , , and . ISCC, page 1-6. IEEE Computer Society, (2014)Formal techniques for consistency checking of orchestrations of semantic Web services., , , and . J. Comput. Sci., (2020)