E-LIB Suche - Ergebnisse für: Gerhold, Marcus

1

Deriving modernity signatures of codebases with static anal..:

Admiraal, Chris ; van den Brink, Wouter ; Gerhold, Marcus..
Journal of Systems and Software. 211 (2024) - p. 111973 , 2024

Link: https://doi.org/10.1016/..

2

The Limits of the Identifiable: Challenges in Python Versio..:

, In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Gerhold, Marcus ; Solovyeva, Lola ; Zaytsev, Vadim - p. 137-146 , 2024

Link: https://doi.org/10.1109/..

3

Conformance in the Railway Industry: Single-Input-Change Te..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

van der Wal, Djurre ; Gerhold, Marcus ; Stoelinga, Mariëlle - p. 242-258 , 2023

Link: https://doi.org/10.1007/..

4

Computer Aided Content Generation – A Gloomhaven Case Study:

, In: Proceedings of the 18th International Conference on the Foundations of Digital Games,

Gerhold, Marcus ; Tijben, Kristian - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

5

Deriving Modernity Signatures for PHP Systems with Static A..:

, In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM),

Van den Brink, Wouter ; Gerhold, Marcus ; Zaytsev, Vadim - p. 181-185 , 2022

Link: https://doi.org/10.1109/..

6

Model-based testing of stochastically timed systems:

Gerhold, Marcus ; Hartmanns, Arnd ; Stoelinga, Mariëlle
Innovations in Systems and Software Engineering. 15 (2019) 3-4 - p. 207-233 , 2019

Link: https://doi.org/10.1007/..

7

A Hierarchy of Scheduler Classes for Stochastic Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

D'Argenio, Pedro R. ; Gerhold, Marcus ; Hartmanns, Arnd. - p. 384-402 , 2018

Link: https://doi.org/10.1007/..

8

Model-based testing of probabilistic systems:

Gerhold, Marcus ; Stoelinga, Mariëlle
Formal Aspects of Computing. 30 (2018) 1 - p. 77-106 , 2018

Link: https://doi.org/10.1007/..

9

Model-based testing of stochastic systems with IOCO theory:

, In: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation,

Gerhold, Marcus ; Stoelinga, Mariëlle - p. 45-51 , 2016

Link: https://dl.acm.org/doi/1..

10

Reproduction Report for SV-COMP 2023:

Gerhold, Marcus ; Hartmanns, Arnd
http://arxiv.org/abs/2303.06477. , 2023

Link: http://arxiv.org/abs/230..

11

A Hierarchy of Scheduler Classes for Stochastic Automata:

D'Argenio, Pedro ; Gerhold, Marcus ; Hartmanns, Arnd.
info:eu-repo/grantAgreement/EC/H2020/695614/. , 2018

Link: https://zenodo.org/recor..

12

A Hierarchy of Scheduler Classes for Stochastic Automata:

D'Argenio, Pedro R ; Gerhold, Marcus ; Hartmanns, Arnd.
http://arxiv.org/abs/1710.05763. , 2017

Link: http://arxiv.org/abs/171..

13

Ioco theory for probabilistic automata:

Gerhold, Marcus ; Stoelinga, Mariëlle
http://doc.utwente.nl/98382/1/1504.02441v1.pdf. , 2015

Link: http://purl.utwente.nl/p..

14

Ioco Theory for Probabilistic Automata:

Gerhold, Marcus ; Stoelinga, Mariëlle
http://arxiv.org/abs/1504.02441. , 2015

Link: http://arxiv.org/abs/150..

15

ioco theory for probabilistic automata:

Marcus Gerhold ; Mariëlle Stoelinga
http://arxiv.org/pdf/1504.02441v1. , 2015

Link: https://doi.org/10.4204/..