151 results on '"Martin Lukasiewycz"'
Search Results
2. Distributed reconfigurable Battery System Management Architectures.
3. Generalized Asynchronous Time-Triggered Scheduling for FlexRay.
4. Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring.
5. Security in Automotive Networks: Lightweight Authentication and Authorization.
6. Modular Active Charge Balancing for Scalable Battery Packs.
7. VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA.
8. Decentralized diagnosis of permanent faults in automotive E/E architectures.
9. Many-to-many active cell balancing strategy design.
10. Inductor optimization for active cell balancing using geometric programming.
11. Topology identification for smart cells in modular batteries.
12. Lightweight authentication for secure automotive networks.
13. Efficient design space exploration of embedded platforms.
14. Security analysis of automotive architectures using probabilistic model checking.
15. Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems.
16. Synthesis of Active Cell Balancing Architectures for Battery Packs.
17. Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs.
18. Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms.
19. On Battery Recovery Effect in Wireless Sensor Nodes.
20. Open source model and simulator for real-time performance analysis of automotive network security.
21. Diagnosis-aware system design for automotive E/E architectures.
22. System simulation and optimization using reconfigurable hardware.
23. Multi-Objective Diagnosis of Non-Permanent Faults in Many-Core Systems.
24. Verification of balancing architectures for modular batteries.
25. Policy-based message scheduling using FlexRay.
26. Smart Cells for Embedded Battery Management.
27. Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.
28. Implicit intermittent fault detection in distributed systems.
29. Optimal dimensioning of active cell balancing architectures.
30. Schedule Integration Framework for Time-Triggered Automotive Architectures.
31. Accelerating validation of time-triggered automotive systems on FPGAs.
32. Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization.
33. Schedule integration for time-triggered systems.
34. Formal verification of distributed controllers using Time-Stamped Event Count Automata.
35. An approach for redundancy in FlexRay networks using FPGA partial reconfiguration.
36. Security challenges in automotive hardware/software architecture design.
37. Priority assignment for event-triggered systems using mathematical programming.
38. System architecture and software design for electric vehicles.
39. Modular system-level architecture for concurrent cell balancing.
40. Model-based development and verification of control software for electric vehicles.
41. Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data.
42. Challenges in automotive cyber-physical systems design.
43. Concurrent architecture and schedule optimization of time-triggered automotive systems.
44. FlexRay Static Segment Scheduling.
45. Cyber-Physical Systems Design for Electric Vehicles.
46. Modular scheduling of distributed heterogeneous time-triggered automotive systems.
47. Time-triggered implementations of mixed-criticality automotive software.
48. Embedded systems and software challenges in electric vehicles.
49. Designing FlexRay-based automotive architectures: A holistic OEM approach.
50. Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.