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.

 

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

Guest editorial: selected areas in automated software engineering., и . Autom. Softw. Eng., 25 (1): 45-46 (2018)Locating distinguishing features using diff sets., и . ASE, стр. 242-245. ACM, (2012)Language Independent Refinement Using Partial Modeling., , и . FASE, том 7212 из Lecture Notes in Computer Science, стр. 224-239. Springer, (2012)Systematic Construction of Abstractions for Model-Checking., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 381-397. Springer, (2006)The SCOOP Concurrency Model in Java-like Languages., , , и . CPA, том 67 из Concurrent Systems Engineering Series, стр. 7-27. IOS Press, (2009)What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines, , , , , , , и . 19th International Software Product Line Conference (SPLC), (2015)Reconstructing the past: the case of the Spadina Expressway., и . Requir. Eng., 25 (2): 253-272 (2020)Selected Extended Papers of VSTTE 2016., и . J. Autom. Reason., 60 (3): 255-256 (2018)Formal reasoning for analyzing goal models that evolve over time., и . Requir. Eng., 26 (3): 423-457 (2021)Model-Checking Software Using Precise Abstractions, и . (2008)