Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lars Grunske

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Genaína Nunes Rodrigues

> Home > Persons > Lars Grunske

Publications

2024
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/se/Carwehl0RG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Carwehl0RG24
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering 2024: 151-152
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17187
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. CoRR abs/2401.17187 (2024)
2023
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/VogelCRG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/VogelCRG23
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154: 107100 (2023)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/seams/CarwehlVRG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seams/CarwehlVRG23
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS 2023: 104-114
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-16530
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-16530
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR abs/2303.16530 (2023)
2022
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/WeynsGBCCDGJJMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/WeynsGBCCDGJJMM22
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47(4): 18-24 (2022)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-12492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-12492
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR abs/2206.12492 (2022)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-03817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-03817
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR abs/2211.03817 (2022)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.