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.

 

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

On the Power of Play-Out for Scenario-Based Programs., , и . Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 207-220. Springer, (2010)S2A: A Compiler for Multi-modal UML Sequence Diagrams., , и . FASE, том 4422 из Lecture Notes in Computer Science, стр. 121-124. Springer, (2007)Why so Many Temporal Logics Climb up the Trees?, и . MFCS, том 1893 из Lecture Notes in Computer Science, стр. 629-639. Springer, (2000)Towards Succinctness in Mining Scenario-Based Specifications., и . ICECCS, стр. 231-240. IEEE Computer Society, (2011)Accelerating Smart Play-Out., , , и . SOFSEM, том 5901 из Lecture Notes in Computer Science, стр. 477-488. Springer, (2010)Mining Hierarchical Scenario-Based Specifications., и . ASE, стр. 359-370. IEEE Computer Society, (2009)Size and Accuracy in Model Inference., , и . ASE, стр. 887-898. IEEE, (2019)Modify, enhance, select: co-evolution of combinatorial models and test plans., и . ESEC/SIGSOFT FSE, стр. 235-245. ACM, (2018)Hierarchical inter-object traces for specification mining., и . OOPSLA Companion, стр. 761-762. ACM, (2008)Triggers for Reactive Synthesis Specifications., , , , и . ICSE, стр. 729-741. IEEE, (2023)