On the public citation graph

Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata

0 signed · 35 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1998.2774openalex-snapshot
Decidable Integration Graphs
inferredcites →https://doi.org/10.1007/bfb0025769openalex-snapshot
Logics of Programs
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1007/s100090050010openalex-snapshot
Uppaal in a nutshell
inferredcites →https://doi.org/10.1007/s11241-007-9027-0openalex-snapshot
Real-time scheduling for energy harvesting sensor nodes
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/j.compeleceng.2011.05.003openalex-snapshot
A real-time scheduling framework for embedded systems with environmental energy harvesting
inferredcites →https://doi.org/10.1016/j.ic.2007.01.009openalex-snapshot
Task automata: Schedulability, decidability and undecidability
inferredcites →https://doi.org/10.1016/j.tcs.2005.11.018openalex-snapshot
Scheduling with timed automata
inferredcites →https://doi.org/10.1109/92.486080openalex-snapshot
Predictive system shutdown and other architectural techniques for energy efficient programmable computation
inferredcites →https://doi.org/10.1109/greencom.2011.17openalex-snapshot
Fixed Priority Scheduling Strategies for Ambient Energy-Harvesting Embedded Systems
inferredcites →https://doi.org/10.1109/real.1998.739744openalex-snapshot
Synthesis techniques for low-power hard real-time systems on variable voltage processors
inferredcites →https://doi.org/10.1109/rtas.2006.17openalex-snapshot
Estimating the Worst-Case Energy Consumption of Embedded Software
inferredcites →https://doi.org/10.1109/rtcsa.1999.811256openalex-snapshot
Scheduling a steel plant with timed automata
inferredcites →https://doi.org/10.1109/rttas.2000.852460openalex-snapshot
Voltage-clock-scaling adaptive scheduling techniques for low power in hard real-time systems
inferredcites →https://doi.org/10.1109/sfcs.1995.492493openalex-snapshot
A scheduling model for reduced CPU energy
inferredcites →https://doi.org/10.1109/tc.2003.1252854openalex-snapshot
Voltage-clock-scaling adaptive scheduling techniques for low power in hard real-time systems
inferredcites →https://doi.org/10.1145/309847.309901openalex-snapshot
Power conscious fixed priority scheduling for hard real-time systems

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-65955-4_10openalex-snapshot
Accurate Strategy for Mixed Criticality Scheduling
inferred← citeshttps://doi.org/10.1007/978-981-96-0617-7_3openalex-snapshot
Tuning Trains Speed in Railway Scheduling
inferred← citeshttps://doi.org/10.1016/j.scico.2015.10.003openalex-snapshot
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
inferred← citeshttps://doi.org/10.1016/j.suscom.2020.100413openalex-snapshot
Dynamic harvesting- and energy-aware real-time task scheduling
inferred← citeshttps://doi.org/10.1109/access.2019.2930242openalex-snapshot
Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults
inferred← citeshttps://doi.org/10.1109/iccic.2013.6724195openalex-snapshot
ERTSim: An embedded real-time task simulator for scheduling
inferred← citeshttps://doi.org/10.1109/iccubea.2017.8463807openalex-snapshot
EERTSS: An Energy Efficient Real-Time Task Scheduling Simulator
inferred← citeshttps://doi.org/10.1109/icpcsi.2017.8392111openalex-snapshot
Implementation of energy based EDF, EDF-slack and EEA scheduling algorithm
inferred← citeshttps://doi.org/10.1109/isqed54688.2022.9806153openalex-snapshot
Aperiodic Tasks Scheduling of Energy Harvesting Embedded Systems
inferred← citeshttps://doi.org/10.1109/sies.2017.7993386openalex-snapshot
Minimizing the aperiodic responsiveness in energy harvesting devices
inferred← citeshttps://doi.org/10.1109/tcad.2021.3068095openalex-snapshot
Throughput-Conscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems
inferred← citeshttps://doi.org/10.1109/tetc.2013.2296537openalex-snapshot
Optimal Scheduling for Real-Time Jobs in Energy Harvesting Computing Systems
inferred← citeshttps://doi.org/10.1109/tvlsi.2013.2278315openalex-snapshot
State-Aware Dynamic Frequency Selection Scheme for Energy-Harvesting Real-Time Systems
inferred← citeshttps://doi.org/10.1145/2536747.2536758openalex-snapshot
Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources
inferred← citeshttps://doi.org/10.11591/ijece.v9i1.pp539-545openalex-snapshot
Energy harvesting earliest deadline first scheduling algorithm for increasing lifetime of real time systems
inferred← citeshttps://doi.org/10.3844/jcssp.2018.1126.1133openalex-snapshot
Task Scheduling in Real Time Systems with Energy Harvesting and Energy Minimization
inferred← citeshttps://doi.org/10.70675/1b3df7a2zffa2z4f04z9f8cz42868e7aa010openalex-snapshot
Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.