( en | de | ru )

 

Disambiguation of "Grunske, Lars"

Author of the publication

copydeleteadd this publication to your clipboard
Perpetual Assurances for Self-Adaptive Systems.

, , , , , , , , , , , , and . CoRR, (2019)

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.

Lars Grunske

Albrecht Grunske

Almut Grunske

Friedrich Grunske

Konrad Grunske

 

Other publications of authors with the same name

Inputs from Hell: Generating Uncommon Inputs from Common Samples, , , , and . eprint arXiv:cs.SE/1812.07525, (December 2018)An effective sequential statistical test for probabilistic monitoring.. Inf. Softw. Technol., 53 (3): 190-199 (2011)Complete Shadow Symbolic Execution with Java PathFinder., , , , and . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15-16 (2019)Applicaton of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification., and . ACIS Int. J. Comput. Inf. Sci., 5 (2): 122-128 (2004)Perpetual Assurances for Self-Adaptive Systems., , , , , , , , , and 3 other author(s). CoRR, (2019)A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity., , and . CoRR, (2020)A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL., , , and . CoRR, (2022)Scalable N-Way Model Matching Using Multi-Dimensional Search Trees., , , , and . MoDELS, page 1-12. IEEE, (2021)Runtime Verification of Self-Adaptive Systems with Changing Requirements., , , and . SEAMS, page 104-114. IEEE, (2023)A Consolidated View on Specification Languages for Data Analysis Workflows., , , , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 201-215. Springer, (2022)