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.

 

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

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems., , , , , , , , и . Software Engineering for Self-Adaptive Systems, том 9640 из Lecture Notes in Computer Science, стр. 64-89. Springer, (2013)A learning approach to enhance assurances for real-time self-adaptive systems., , , , и . SEAMS@ICSE, стр. 206-216. ACM, (2018)Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, , , , , , , , , и 32 other автор(ы). Software Engineering for Self-Adaptive Systems II, том 7475 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)Molecular Dynamics in the Multicanonical Ensemble: Equivalence of Wang–Landau Sampling, Statistical Temperature Molecular Dynamics, and Metadynamics, , и . Journal of Chemical Theory and Computation, 10 (5): 1843-1847 (мая 2014)A systematic literature review on counterexample explanation., , , и . Inf. Softw. Technol., (2022)Adsorption of polymers at nanowires., и . Comput. Phys. Commun., 182 (9): 1928-1931 (2011)Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems., , , и . ACSOS Companion, стр. 188-193. IEEE, (2020)Bet and Run for Test Case Generation., , и . SSBSE, том 12420 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2020)Counterexample Interpretation for Contract-Based Design., , , и . IMBSA, том 12297 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2020)Runtime Verification of Self-Adaptive Systems with Changing Requirements., , , и . Software Engineering, том P-343 из LNI, стр. 151-152. Gesellschaft für Informatik e.V., (2024)