Author of the publication

An Abductive Approach for Handling Inconsistencies in SCR Specifications.

, , , and . ICSE2000 Workshop on Intelligence Software Engineering, (2000)

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

Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms., , , and . IEEE Trans. Netw. Serv. Manag., 14 (2): 343-356 (2017)Leveraging Inconsistency in Software Development., , and . Computer, 33 (4): 24-29 (2000)Model-based software quality assurance tools and techniques presented at FASE 2018., and . Int. J. Softw. Tools Technol. Transf., 22 (1): 1-2 (2020)Induction and Exploitation of Subgoal Automata for Reinforcement Learning., , , , and . J. Artif. Intell. Res., (2021)Learning Diverse Representations for Fast Adaptation to Distribution Shift., , and . CoRR, (2020)FLAP - A Federated Learning Framework for Attribute-based Access Control Policies., , , , , and . CODASPY, page 263-272. ACM, (2023)Online Symbolic Learning of Policies for Explainable Security., , , , and . TPS-ISA, page 269-278. IEEE, (2021)pix2rule: End-to-end Neuro-symbolic Rule Learning., and . NeSy, volume 2986 of CEUR Workshop Proceedings, page 15-56. CEUR-WS.org, (2021)A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge., , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)FF-NSL: Feed-Forward Neural-Symbolic Learner., , , and . CoRR, (2021)