On the public citation graph

Building flexible real-time systems using the Flex language

https://doi.org/10.1109/2.76288
0 signed · 96 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.1007/3-540-15670-4_19openalex-snapshot
The ESTEREL synchronous programming language and its mathematical semantics
inferredcites →https://doi.org/10.1007/978-1-4615-3956-8_8openalex-snapshot
Algorithms for Scheduling Imprecise Computations
inferredcites →https://doi.org/10.1109/2.76287openalex-snapshot
Algorithms for scheduling imprecise computations
inferredcites →https://doi.org/10.1109/pccc.1991.113797openalex-snapshot
A measurement-based performance analyzer for real-time programs
inferredcites →https://doi.org/10.1109/real.1988.51105openalex-snapshot
Expressing and maintaining timing constraints in FLEX
inferredcites →https://doi.org/10.1109/tse.1980.234465openalex-snapshot
Guaranteed Response Times in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1109/tse.1985.231845openalex-snapshot
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.1145/182.358434openalex-snapshot
Maintaining knowledge about temporal intervals
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism

What points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199901)29:1<77::aid-spe222>3.0.co;2-3openalex-snapshot
Timing constraint specification and analysis
inferred← citeshttps://doi.org/10.1007/3-540-47728-4_52openalex-snapshot
Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java
inferred← citeshttps://doi.org/10.1007/3-540-61487-7_32openalex-snapshot
Design and implementation of DROL runtime environment on Real-Time Mach kernel
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_22openalex-snapshot
A modular approach for programming embedded systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-1009-5_7openalex-snapshot
An Event Based Object Model for Distributed Programming
inferred← citeshttps://doi.org/10.1007/978-1-4471-3207-3_3openalex-snapshot
An Hierarchical Structure for Modelling Real-Time Domains using Object-Oriented Techniques
inferred← citeshttps://doi.org/10.1007/978-1-4615-2786-2_3openalex-snapshot
Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-6069-2_17openalex-snapshot
Optimizing Performance-Polymorphic Declarative Database Queries
inferred← citeshttps://doi.org/10.1007/978-3-540-24743-2_24openalex-snapshot
Event-Driven Programming with Logical Execution Times
inferred← citeshttps://doi.org/10.1007/978-3-540-44995-9_2openalex-snapshot
Palette: A Reuse-Oriented Specification Language for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59984-2_27openalex-snapshot
Java Komponenten für ein verteiltes Echtzeitsystem
inferred← citeshttps://doi.org/10.1007/978-3-642-80069-6_12openalex-snapshot
Dynamische Resourcenplanung am Beispiel einer Robotersteuerung
inferred← citeshttps://doi.org/10.1007/bf00365520openalex-snapshot
Least suffering strategy in distributed real-time programming language DROL
inferred← citeshttps://doi.org/10.1007/bf00365521openalex-snapshot
A compact task graph representation for real-time scheduling
inferred← citeshttps://doi.org/10.1007/bf01088521openalex-snapshot
Runtime monitoring of timing constraints in distributed real-time systems
inferred← citeshttps://doi.org/10.1007/bf01088630openalex-snapshot
A survey of research in deliberative real-time artificial intelligence
inferred← citeshttps://doi.org/10.1007/bf01358949openalex-snapshot
Real-time software methodologies: Are they suitable for developing Manufacturing control software?
inferred← citeshttps://doi.org/10.1007/bfb0002883openalex-snapshot
A methodology for compilation of high-integrity real-time programs
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90086-8openalex-snapshot
Application methodology for REAKT1 systems
inferred← citeshttps://doi.org/10.1016/0165-6074(93)90184-mopenalex-snapshot
Implementing and checking timing constraints in real-time programs
inferred← citeshttps://doi.org/10.1016/0360-8352(96)00015-0openalex-snapshot
Real-time shop floor control system for PCB auto-insertion line based on object-oriented approach
inferred← citeshttps://doi.org/10.1016/b978-0-08-042236-7.50055-9openalex-snapshot
Application methodology for REAKT11In this work, we are relying on the results of the KADS-I projects (P1098). In several respects, the KADS approach has evolved in KADS-II (P5248), including the defintion of the knowledge model (Model of expertise). Instead of the four-layer model of KADS-I,…
inferred← citeshttps://doi.org/10.1016/b978-0-12-632425-9.50014-xopenalex-snapshot
REFERENCES
inferred← citeshttps://doi.org/10.1016/s0967-0661(97)10048-xopenalex-snapshot
Developing predictable and flexible distributed real-time systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43761-xopenalex-snapshot
A Top Layer Design Approach for Adaptive Real-Time Software
inferred← citeshttps://doi.org/10.1023/a:1007907330985openalex-snapshot
Automated Meta-Control for Adaptable Real-Time Software
inferred← citeshttps://doi.org/10.1023/a:1008051107382openalex-snapshot
The Spring System: Integrated Support for Complex Real-Time Systems
inferred← citeshttps://doi.org/10.1049/ip-sen:19990407openalex-snapshot
The deadline command
inferred← citeshttps://doi.org/10.1109/2.179114openalex-snapshot
Object-oriented real-time systems: concepts and examples
inferred← citeshttps://doi.org/10.1109/21.257749openalex-snapshot
Design-to-time real-time scheduling
inferred← citeshttps://doi.org/10.1109/32.387469openalex-snapshot
Compiling real-time programs with timing constraint refinement and structural code motion
inferred← citeshttps://doi.org/10.1109/32.979988openalex-snapshot
Engineering dynamic real-time distributed systems: architecture, system description language, and middleware
inferred← citeshttps://doi.org/10.1109/52.156893openalex-snapshot
Issues in building dynamic real-time systems
inferred← citeshttps://doi.org/10.1109/52.156896openalex-snapshot
Compiler support for object-oriented real-time software
inferred← citeshttps://doi.org/10.1109/52.84215openalex-snapshot
Measuring and analyzing real-time performance
inferred← citeshttps://doi.org/10.1109/69.649319openalex-snapshot
Schema evolution of an object-oriented real-time database system for manufacturing automation
inferred← citeshttps://doi.org/10.1109/88.345962openalex-snapshot
Dedos: a distributed real-time environment
inferred← citeshttps://doi.org/10.1109/ecrts.2007.32openalex-snapshot
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach
inferred← citeshttps://doi.org/10.1109/emrts.2003.1212753openalex-snapshot
Modeling flexible real time systems with preemptive time Petri nets
inferred← citeshttps://doi.org/10.1109/emwrt.1993.639040openalex-snapshot
Object-Oriented Knowledge Representation and Real-Thne Problem-Solving
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514323openalex-snapshot
Meeting hard-real-time constraints using a client-server model of interaction
inferred← citeshttps://doi.org/10.1109/hase.1996.618580openalex-snapshot
Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring
inferred← citeshttps://doi.org/10.1109/hicss.1996.495502openalex-snapshot
Syntax and semantics of PRETSEL-a specification language for parallel real-time systems
inferred← citeshttps://doi.org/10.1109/hipc.1997.634491openalex-snapshot
Parallel real-time systems: formal specification
inferred← citeshttps://doi.org/10.1109/ideas.1997.625676openalex-snapshot
A formal specification strategy for electronic commerce
inferred← citeshttps://doi.org/10.1109/iec52205.2021.9476099openalex-snapshot
Design and Simulation Networking Operating Model for Virtual Network System (VNS)
inferred← citeshttps://doi.org/10.1109/ipdps.2003.1213221openalex-snapshot
An optimization framework for dynamic, distributed real-time systems
inferred← citeshttps://doi.org/10.1109/isads.2003.1193940openalex-snapshot
Predicting timeliness of reactive systems under flexible scheduling
inferred← citeshttps://doi.org/10.1109/iwrsp.1992.243917openalex-snapshot
Computer aided system prototyping
inferred← citeshttps://doi.org/10.1109/mmcs.1997.609751openalex-snapshot
SMART UNIX SVR4 support for multimedia applications
inferred← citeshttps://doi.org/10.1109/pnpm.2003.1231550openalex-snapshot
A discrete time model for performance evaluation and correctness verification of real time systems
inferred← citeshttps://doi.org/10.1109/real.1991.160358openalex-snapshot
Program representation and translation for predictable real-time systems
inferred← citeshttps://doi.org/10.1109/real.1994.342727openalex-snapshot
Busy-idle profiles and compact task graphs: compile-time support for interleaved and overlapped scheduling of real-time tasks
inferred← citeshttps://doi.org/10.1109/real.1997.641279openalex-snapshot
Implementation and evaluation of real-time Java threads
inferred← citeshttps://doi.org/10.1109/real.1997.641280openalex-snapshot
Early detection of timing constraint violation at runtime
inferred← citeshttps://doi.org/10.1109/real.1998.739732openalex-snapshot
Specification and modeling of dynamic, distributed real-time systems
inferred← citeshttps://doi.org/10.1109/real.1999.818850openalex-snapshot
Implementing a general real-time scheduling framework in the RED-Linux real-time kernel
inferred← citeshttps://doi.org/10.1109/ride.1996.492240openalex-snapshot
Scheduling algorithms for real-time agent systems
inferred← citeshttps://doi.org/10.1109/rtas.2005.43openalex-snapshot
Real-Time Component-Based Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.1995.528764openalex-snapshot
Constructing distributed real-time systems with DROL real-time objects
inferred← citeshttps://doi.org/10.1109/rtcsa.1996.554991openalex-snapshot
A heuristic scheduling algorithm of imprecise multiprocessor system with 0/1 constraint
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811199openalex-snapshot
A C language extension for programming real-time applications
inferred← citeshttps://doi.org/10.1109/rtss.2011.41openalex-snapshot
Anytime Algorithms for GPU Architectures
inferred← citeshttps://doi.org/10.1109/rttas.1995.516207openalex-snapshot
A real-time system description language
inferred← citeshttps://doi.org/10.1109/rttas.1997.601363openalex-snapshot
Efficient Run-time Monitoring Of Timing Constraints
inferred← citeshttps://doi.org/10.1109/rttas.1998.683204openalex-snapshot
A unified approach for specifying timing constraints and composite events in active real-time database systems
inferred← citeshttps://doi.org/10.1109/tse.2005.122openalex-snapshot
Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets
inferred← citeshttps://doi.org/10.1109/words.1996.506263openalex-snapshot
TaskPair-scheduling with optimistic case execution times-an example for an adaptive real-time system
inferred← citeshttps://doi.org/10.1109/wpdrts.1994.365654openalex-snapshot
TaskPair-scheduling: an approach for dynamic real-time systems
inferred← citeshttps://doi.org/10.1109/wpdrts.1994.365657openalex-snapshot
Adjustable flow control filters and reflective memories as support for distributed real-time systems
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637988openalex-snapshot
On the design of a dynamic distributed real-time environment
inferred← citeshttps://doi.org/10.1115/1.1351819openalex-snapshot
Real-Time Computing in Open Systems for Manufacturing
inferred← citeshttps://doi.org/10.1145/1056808.1056891openalex-snapshot
Designing systems that direct human action
inferred← citeshttps://doi.org/10.1145/1176887.1176907openalex-snapshot
A hierarchical coordination language for interacting real-time tasks
inferred← citeshttps://doi.org/10.1145/155090.155106openalex-snapshot
Compiling real-time programs into schedulable code
inferred← citeshttps://doi.org/10.1145/173262.155106openalex-snapshot
Compiling real-time programs into schedulable code
inferred← citeshttps://doi.org/10.1145/185009.185040openalex-snapshot
A bibliography on garbage collection and related topics
inferred← citeshttps://doi.org/10.1145/242857.242883openalex-snapshot
Mechanisms for detecting and handling timing errors
inferred← citeshttps://doi.org/10.1145/276393.276395openalex-snapshot
A study of the applicability of existing exception-handling techniques to component-based real-time software technology
inferred← citeshttps://doi.org/10.1147/sj.341.0020openalex-snapshot
A real-time systems context for the framework for information systems architecture
inferred← citeshttps://doi.org/10.14236/ewic/rw1996.14openalex-snapshot
A real-time refinement calculus that changes only time
inferred← citeshttps://doi.org/10.1561/1000000049openalex-snapshot
Error-Efficient Computing Systems
inferred← citeshttps://doi.org/10.21236/ada252784openalex-snapshot
Systematic Development of Hard Real-Time Software: A Comparative Study of Three Methods
inferred← citeshttps://doi.org/10.2172/10178197openalex-snapshot
Reviewing real-time performance of nuclear reactor safety systems
inferred← citeshttps://doi.org/10.2514/6.1993-4523openalex-snapshot
The R-Shell approach - Using scheduling agents in complex distributed real-time systems
inferred← citeshttps://doi.org/10.4995/thesis/10251/2671openalex-snapshot
Heurísticas para el control deliberativo en una arquitectura de agentes inteligentes de tiempo real
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.