( en | de | ru )

 

Disambiguation of "Remke, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
A Modular Environment to Test SCADA Solutions for Wind Parks.

, and . MMB, volume 10740 of Lecture Notes in Computer Science, page 262-272. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Harald Remke

Klaus Remke

Barbara Remke

Ulrike Remke

Klaus Remke

 

Other publications of authors with the same name

An analytical model for beaconing in VANETs., , and . VNC, page 9-16. IEEE, (2012)Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings., , and . HSCC, page 10:1-10:11. ACM, (2020)Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , and . TASE, volume 13931 of Lecture Notes in Computer Science, page 164-182. Springer, (2023)A Tool for Generating Automata of IEC60870-5-104 Implementations., , , and . MMB, volume 10740 of Lecture Notes in Computer Science, page 307-311. Springer, (2018)Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models., , , and . MMB, volume 10740 of Lecture Notes in Computer Science, page 53-67. Springer, (2018)A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications., , , and . DSN (Industry Track), page 5-8. IEEE, (2019)Fluid Survival Tool: A Model Checker for Hybrid Petri Nets., , , and . MMB/DFT, volume 8376 of Lecture Notes in Computer Science, page 255-259. Springer, (2014)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , and 4 other author(s). ARCH, volume 96 of EPiC Series in Computing, page 126-150. EasyChair, (2023)A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 381-400. Springer, (2020)RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems., , , and . VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 170-182. Springer, (2023)