Search

Your search keyword '"Graf, Susanne"' showing total 24 results

Search Constraints

Start Over You searched for: Author "Graf, Susanne" Remove constraint Author: "Graf, Susanne" Journal models, mindsets, meta: the what, the how, and the why not? : essays dedicated to bernhard steffen on the occasion of his 60th birthday Remove constraint Journal: models, mindsets, meta: the what, the how, and the why not? : essays dedicated to bernhard steffen on the occasion of his 60th birthday
24 results on '"Graf, Susanne"'

Search Results

1. Models, Mindsets, Meta: The What, the How, and the Why Not?

2. On the Expressiveness of Joining and Splitting

3. Fast Verified BCD Subtyping

4. Future Security: Processes or Properties?—Research Directions in Cybersecurity

5. JConstraints: A Library for Working with Logic Expressions in Java

6. The Merits of Compositional Abstraction: A Case Study in Propositional Logic

7. Composition: A Fresh Look at an Old Topic

8. Statistical Prediction of Failures in Aircraft Collision Avoidance Systems

9. Synchronous or Alternating? : LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

10. The ASSL Approach to Formal Specification of Self-managing Systems

11. Benchmarks for Automata Learning and Conformance Testing

12. Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

13. Interface Automata for Shared Memory

14. System Analysis and Robustness

15. Toward Structured Parallel Programming: Send-Receive Considered Harmful

16. Multi-valued Logic for Static Analysis and Model Checking

17. Boolean Algebras by Length Recognizability

18. Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading

19. Intersection Types in Java: Back to the Future

20. Reflections on Bernhard Steffen’s Physics of Software Tools

21. Making Sense of Complex Applications: Constructive Design, Features, and Questions

22. States and Events in KandISTI : A Retrospective

23. Applying Decision Graphs in the Context of Automated Driving

24. Analyzing Spreadsheets for Parallel Execution via Model Checking

Catalog

Books, media, physical & digital resources