Leibniz Transactions on Embedded Systems

Aims & Scope

LITES publishes original articles on all aspects of embedded computing systems. The journal is flexible in the types of articles it publishes. The range includes (but is not limited to) regular technical papers, literature surveys, historical perspectives, position papers, tools papers, and companion papers to open-access research artifacts (such as open-source software and hardware designs, data sets, case studies, challenge problems and competitions, etc.). All contributions that advance the state of the art and/or the scientific discourse on embedded computing systems are welcome. Topics of interest include (but are not limited to): the design, implementation, testing, validation, and verification of embedded software and hardware systems, their temporal and logical correctness, resource efficiency, embedded security, design space exploration and optimization, embedded artificial intelligence (AI), formal foundations of embedded systems, embedded systems in the context of larger cyber-physical systems (CPS) and networked systems, and - specific application domains (e.g., automotive systems, avionics, robotics, healthcare, autonomous systems, etc.). LITES welcomes all methods of scientific inquiry, including (but not limited to) systems building and empirical evaluation, mathematical modeling and rigorous proof, formal methods, deployment studies and reflections on “lessons learned” in practice, as well as statistical and empirical methods, surveys of industry practice, and user studies.

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.