yusuke1997/dblp-id-title huggingface dataset:
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
Reducing program image size by extracting frozen code and data
Model based estimation and verification of mobile device performance
XEMU: an efficient QEMU based binary mutation testing framework for embedded software
On the schedulability of real-time discrete-event systems
Modular deductive verification of sampled-data systems
Clocks as First Class Abstract Types
Storage Allocation for Real-Time, Embedded Systems
State space abstraction for parameterized self-stabilizing embedded systems
Disk schedulers for solid state drivers
HVS-DBS : human visual system-aware dynamic luminance backlight scaling for video streaming applications
Challenges in the regulatory approval of medical cyber-physical systems
Design concept of a lightweight runtime environment for robot software components onto embedded devices: work-in-progress
Initiating a design pattern catalog for embedded network systems
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception
Network processors: a progress report
A scalable algebraic method to infer quadratic invariants of switched systems
Practical PACE for embedded systems
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
Quantitative system validation in model driven design
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices
Why statistical power matters for probabilistic real-time: work-in-progress
Design of security-critical distributed real-time applications with fault-tolerant constraint: work-in-progress
I/O scheduling with mapping cache awareness for flash based storage systems
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Energy and timing aware synchronous programming
20th International Conference on Embedded Software, EMSOFT 2020, Singapore, September 20-25, 2020
Timing diversity as a protective mechanism: work-in-progress
Compiler-assisted demand paging for embedded systems with flash memory
From Requirements to Validated Embedded Systems
Real-time communication analysis for networks with two-stage arbitration
Compositional deadlock detection for rendezvous communication
Scheduling of mixed-criticality applications on resource-sharing multicore systems
On the existence of probe effect in multi-threaded embedded programs
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Safety-assured development of the GPCA infusion pump software
2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016
Dynamic online reconfiguration for customizable and self-optimizing operating systems
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
Cyclic dependencies in modular performance analysis
From boolean to quantitative synthesis
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018
Synthesizing time-triggered schedules for switched networks with faulty links
Unbounded-time reachability analysis of hybrid systems by abstract acceleration
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress
Rate-Based Resource Allocation Models for Embedded Systems
Work-in-Progress: mixing computation and interaction on FPGA
Janus-FTL: finding the optimal point on the spectrum between page and block mapping schemes
Synthesis of optimal switching logic for hybrid systems
Centralized end-to-end flow control in a best-effort network-on-chip
Automated software testing of memory performance in embedded GPUs
A Machine Learning based Approximate Computing Approach on Data Flow Graphs: Work-in-Progress
Multi-level software reconfiguration for sensor networks
Efficient embedded software design with synchronous models
Industry-track: System-Level Logical Execution Time for Automotive Software Development
Resource-Efficient Scheduling for Real Time Systems
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code
Determining MPSoC layout from thermal camera images: work-in-progress
Refinement calculus of reactive systems
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks
Distributed Decision-making for Safe and Secure Global Resource Management via Blockchain: Work-in-Progress
Some Synchronization Issues When Designing Embedded Systems from Components
Load-based schedulability analysis of certifiable mixed-criticality systems
PCFIRE: towards provable <u>p</u>reventative <u>c</u>ontrol-<u>f</u>low <u>i</u>ntegrity enforcement for <u>r</u>ealistic <u>e</u>mbedded software
Distributed power management of real-time applications on a GALS multiprocessor SOC
Automated distributed implementation of component-based models with priorities
A metrics system for quantifying operational coupling in embedded computer control systems
Performance analysis and optimization of decision tree classifiers on embedded devices: work-in-progress
S 2 DB: a novel simulation-based debugger for sensor network applications
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications
Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011
Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors
Automatic verification of control system implementations
Principles of Real-Time Programming
EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings
A marketplace for cloud resources
Automated addition of fault recovery to cyber-physical component-based models
Formalizing Software Architectures for Embedded Systems
OpenMP Device Offloading for Embedded Heterogeneous Platforms - Work-in-Progress
Disassembling real-time fault-tolerant programs
Effective simulation of DRAM/PCM-based hybrid memory: work-in-progress
Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams
Polychronous mode automata
Minimizing expected energy in real-time embedded systems
From multi-clocked synchronous processes to latency-insensitive modules
Energy efficient DVFS scheduling for mixed-criticality systems
Towards assurance case evidence generation through search based testing: work-in-progress
Supporting read/write applications in embedded real-time systems via suspension-aware analysis
Clock-driven distributed real-time implementation of endochronous synchronous programs
Energy-efficient file placement techniques for heterogeneous mobile storage systems
Design and implementation of a comprehensive real-time java virtual machine
Towards Highly Specialized, POSIX -compliant Software Stacks with Unikraft: Work-in-Progress
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Towards optimal scheduling of thermal comfortability and smoothening of load profile in energy efficient buildings: work-in-progress
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Scheduling for multi-threaded real-time programs via path planning
Synthesis of fixed-point programs
High performance annotation-aware JVM for Java cards
Special Session - Intermittent TinyML: Powering Sustainable Deep Intelligence Without Batteries
Rate Monotonic vs. EDF: Judgment Day
An Insight into Fault Propagation in Deep Neural Networks: Work-in-Progress
Work-in-Progress: A Browser-Driven Sensor Service for Embedded IoT
TeleScribe: a scalable, resumable wireless reprogramming approach
Task synchronization and allocation for many-core real-time systems
Adding aggressive error correction to a high-performance compressing flash file system
Physical Programming: Beyond Mere Logic
Giotto: A Time-Triggered Language for Embedded Programming
Strong APA scheduling in a real-time operating system: work-in-progress
Improving fault tolerance of DNNs through weight remapping based on gaussian distribution: work-in-progress
2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014
Time-triggered implementations of dynamic controllers
Limited preemptive scheduling of non-independent task sets
Design of Autonomous, Distributed Systems
Markov decision process (MDP) framework for optimizing software on mobile phones
Event order abstraction for parametric real-time system verification
Model-based analysis, synthesis and testing of automotive hardware/software architectures
Embedded Control: From Asynchrony to Synchrony and Back
A Giotto-Based Helicopter Control System
A sink-n-hoist framework for leakage power reduction
Work in Progress: Dynamic Offloading of Soft Real-time Tasks in SDN-based Fog Computing Environment
Cutpoints for formal equivalence verification of embedded software
Input-output robustness for discrete systems
Exploring the performance of ROS2
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria
Dataflow models for shared memory access latency analysis
On model based synthesis of embedded control software
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings
Requirements driven falsification with coverage metrics
Garbage collection for embedded systems
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
Managing gpu buffers for caching more apps in mobile systems
Power-aware temporal isolation with variable-bandwidth servers
Cache-aware scheduling and analysis for multicores
Precise piecewise affine models from input-output data
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling
Embedded Software: Challenges and Opportunities
Robust controller synthesis of switched systems using counterexample guided framework
An efficient code update solution for wireless sensor network reprogramming
Embedded software for robotics: challenges and future directions: special session
Compositional temporal analysis model for incremental hard real-time system design
Computing maximum blocking times with explicit path analysis under non-local flow bounds
Systems architecture: the empirical way: abstract architectures to 'optimal' systems
Towards real-time enabled Microsoft Windows
A practical ontology framework for static model analysis
Exploiting non-volatile RAM to enhance flash file system performance
Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019
Physics-based software analysis for safety-critical embedded applications: work-in-progress
Fixed priority scheduling of real-time flows with arbitrary deadlines on smart NoCs: work-in-progress
Combining control flow checking for safety and security in embedded software: work-in-progress
Detecting deepfake videos by visual-audio synchronism: work-in-progress
Synthesis of minimal-error control software
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability
ARMor: fully verified software fault isolation
Mixed-Criticality Computing with the Quest RTOS and Quest-V Partitioning Hypervisor
Incremental schedulability analysis of hierarchical real-time components
Implementing time-predictable load and store operations
Embedded Software Market Transformation through Reusable Frameworks
An overview of the career of Paul Caspi
Cross-layer analysis, testing and verification of automotive control software
A GA-based scheduling method for FlexRay systems
Compiler-guided register reliability improvement against soft errors
Serving embedded content via web applications: model, design and experimentation
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level
Diversifying wear index for MLC NAND flash memory to extend the lifetime of SSDs
Enabling Skew-aware Federated Learning on Embedded Systems via Non-IID Data Distribution Type Estimation
Compositional timing analysis
mu-tree: an ordered index structure for NAND flash memory
Work-in-Progress: Integrating WebAssembly into Service-Oriented Architectures for Edge Systems
Software certification experience in the canadian nuclear industry: lessons for the future
Grand challenges in embedded software
WakeScope: Runtime WakeLock anomaly management scheme for Android platform
Introspection of the Linux-based embedded firmwares: work-in-progress
A general approach for expressing infeasibility in Implicit Path Enumeration Technique
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications
Integrated Performance Tuning of an IIoT Digital Twin: Work-in-Progress
Work-in-Progress: Searching Optimal Compiler Optimization Passes Sequence for Reducing Runtime Memory Profile using Ensemble Reinforcement Learning
Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009
Synchronous control of reconfiguration in fractal component-based systems: a case study
A typed assembly language for real-time programs
A superblock-based flash translation layer for NAND flash memory
Deep Software Stack Optimization for AI-Enabled Embedded Systems
Blaming in component-based real-time systems
SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems
Reducing stack with intra-task threshold priorities in real-time systems
Scratchpad memory management in a multitasking environment
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System
An effective synchronization approach for fast and accurate multi-core instruction-set simulation
Energy-aware packet and task co-scheduling for embedded systems
Reliability-aware frame packing for the static segment of flexray
Can real-time systems be chaotic?
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency
PinaVM: a systemC front-end based on an executable intermediate representation
System-Level Types for Component-Based Design
Static memory management for efficient mobile sensing applications
Verifying network performance of cyber-physical systems with multiple runtime configurations
DAPHNE - An automotive benchmark suite for parallel programming models on embedded heterogeneous platforms: work-in-progress
Switching logic synthesis for reachability
Space Reductions for Model Checking Quasi-Cyclic Systems
DELite: database support for embedded lightweight devices
Road context-aware intrusion detection system for autonomous cars: work-in-progress
Work in Progress: Efficient TSN network interface handling in a mixed-criticality system
Generative strategy based backdoor attacks to 3D point clouds: work-in-progress
Compiler-assisted leakage energy optimization for clustered VLIW architectures
Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea
Schedulability analysis of global memory-predictable scheduling
Scratchpad memory management for portable systems with a memory management unit
Translating Discrete-Time Simulink to Lustre
NVIDIA GPU scheduling details in virtualized environments: work-in-progress
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks
Probabilistic modeling of data cache behavior
Separation of concerns: overhead in modeling and efficient simulation techniques
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
Verification of device drivers and intelligent controllers: a case study
Verification of annotated models from executions
Model-based specification of timing requirements
An Implementation of Scoped Memory for Real-Time Java
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation
Embedded software reliability for unreliable hardware
New approach to architectural synthesis: incorporating QoS constraint
High-level real-time programming in Java
Block recycling schemes and their cost-based optimization in nand flash memory based storage system
HAIL: a language for easy and correct device access
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress
Components, platforms and possibilities: towards generic automation for MDA
Compositional analysis of deadlock-freedom for tree-like component architectures
Speedup Prediction for Selective Compilation of Embedded Java Programs
Exploiting last idle periods of links for network power management
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
Interpretability Derived Backdoor Attacks Detection in Deep Neural Networks: Work-in-Progress
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
Simple analysis of partial worst-case execution paths on general control flow graphs
Semantics-based optimization across uncoordinated tasks in networked embedded systems
An Approach to Designing Safe Embedded Software
User-centered semiautomatic assistive devices
Influence of different system abstractions on the performance analysis of distributed real-time systems
Using traffic phase shifting to improve AFDX link utilization
Optimal task placement to improve cache performance
Hierarchical control of a catoptric surface: work-in-progress
Making DDS really real-time with openflow
Performance analysis of distributed embedded systems
Performance-aware scheduler synthesis for control systems
NANDFS: a flexible flash file system for RAM-constrained systems
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Using de-optimization to re-optimize code
WRR-SCAN: a rate-based real-time disk-scheduling algorithm
Exponentially timed SADF: Compositional semantics, reductions, and analysis
A framework for mining hybrid automata from input/output traces
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios
New challenges in certification for aircraft software
The rclc Executor: Domain-specific deterministic scheduling mechanisms for ROS applications on microcontrollers: work-in-progress
RT-Xen: towards real-time hypervisor scheduling in xen
Model-checking behavioral programs
Precise control flow reconstruction using boolean logic
Modeling Real-Time Systems-Challenges and Work Directions
The future of IoT security: special session
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress
QoS control for optimality and safety
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks
Repeatability, reproducibility, and rigor in systems research
Snapshot-based offloading for machine learning web app: work-in-progress
A causality interface for deadlock analysis in dataflow
Existential abstractions for distributed reactive systems via syntactic transformations
Active property checking
Safety verification for linear systems
Real-time interfaces for composing real-time systems
Model-based validation of QoS properties of biomedical sensor networks
µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities
A Game Theory Approach to Heterogeneous Resource Management: Work-in-Progress
Defining and translating a "safe" subset of simulink/stateflow into lustre
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015
SoPloT : service-oriented platform for internet of things: work-in-progress
Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications
Demand bound server: generalized resource reservation for hard real-time systems
Interface theories with component reuse
Decreasing Memory Overhead in Hard Real-Time Garbage Collection
Tag machines
A denotational semantics for stateflow
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact?
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling
Volatiles are miscompiled, and what to do about it
Using NAND flash memory for executing large volume real-time programs in automotive embedded systems
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems
Wireless channel access reservation for embedded real-time systems
(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor
Slice-balancing H.264 video encoding for improved scalability of multicore decoding
Compositional Modeling in Metropolis
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications
Design Tools for Application Specific Embedded Processors
SiPTA: Signal processing for trace-based anomaly detection
Distributed-code generation from hybrid systems models for time-delayed multirate systems
On relational interfaces
Cloud-based machine learning for IoT devices with better privacy: work-in-progress
Flexible filters: load balancing through backpressure for stream programs
The first-order logic of signals: keynote
"The computer revolution", "computer science", and "software engineering" haven't happened yet
Timed Interfaces
Scalable scheduling of energy control systems
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
Deductive control synthesis for alternating-time logics
Eliminating Stack Overflow by Abstract Interpretation
The formal verification of a reintegration protocol
Resource allocation contracts for open analytic runtime models
Modelling probabilistic timing analysis: work-in-progress
Communication-centric analysis of complex embedded computing systems: work-in-progress
Towards scalable, secure, and smart mission-critical IoT systems: review and vision
Building high-performance smartphones via non-volatile memory: The swap approach
Time-predictable and composable architectures for dependable embedded systems
Tutorial: Design Automation for ML-enabled Cyber-Physical Systems: From Verification to Synthesis
Defining a strategy to introduce a software product line using existing embedded systems
Using Multiple Levels of Abstractions in Embedded Software Design
Software partitioning for effective automated unit testing
JCOD: A Lightweight Modular Compilation Technology for Embedded Java
Work-in-Progress: Flexible bus arbitration in mixed criticality systems
Reachability of hybrid systems in space-time
Energy efficient streaming applications with guaranteed throughput on MPSoCs
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
Towards network-on-chip agreement protocols
Directions in Functional Programming for Real(-Time) Applications
An approach for integrating basic retiming and software pipelining
A unified HW/SW interface model to remove discontinuities between HW and SW design
Interface Theories for Component-Based Design
Binary translation to improve energy efficiency through post-pass register re-allocation
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress