On the public citation graph
Compositional performance analysis
0 signed · 37 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.1006/inco.1995.1123openalex-snapshot
Reactive, Generative, and Stratified Models of Probabilistic Processes
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-60630-0_9openalex-snapshot
Analytic and locally approximate solutions to properties of probabilistic processes
inferredcites →https://doi.org/10.1007/978-1-4757-2426-4openalex-snapshot
Probability, Stochastic Processes, and Queueing Theory
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferredcites →https://doi.org/10.1007/bf01213605openalex-snapshot
Model-checking discrete duration calculus
inferredcites →https://doi.org/10.1007/bfb0039078openalex-snapshot
A synchronous calculus of relative frequency
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/c2013-0-11297-4openalex-snapshot
Introduction to Probabilistic Automata
inferredcites →https://doi.org/10.1017/cbo9780511569951openalex-snapshot
A Compositional Approach to Performance Modelling
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-0-387-72258-0_6openalex-snapshot
Automotive System Optimization using Sensitivity Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-66042-0_6openalex-snapshot
Formal Modeling: A Step Forward to Cyber Secure Connected Car Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-88304-1_17openalex-snapshot
RTCAnalysis: Practical Modular Performance Analysis of Automotive Systems with RTC
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_16openalex-snapshot
Compositional Abstraction for Stochastic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28540-0_9openalex-snapshot
Weighted Probabilistic Equivalence Preserves ω-Regular Properties
inferred← citeshttps://doi.org/10.1007/pl00013291openalex-snapshot
Symbolic Approaches to Probability Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/s10617-008-9015-1openalex-snapshot
Influence of different abstractions on the performance analysis of distributed hard real-time systems
inferred← citeshttps://doi.org/10.1007/s11241-006-6884-xopenalex-snapshot
A framework for modular analysis and exploration of heterogeneous embedded systems
inferred← citeshttps://doi.org/10.1007/s11241-007-9039-9openalex-snapshot
Sensitivity analysis of complex embedded real-time systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00305-4openalex-snapshot
Process algebra for performance evaluation
inferred← citeshttps://doi.org/10.1016/s0928-4869(98)00013-5openalex-snapshot
Exact, analytic, and locally approximate solutions to discrete event-simulation problems
inferred← citeshttps://doi.org/10.1049/ip-cdt:20045088openalex-snapshot
System level performance analysis – the SymTA/S approach
inferred← citeshttps://doi.org/10.1109/idaacs-sws50031.2020.9297100openalex-snapshot
Timing Analysis of Car-to-Car Communication Systems Using Real-Time Calculus: A Case Study
inferred← citeshttps://doi.org/10.1109/isola.2006.65openalex-snapshot
Real-Time Property Verification in Organic Computing Systems
inferred← citeshttps://doi.org/10.1109/rtas.2005.10openalex-snapshot
Applying Sensitivity Analysis in Real-Time Distributed Systems
inferred← citeshttps://doi.org/10.1109/rtss52674.2021.00045openalex-snapshot
Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves
inferred← citeshttps://doi.org/10.1109/telfor48224.2019.8971034openalex-snapshot
Formal Methods for Connected Vehicle Protocols
inferred← citeshttps://doi.org/10.1145/1176254.1176267openalex-snapshot
A formal approach to robustness maximization of complex heterogeneous embedded systems
inferred← citeshttps://doi.org/10.1145/1176760.1176806openalex-snapshot
Methods for power optimization in distributed embedded systems with real-time requirements
inferred← citeshttps://doi.org/10.1145/1289816.1289835openalex-snapshot
Combined approach to system level performance analysis of embedded systems
inferred← citeshttps://doi.org/10.1145/1289816.1289861openalex-snapshot
Improved response time analysis of tasks scheduled under preemptive Round-Robin
inferred← citeshttps://doi.org/10.1145/1289927.1289959openalex-snapshot
Influence of different system abstractions on the performance analysis of distributed real-time systems
inferred← citeshttps://doi.org/10.20868/upm.thesis.10703openalex-snapshot
Communication Middleware for Distributed Hard Real-Time Systems in Java
inferred← citeshttps://doi.org/10.3929/ethz-a-005328667openalex-snapshot
Modular performance analysis and interface-based design for embedded real-time systems
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.