93 results on '"Kowalewski, Stefan"'
Search Results
2. AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles
3. Actionable Artificial Intelligence for the Future of Production
4. Safety of Human-Robot Collaboration within the Internet of Production
5. Verification of Behavior Trees using Linear Constrained Horn Clauses
6. Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
7. A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course
8. Fault Identification in a Blood Pump Using Neural Networks
9. UNICARagil – New architectures for disruptive vehicle concepts
10. A Change-Based Heuristic for Static Analysis with Policy Iteration
11. Design and Verification of Restart-Robust Industrial Control Software
12. Mode-Aware Concolic Testing for PLC Software : Special Session 'Formal Methods for the Design and Analysis of Automated Production Systems'
13. Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion
14. eNav: A Suitable Navigation System for the Disabled
15. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
16. Abstract Interpretation of MATLAB Code with Interval Sets
17. Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams
18. Current Challenges in the Verification of Hybrid Systems
19. Analyzing the Restart Behavior of Industrial Control Applications
20. A Benchmark Suite for Hybrid Systems Reachability Analysis
21. Range Analysis of Microcontroller Code Using Bit-Level Congruences
22. An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems
23. Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers
24. Predicate Abstraction for Programmable Logic Controllers
25. Analysis of Simulink Models Using Databases and Model Transformations
26. Invariants for LTI Systems with Uncertain Input
27. Loop Leaping with Closures
28. Automated Test-Trace Inspection for Microcontroller Binary Code
29. Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students
30. Past Time LTL Runtime Verification for Microcontroller Binary Code
31. Automatically Deriving Symbolic Invariants for PLC Programs Written in IL★
32. Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems
33. Mapping Requirement Models to Mathematical Models in Control System Development
34. Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications
35. Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
36. Measuring the Human Factor with the Rasch Model
37. Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code
38. Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches
39. Reliability-Oriented Product Line Engineering of Embedded Systems
40. Introduction to the Analysis and Verification of Hybrid Systems
41. Verification of IL Programs with an Explicit Model of their PLC Execution
42. Comparing timed and hybrid automata as approximations of continuous systems
43. Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control
44. Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus
45. Correctness of Sensor Network Applications by Software Bounded Model Checking
46. Model Checking the FlexRay Physical Layer Protocol
47. Developing Mode-Rich Satellite Software by Refinement in Event B
48. Formal Analysis of BPMN Models Using Event-B
49. An Automated Translator for Model Checking Time Constrained Workflow Systems
50. Practical Issues with Formal Specifications : Lessons Learned from an Industrial Case Study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.