On the public citation graph
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures
0 signed · 60 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-36970-8_35openalex-snapshot
PISA — A Platform and Programming Language Independent Interface for Search Algorithms
inferredcites →https://doi.org/10.1007/bf00365407openalex-snapshot
Allocating hard real-time tasks: An NP-Hard problem made easy
inferredcites →https://doi.org/10.1007/bf01094342openalex-snapshot
Fixed priority pre-emptive scheduling: An historical perspective
inferredcites →https://doi.org/10.1023/a:1008899229802openalex-snapshot
System-Level Synthesis Using Evolutionary Algorithms
inferredcites →https://doi.org/10.1109/32.637388openalex-snapshot
Assignment and scheduling communicating periodic tasks in distributed real-time systems
inferredcites →https://doi.org/10.1109/edtc.1996.494313openalex-snapshot
Design of an optimal loosely coupled heterogeneous multiprocessor system
inferredcites →https://doi.org/10.1109/emrts.2004.1311010openalex-snapshot
Schedulability-driven partitioning and mapping for multi-cluster real-time systems
inferredcites →https://doi.org/10.1109/rtcsa.2005.90openalex-snapshot
Scheduling Distributed Real-Time Systems by Satisfiability Checking
inferredcites →https://doi.org/10.1109/rtss.2005.25openalex-snapshot
Hierarchical Fixed Priority Pre-Emptive Scheduling
inferredcites →https://doi.org/10.1145/368273.368557openalex-snapshot
A machine program for theorem-proving
inferredcites →https://doi.org/10.5555/787259.787613openalex-snapshot
Design of an optimal loosely coupled heterogeneous multiprocessor system
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-1-4020-6254-4_13openalex-snapshot
A Design Methodology for Distributed Real-Time Automotive Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-15093-8_23openalex-snapshot
GA-Based Mapping and Scheduling of HSDF Graphs on Multiprocessor Platforms
inferred← citeshttps://doi.org/10.1007/978-3-030-29908-8_49openalex-snapshot
Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-16086-3_18openalex-snapshot
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_28openalex-snapshot
Optimizing Automatic Deployment Using Non-functional Requirement Annotations
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_35openalex-snapshot
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints
inferred← citeshttps://doi.org/10.1007/s10515-018-0248-3openalex-snapshot
Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems
inferred← citeshttps://doi.org/10.1016/j.jcss.2015.05.005openalex-snapshot
Task partitioning and priority assignment for distributed hard real-time systems
inferred← citeshttps://doi.org/10.1016/j.riai.2013.05.006openalex-snapshot
Algoritmo genético permutacional para el despliegue y la planificación de sistemas de tiempo real distribuidos
inferred← citeshttps://doi.org/10.1016/j.sysarc.2012.11.003openalex-snapshot
Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2013.08.009openalex-snapshot
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
inferred← citeshttps://doi.org/10.1016/j.sysarc.2020.101818openalex-snapshot
Efficient SAT encoding scheme for schedulability analysis of non-preemptive tasks on multiple computational resources
inferred← citeshttps://doi.org/10.1049/pbhe010e_ch11openalex-snapshot
Model-compilation challenges for cyber-physical systems
inferred← citeshttps://doi.org/10.1109/cases.2015.7324553openalex-snapshot
Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization
inferred← citeshttps://doi.org/10.1109/ecrts.2010.13openalex-snapshot
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods
inferred← citeshttps://doi.org/10.1109/etfa.2008.4638458openalex-snapshot
Scheduling analysis of distributed real-time systems under functional constraints
inferred← citeshttps://doi.org/10.1109/hpcc-css-icess.2015.276openalex-snapshot
Simulation-Driven Optimization of Real-Time Control Tasks
inferred← citeshttps://doi.org/10.1109/mdat.2019.2932936openalex-snapshot
Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems
inferred← citeshttps://doi.org/10.1109/rtas.2009.37openalex-snapshot
Optimizing Extensibility in Hard Real-Time Distributed Systems
inferred← citeshttps://doi.org/10.1109/rtss.2007.18openalex-snapshot
A UML-Based Design Framework for Time-Triggered Applications
inferred← citeshttps://doi.org/10.1109/rtss.2007.40openalex-snapshot
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
inferred← citeshttps://doi.org/10.1109/rtss.2008.49openalex-snapshot
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization
inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00028openalex-snapshot
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time
inferred← citeshttps://doi.org/10.1109/saso.2011.19openalex-snapshot
Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems
inferred← citeshttps://doi.org/10.1109/seaa.2012.60openalex-snapshot
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1109/seams.2012.6224393openalex-snapshot
Timing constraints for runtime adaptation in real-time, networked embedded systems
inferred← citeshttps://doi.org/10.1109/sies.2011.5953658openalex-snapshot
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too
inferred← citeshttps://doi.org/10.1109/sies.2013.6601470openalex-snapshot
Efficient partitioning of sporadic real-time tasks with shared resources and spin locks
inferred← citeshttps://doi.org/10.1109/sies.2014.6871195openalex-snapshot
Task synthesis for latency-sensitive synchronous block diagram
inferred← citeshttps://doi.org/10.1109/socc56010.2022.9908103openalex-snapshot
Overhead-Aware Schedule Synthesis for Logical Execution Time (LET) in Automotive Systems
inferred← citeshttps://doi.org/10.1109/tc.2012.21openalex-snapshot
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization
inferred← citeshttps://doi.org/10.1109/tii.2010.2053938openalex-snapshot
Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems
inferred← citeshttps://doi.org/10.1109/tpds.2010.204openalex-snapshot
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems
inferred← citeshttps://doi.org/10.1109/tse.2009.58openalex-snapshot
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
inferred← citeshttps://doi.org/10.1145/1278480.1278620openalex-snapshot
Virtual platforms and timing analysis
inferred← citeshttps://doi.org/10.1145/2103380.2103395openalex-snapshot
Cost-minimal pre-allocation of software tasks under real-time constraints
inferred← citeshttps://doi.org/10.1145/2362336.2362352openalex-snapshot
Optimization of task allocation and priority assignment in hard real-time distributed systems
inferred← citeshttps://doi.org/10.1145/2560519.2565873openalex-snapshot
Design synthesis and optimization for automotive embedded systems
inferred← citeshttps://doi.org/10.1145/2831232openalex-snapshot
Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms
inferred← citeshttps://doi.org/10.1145/2950051openalex-snapshot
An Efficient Technique of Application Mapping and Scheduling on Real-Time Multiprocessor Systems for Throughput Optimization
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.50.711openalex-snapshot
Automatic Deployment Space Exploration Using Refinement Transformations
inferred← citeshttps://doi.org/10.1587/transfun.e96.a.878openalex-snapshot
Co-scheduling of Communication and Control of Multi-Hop Control Networks
inferred← citeshttps://doi.org/10.1587/transinf.2016edp7374openalex-snapshot
SMT-Based Scheduling for Overloaded Real-Time Systems
inferred← citeshttps://doi.org/10.2478/cait-2025-0025openalex-snapshot
A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources
inferred← citeshttps://doi.org/10.2991/ijcis.11.1.30openalex-snapshot
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy
inferred← citeshttps://doi.org/10.4271/2013-01-0432openalex-snapshot
From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach
inferred← citeshttps://doi.org/10.4995/riai.2019.10997openalex-snapshot
Una revisión de técnicas para la optimización del despliegue y planificación de sistemas de tiempo real distribuidos
inferred← citeshttps://doi.org/10.5555/2666795.2666808openalex-snapshot
Timing constraints for runtime adaptation in real-time, networked embedded systems
inferred← citeshttps://doi.org/10.5555/2830689.2830706openalex-snapshot
Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization
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.