From post

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.

 

Другие публикации лиц с тем же именем

A Study of the Electrum and DynAlloy Dynamic Behavior Notations., , , и . IEEE Trans. Software Eng., 49 (11): 4946-4963 (ноября 2023)Artifact of Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , и . ICSE (Companion Volume), стр. 209-210. IEEE, (2021)FLACK: Localizing Faults in Alloy Models., , , , , , и . ASE, стр. 1218-1222. IEEE, (2021)An evolutionary approach to translating operational specifications into declarative specifications., , , , , , и . Sci. Comput. Program., (2019)Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'., , , , , , и . ICSE (Companion Volume), стр. 179-180. IEEE, (2021)ATR: template-based repair for Alloy specifications., , , , , , и . ISSTA, стр. 666-677. ACM, (2022)Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties., , и . LAFM, том 139 из EPTCS, стр. 46-51. (2013)FLACK: Counterexample-Guided Fault Localization for Alloy Models., , , , , , и . ICSE, стр. 637-648. IEEE, (2021)ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications., , , , , , и . ASE, стр. 55:1-55:13. ACM, (2022)BeAFix: An Automated Repair Tool for Faulty Alloy Models., , , , , , и . ASE, стр. 1213-1217. IEEE, (2021)