( en | de | ru )

 

Disambiguation of "Remke, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
An integrated testbed for locally monitoring SCADA systems in smart grids.

, , and . Energy Inform., (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

Barbara Remke

Klaus Remke

Klaus Remke

Ulrike Remke

 

Other publications of authors with the same name

Improving SCADA security of a local process with a power grid model., , and . ICS-CSR, BCS, (2016)CSL Model Checking Algorithms for Infinite-State Structured Markov Chains., and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 336-351. Springer, (2007)Performance Evaluation for Collision Prevention Based on a Domain Specific Language., , , and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 276-287. Springer, (2013)Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra., and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 101-116. Springer, (2017)Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study., , , and . EPEW, volume 6977 of Lecture Notes in Computer Science, page 133-147. Springer, (2011)Fitting a code-red virus spread model: An account of putting theory into practice., , , and . DRCN, page 39-46. IEEE, (2016)Hybrid Petri nets with multiple stochastic transition firings., , and . EAI Endorsed Trans. Self-Adaptive Systems, 1 (3): e1 (2015)Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process., and . VALUETOOLS, ACM, (2016)The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability., and . VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 61-81. Springer, (2023)Hybrid Petri nets with general one-shot transitions., and . Perform. Evaluation, (2016)