On the public citation graph
A Survey of Statistical Model Checking
0 signed · 395 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.1002/(sici)1098-2418(199608/09)9:1/2<223::aid-rsa14>3.0.co;2-oopenalex-snapshot
Exact sampling with coupled Markov chains and applications to statistical mechanics
inferredcites →https://doi.org/10.1007/11513988_25openalex-snapshot
Probabilistic Verification for “Black-Box” Systems
inferredcites →https://doi.org/10.1007/11513988_26openalex-snapshot
On Statistical Model Checking of Stochastic Systems
inferredcites →https://doi.org/10.1007/11513988_43openalex-snapshot
Ymer: A Statistical Model Checker
inferredcites →https://doi.org/10.1007/11609773_10openalex-snapshot
Error Control for Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/11691372_26openalex-snapshot
Model-Checking Markov Chains in the Presence of Uncertainties
inferredcites →https://doi.org/10.1007/11730637_35openalex-snapshot
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-45605-8_16openalex-snapshot
Approximate Verification of Probabilistic Systems
inferredcites →https://doi.org/10.1007/3-540-45657-0_17openalex-snapshot
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/3-540-61474-5_75openalex-snapshot
Verifying continuous time Markov chains
inferredcites →https://doi.org/10.1007/978-1-4612-0865-5_26openalex-snapshot
Probability Inequalities for sums of Bounded Random Variables
inferredcites →https://doi.org/10.1007/978-1-4612-0919-5_18openalex-snapshot
Sequential Tests of Statistical Hypotheses
inferredcites →https://doi.org/10.1007/978-3-319-15201-1_23openalex-snapshot
Scalable Verification of Markov Decision Processes
inferredcites →https://doi.org/10.1007/978-3-319-22264-6_15openalex-snapshot
Quantitative Analysis of Consistency in NoSQL Key-Value Stores
inferredcites →https://doi.org/10.1007/978-3-319-23820-3_17openalex-snapshot
Statistical Model Checking of Distributed Adaptive Real-Time Software
inferredcites →https://doi.org/10.1007/978-3-319-45943-1_9openalex-snapshot
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
inferredcites →https://doi.org/10.1007/978-3-319-45994-3_2openalex-snapshot
Rare Events for Statistical Model Checking an Overview
inferredcites →https://doi.org/10.1007/978-3-319-46508-1openalex-snapshot
Transactions on Foundations for Mastering Change I
inferredcites →https://doi.org/10.1007/978-3-319-46508-1_9openalex-snapshot
Statistical Model Checking with Change Detection
inferredcites →https://doi.org/10.1007/978-3-319-46982-9_1openalex-snapshot
Some Thoughts on Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-319-47166-2_4openalex-snapshot
Feedback Control for Statistical Model Checking of Cyber-Physical Systems
inferredcites →https://doi.org/10.1007/978-3-319-47166-2_56openalex-snapshot
A Logic for the Statistical Model Checking of Dynamic Software Architectures
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_8openalex-snapshot
Approximate Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-27813-9_16openalex-snapshot
Statistical Model Checking of Black-Box Probabilistic Systems
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_18openalex-snapshot
Monte Carlo Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-77966-7_9openalex-snapshot
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
inferredcites →https://doi.org/10.1007/978-3-540-88562-7_18openalex-snapshot
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
inferredcites →https://doi.org/10.1007/978-3-642-03845-7_15openalex-snapshot
A Bayesian Approach to Model Checking Biological Systems
inferredcites →https://doi.org/10.1007/978-3-642-04761-9_11openalex-snapshot
Statistical Model Checking Using Perfect Simulation
inferredcites →https://doi.org/10.1007/978-3-642-10373-5_17openalex-snapshot
Approximate Model Checking of PCTL Involving Unbounded Path Properties
inferredcites →https://doi.org/10.1007/978-3-642-13414-2_9openalex-snapshot
Simulation and Analysis of Distributed Systems in Klaim
inferredcites →https://doi.org/10.1007/978-3-642-19829-8_10openalex-snapshot
Statistical Verification of Probabilistic Properties with Unbounded Until
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_27openalex-snapshot
Time for Statistical Model Checking of Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-22944-2_28openalex-snapshot
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
inferredcites →https://doi.org/10.1007/978-3-642-24310-3_7openalex-snapshot
Statistical Model Checking for Networks of Priced Timed Automata
inferredcites →https://doi.org/10.1007/978-3-642-24372-1_1openalex-snapshot
Statistical Model Checking for Cyber-Physical Systems
inferredcites →https://doi.org/10.1007/978-3-642-24559-6_11openalex-snapshot
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
inferredcites →https://doi.org/10.1007/978-3-642-28540-0_20openalex-snapshot
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_23openalex-snapshot
Coupling and Importance Sampling for Statistical Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_24openalex-snapshot
Verifying pCTL Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-33636-2_19openalex-snapshot
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System
inferredcites →https://doi.org/10.1007/978-3-642-38697-8_21openalex-snapshot
MARCIE – Model Checking and Reachability Analysis Done Efficiently
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_38openalex-snapshot
Importance Splitting for Statistical Model Checking Rare Properties
inferredcites →https://doi.org/10.1007/978-3-642-40196-1_12openalex-snapshot
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
inferredcites →https://doi.org/10.1007/978-3-642-40663-8_1openalex-snapshot
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
inferredcites →https://doi.org/10.1007/978-3-642-40708-6_10openalex-snapshot
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models
inferredcites →https://doi.org/10.1007/978-3-662-45231-8_11openalex-snapshot
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
inferredcites →https://doi.org/10.1007/978-3-662-45231-8_13openalex-snapshot
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
inferredcites →https://doi.org/10.1007/978-3-662-49674-9_7openalex-snapshot
Faster Statistical Model Checking for Unbounded Temporal Properties
inferredcites →https://doi.org/10.1007/978-3-662-54580-5_17openalex-snapshot
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
inferredcites →https://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferredcites →https://doi.org/10.1007/s10009-005-0187-8openalex-snapshot
Numerical vs. statistical probabilistic model checking
inferredcites →https://doi.org/10.1007/s10009-014-0313-6openalex-snapshot
Statistical model checking QoS properties of systems with SBIP
inferredcites →https://doi.org/10.1007/s10009-014-0343-0openalex-snapshot
Statistical model checking for biological applications
inferredcites →https://doi.org/10.1007/s10009-014-0344-zopenalex-snapshot
Approximate planning and verification for large Markov decision processes
inferredcites →https://doi.org/10.1007/s10009-015-0368-zopenalex-snapshot
Statistical model checking for unbounded until formulas
inferredcites →https://doi.org/10.1007/s10009-015-0383-0openalex-snapshot
Smart sampling for lightweight verification of Markov decision processes
inferredcites →https://doi.org/10.1007/s10703-013-0195-3openalex-snapshot
Bayesian statistical model checking with application to Stateflow/Simulink verification
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://doi.org/10.1016/j.apal.2007.11.006openalex-snapshot
Probabilistic verification and approximation
inferredcites →https://doi.org/10.1016/j.entcs.2005.04.012openalex-snapshot
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
inferredcites →https://doi.org/10.1016/j.entcs.2005.10.040openalex-snapshot
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
inferredcites →https://doi.org/10.1016/j.entcs.2007.05.027openalex-snapshot
Evaluating Complex MAC Protocols for Sensor Networks with APMC
inferredcites →https://doi.org/10.1016/j.ic.2006.05.002openalex-snapshot
Statistical probabilistic model checking with a focus on time-bounded properties
inferredcites →https://doi.org/10.1016/j.ipl.2006.01.012openalex-snapshot
Improved undecidability results on weighted timed automata
inferredcites →https://doi.org/10.1016/j.peva.2015.04.003openalex-snapshot
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
inferredcites →https://doi.org/10.1016/j.tcs.2016.08.009openalex-snapshot
Command-based importance sampling for statistical model checking
inferredcites →https://doi.org/10.1057/jors.1993.181openalex-snapshot
A Survey of Applications of Markov Decision Processes
inferredcites →https://doi.org/10.1080/00401706.1967.10490457openalex-snapshot
Estimation of the Fraction Defective in Curtailed Sampling Plans by Attributes
inferredcites →https://doi.org/10.1080/01621459.1963.10500830openalex-snapshot
Probability Inequalities for Sums of Bounded Random Variables
inferredcites →https://doi.org/10.1080/07362990601139628openalex-snapshot
Adaptive Multilevel Splitting for Rare Event Analysis
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/49.62852openalex-snapshot
Stochastic Petri net models of polling systems
inferredcites →https://doi.org/10.1109/acsd.2014.21openalex-snapshot
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
inferredcites →https://doi.org/10.1109/hase.2017.10openalex-snapshot
Verification of Interlocking Systems Using Statistical Model Checking
inferredcites →https://doi.org/10.1109/qest.2005.42openalex-snapshot
VESTA: A statistical model-checker and analyzer for probabilistic systems
inferredcites →https://doi.org/10.1109/qest.2006.5openalex-snapshot
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains
inferredcites →https://doi.org/10.1109/qest.2010.35openalex-snapshot
Reasoning about MDPs as Transformers of Probability Distributions
inferredcites →https://doi.org/10.1109/qest.2010.39openalex-snapshot
Rare Event Simulation for Highly Dependable Systems with Fast Repairs
inferredcites →https://doi.org/10.1109/qest.2012.19openalex-snapshot
Statistical Model Checking for Markov Decision Processes
inferredcites →https://doi.org/10.1109/reldi.2000.885410openalex-snapshot
On the use of model checking techniques for dependability evaluation
inferredcites →https://doi.org/10.1109/tse.2003.1205180openalex-snapshot
Model-checking algorithms for continuous-time markov chains
inferredcites →https://doi.org/10.1109/tse.2010.80openalex-snapshot
Verifying the Evolution of Probability Distributions Governed by a DTMC
inferredcites →https://doi.org/10.1111/1467-9884.00082openalex-snapshot
Sample size determination: a review
inferredcites →https://doi.org/10.1111/rssa.12122_5openalex-snapshot
Sequential Analysis: Hypothesis Testing and Changepoint Detection
inferredcites →https://doi.org/10.1137/1034111openalex-snapshot
The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling (Raj Jain)
inferredcites →https://doi.org/10.1145/1225275.1225280openalex-snapshot
Rare events, splitting, and quasi-Monte Carlo
inferredcites →https://doi.org/10.1145/1538788.1538814openalex-snapshot
Formal verification of a realistic compiler
inferredcites →https://doi.org/10.1145/1839764.1839776openalex-snapshot
A comparative study of stochastic analysis techniques
inferredcites →https://doi.org/10.1145/2489253.2489256openalex-snapshot
Performance evaluation of sensor networks by statistical modeling and euclidean model checking
inferredcites →https://doi.org/10.1145/2601381.2601394openalex-snapshot
Towards semantic model composition via experiments
inferredcites →https://doi.org/10.1145/343369.343402openalex-snapshot
Model-checking continuous-time Markov chains
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1186/1471-2105-13-s5-s8openalex-snapshot
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
inferredcites →https://doi.org/10.1198/000313007x222488openalex-snapshot
An Introduction to Evidential Sample Size Calculations
inferredcites →https://doi.org/10.1214/aoms/1177700156openalex-snapshot
On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean
inferredcites →https://doi.org/10.1214/aoms/1177730030openalex-snapshot
Statistical Decision Functions
inferredcites →https://doi.org/10.1214/aoms/1177731118openalex-snapshot
Sequential Tests of Statistical Hypotheses
inferredcites →https://doi.org/10.1609/aaai.v31i1.10932openalex-snapshot
Importance Sampling with Unequal Support
inferredcites →https://doi.org/10.2307/2218271openalex-snapshot
Conjectures and Refutations: The Growth of Scientific Knowledge.
inferredcites →https://doi.org/10.2307/2288237openalex-snapshot
Probability and Statistics With Reliability, Queuing, and Computer Science Applications.
inferredcites →https://doi.org/10.2307/2551371openalex-snapshot
Conjectures and Refutations: The Growth of Scientific Knowledge.
inferredcites →https://doi.org/10.3166/ejc.16.624-641openalex-snapshot
Approximate Model Checking of Stochastic Hybrid Systems
inferredcites →https://doi.org/10.4108/eai.1-2-2017.152154openalex-snapshot
An Application of SMC to continuous validation of heterogeneous systems
inferredcites →https://doi.org/10.4108/icst.valuetools.2013.254377openalex-snapshot
MultiVeStA: Statistical Model Checking for Discrete Event Simulators
inferredcites →https://doi.org/10.4204/eptcs.85.1openalex-snapshot
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
inferredcites →https://doi.org/10.4204/eptcs.92.9openalex-snapshot
Statistical Model Checking for Stochastic Hybrid Systems
inferredcites →https://doi.org/10.5555/2429759.2430158openalex-snapshot
Efficient simulation of stochastic well-formed nets through symmetry exploitation
inferredcites →https://doi.org/10.5555/3220880.3220972openalex-snapshot
Numerical vs. statistical probabilistic model checking
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119716600.ch8openalex-snapshot
Hybrid Automata in Systems Biology
inferred← citeshttps://doi.org/10.1002/cpe.6550openalex-snapshot
An accident prediction architecture based on spatio‐clock stochastic and hybrid model for autonomous driving safety
inferred← citeshttps://doi.org/10.1002/smr.2697openalex-snapshot
Looking back and forward: A retrospective and future directions on software engineering for systems‐of‐systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03421-4_24openalex-snapshot
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
inferred← citeshttps://doi.org/10.1007/978-3-030-05411-3_58openalex-snapshot
Specialist Cops Catching Robbers on Complex Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-18744-6_3openalex-snapshot
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
inferred← citeshttps://doi.org/10.1007/978-3-030-22868-2_66openalex-snapshot
Modelling and Analysis of Partially Stochastic Time Petri Nets Using Uppaal Model Checkers
inferred← citeshttps://doi.org/10.1007/978-3-030-27008-7_1openalex-snapshot
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
inferred← citeshttps://doi.org/10.1007/978-3-030-29516-5_91openalex-snapshot
Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre
inferred← citeshttps://doi.org/10.1007/978-3-030-30146-0_45openalex-snapshot
Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network
inferred← citeshttps://doi.org/10.1007/978-3-030-31157-5_7openalex-snapshot
Predicting and Testing Latencies with Deep Learning: An IoT Case Study
inferred← citeshttps://doi.org/10.1007/978-3-030-50086-3_1openalex-snapshot
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_23openalex-snapshot
STMC: Statistical Model Checker with Stratified and Antithetic Sampling
inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_27openalex-snapshot
PrIC3: Property Directed Reachability for MDPs
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_29openalex-snapshot
Bayesian Verification of Chemical Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-57321-8_19openalex-snapshot
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-58768-0_17openalex-snapshot
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-030-58793-2_32openalex-snapshot
Applied Statistical Model Checking for a Sensor Behavior Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-59854-9_6openalex-snapshot
Probabilistic Model Checking of AODV
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_21openalex-snapshot
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
inferred← citeshttps://doi.org/10.1007/978-3-030-61725-7_28openalex-snapshot
Towards Provably Correct Probabilistic Flight Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-63882-5_5openalex-snapshot
Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease
inferred← citeshttps://doi.org/10.1007/978-3-030-69322-0_32openalex-snapshot
Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-70881-8_3openalex-snapshot
A Quantitative Security Risk Analysis Framework for Modelling and Analyzing Advanced Persistent Threats
inferred← citeshttps://doi.org/10.1007/978-3-030-71906-7_4openalex-snapshot
Formal Modeling and Simulation of Collaborative Intelligent Robots
inferred← citeshttps://doi.org/10.1007/978-3-030-72013-1_21openalex-snapshot
Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report
inferred← citeshttps://doi.org/10.1007/978-3-030-83723-5_15openalex-snapshot
On Correctness, Precision, and Performance in Quantitative Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-84629-9_6openalex-snapshot
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-85172-9_12openalex-snapshot
Active and Sparse Methods in Smoothed Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-85172-9_3openalex-snapshot
Tweaking the Odds in Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-85248-1_11openalex-snapshot
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer
inferred← citeshttps://doi.org/10.1007/978-3-030-90636-8_2openalex-snapshot
Component-Based Approach Combining UML and BIP for Rigorous System Design
inferred← citeshttps://doi.org/10.1007/978-3-030-91265-9_16openalex-snapshot
API Usage Pattern Search Based on Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-91550-6_6openalex-snapshot
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-030-91825-5_16openalex-snapshot
Performance Analysis of Production Lines Through Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-92137-8_2openalex-snapshot
Statistical Model Checking for Traffic Models
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_13openalex-snapshot
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning
inferred← citeshttps://doi.org/10.1007/978-3-031-08421-8_45openalex-snapshot
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_9openalex-snapshot
Verifying Neural Networks Against Backdoor Attacks
inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_2openalex-snapshot
Sampling-Based Verification of CTMCs with Uncertain Rates
inferred← citeshttps://doi.org/10.1007/978-3-031-16011-0_1openalex-snapshot
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-16011-0_4openalex-snapshot
A Secure User-Centred Healthcare System: Design and Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_17openalex-snapshot
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_7openalex-snapshot
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-16832-1_9openalex-snapshot
Fitting Curves of Ruminal Degradation Using a Metaheuristic Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_21openalex-snapshot
Formal Analysis of Lending Pools in Decentralized Finance
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_25openalex-snapshot
The Modest State of Learning, Sampling, and Verifying Strategies
inferred← citeshttps://doi.org/10.1007/978-3-031-19762-8_20openalex-snapshot
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_21openalex-snapshot
Safe Policy Improvement in Constrained Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-031-25383-6_18openalex-snapshot
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_15openalex-snapshot
QMaude: Quantitative Specification and Verification in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_17openalex-snapshot
Monitoring Algorithmic Fairness
inferred← citeshttps://doi.org/10.1007/978-3-031-43345-0_1openalex-snapshot
Building Correct-by-Construction Systems with Formal Patterns
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_10openalex-snapshot
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_15openalex-snapshot
Monitoring Algorithmic Fairness Under Partial Observations
inferred← citeshttps://doi.org/10.1007/978-3-031-45332-8_1openalex-snapshot
Lightweight Verification of Hyperproperties
inferred← citeshttps://doi.org/10.1007/978-3-031-51500-2openalex-snapshot
Special Topics in Information Technology
inferred← citeshttps://doi.org/10.1007/978-3-031-51500-2_4openalex-snapshot
Model-Driven Development of Formally Verified Human-Robot Interactions
inferred← citeshttps://doi.org/10.1007/978-3-031-63790-2_1openalex-snapshot
Formal Methods and Tools Applied in the Railway Domain
inferred← citeshttps://doi.org/10.1007/978-3-031-66456-4_11openalex-snapshot
QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models
inferred← citeshttps://doi.org/10.1007/978-3-031-67695-6_4openalex-snapshot
Tools at the Frontiers of Quantitative Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-68150-9_2openalex-snapshot
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
inferred← citeshttps://doi.org/10.1007/978-3-031-68416-6_13openalex-snapshot
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
inferred← citeshttps://doi.org/10.1007/978-3-031-68738-9_35openalex-snapshot
Neuro-Symbolic Artificial Intelligence for Safety Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_18openalex-snapshot
Certified Quantization Strategy Synthesis for Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_20openalex-snapshot
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
inferred← citeshttps://doi.org/10.1007/978-3-031-73180-8_3openalex-snapshot
Verification-Oriented Specification of Multi-agent Interaction Patterns
inferred← citeshttps://doi.org/10.1007/978-3-031-75390-9_13openalex-snapshot
An Integrated Perspective on the Evaluation of Complex Railway Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_23openalex-snapshot
Adaptive Stopping Algorithms Based on Concentration Inequalities
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_24openalex-snapshot
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_26openalex-snapshot
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_27openalex-snapshot
On SMC-Based Dependability Analysis in LoLiPoP-IoT Project
inferred← citeshttps://doi.org/10.1007/978-3-031-75775-4_6openalex-snapshot
Modest Models and Tools for Real Stochastic Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-76554-4_18openalex-snapshot
Active Learning of Runtime Monitors Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-031-78189-6_12openalex-snapshot
Detection of Unknown Errors in Human-Centered Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_9openalex-snapshot
Sound Statistical Model Checking for Probabilities and Expected Rewards
inferred← citeshttps://doi.org/10.1007/978-3-031-90660-2_4openalex-snapshot
Certifiably Robust Policies for Uncertain Parametric Environments
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_15openalex-snapshot
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions
inferred← citeshttps://doi.org/10.1007/978-3-032-00942-5_2openalex-snapshot
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space
inferred← citeshttps://doi.org/10.1007/978-3-032-01377-4_13openalex-snapshot
Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-032-05188-2_18openalex-snapshot
Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_19openalex-snapshot
Programming and Verifying Actor Systems in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_20openalex-snapshot
PMaude Revisited Through Probabilistic Strategies
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_21openalex-snapshot
Modeling and Analyzing Real-Time Systems in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_11openalex-snapshot
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_5openalex-snapshot
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_8openalex-snapshot
PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_3openalex-snapshot
A Formal Framework for Predicting Distributed System Performance Under Faults
inferred← citeshttps://doi.org/10.1007/978-3-032-26752-8_2openalex-snapshot
Fuzzing Executable ASMETA Models
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_10openalex-snapshot
Multi-objective Statistical Model Checking Using Lightweight Strategy Sampling
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_21openalex-snapshot
Effective Stochastic Automata Model Checking by Interval Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_3openalex-snapshot
Facing the Core: State-Space Compression of Dynamic Fault Trees via PH-Distributions
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_17openalex-snapshot
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-70766-2_25openalex-snapshot
Valid and Reproducible Simulation Studies—Making It Explicit
inferred← citeshttps://doi.org/10.1007/978-3-319-99154-2_13openalex-snapshot
Model Checking for Safe Navigation Among Humans
inferred← citeshttps://doi.org/10.1007/978-3-319-99933-3_11openalex-snapshot
Statistical Model Checking of Response Times for Different System Deployments
inferred← citeshttps://doi.org/10.1007/978-981-15-0637-6_5openalex-snapshot
Formal Modeling and Analysis of Probabilistic Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-981-16-6369-7_5openalex-snapshot
Performance Prediction of Scalable Multi-agent Systems Using Parallel Theatre
inferred← citeshttps://doi.org/10.1007/978-981-33-4901-8_12openalex-snapshot
Using Deterministic Theatre for Energy Management in Smart Environments
inferred← citeshttps://doi.org/10.1007/978-981-95-4213-0_17openalex-snapshot
Quantitative Verification for Temporal Properties of Massive Linear Systems
inferred← citeshttps://doi.org/10.1007/s00165-021-00556-1openalex-snapshot
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
inferred← citeshttps://doi.org/10.1007/s00607-020-00874-xopenalex-snapshot
A conceptual framework for resilience: fundamental definitions, strategies and metrics
inferred← citeshttps://doi.org/10.1007/s10009-020-00563-2openalex-snapshot
An efficient statistical model checker for nondeterminism and rare events
inferred← citeshttps://doi.org/10.1007/s10009-021-00633-zopenalex-snapshot
The probabilistic model checker Storm
inferred← citeshttps://doi.org/10.1007/s10009-022-00653-3openalex-snapshot
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
inferred← citeshttps://doi.org/10.1007/s10009-022-00660-4openalex-snapshot
Formal methods and tools for industrial critical systems
inferred← citeshttps://doi.org/10.1007/s10009-022-00665-zopenalex-snapshot
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
inferred← citeshttps://doi.org/10.1007/s10009-022-00687-7openalex-snapshot
Formal methods and tools for industrial critical systems
inferred← citeshttps://doi.org/10.1007/s10009-025-00826-wopenalex-snapshot
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations
inferred← citeshttps://doi.org/10.1007/s10270-023-01125-1openalex-snapshot
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
inferred← citeshttps://doi.org/10.1007/s10270-025-01276-3openalex-snapshot
Models for formal methods and tools: the case of railway systems
inferred← citeshttps://doi.org/10.1007/s10462-022-10286-2openalex-snapshot
AI-big data analytics for building automation and management systems: a survey, actual challenges and future perspectives
inferred← citeshttps://doi.org/10.1007/s10489-021-02884-4openalex-snapshot
Generation and verification of learned stochastic automata using k-NN and statistical model checking
inferred← citeshttps://doi.org/10.1007/s11219-021-09559-wopenalex-snapshot
Learning and analysis of sensors behavior in IoT systems using statistical model checking
inferred← citeshttps://doi.org/10.1007/s11227-023-05483-xopenalex-snapshot
Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance
inferred← citeshttps://doi.org/10.1007/s11704-024-2622-6openalex-snapshot
An effective fault localization approach for Verilog based on enhanced contexts
inferred← citeshttps://doi.org/10.1007/s11721-020-00183-1openalex-snapshot
On the robustness of consensus-based behaviors for robot swarms
inferred← citeshttps://doi.org/10.1007/s12652-020-02498-7openalex-snapshot
Reasoning about group social commitments in multi-agent systems
inferred← citeshttps://doi.org/10.1007/s42835-019-00287-7openalex-snapshot
Ethernet-Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking
inferred← citeshttps://doi.org/10.1007/s42979-026-05227-7openalex-snapshot
Assessing Test Scenarios for Autonomous Driving
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110513openalex-snapshot
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110617openalex-snapshot
Automated verification and synthesis of stochastic hybrid systems: A survey
inferred← citeshttps://doi.org/10.1016/j.cose.2021.102381openalex-snapshot
Quantitative Security Risk Modeling and Analysis with RisQFLan
inferred← citeshttps://doi.org/10.1016/j.engappai.2022.105630openalex-snapshot
Multisource traffic incident reporting and evidence management in Internet of Vehicles using machine learning and blockchain
inferred← citeshttps://doi.org/10.1016/j.eswa.2024.123371openalex-snapshot
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
inferred← citeshttps://doi.org/10.1016/j.ijdrr.2018.04.010openalex-snapshot
Statistical model checking of relief supply location and distribution in natural disaster management
inferred← citeshttps://doi.org/10.1016/j.jedc.2022.104458openalex-snapshot
Automated and distributed statistical analysis of economic agent-based models
inferred← citeshttps://doi.org/10.1016/j.jocs.2021.101387openalex-snapshot
EB-DEVS: A formal framework for modeling and simulation of emergent behavior in dynamic complex systems
inferred← citeshttps://doi.org/10.1016/j.jss.2019.07.007openalex-snapshot
Expression caching for runtime verification based on parameterized probabilistic models
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111007openalex-snapshot
A formal approach for the analysis of BPMN collaboration models
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111859openalex-snapshot
Detection of backdoor attacks using targeted universal adversarial perturbations for deep neural networks
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111983openalex-snapshot
White-box validation of quantitative product lines by statistical model checking and process mining
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112238openalex-snapshot
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112657openalex-snapshot
Proactive self-adaptation and assurance of explainable Human–Machine Teaming
inferred← citeshttps://doi.org/10.1016/j.micpro.2026.105266openalex-snapshot
LoLiPoP-IoT: Advancing the energy-efficient Internet of Things
inferred← citeshttps://doi.org/10.1016/j.neunet.2024.106949openalex-snapshot
BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks
inferred← citeshttps://doi.org/10.1016/j.ress.2019.02.005openalex-snapshot
Safety analysis for vehicle guidance systems with dynamic fault trees
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104387openalex-snapshot
Specification, stochastic modeling and analysis of interactive service robotic applications
inferred← citeshttps://doi.org/10.1016/j.scico.2018.08.007openalex-snapshot
Stochastic analysis of BPMN with time in rewriting logic
inferred← citeshttps://doi.org/10.1016/j.scico.2023.103028openalex-snapshot
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235
inferred← citeshttps://doi.org/10.1016/j.simpat.2018.07.011openalex-snapshot
Qualitative and quantitative model checking of distributed probabilistic timed actors
inferred← citeshttps://doi.org/10.1016/j.simpat.2021.102277openalex-snapshot
Reconciling interoperability with efficient Verification and Validation within open source simulation environments
inferred← citeshttps://doi.org/10.1016/j.simpat.2021.102467openalex-snapshot
Analyzing stochastic reward nets by model checking and parallel simulation
inferred← citeshttps://doi.org/10.1017/9781108770750.009openalex-snapshot
Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
inferred← citeshttps://doi.org/10.1051/itmconf/20246000012openalex-snapshot
Advancing verification of process mining models with quantitative model checking in stochastic environment
inferred← citeshttps://doi.org/10.1088/1742-6596/1500/1/012099openalex-snapshot
The Pattern of The Marketing Ground Coffee Beans Using Decision Support System
inferred← citeshttps://doi.org/10.1109/access.2020.2967634openalex-snapshot
Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods
inferred← citeshttps://doi.org/10.1109/access.2020.3025934openalex-snapshot
SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems
inferred← citeshttps://doi.org/10.1109/access.2021.3117852openalex-snapshot
A Deployment Framework for Formally Verified Human-Robot Interactions
inferred← citeshttps://doi.org/10.1109/aero55745.2023.10115613openalex-snapshot
Statistical Conformance Checking of Aviation Cyber-Physical Systems by Mining Physics Guided Models
inferred← citeshttps://doi.org/10.1109/cdc42340.2020.9303982openalex-snapshot
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/comsnets.2019.8711476openalex-snapshot
Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00009openalex-snapshot
Statistical Model Checking for Hyperproperties
inferred← citeshttps://doi.org/10.1109/csr61664.2024.10679461openalex-snapshot
Quantifying the Odds in Real World Attack Scenarios
inferred← citeshttps://doi.org/10.1109/ddecs52668.2021.9417069openalex-snapshot
Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults
inferred← citeshttps://doi.org/10.1109/ddecs54261.2022.9770166openalex-snapshot
Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking
inferred← citeshttps://doi.org/10.1109/distra.2018.8600934openalex-snapshot
Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre
inferred← citeshttps://doi.org/10.1109/ds-rt47707.2019.8958655openalex-snapshot
Reproducible parallel simulation experiments via pure functional programming
inferred← citeshttps://doi.org/10.1109/ds-rt47707.2019.8958695openalex-snapshot
Home Energy Management Using Theatre With Hybrid Actors
inferred← citeshttps://doi.org/10.1109/ds-rt47707.2019.8958707openalex-snapshot
Formal Modelling and Verification of Real-Time Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1109/ds-rt50469.2020.9213705openalex-snapshot
Model Checking Actor-based Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/iccps54341.2022.00017openalex-snapshot
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
inferred← citeshttps://doi.org/10.1109/iccps61052.2024.00022openalex-snapshot
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
inferred← citeshttps://doi.org/10.1109/icftic57696.2022.10075188openalex-snapshot
Modeling and Verification for CPS Space- Time Safety
inferred← citeshttps://doi.org/10.1109/icra48891.2023.10161083openalex-snapshot
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks
inferred← citeshttps://doi.org/10.1109/icse.2019.00126openalex-snapshot
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing
inferred← citeshttps://doi.org/10.1109/icsrs63046.2024.10927044openalex-snapshot
Enhancing Safety of Power Supply Systems in Automotive Applications: Integrating Functional Safety (FuSa) and Safety of the Intended Functionality (SOTIF)
inferred← citeshttps://doi.org/10.1109/itsc45102.2020.9294636openalex-snapshot
Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition
inferred← citeshttps://doi.org/10.1109/lcsys.2022.3186932openalex-snapshot
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach
inferred← citeshttps://doi.org/10.1109/mcs.2025.3577050openalex-snapshot
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]
inferred← citeshttps://doi.org/10.1109/mcs.2025.3611545openalex-snapshot
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
inferred← citeshttps://doi.org/10.1109/memocode51338.2020.9315001openalex-snapshot
Bayesian Statistical Model Checking for Continuous Stochastic Logic
inferred← citeshttps://doi.org/10.1109/mis.2022.3215698openalex-snapshot
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior
inferred← citeshttps://doi.org/10.1109/newcas49341.2020.9159828openalex-snapshot
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy
inferred← citeshttps://doi.org/10.1109/ojcsys.2022.3207108openalex-snapshot
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/prdc67299.2025.00034openalex-snapshot
Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches
inferred← citeshttps://doi.org/10.1109/qce65121.2025.00052openalex-snapshot
Tailored Quantum Device Calibration with Statistical Model Checking
inferred← citeshttps://doi.org/10.1109/rtss52674.2021.00039openalex-snapshot
Monte Carlo Response-Time Analysis
inferred← citeshttps://doi.org/10.1109/smc42975.2020.9283204openalex-snapshot
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
inferred← citeshttps://doi.org/10.1109/tai.2025.3550913openalex-snapshot
Detection of Unknown-Unknowns in Human-in-Loop Human-in-Plant Safety Critical Systems
inferred← citeshttps://doi.org/10.1109/tase49443.2020.00024openalex-snapshot
The Bouquet Algorithm for Model Checking Unbounded Until Properties
inferred← citeshttps://doi.org/10.1109/tcbb.2020.3028776openalex-snapshot
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study
inferred← citeshttps://doi.org/10.1109/tcsi.2021.3058355openalex-snapshot
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies
inferred← citeshttps://doi.org/10.1109/tie.2022.3206699openalex-snapshot
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters
inferred← citeshttps://doi.org/10.1109/tii.2025.3528556openalex-snapshot
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees
inferred← citeshttps://doi.org/10.1109/tits.2019.2945333openalex-snapshot
Intelligent Hazard-Risk Prediction Model for Train Control Systems
inferred← citeshttps://doi.org/10.1109/tits.2025.3530112openalex-snapshot
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/tkde.2019.2899840openalex-snapshot
Artifact-Based Workflows for Supporting Simulation Studies
inferred← citeshttps://doi.org/10.1109/tse.2020.3016778openalex-snapshot
Conditional Quantitative Program Analysis
inferred← citeshttps://doi.org/10.1109/tse.2021.3124677openalex-snapshot
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
inferred← citeshttps://doi.org/10.1109/tse.2023.3298432openalex-snapshot
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/tse.2024.3392720openalex-snapshot
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
inferred← citeshttps://doi.org/10.1109/tsmc.2023.3327432openalex-snapshot
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
inferred← citeshttps://doi.org/10.1109/wisee57913.2025.11229839openalex-snapshot
Deep Reinforcement Learning for Routing in Uncertain DTNs with Graph Neural Networks
inferred← citeshttps://doi.org/10.1109/worlds4.2019.8903937openalex-snapshot
Verification of a Smart Power Control System using Hybrid Actors
inferred← citeshttps://doi.org/10.1109/worlds450073.2020.9210288openalex-snapshot
Modelling and Analysis of Cyber-Physical Systems using Deterministic Theatre
inferred← citeshttps://doi.org/10.1109/wsc.2018.8632232openalex-snapshot
CRISIS, WHAT CRISIS – DOES REPRODUCIBILITY IN MODELING & SIMULATION REALLY MATTER?
inferred← citeshttps://doi.org/10.1109/wsc.2018.8632456openalex-snapshot
STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL
inferred← citeshttps://doi.org/10.1109/wsc48552.2020.9383908openalex-snapshot
Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models
inferred← citeshttps://doi.org/10.1109/wsc48552.2020.9383984openalex-snapshot
Conceptual Models in Simulation Studies: Making it Explicit
showing the first 200 of 277 · page through all 277
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.