Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gerrit Rothmaier
A Framework Based Approach for Formal Modeling and Analysis of Multi-Level Attacks in Computer Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Simulation Approach for Risk Modeling and Analysis Based on Multi-Agents
A Process Control and Diagnosis Approach to Indications and Warning of Attacks on Computer Networks
Detecting Attacks to Computer Networks Using a Multi-Layer Perceptron Artificial Neural Network
The International Journal of Forensic Computer Science
Formal Framework for Automated Analysis and Verification of Web-Based Applications
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detection of Low-Rate Attacks in Computer Networks
A Formal and Practical Framework for Constraint-Based Routing
