24 results on '"Graf, Susanne"'
Search Results
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.