Anne Remke - Publications, H-index & Citations

Anne Remke

university of munster

18H指数

132论文数

1.0K被引数

收录论文 10

发表时间

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata 建模不确定性：从Simulink到随机混合自动机

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

Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System 智能能源控制系统中的电池安全使用与电网便利性

PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS, VALUETOOLS 2024

IF0

2026-01-01

PREAI

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

Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty

formal modeling and analysis of timed systems (formats

IF0

2022-08-29

PREAI

Niehage, Mathis; Remke, Anne

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings 具有多个随机射击的混合Petri网的状态空间构造

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

Simulating Hybrid Petri nets with general transitions and non-linear differential equations

proceedings of the

IF0

2020-05-29

PREAI

Niehage, Mathis; Pilch, Carina; Remke, Anne

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings 具有多个随机射击的混合Petri网的状态空间构造

QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019)

IF0

2019-09-04

PREAI

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

HPnGs go non-linear: statistical dependability evaluation of battery-powered systems HPnGs go非线性: 电池供电系统的统计可靠性评估

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

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?您的家用光伏能源系统能否在停电中幸存下来？

ENERGIES

IF3.2

2016-09-09

OAAI

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

Energy storage in Smart Homes: Grid-convenience versus self-use and survivability

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

Energy Resilience Modeling for Smart Houses 智能住宅的能源弹性建模

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

研究方向