yusuke1997/dblp-id-title huggingface dataset:
Tool Support for Risk-driven Planning of Trustworthy Smart IoT Systems within DevOps
Fingerprint Class Recognition for Securing EMV Transaction
A Simple Attack on CaptchaStar
In-depth Feature Selection and Ranking for Automated Detection of Mobile Malware
Presence Metadata in the Internet of Things: Challenges and Opportunities
Collateral Damage of Online Social Network Applications
To Be or Not to Be (in the EU): Measurement of Discrepancies Presented in Cookie Paywalls
Directional Distance-Bounding Identification
Evaluating Explainable AI for Deep Learning-Based Network Intrusion Detection System Alert Classification
Objective- and Utility-Based Negotiation for Access Control
Leash: A Transparent Capability-Based Sandboxing Supervisor for Unix
Designing Data Trustees: A Prototype in the Building Sector
On the Influence of Image Settings in Deep Learning-based Malware Detection
Protecting Shared Virtualized Environments against Cache Side-channel Attacks
Privacy Preserving Services for Intelligent Transportation Systems with Homomorphic Encryption
Evaluating Deep Learning-based NIDS in Adversarial Settings
BroncoVote: Secure Voting System using Ethereum's Blockchain
Querying Encrypted Graph Databases
Exploring Vulnerabilities in Solidity Smart Contract
HyperPass: Secure Password Input Platform
A Review of Risk Identification Approaches in the Telecommunication Domain
EvaBio Platform for the Evaluation Biometric System - Application to the Optimization of the Enrollment Process for Fingerprints Devices
Accessible Cyber Security: The Next Frontier?
Semantic Attack on Disassociated Transactions
Forecasting Cyber-Attacks to Destination Ports Using Machine Learning
Enabling Monetization of Depreciating Data on Blockchains
A Systematic Approach to Choose the Data Warehouse Architecture
Whispers in the Cloud - A Covert Channel using the Result of Creating a Virtual Machine
Why Rigorous Underpinnings for Cyber Security Education and Training Matter? Experiences from CyBOK: The Cyber Security Body of Knowledge
Behavioral Biometric Authentication in Android Unlock Patterns through Machine Learning
Accomplishing Transparency within the General Data Protection Regulation
Securing the Flow - Data Flow Analysis with Operational Node Structures
Post Quantum Cryptography Analysis of TLS Tunneling on a Constrained Device
Robust Blockchain-Based Federated Learning
Improving the Automatic Identification of Malicious Android Apps in Unofficial Stores through Logo Analysis
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004
A rule-based language for programming software updates
Some prolog macros for rule-based programming: why? how?
Design patterns for functional strategic programming
On implementing behavioral rewriting
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002
BURG, IBURG, WBURG, GBURG: so many trees to rewrite, so little time (invited talk)
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001
Simple termination of context-sensitive rewriting
Towards generic refactoring
Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006
An asynchronous rule-based approach for business process automation using obligations
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
Pattern-matching and rewriting rules for group indexed data structures
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003
Loose synchronization of event-triggered networks for distribution of synchronous programs
Optimal WCET-aware code selection for scratchpad memory
On-the-fly fast overrun budgeting for mixed-criticality systems
PowerMonitor: design pattern for modelling energy-aware embedded systems: work-in-progress
Trigger memoization in self-triggered control
Schedulability analysis of mixed-criticality systems with multiple frequency specifications
Necessary and sufficient conditions for deterministic desynchronization
Modal interfaces: unifying interface automata and modal specifications
Processor Pipelines and Their Properties for Static WCET Analysis
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline
Integrating low-power IoT devices to a blockchain-based infrastructure: work-in-progress
WCET estimation for executables in the presence of data caches
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings
SHIM: a deterministic model for heterogeneous embedded systems
Great works for the 21st century: a critical role for the modern research university
Scalable Applications for Energy-Aware Processors
Heterogeneous actor modeling
Can we put concurrency back into redundant multithreading?
Using resource reservation techniques for power-aware scheduling
Relating average and discounted costs for quantitative analysis of timed systems
Modeling a system controller for timing analysis
Diversely enumerating system-level architectures
A neuromorphic approach of the sound source localization task in real-time embedded systems: work-in-progress
Work-in-Progress: Hot-patching Technique for Imprecise Computing by Saving Resource
Underminer: a framework for automatically identifying non-converging behaviors in black box system models
From high-level component-based models to distributed implementations
Virtual execution of AADL models via a translation into synchronous programs
Modeling and simulating cyber-physical systems using CyPhySim
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors
A reliable MTD design for MLC flash-memory storage systems
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Formal verification of ACAS X, an industrial airborne collision avoidance system
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
Special Session Predictable Timing Behavior in Distributed Cyber-Physical Systems
A new data flow analysis model for TDM
Embedded system development for automotive applications: trends and challenges
Data mining approach to temporal debugging of embedded streaming applications
BPDF: A statically analyzable dataflow model with integer and boolean parameters
Programs with ironclad timing guarantees: work-in-progress
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs
An algorithmic approach to global asymptotic stability verification of hybrid systems
Reactive process networks
Flexible support for time and costs in scenario-aware dataflow
Lessons learned on assumptions and scalability with time-aware instrumentation
Event Correlation: Language and Semantics
Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress
Using separation of concerns for embedded systems design
Synchronous Programming Techniques for Embedded Systems: Present and Future
A low-overhead dedicated execution support for stream applications on shared-memory cmp
Adaptive runtime shaping for mixed-criticality systems
DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application
Work-in-Progress: Accuracy-Area Efficient Online Fault Detection for Robust Neural Network Software-Embedded Microcontrollers
Private runtime verification: work-in-progress
Automatic Production of Globally Asynchronous Locally Synchronous Systems
An event detection algebra for reactive systems
Parallelizing the H.264 decoder on the cell BE architecture
International Conference on Embedded Software, EMSOFT 2022, Shanghai, China, October 7-14, 2022
Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis
EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
Energy adaptation for multimedia information kiosks
E-FRP with priorities
Model-based run-time monitoring of end-to-end deadlines
Scheduling within temporal partitions: response-time analysis and server design
Embedded Systems: Challenges in Specification and Verification
Multi-level hierarchical scheduling in ethernet switches
The SMT-based automatic road network generation in vehicle simulation environment
Formal verification of hybrid systems
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software
On under-determined dynamical systems
Communication by sampling in time-sensitive distributed systems
Analyses and architectures for mixed-critical systems: industry trends and research perspective
Programming parallelism with futures in lustre
Building a hybrid systems modeler from synchronous language principles
A model based approach for debugging embedded systems in real-time
Large-scale timer hardware analysis for a flexible low-level timer-API design: work-in-progress
Tax-and-spend: democratic scheduling for real-time garbage collection
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover
An energy-aware optimization model for real-time systems analysis and design: work-in-progress
Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis
Mixed critical system design and analysis
OHTLoc: an online heterogeneous transfer method on wifi-based indoor localization system: work-in-progress
A flattened hierarchical scheduler for real-time virtualization
Parallel many-core avionics systems
Formal and executable contracts for transaction-level modeling in SystemC
Communication strategies for shared-bus embedded multiprocessors
Symbolic state traversal for WCET analysis
Feedback thermal control of real-time systems on multicore processors
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress
Synthesis from incompatible specifications
Time-Safety Checking for Embedded Programs
Resource adaptations with servers for hard real-time systems
DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation
Shared hardware data structures for hard real-time systems
Synchronization of periodic clocks
Implementing fault-tolerance in real-time systems by automatic program transformations
Server-based scheduling of parallel real-time tasks
Schedule-Carrying Code
Automatically transforming and relating Uppaal models of embedded systems
Computing semi-algebraic invariants for polynomial dynamical systems
Design and implementation of a framework for creating portable and efficient packet-processing applications
Energy-efficient dynamic memory allocators at the middleware level of embedded systems
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation
Constraint-Based Design-Space Exploration and Model Synthesis
Fog computing for adaptive human-robot collaboration: work-in-progress
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
Distributing synchronous programs using bounded queues
Real-time multi-core virtual machine scheduling in Xen
Automatic HAL generation for embedded multiprocessor systems
An ILP framework for energy optimized scheduling for weakly-hard real-time systems: work-in-progress
An End-To-End Methodology for Building Embedded Systems
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems
Online stability validation using sector analysis
A cost-aware page replacement algorithm for NAND flash based mobile embedded systems
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems
Performance estimation of distributed real-time embedded systems by discrete event simulations
Modeling buffers with data refresh semantics in automotive architectures
Compiler Optimizations for Adaptive EPIC Processors
Locally optimal reach set over-approximation for nonlinear systems
Parametrized dataflow scenarios
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
Towards a higher-order synchronous data-flow language
Generating Heap-Bounded Programs in a Functional Setting
Schedulable persistence system for teal-time applications in virtual machine
Assessing the suitability of the NGMP multi-core processor in the space domain
CalMAR - a multi-application dataflow runtime: work-in-progress
Multiple process execution in cache related preemption delay analysis
A unifying view of loosely time-triggered architectures
Heterogeneous Modeling Support for Embedded Systems Design
Communication and security trade-offs for wearable medical sensor systems in hospitals: work-in-progress
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control
Energy-aware thread co-location in heterogeneous multicore processors
Refining the control structure of loops using static analysis
Model-driven system-performance engineering for cyber-physical systems
Scheduling-independent threads and exceptions in SHIM
Timing and schedulability analysis for distributed automotive control applications
Passive mid-stream monitoring of real-time properties
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
Energy-Efficient Multi-processor Implementation of Embedded Software
Usage Scenarios for an Automated Model Compiler
Refining SIRAP with a dedicated resource ceiling for self-blocking
ILP-Based Interprocedural Path Analysis
Dynamic tuning of feature set in highly variant interactive applications
Achal: building highly reliable networked control systems
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems
Dual face phased array radar scheduling with multiple constraints
ExLRU: a unified write buffer cache management for flash memory
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy
A synergetic approach to accurate analysis of cache-related preemption delay
Model-based analysis of distributed real-time embedded system composition
Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic
Forward invariant cuts to simplify proofs of safety
Loosely time-triggered architectures based on communication-by-sampling
Quantitative testing
Mixing signals and modes in synchronous data-flow systems
Reuse of software in distributed embedded automotive systems
Approximation of the worst-case execution time using structural analysis
Work-in-Progress: CLERR: A High-performance Cross-layer Method for Eliminating Rendering Redundancy in Android
Modular performance analysis of cyclic dataflow graphs
Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
Portioned EDF-based scheduling on multiprocessors
Optimizing inter-processor data locality on embedded chip multiprocessors
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
Random testing of interrupt-driven software
Path-sensitive resource analysis compliant with assertions
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions
Challenges and potential solutions for complex embedded systems
Ptera: an event-oriented model of computation for heterogeneous systems
Methods for multi-dimensional robustness optimization in complex embedded systems
Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress
A refinement theory for timed-dataflow analysis with support for reordering
Message from the program co-chairs
Model-based implementation of real-time applications
Formal performance evaluation of AMBA-based system-on-chip designs
Towards a formal foundation for domain specific modeling languages
The federated scheduling of systems of conditional sporadic DAG tasks
International Conference on Embedded Software, EMSOFT 2025, Taipei, Taiwan, September 28 - Oct. 3, 2025
Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Workload-based configuration of MEMS-based storage devices for mobile systems
Automatic verification of linear controller software
The cyber-physical immune system: work-in-progress
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems
Handling mixed-criticality in SoC-based real-time embedded systems
Reasoning about Abstract Open Systems with Generalized Module Checking
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings
Deeply embedded XML communication: towards an interoperable and seamless world
Stability-aware analysis and design of embedded control systems
JSDelta: serializing modified javascript states for state sharing: work-in-progress
Work-in-Progress: A Resource-Aware Optimization Model for Real-Time Systems Analysis and Design
A Protocol for Loosely Time-Triggered Architectures
Loosely time-triggered architectures: improvements and comparisons
The algebra of connectors: structuring interaction in BIP
Progress-aware Dynamic Slack Exploitation in Mixed-critical Systems: Work-in-Progress
HOKES/POKES: Light-Weight Resource Sharing
Real-time system support for hybrid structural simulation
Proving the absence of run-time errors in safety-critical avionics code
Exploiting prescriptive aspects: a design time capability
Time-aware relational abstractions for hybrid systems
A conservative extension of synchronous data-flow with state machines
A model-based approach to integrating security policies for embedded devices
International Conference on Embedded Software, EMSOFT 2023, Hamburg, Germany, September 17-22, 2023
Task mapping in heterogeneous embedded systems for fast completion time
Minimizing Variables' Lifetime in Loop-Intensive Applications
Conservative approximations for heterogeneous design
An analysis framework for network-code programs
Reliability mechanisms for file systems using non-volatile memory as a metadata store
SyncCharts in C: a proposal for light-weight, deterministic concurrency
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music
A fast, lightweight, and reliable file system for wireless sensor networks
Determinate composition of FMUs for co-simulation
Nucleos: a runtime system for ultra-compact wireless sensor nodes
SmartDTM: smart thermal management for smartphones: work-in-progress
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Embedded Systems and Real-Time Programming
Symbolic simulation on complicated loops for WCET path analysis
A UML 2.0 profile for SystemC: toward high-level SoC design
Work-in-Progress: Micro-Accelerator-in-the-Loop Framework for MCU Integrated Accelerator Peripheral Fast Prototyping
A Probabilistic Framework for Schedulability Analysis
A Network-Centric Approach to Embedded Software for Tiny Devices
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT 2017 Companion, Seoul, Republic of Korea, October 15-20, 2017
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems
Efficient distributed deadlock avoidance with liveness guarantees
Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation
RTComposer: a framework for real-time components with scheduling interfaces
Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress
Bounded error flowpipe computation of parameterized linear systems
A methodology for generating verified combinatorial circuits
Towards direct execution of esterel programs on reactive processors
Compositional verification of fault-tolerant real-time programs
Work-in-Progress: Accelerated Matrix Factorization by Approximate Computing for Recommendation System
Flattening hierarchical scheduling
A hierarchical coordination language for interacting real-time tasks
Online robust optimization framework for QoS guarantees in distributed soft real-time systems
A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems
Clock-Driven Automatic Distribution of Lustre Programs
Towards a time-triggered schedule calculation tool to support model-based embedded software design
Enhancing Compiler Techniques for Memory Energy Optimizations
A timing model for synchronous language implementations in simulink
Synchronous Modelling of Asynchronous Systems
Contract-based integration of cyber-physical analyses
Embedded Software in Network Processors - Models and Algorithms
Extending typical worst-case analysis using response-time dependencies to bound deadline misses
RTMUS RT : a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progress
Smart layers and dumb result: IO characterization of an android-based smartphone
Synthesising optimal timing delays for Timed I/O Automata
Fast snapshot migration using static code instrumentation: work-in-progress
Smart furniture: a platform for context-aware embedded ubiquitous applications
Operating system support for redundant multithreading
The Temporal Specification of Interfaces in Distributed Real-Time Systems
Runtime verification of real-time embedded systems
Remote customization of systems code for embedded devices
A unified practical approach to stochastic DVS scheduling
Upgrading Embedded Software in the Field: Dependability and Survivability
Modeling synchronous systems in BIP
Executing dataflow actors as kahn processes
Delay-bound function for cyber-physical systems: work-in-progress
WCET-aware reachability for verified simplex design: work-in-progress
Hierarchical Hybrid Modeling of Embedded Systems
Uniform object modeling methodology and reuse of real-time system using UML
Code aware resource management
Exploring parallelization strategies for NUFFT data translation
Debugging embedded multimedia application traces through periodic pattern mining
Verification of Embedded Software: Problems and Perspectives
Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress
The design of an efficient swap mechanism for hybrid DRAM-NVM systems
Bus Architectures for Safety-Critical Embedded Systems
Analysis of the zeroconf protocol using UPPAAL
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
Aciom: application characteristics-aware disk and network i/o management on android platform
A New Facility for Dynamic Control of Program Execution: DELI
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
Nonvolatile main memory aware garbage collection in high-level language virtual machine
LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage
Software certification: coding, code, and coders
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers
Monotonicity and run-time scheduling