The following pages link to Sebastian Fischmeister (Q438211):
Displayed 13 items.
- State-based scheduling with tree schedules: analysis and evaluation (Q438213) (← links)
- Runtime verification with minimal intrusion through parallelism (Q888419) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Implementation and evaluation of global and partitioned scheduling in a real-time OS (Q2251382) (← links)
- Impact of Community Structure on SAT Solver Performance (Q3192075) (← links)
- SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (Q3453211) (← links)
- Specification and Analysis of Network Resource Requirements of Control Systems (Q3624587) (← links)
- (Q4413558) (← links)
- (Q4436615) (← links)
- A Verifiable Language for Programming Real-Time Communication Schedules (Q4564238) (← links)
- (Q4735983) (← links)
- Evaluation of Communication Architectures for Switched Real-Time Ethernet (Q5268372) (← links)
- Generating Reliable Code from Hybrid-Systems Models (Q5280712) (← links)