researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Java
Meta-Environment
abstraction
analysis
architecture
compiler
context-aware
control systems
data-flow
design
embedded software
meta-model
mobile
modeling
optimization
programming
rule-based
systematic-approach
translation
Filter by Author
[+]
OR
AND
NOT
1
Albert Benveniste
Alberto L. Sangiovanni-Vincentelli
Borzoo Bonakdarpour
Christoph M. Kirsch
Edward A. Lee
Insup Lee
Janos Sztipanovits
Joseph Sifakis
Lothar Thiele
Luca P. Carloni
Marc Pouzet
Oleg Sokolsky
Paul Caspi
Rajeev Alur
Rolf Ernst
Rupak Majumdar
S. Ramesh
Sebastian Fischmeister
Stavros Tripakis
Thomas A. Henzinger
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
applications
aware
control
design
distributed
embedded
memory
model
modeling
progress
real
scheduling
simulation
software
system
systems
time
using
work
EMSOFT (emsoft)
Editions
Publications
Viewing Publication 1 - 100 from 689
2023
International Conference on Embedded Software, EMSOFT 2023, Hamburg, Germany, September 17-22, 2023
IEEE,
2023.
[doi]
Work-in-Progress: Searching Optimal Compiler Optimization Passes Sequence for Reducing Runtime Memory Profile using Ensemble Reinforcement Learning
Juneseo Chang
,
Daejin Park
.
emsoft 2023
:
1-2
[doi]
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios
Keyang Hu
,
Lei Wang 0126
,
Ce Mo
,
Bo Jiang 0001
.
emsoft 2023
:
1-2
[doi]
Work-in-Progress: CLERR: A High-performance Cross-layer Method for Eliminating Rendering Redundancy in Android
Shixiong Huang
,
Nanxuan Ye
,
Xing Gao 0004
,
Ziyang Kang
,
Guilin Li
.
emsoft 2023
:
1-2
[doi]
Work-in-Progress: Integrating WebAssembly into Service-Oriented Architectures for Edge Systems
Marius Kreutzer
,
Maximilian Seidler
,
Victor Pazmino Betancourt
,
Jürgen Becker 0001
.
emsoft 2023
:
1-2
[doi]
Work-in-Progress: Micro-Accelerator-in-the-Loop Framework for MCU Integrated Accelerator Peripheral Fast Prototyping
Jisu Kwon
,
Daejin Park
.
emsoft 2023
:
1-2
[doi]
Work-in-Progress: Flexible bus arbitration in mixed criticality systems
Vlad Radulescu
,
Albert M. K. Cheng
,
Stefan Andrei
.
emsoft 2023
:
1-2
[doi]
Work in Progress: Efficient TSN network interface handling in a mixed-criticality system
Romain Rollet
,
Christophe Mangin
.
emsoft 2023
:
9-10
[doi]
Work-in-Progress: mixing computation and interaction on FPGA
Loïc Sylvestre
,
Emmanuel Chailloux
,
Jocelyn Sérot
.
emsoft 2023
:
5-6
[doi]
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy
Hoang-Dung Tran
,
Diego Manzanas Lopez
,
Taylor T. Johnson
.
emsoft 2023
:
1-2
[doi]
2022
Work in Progress: Dynamic Offloading of Soft Real-time Tasks in SDN-based Fog Computing Environment
Niraj Kumar 0004
,
Arijit Mondal
.
emsoft 2022
:
7-8
[doi]
International Conference on Embedded Software, EMSOFT 2022, Shanghai, China, October 7-14, 2022
IEEE,
2022.
[doi]
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception
Michael Abraham
,
Aaron Mayne
,
Tristan Perez
,
Ítalo Romani de Oliveira
,
Huafeng Yu
,
Chiao Hsieh
,
Yangge Li
,
Dawei Sun
,
Sayan Mitra
.
emsoft 2022
:
17-20
[doi]
Work-in-Progress: Accuracy-Area Efficient Online Fault Detection for Robust Neural Network Software-Embedded Microcontrollers
Juneseo Chang
,
Sejong Oh
,
Daejin Park
.
emsoft 2022
:
1-2
[doi]
Work-in-Progress: A Browser-Driven Sensor Service for Embedded IoT
Agnieszka Chodorek
,
Robert Ryszard Chodorek
.
emsoft 2022
:
15-16
[doi]
Industry-track: System-Level Logical Execution Time for Automotive Software Development
Kai-Björn Gemlau
,
Hermann von Hasseln
,
Rolf Ernst
.
emsoft 2022
:
21-23
[doi]
Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis
Arthur Grisel-Davy
,
Amrita Milan Bhogayata
,
Srijan Pabbi
,
Apurva Narayan
,
Sebastian Fischmeister
.
emsoft 2022
:
3-4
[doi]
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic
Jean-Baptiste Jeannin
,
Jiawei Chen
,
José Luiz Vargas de Mendonça
,
Konstantinos Mamouras
.
emsoft 2022
:
11-12
[doi]
Work-in-Progress: Hot-patching Technique for Imprecise Computing by Saving Resource
Haegeon Jeong
,
Kyungtae Kang
.
emsoft 2022
:
5-6
[doi]
Programming Autonomous Machines : Special Session Paper
Shaoshan Liu
,
Xiaoming Li
,
Tongsheng Geng
,
Stéphane Zuckerman
,
Jean-Luc Gaudiot
.
emsoft 2022
:
24-33
[doi]
Work-in-Progress: A Resource-Aware Optimization Model for Real-Time Systems Analysis and Design
Rezwana Mamata
,
Akramul Azim
.
emsoft 2022
:
9-10
[doi]
Work-in-Progress: Accelerated Matrix Factorization by Approximate Computing for Recommendation System
Yining Wu
,
Gaole Sai
,
Shengyu Duan
.
emsoft 2022
:
1-2
[doi]
2021
Towards assurance case evidence generation through search based testing: work-in-progress
Yumeng Cao
,
Quinn Thibeault
,
Aniruddh Chandratre
,
Georgios Fainekos
,
Giulia Pedrielli
,
Mauricio Castillo-Effen
.
emsoft 2021
:
41-42
[doi]
Strong APA scheduling in a real-time operating system: work-in-progress
Richi Dubey
,
Vijay Banerjee
,
Sena Hounsinou
,
Gedare Bloom
.
emsoft 2021
:
47-48
[doi]
An energy-aware optimization model for real-time systems analysis and design: work-in-progress
Suzanne Elashri
,
Akramul Azim
.
emsoft 2021
:
45-46
[doi]
Detecting deepfake videos by visual-audio synchronism: work-in-progress
Zhufeng Fan
,
Jinyu Zhan
,
Wei Jiang 0016
.
emsoft 2021
:
31-32
[doi]
Large-scale timer hardware analysis for a flexible low-level timer-API design: work-in-progress
Niels Gandraß
,
Michel Rottleuthner
,
Thomas C. Schmidt
.
emsoft 2021
:
35-36
[doi]
Towards scalable, secure, and smart mission-critical IoT systems: review and vision
Xiaolong Guo
,
Song Han 0002
,
X. Sharon Hu
,
Xun Jiao
,
Yier Jin
,
Fanxin Kong
,
Michael Lemmon 0001
.
emsoft 2021
:
1-10
[doi]
OHTLoc: an online heterogeneous transfer method on wifi-based indoor localization system: work-in-progress
Lufei Han
,
Chen Bian
.
emsoft 2021
:
25-26
[doi]
Performance analysis and optimization of decision tree classifiers on embedded devices: work-in-progress
Anish Krishnakumar
,
Ümit Y. Ogras
.
emsoft 2021
:
37-38
[doi]
WCET-aware reachability for verified simplex design: work-in-progress
Ole Lübke
,
Sibylle Schupp
.
emsoft 2021
:
27-28
[doi]
Timing diversity as a protective mechanism: work-in-progress
Mischa Möstl
,
Robin Hapka
,
Anika Christmann
,
Rolf Ernst
.
emsoft 2021
:
29-30
[doi]
The cyber-physical immune system: work-in-progress
Bo Pang
,
Ashank Verma
,
Jingchao Zhou
,
Inigo Incer
,
Alberto L. Sangiovanni-Vincentelli
.
emsoft 2021
:
43-44
[doi]
EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021
Linh Thi Xuan Phan
,
David Broman
, editors,
ACM,
2021.
[doi]
Determining MPSoC layout from thermal camera images: work-in-progress
Michal Sojka
,
Ondrej Benedikt
,
Zdenek Hanzálek
.
emsoft 2021
:
39-40
[doi]
Improving fault tolerance of DNNs through weight remapping based on gaussian distribution: work-in-progress
Ruoxu Sun
,
Jinyu Zhan
,
Wei Jiang 0016
,
Yucheng Jiang
.
emsoft 2021
:
33-34
[doi]
Model-driven system-performance engineering for cyber-physical systems
Bram van der Sanden
,
Yonghui Li 0002
,
Joris van den Aker
,
Benny Akesson
,
Tjerk Bijlsma
,
Martijn Hendriks
,
Kostas Triantafyllidis
,
Jacques Verriet
,
Jeroen Voeten
,
Twan Basten
.
emsoft 2021
:
11-22
[doi]
Generative strategy based backdoor attacks to 3D point clouds: work-in-progress
Xiangyu Wen
,
Wei Jiang 0016
,
Jinyu Zhan
,
Chen Bian
,
Ziwei Song
.
emsoft 2021
:
23-24
[doi]
2020
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress
Yuji Date
,
Takeshi Baba
,
Bardh Hoxha
,
Tomoya Yamaguchi 0001
,
Danil V. Prokhorov
.
emsoft 2020
:
1-3
[doi]
Distributed Decision-making for Safe and Secure Global Resource Management via Blockchain: Work-in-Progress
Gautam Gala
,
Gerhard Fohler
.
emsoft 2020
:
28-30
[doi]
Integrated Performance Tuning of an IIoT Digital Twin: Work-in-Progress
Padma Iyenghar
,
Sakthivel M. Sundharam
,
Elke Pulvermüller
.
emsoft 2020
:
7-9
[doi]
Progress-aware Dynamic Slack Exploitation in Mixed-critical Systems: Work-in-Progress
Angeliki Kritikakou
,
Stefanos Skalistis
.
emsoft 2020
:
10-12
[doi]
Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress
Eleftherios Kyriakakis
,
Jens Sparsø
,
Peter P. Puschner
,
Martin Schoeberl
.
emsoft 2020
:
15-17
[doi]
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress
Ratan Lal
,
Pavithra Prabhakar
.
emsoft 2020
:
34-36
[doi]
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress
Qian Liu
,
Robert de Simone
,
Xiaohong Chen
,
Jing Liu
.
emsoft 2020
:
22-24
[doi]
20th International Conference on Embedded Software, EMSOFT 2020, Singapore, September 20-25, 2020
Tulika Mitra
,
Andreas Gerstlauer
, editors,
IEEE,
2020.
[doi]
A Game Theory Approach to Heterogeneous Resource Management: Work-in-Progress
Lara Premi
,
Federico Reghenzani
,
Giuseppe Massari
,
William Fornaciari
.
emsoft 2020
:
25-27
[doi]
Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress
Shreyas Ramakrishna
,
Zahra RahimiNasab
,
Arvind Easwaran
,
Abhishek Dubey
.
emsoft 2020
:
40-42
[doi]
Towards Highly Specialized, POSIX -compliant Software Stacks with Unikraft: Work-in-Progress
Sharan Santhanam
,
Simon Kuenzer
,
Hugo Lefeuvre
,
Felipe Huici
,
Alexander Jung
,
Santiago Pagani
,
George-Cristian Muraru
,
Stefano Stabellini
,
Justin He
,
Jonathan Beri
.
emsoft 2020
:
31-33
[doi]
OpenMP Device Offloading for Embedded Heterogeneous Platforms - Work-in-Progress
Lukas Sommer
,
Andreas Koch 0001
.
emsoft 2020
:
4-6
[doi]
The rclc Executor: Domain-specific deterministic scheduling mechanisms for ROS applications on microcontrollers: work-in-progress
Jan Staschulat
,
Ingo Lütkebohle
,
Ralph Lange
.
emsoft 2020
:
18-19
[doi]
An Insight into Fault Propagation in Deep Neural Networks: Work-in-Progress
Ruoxu Sun
,
Jinyu Zhan
,
Wei Jiang
.
emsoft 2020
:
20-21
[doi]
A Machine Learning based Approximate Computing Approach on Data Flow Graphs: Work-in-Progress
Ye Wang
,
Jian Dong
,
Yanxin Liu
,
Chunpei Wang
,
Gang Qu
.
emsoft 2020
:
37-39
[doi]
Interpretability Derived Backdoor Attacks Detection in Deep Neural Networks: Work-in-Progress
Xiangyu Wen
,
Wei Jiang 0016
,
Jinyu Zhan
,
Xupeng Wang
,
Zhiyuan He
.
emsoft 2020
:
13-14
[doi]
2019
Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019
ACM,
2019.
[doi]
Private runtime verification: work-in-progress
Houssam Abbas
.
emsoft 2019
:
11
[doi]
Delay-bound function for cyber-physical systems: work-in-progress
Akramul Azim
.
emsoft 2019
:
6
[doi]
Verifiably safe SCUBA diving using commodity sensors: work-in-progress
Viren Bajaj
,
Karim Elmaaroufi
,
Nathan Fulton
,
André Platzer
.
emsoft 2019
:
8
[doi]
Analyses and architectures for mixed-critical systems: industry trends and research perspective
Lars Bauer
,
Marvin Damschen
,
Dirk Ziegenbein
,
Arne Hamann
,
Alessandro Biondi
,
Giorgio C. Buttazzo
,
Jörg Henkel
.
emsoft 2019
:
13
[doi]
Achal: building highly reliable networked control systems
Arpan Gujarati
,
Malte Appel
,
Björn B. Brandenburg
.
emsoft 2019
:
9
[doi]
A neuromorphic approach of the sound source localization task in real-time embedded systems: work-in-progress
Daniel Gutierrez-Galan
,
Juan Pedro Dominguez-Morales
,
Angel Jiménez-Fernandez
,
Ricardo Tapiador-Morales
,
Antonio Rios-Navarro
,
Alejandro Linares-Barranco
.
emsoft 2019
:
10
[doi]
Physics-based software analysis for safety-critical embedded applications: work-in-progress
Philipp Göttlich
,
Hans-Christian Reuss
.
emsoft 2019
:
7
[doi]
An ILP framework for energy optimized scheduling for weakly-hard real-time systems: work-in-progress
Niraj Kumar
,
Jaishree Mayank
,
Arijit Mondal
.
emsoft 2019
:
2
[doi]
Programs with ironclad timing guarantees: work-in-progress
Marten Lohstroh
,
Martin Schoeberl
,
Mathieu Jan
,
Edward Wang
,
Edward A. Lee
.
emsoft 2019
:
1
[doi]
Why statistical power matters for probabilistic real-time: work-in-progress
Federico Reghenzani
,
Luca Santinelli
,
William Fornaciari
.
emsoft 2019
:
3
[doi]
DAPHNE - An automotive benchmark suite for parallel programming models on embedded heterogeneous platforms: work-in-progress
Lukas Sommer
,
Florian Stock
,
Leonardo Solis-Vasquez
,
Andreas Koch 0001
.
emsoft 2019
:
4
[doi]
PowerMonitor: design pattern for modelling energy-aware embedded systems: work-in-progress
Michael Uelschen
,
Marco Schaarschmidt
,
Christian Fuhrmann
,
Clemens Westerkamp
.
emsoft 2019
:
5
[doi]
Communication and security trade-offs for wearable medical sensor systems in hospitals: work-in-progress
Jori Winderickx
,
Pierre Bellier
,
Patrick Duflot
,
Dorothée Coppieters
,
Nele Mentens
.
emsoft 2019
:
12
[doi]
2018
Embedded software for robotics: challenges and future directions: special session
Houssam Abbas
,
Indranil Saha
,
Yasser Shoukry
,
Rüdiger Ehlers
,
Georgios Fainekos
,
Rajesh Gupta 0001
,
Rupak Majumdar
,
Dogan Ulus
.
emsoft 2018
:
10
[doi]
The first-order logic of signals: keynote
Alexey Bakhirkin
,
Thomas Ferrère
,
Thomas A. Henzinger
,
Dejan Nickovic
.
emsoft 2018
:
1
[doi]
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018
Björn B. Brandenburg
,
Sriram Sankaranarayanan
, editors,
IEEE,
2018.
[doi]
NVIDIA GPU scheduling details in virtualized environments: work-in-progress
Nicola Capodieci
,
Roberto Cavicchioli
,
Marko Bertogna
.
emsoft 2018
:
12
[doi]
Towards optimal scheduling of thermal comfortability and smoothening of load profile in energy efficient buildings: work-in-progress
Nilotpal Chakraborty
,
Arijit Mondal
,
Samrat Mondal
.
emsoft 2018
:
9
[doi]
Hierarchical control of a catoptric surface: work-in-progress
Roger D. Chamberlain
,
Chandler Ahrens
,
Christopher D. Gill
,
Scott A. Mitchell
.
emsoft 2018
:
7
[doi]
Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress
Youngho Choi
,
Jaeook Kwon
,
Seokjae Jeong
,
Hansub Park
,
Young Ik Eom
.
emsoft 2018
:
2
[doi]
Introspection of the Linux-based embedded firmwares: work-in-progress
Pavel Dovgalyuk
,
Natalia Fursova
,
Ivan Vasiliev
,
Vladimir Makarov
.
emsoft 2018
:
3
[doi]
Design of security-critical distributed real-time applications with fault-tolerant constraint: work-in-progress
Wei Jiang
,
Haibo Hu
,
Jinyu Zhan
,
Ke Jiang
.
emsoft 2018
:
4
[doi]
Fast snapshot migration using static code instrumentation: work-in-progress
Jae Yun Kim
,
Hyeon-Jae Lee
,
Soo-Mook Moon
.
emsoft 2018
:
5
[doi]
The future of IoT security: special session
Sibin Mohan
,
Mikael Asplund
,
Gedare Bloom
,
Ahmad-Reza Sadeghi
,
Ahmad Ibrahim 0002
,
Negin Salajageh
,
Paul Griffioen
,
Bruno Sinopoli
.
emsoft 2018
:
16
[doi]
Communication-centric analysis of complex embedded computing systems: work-in-progress
Uraz Odyurt
,
Hugo Meyer
,
Simon Polstra
,
Evangelos Paradas
,
Ignacio Gonzalez Alonso
,
Andy D. Pimentel
.
emsoft 2018
:
13
[doi]
Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress
Jayaraj Poroor
.
emsoft 2018
:
15
[doi]
Road context-aware intrusion detection system for autonomous cars: work-in-progress
Tanya Srivastava
,
Pryanshu Arora
,
Chundong Wang 0001
,
Sudipta Chattopadhyay 0001
.
emsoft 2018
:
8
[doi]
Fog computing for adaptive human-robot collaboration: work-in-progress
Václav Struhár
,
Alessandro Vittorio Papadopoulos
,
Moris Behnam
.
emsoft 2018
:
14
[doi]
Design concept of a lightweight runtime environment for robot software components onto embedded devices: work-in-progress
Hideki Takase
,
Tomoya Mori
,
Kazuyoshi Takagi
,
Naofumi Takagi
.
emsoft 2018
:
6
[doi]
RT: a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progress
Bo Wan
,
Bo Zhang
,
Xi Li
,
Kaiqi Zhou
,
Caixu Zhao
,
Chao Wang
,
Xuehai Zhou
.
emsoft 2018
:
11
[doi]
2017
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT 2017 Companion, Seoul, Republic of Korea, October 15-20, 2017
ACM,
2017.
[doi]
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress
Saurav Kumar Ghosh
,
Debasmita Lohar
,
Dibyendu Das 0002
,
Soumyajit Dey
.
emsoft 2017
:
[doi]
Combining control flow checking for safety and security in embedded software: work-in-progress
Robert Gold
.
emsoft 2017
:
[doi]
Snapshot-based offloading for machine learning web app: work-in-progress
InChang Jeong
,
Hyuk-Jin Jeong
,
Soo-Mook Moon
.
emsoft 2017
:
[doi]
Cloud-based machine learning for IoT devices with better privacy: work-in-progress
Hyuk-Jin Jeong
,
Hyeon-Jae Lee
,
Soo-Mook Moon
.
emsoft 2017
:
[doi]
Effective simulation of DRAM/PCM-based hybrid memory: work-in-progress
Peiquan Jin
,
Xiaoliang Wang
,
Dezhi Zhang
,
Lihua Yue
.
emsoft 2017
:
[doi]
JSDelta: serializing modified javascript states for state sharing: work-in-progress
Jin-woo Kwon
,
Soo-Mook Moon
.
emsoft 2017
:
[doi]
SoPloT : service-oriented platform for internet of things: work-in-progress
Hyunjae Lee
,
EunJin Jeong
,
Donghyun Kang
,
Jinmyeong Kim
,
Soonhoi Ha
.
emsoft 2017
:
[doi]
Fixed priority scheduling of real-time flows with arbitrary deadlines on smart NoCs: work-in-progress
Weichen Liu
,
Peng Chen 0027
,
Lei Yang 0018
,
Mengquan Li
,
Nan Guan
.
emsoft 2017
:
[doi]
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress
Marten Lohstroh
,
Hokeun Kim
,
Edward A. Lee
.
emsoft 2017
:
[doi]
CalMAR - a multi-application dataflow runtime: work-in-progress
Lionel Morel
,
Manuel Selva
,
Kevin Marquet
,
Coralie Saysset
,
Tanguy Risset
.
emsoft 2017
:
[doi]
Modelling probabilistic timing analysis: work-in-progress
Bojan Nokovic
,
Emil Sekerinski
.
emsoft 2017
:
[doi]
Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress
Sunny Raj
,
Sumit Kumar Jha 0001
,
Arvind Ramanathan
,
Laura L. Pullum
.
emsoft 2017
:
[doi]
SmartDTM: smart thermal management for smartphones: work-in-progress
Wook Song
,
Jihong Kim
.
emsoft 2017
:
[doi]
Integrating low-power IoT devices to a blockchain-based infrastructure: work-in-progress
Kazim Rifat Özyilmaz
,
Arda Yurdakul
.
emsoft 2017
:
[doi]
Sign in
or
sign up
to see more results.