No photo of Anne Katharina Ingrid Remke

Anne Katharina Ingrid Remke

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
PhD Thesis - Research UT, graduation UT
2019
38 Downloads (Pure)

Process-aware SCADA traffic monitoring: A local approach

Chromik, J. J., 12 Jul 2019, Enschede: University of Twente. 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
SCADA systems
Data acquisition
Monitoring
Remote control
Testbeds
2017
95 Downloads (Pure)

Analysis of hybrid Petri nets with random discrete events

Ghasemieh, H., 3 Feb 2017, Enschede: University of Twente. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution
2014
57 Downloads (Pure)

Model-Checking Mean-Field Models: Algorithms & Applications

Kolesnichenko, A. V., 17 Dec 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2008
49 Downloads (Pure)

Model Checking Structured Infinite Markov Chains

Remke, A. K. I., 20 Jun 2008, Zutphen: Woermann Printing Service. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File