Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

System and Architecture Proceedings of CSI 2015

Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Interrupt Handling Schemes in Operating Systems

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design