Search

Your search keyword '"Kowalewski, Stefan"' showing total 93 results

Search Constraints

Start Over You searched for: Author "Kowalewski, Stefan" Remove constraint Author: "Kowalewski, Stefan" Publication Type eBooks Remove constraint Publication Type: eBooks
93 results on '"Kowalewski, Stefan"'

Search Results

1. Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size

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

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'

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

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

32. Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems

33. Mapping Requirement Models to Mathematical Models in Control System Development

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

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