Anne Remke - Publications, H-index & Citations

Back

Anne Remke

university of munster

18H-index

132Paper Count

1.0KCitation Count

Published Papers 10

Publication Date

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula

Save

PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS, VALUETOOLS 2024

IF0

2026-01-01

PREAI

Adelt, Julius; Herber, Paula; Hurink, Johann; Niehage, Mathis; Remke, Anne; Willemsen, Lisa

Save

formal modeling and analysis of timed systems (formats

IF0

2022-08-29

PREAI

Niehage, Mathis; Remke, Anne

Save

ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION

IF1.9

2021-08-24

OAAI

Huels, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne

Save

proceedings of the

IF0

2020-05-29

PREAI

Niehage, Mathis; Pilch, Carina; Remke, Anne

Save

QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019)

IF0

2019-09-04

PREAI

Huls, Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne

Save

2018 IEEE 26TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS)

IF0

2018-09-01

PREAI

Pilch, Carina; Niehage, Mathis; Remke, Anne

Save

ENERGIES

IF3.2

2016-09-09

OAAI

Jongerden, Marijn R.; Huels, Jannik; Remke, Anne; Haverkort, Boudewijn R.

Save

2016 IEEE 24TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS)

IF0

2016-09-01

PREAI

Huels, Jannik; Remke, Anne

Save

2015 45TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS

IF0

2015-06-01

OAAI

Ghasemieh, Hamed; Haverkort, Boudewijn R.; Jongerden, Marijn R.; Remke, Anne

Save

Research Directions