Old Web
English
Sign In
Acemap
>
authorDetail
>
Maximilian Schlüter
Maximilian Schlüter
Technical University of Dortmund
Computer science
Reactive system
Theoretical computer science
Automation
Reachability
3
Papers
22
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees
2020
ISoLA | Leveraging Applications of Formal Methods
Marc Jasper
Maximilian Schlüter
David Schmidt
Bernhard Steffen
Show All
Source
Cite
Save
Citations (0)
RERS 2019: Combining Synthesis with Real-World Models
2019
TACAS | Tools and Algorithms for Construction and Analysis of Systems
Marc Jasper
Malte Mues
Alnis Murtovi
Maximilian Schlüter
Falk Howar
Bernhard Steffen
Markus Schordan
Dennis Hendriks
Ramon R. H. Schiffelers
Harco Kuppens
Frits W. Vaandrager
Show All
Source
Cite
Save
Citations (13)
RERS 2018: CTL, LTL, and Reachability
2018
ISoLA | Leveraging Applications of Formal Methods
Marc Jasper
Malte Mues
Maximilian Schlüter
Bernhard Steffen
Falk Howar
Show All
Source
Cite
Save
Citations (9)
1