On the public citation graph
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains
0 signed · 36 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-46419-0_27openalex-snapshot
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_8openalex-snapshot
Approximate Probabilistic Model Checking
inferredcites →https://doi.org/10.1016/j.entcs.2005.05.031openalex-snapshot
Probabilistic Verification and Approximation
inferredcites →https://doi.org/10.1109/sfcs.1983.35openalex-snapshot
Monte-Carlo algorithms for enumeration and reliability problems
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-319-66335-7_23openalex-snapshot
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-15640-3_22openalex-snapshot
Approximate Model Checking of Stochastic COWS
inferred← citeshttps://doi.org/10.1007/s10009-014-0344-zopenalex-snapshot
Approximate planning and verification for large Markov decision processes
inferred← citeshttps://doi.org/10.1007/s10009-014-0350-1openalex-snapshot
On hypothesis testing for statistical model checking
inferred← citeshttps://doi.org/10.1007/s10009-015-0368-zopenalex-snapshot
Statistical model checking for unbounded until formulas
inferred← citeshttps://doi.org/10.1007/s10009-015-0370-5openalex-snapshot
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
inferred← citeshttps://doi.org/10.1016/j.apal.2007.11.006openalex-snapshot
Probabilistic verification and approximation
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.02.048openalex-snapshot
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
inferred← citeshttps://doi.org/10.1016/j.peva.2010.04.001openalex-snapshot
The ins and outs of the probabilistic model checker MRMC
inferred← citeshttps://doi.org/10.1016/j.peva.2015.04.003openalex-snapshot
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
inferred← citeshttps://doi.org/10.1109/isola.2006.27openalex-snapshot
Modeling of Sensor Networks Using XRM
inferred← citeshttps://doi.org/10.1109/pdmc-hibi.2010.12openalex-snapshot
Three High Performance Architectures in the Parallel APMC Boat
inferred← citeshttps://doi.org/10.1109/qest.2009.11openalex-snapshot
The Ins and Outs of the Probabilistic Model Checker MRMC
inferred← citeshttps://doi.org/10.1109/tse.2009.57openalex-snapshot
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
inferred← citeshttps://doi.org/10.1109/tse.2024.3392720openalex-snapshot
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
inferred← citeshttps://doi.org/10.1145/2245276.2231984openalex-snapshot
Approximate planning and verification for large markov decision processes
inferred← citeshttps://doi.org/10.1145/3158668openalex-snapshot
A Survey of Statistical Model Checking
inferred← citeshttps://doi.org/10.1145/3310226openalex-snapshot
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking
inferred← citeshttps://doi.org/10.14236/ewic/vecos2010.12openalex-snapshot
Steady-state property verification: a comparison study
inferred← citeshttps://doi.org/10.1504/ijccbs.2011.042331openalex-snapshot
Steady state property verification of very large systems
inferred← citeshttps://doi.org/10.15168/11572_367835openalex-snapshot
Knowledge discovery for stochastic models of biological systems
inferred← citeshttps://doi.org/10.3390/info11120588openalex-snapshot
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
inferred← citeshttps://doi.org/10.3990/1.9789036505925openalex-snapshot
Efficient modelling, generation and analysis of Markov Automata
inferred← citeshttps://doi.org/10.4108/eai.14-12-2015.2262571openalex-snapshot
Interactive comparison of hypothesis tests for statistical model checking
inferred← citeshttps://doi.org/10.4108/icst.valuetools.2011.245710openalex-snapshot
HASL: an Expressive Language for Statistical Verification of Stochastic Models
inferred← citeshttps://doi.org/10.4204/eptcs.14.4openalex-snapshot
Efficient Parallel Statistical Model Checking of Biochemical Networks
inferred← citeshttps://doi.org/10.48550/arxiv.1304.5199openalex-snapshot
Some approximations in Model Checking and Testing
inferred← citeshttps://doi.org/10.48550/arxiv.1812.02573openalex-snapshot
Probabilistic Verification of Fairness Properties via Concentration
inferred← citeshttps://doi.org/10.70675/590e9e70z529ez4330z962ez7e569a799d92openalex-snapshot
Adaptation de l’algorithmique aux architectures parallèles
inferred← citeshttps://doi.org/10.70675/5d4356aazbd5fz4a02z95b9z1eb35c2973d6openalex-snapshot
Acceleration for statistical model checking
inferred← citeshttps://doi.org/10.7763/ijcte.2017.v9.1131openalex-snapshot
Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP
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.