Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Grunske, Lars
149  Ergebnisse:
Personensuche X
?
1

Explainability for Property Violations in Cyber-Physical Sy..:

Costa de Araujo, João Paulo ; Rodrigues, Genaína Nunes ; Carwehl, Marc...
IEEE Software.  , 2024
Link: https://doi.org/10.1109/..
 
?
2

Formal Synthesis of Uncertainty Reduction Controllers:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas... - p. 2-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Formal Synthesis of Uncertainty Reduction Controllers:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas... - p. 2-13 , 2024
Link: https://doi.org/10.1145/..
 
?
4

Explanation of the Model Checker Verification Results:

Kaleeswaran, Arut Prakash , 2023
Link: https://nbn-resolving.de..
 
?
5

A user study for evaluation of formal verification results ..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
Empirical Software Engineering.  28 (2023)  5 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
6

A property specification pattern catalog for real-time syst..:

Vogel, Thomas ; Carwehl, Marc ; Rodrigues, Genaína Nunes.
Information and Software Technology.  154 (2023)  - p. 107100 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Static Test Case Prioritization Strategies for Grammar-Base..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),
Raselimo, Moeketsi ; Grunske, Lars ; Fischer, Bernd - p. 151-158 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Contract-Driven Design of Scientific Data Analysis Workflow:

, In: 2023 IEEE 19th International Conference on e-Science (e-Science),
Vu, Anh Duc ; Sparka, Jan Arne ; de Mecquenem, Ninon... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Grammar‐based fuzzing of data integration parsers in comput..:

Müller, Sebastian ; Sparka, Jan Arne ; Kuban, Martin..
Software: Practice and Experience.  54 (2023)  2 - p. 208-224 , 2023
Link: https://doi.org/10.1002/..
 
?
10

Semantic Debugging:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Eberlein, Martin ; Smytzek, Marius ; Steinhöfel, Dominic.. - p. 438-449 , 2023
Link: https://dl.acm.org/doi/1..
 
?
11

Probabilistic Spatial Relations for Monitoring Behavior of ..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Siefke, Lennart ; Sommer, Volker ; Baylan, Murat Can. - p. 151-164 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Adversarial example‐based test case generation for black‐bo..:

Cai, Hanbo ; Zhang, Pengcheng ; Dong, Hai...
Software Testing, Verification and Reliability.  33 (2023)  5 - p. , 2023
Link: https://doi.org/10.1002/..
 
?
13

Design by Contract Revisited in the Context of Scientific D..:

, In: 2023 IEEE 19th International Conference on e-Science (e-Science),
Vu, Anh Duc ; Sparka, Jan Arne ; De Mecquenem, Ninon... - p. 1-2 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Runtime Verification of Self-Adaptive Systems with Changing..:

, In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Carwehl, Marc ; Vogel, Thomas ; Rodrigues, Genaina Nunes. - p. 104-114 , 2023
Link: https://doi.org/10.1109/..
 
?
15

Leveraging input features for testing and debugging:

Kampmann, Alexander , 2022
Link: https://nbn-resolving.de..
 
1-15