Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefan Leue
A Neuronal Network Model for Simulating the Effects of Repetitive Transcranial Magnetic Stimulation on Local Field Potential Power Spectra
PLoS ONE
Multidisciplinary
From Probabilistic Counterexamples via Causality to Fault Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Fault Tree Synthesis Using Causality Computation
International Journal of Critical Computer-Based Systems
Computer Science
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial-Order Reduction and Trail Improvement in Directed Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Partial-Order Reduction for General State Exploring Algorithms
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Implementing and Verifying MSC Specifications Using PROMELA/XSPIN
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
