On the public citation graph

PRISM: A Tool for Automatic Verification of Probabilistic Systems

https://doi.org/10.1007/11691372_29
0 signed · 546 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.1090/crmm/023openalex-snapshot
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

What points at this work

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

inferred← citeshttps://doi.org/10.3217/jucs-018-17-2432openalex-extracted
A Formal Approach for Risk Assessment in RBAC Systems
inferred← citeshttps://doi.org/10.1002/9780470611012.ch8openalex-snapshot
Verification of Real‐Time Probabilistic Systems
inferred← citeshttps://doi.org/10.1002/9781118459898.ch7openalex-snapshot
Practical Applications of Probabilistic Model Checking to Communication Protocols
inferred← citeshttps://doi.org/10.1002/9781118569351.ch4openalex-snapshot
Behavioral Cartography of Timed Automata
inferred← citeshttps://doi.org/10.1002/smr.1888openalex-snapshot
Of software and change
inferred← citeshttps://doi.org/10.1002/smr.1890openalex-snapshot
Formal verification of probabilistic SystemC models with statistical model checking
inferred← citeshttps://doi.org/10.1002/smr.2179openalex-snapshot
Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report
inferred← citeshttps://doi.org/10.1002/smr.375openalex-snapshot
Mining temporal rules for software maintenance
inferred← citeshttps://doi.org/10.1007/11760146_37openalex-snapshot
Computational Modeling and Experimental Validation of Aviation Security Procedures
inferred← citeshttps://doi.org/10.1007/11814764_12openalex-snapshot
Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols
inferred← citeshttps://doi.org/10.1007/11817949_24openalex-snapshot
Reachability in Recursive Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/11817963_23openalex-snapshot
Symmetry Reduction for Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/11841197_14openalex-snapshot
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
inferred← citeshttps://doi.org/10.1007/11867340_4openalex-snapshot
Extended Directed Search for Probabilistic Timed Reachability
inferred← citeshttps://doi.org/10.1007/11880240_39openalex-snapshot
Model-Driven Assessment of Use Cases for Dependable Systems
inferred← citeshttps://doi.org/10.1007/11885191_3openalex-snapshot
Probabilistic Model Checking of Complex Biological Pathways
inferred← citeshttps://doi.org/10.1007/11901914_1openalex-snapshot
Analysis of Recursive Probabilistic Models
inferred← citeshttps://doi.org/10.1007/11901914_4openalex-snapshot
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
inferred← citeshttps://doi.org/10.1007/11944836_29openalex-snapshot
On Reduction Criteria for Probabilistic Reward Models
inferred← citeshttps://doi.org/10.1007/978-0-387-09680-3_18openalex-snapshot
From Processes to ODEs by Chemistry
inferred← citeshttps://doi.org/10.1007/978-0-387-09680-3_4openalex-snapshot
Leader Election in Anonymous Rings: Franklin Goes Probabilistic
inferred← citeshttps://doi.org/10.1007/978-0-387-89828-5_1openalex-snapshot
General-Purpose Autonomic Computing
inferred← citeshttps://doi.org/10.1007/978-1-4471-2297-5_12openalex-snapshot
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
inferred← citeshttps://doi.org/10.1007/978-1-4939-1878-2_11openalex-snapshot
Efficient Analysis Methods in Synthetic Biology
inferred← citeshttps://doi.org/10.1007/978-3-030-00253-4_18openalex-snapshot
On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03421-4_29openalex-snapshot
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_27openalex-snapshot
Probabilistic Bisimulation for Parameterized Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-29157-0_10openalex-snapshot
Modular Programming and Reasoning for Living with Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-030-48077-6_14openalex-snapshot
Formal Distributed Protocol Development for Reservation of Railway Sections
inferred← citeshttps://doi.org/10.1007/978-3-030-59155-7_5openalex-snapshot
Voyager: Software Architecture Trade-off Explorer
inferred← citeshttps://doi.org/10.1007/978-3-030-59854-9_13openalex-snapshot
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-030-66494-7_13openalex-snapshot
RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability
inferred← citeshttps://doi.org/10.1007/978-3-031-15116-3_14openalex-snapshot
Architectural Optimization for Confidentiality Under Structural Uncertainty
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-75872-0_10openalex-snapshot
Model-Driven Design and Generation of Training Simulators for Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-88546-4_8openalex-snapshot
Review on Verification for Marine Autonomous Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-22940-3_11openalex-snapshot
25 Years of Declarative Agent Technologies in Italy
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_11openalex-snapshot
Modelling and Analysis Under Uncertainty in Stark
inferred← citeshttps://doi.org/10.1007/978-3-319-01766-2_141openalex-snapshot
Quantitative Verification of the Bounded Retransmission Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_36openalex-snapshot
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_19openalex-snapshot
Efficient Analysis of Reliability Architectures via Predicate Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-319-03191-0_8openalex-snapshot
Modelling and Analysis of E. coli Respiratory Chain
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_24openalex-snapshot
Energy-Utility Quantiles
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_2openalex-snapshot
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-07953-0_8openalex-snapshot
On the Implementation of Quantitative Model Refinement
inferred← citeshttps://doi.org/10.1007/978-3-319-08915-7_2openalex-snapshot
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_10openalex-snapshot
A Logical Framework for Systems Biology
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_22openalex-snapshot
Model Checking Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-14977-6_16openalex-snapshot
On-the-Fly Symmetry Reduction of Explicitly Represented Probabilistic Models
inferred← citeshttps://doi.org/10.1007/978-3-319-16841-8_48openalex-snapshot
Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer
inferred← citeshttps://doi.org/10.1007/978-3-319-17142-5_34openalex-snapshot
ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM
inferred← citeshttps://doi.org/10.1007/978-3-319-21741-3_15openalex-snapshot
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-22416-9_22openalex-snapshot
Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties
inferred← citeshttps://doi.org/10.1007/978-3-319-22975-1_6openalex-snapshot
Quantitative Analysis of Communication Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-319-23404-5_15openalex-snapshot
Model Counting for Complex Data Structures
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_22openalex-snapshot
A Recursive Probabilistic Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-33924-5_25openalex-snapshot
Kernel P Systems and Stochastic P Systems for Modelling and Formal Verification of Genetic Logic Gates
inferred← citeshttps://doi.org/10.1007/978-3-319-34096-8_2openalex-snapshot
Dependability of Adaptable and Evolvable Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-40379-3_13openalex-snapshot
Probabilistic Model Checking of Ant-Based Positionless Swarming
inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_4openalex-snapshot
PSI: Exact Symbolic Inference for Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-47307-9_7openalex-snapshot
Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application
inferred← citeshttps://doi.org/10.1007/978-3-319-47677-3_19openalex-snapshot
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-54072-6_8openalex-snapshot
Comparative Analysis of Statistical Model Checking Tools
inferred← citeshttps://doi.org/10.1007/978-3-319-64107-2_5openalex-snapshot
Verification of Visibility-Based Properties on Multiple Moving Robots
inferred← citeshttps://doi.org/10.1007/978-3-319-67618-0_14openalex-snapshot
Modelling and Analysis of Distributed Asynchronous Actor Systems Using Theatre
inferred← citeshttps://doi.org/10.1007/978-3-319-72308-2_10openalex-snapshot
Memory-Efficient Tactics for Randomized LTL Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-92459-5_21openalex-snapshot
A Queueing Model of the Edge Node in IP over All-Optical Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_16openalex-snapshot
Formal Analysis of BPMN Via a Translation into COWS
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_3openalex-snapshot
An Experimental Evaluation of Probabilistic Simulation
inferred← citeshttps://doi.org/10.1007/978-3-540-69209-6_18openalex-snapshot
Modeling and Validation of Aviation Security
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_16openalex-snapshot
Probabilistic CEGAR
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_13openalex-snapshot
A Symbolic Algorithm for Optimal Markov Chain Lumping
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_69openalex-snapshot
Trace-Based Semantics for Probabilistic Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-71605-1_11openalex-snapshot
Genetic Programming with Fitness Based on Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_6openalex-snapshot
Stochastic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-72738-5_6openalex-snapshot
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_18openalex-snapshot
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_6openalex-snapshot
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_16openalex-snapshot
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_9openalex-snapshot
Probabilistic Timed Behavior Trees
inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_38openalex-snapshot
Magnifying-Lens Abstraction for Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-74126-8_24openalex-snapshot
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-74984-4_15openalex-snapshot
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_14openalex-snapshot
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_19openalex-snapshot
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
inferred← citeshttps://doi.org/10.1007/978-3-540-77312-2_9openalex-snapshot
A Hybrid Approach to Modeling Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78800-3_13openalex-snapshot
On Automated Verification of Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-85114-1_7openalex-snapshot
Generating Compact MTBDD-Representations from Probmela Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-87412-6_10openalex-snapshot
State-Aware Performance Analysis with eXtended Stochastic Probes
inferred← citeshttps://doi.org/10.1007/978-3-540-88869-7_20openalex-snapshot
Quantitative Verification Techniques for Biological Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-88869-7_23openalex-snapshot
Process Calculi Abstractions for Biology
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_17openalex-snapshot
Abstraction Refinement for Probabilistic Software
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_29openalex-snapshot
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_1openalex-snapshot
Scalable Analysis of Scalable Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02652-2_10openalex-snapshot
Probabilistic Reachability for Parametric Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_49openalex-snapshot
INFAMY: An Infinite-State Markov Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_8openalex-snapshot
Local Quantitative LTL Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-03845-7_15openalex-snapshot
A Bayesian Approach to Model Checking Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_28openalex-snapshot
Concavely-Priced Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-04143-3_3openalex-snapshot
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04186-0_5openalex-snapshot
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway
inferred← citeshttps://doi.org/10.1007/978-3-642-04617-9_86openalex-snapshot
Probabilistic Models for the Verification of Human-Computer Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_10openalex-snapshot
LTL Model Checking of Time-Inhomogeneous Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_11openalex-snapshot
Statistical Model Checking Using Perfect Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-05118-0_16openalex-snapshot
Stability of Distributed Algorithms in the Face of Incessant Faults
inferred← citeshttps://doi.org/10.1007/978-3-642-05118-0_17openalex-snapshot
Dependability Engineering of Silent Self-stabilizing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_17openalex-snapshot
Approximate Model Checking of PCTL Involving Unbounded Path Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-10452-7_15openalex-snapshot
Undecidability Results for Distributed Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-10772-6_22openalex-snapshot
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-11319-2_26openalex-snapshot
Best Probabilistic Transformers
inferred← citeshttps://doi.org/10.1007/978-3-642-11467-0_5openalex-snapshot
Formal Verification and Testing Based on P Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12002-2_3openalex-snapshot
Assume-Guarantee Verification for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12002-2_30openalex-snapshot
PASS: Abstraction Refinement for Infinite Probabilistic Models
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_56openalex-snapshot
PARAM: A Model Checker for Parametric Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-642-14849-1_5openalex-snapshot
Population Protocols and Related Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_4openalex-snapshot
A Framework for Verification of Software with Time and Probabilities
inferred← citeshttps://doi.org/10.1007/978-3-642-15349-5_5openalex-snapshot
Behavioral Cartography of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_3openalex-snapshot
Concurrency and Composition in a Stochastic World
inferred← citeshttps://doi.org/10.1007/978-3-642-15461-4_42openalex-snapshot
Formal Verification of Probabilistic Swarm Behaviours
inferred← citeshttps://doi.org/10.1007/978-3-642-15769-1_24openalex-snapshot
Linear-Invariant Generation for Probabilistic Programs:
inferred← citeshttps://doi.org/10.1007/978-3-642-15784-4_17openalex-snapshot
Compositional Abstraction of PEPA Models for Transient Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-16023-3_19openalex-snapshot
Algorithmic Verification of Population Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-16561-0_19openalex-snapshot
Towards Dynamic Adaptation of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16561-0_27openalex-snapshot
Dependability Analysis and Verification for Connected Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_26openalex-snapshot
Model Checking Hierarchical Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_16openalex-snapshot
The How and Why of Interactive Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-642-18123-8_18openalex-snapshot
An Integrated Approach to P Systems Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-19748-2_8openalex-snapshot
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_2openalex-snapshot
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-19835-9_11openalex-snapshot
Quantitative Multi-objective Verification for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-19835-9_24openalex-snapshot
QUASY: Quantitative Synthesis Tool
inferred← citeshttps://doi.org/10.1007/978-3-642-20401-2_2openalex-snapshot
A Unifying Formal Basis for the Sensoria Approach: A White Paper
inferred← citeshttps://doi.org/10.1007/978-3-642-21292-5_7openalex-snapshot
Formal Methods @ Runtime
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_3openalex-snapshot
Automated Verification Techniques for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_5openalex-snapshot
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-21952-8_9openalex-snapshot
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-22012-8_21openalex-snapshot
Automata-Based CSL Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-22306-8_13openalex-snapshot
DiPro - A Tool for Probabilistic Counterexample Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-23232-9_30openalex-snapshot
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-23638-9_12openalex-snapshot
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24270-0_6openalex-snapshot
From Probabilistic Counterexamples via Causality to Fault Trees
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_1openalex-snapshot
Statistical Model Checking for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_3openalex-snapshot
Making Software Verification Tools Really Work
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_10openalex-snapshot
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_12openalex-snapshot
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24749-1_23openalex-snapshot
Visualisation for Stochastic Process Algebras: The Graphic Truth
inferred← citeshttps://doi.org/10.1007/978-3-642-28717-6_30openalex-snapshot
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)
inferred← citeshttps://doi.org/10.1007/978-3-642-30729-4_12openalex-snapshot
Mechanized Extraction of Topology Anti-patterns in Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-30982-3_8openalex-snapshot
Model Transformations in Non-functional Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_51openalex-snapshot
APEX: An Analyzer for Open Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-32729-2_2openalex-snapshot
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-642-33386-6_32openalex-snapshot
Higher-Order Approximations for Verification of Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34059-8_16openalex-snapshot
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_21openalex-snapshot
MARCIE – Model Checking and Reachability Analysis Done Efficiently
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_36openalex-snapshot
Faster Algorithms for Markov Decision Processes with Low Treewidth
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_6openalex-snapshot
TTP: Tool for Tumor Progression
inferred← citeshttps://doi.org/10.1007/978-3-642-40184-8_25openalex-snapshot
Cost Preserving Bisimulations for Probabilistic Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-40196-1_3openalex-snapshot
Refinement and Difference for Probabilistic Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-40561-7_6openalex-snapshot
Model Checking of Security-Critical Applications in a Model-Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-41485-5_13openalex-snapshot
Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection
inferred← citeshttps://doi.org/10.1007/978-3-642-41924-9_3openalex-snapshot
Modeling and Reasoning with Decision-Theoretic Goals
inferred← citeshttps://doi.org/10.1007/978-3-642-54239-8_12openalex-snapshot
Model Checking Kernel P Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54804-8_1openalex-snapshot
Probabilistic Model Checking and Non-standard Multi-objective Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-662-46081-8_7openalex-snapshot
Distributed Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_23openalex-snapshot
FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-46734-3_5openalex-snapshot
Probabilistic Model Checking for Feature-Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-48057-1_27openalex-snapshot
Ratio and Weight Quantiles
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_17openalex-snapshot
Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_9openalex-snapshot
Safety Verification of Continuous-Space Pure Jump Markov Processes
inferred← citeshttps://doi.org/10.1007/978-981-10-2158-9_6openalex-snapshot
Reliability Analysis of Software Defined Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1007/978-981-16-1566-5_4openalex-snapshot
Infobiotics Workbench: An In Silico Software Suite for Computational Systems Biology
inferred← citeshttps://doi.org/10.1007/s00165-011-0207-2openalex-snapshot
A formal approach to adaptive software: continuous assurance of non-functional requirements
inferred← citeshttps://doi.org/10.1007/s00165-013-0277-4openalex-snapshot
Formal verification of a pervasive messaging system
inferred← citeshttps://doi.org/10.1007/s00165-016-0382-2openalex-snapshot
Model checking learning agent systems using Promela with embedded C code and abstraction
inferred← citeshttps://doi.org/10.1007/s00165-018-0475-1openalex-snapshot
Formal reliability analysis of redundancy architectures
inferred← citeshttps://doi.org/10.1007/s00165-021-00567-yopenalex-snapshot
A refinement-based development of a distributed signalling system
inferred← citeshttps://doi.org/10.1007/s00450-012-0234-0openalex-snapshot
A journey through SMScom: self-managing situational computing
inferred← citeshttps://doi.org/10.1007/s00607-022-01130-0openalex-snapshot
Constraint-based debugging in probabilistic model checking
inferred← citeshttps://doi.org/10.1007/s00766-016-0246-6openalex-snapshot
Validation of formal specifications through transformation and animation
inferred← citeshttps://doi.org/10.1007/s10009-010-0146-xopenalex-snapshot
Probabilistic reachability for parametric Markov models
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-016-0418-1openalex-snapshot
Synthesizing, correcting and improving code, using model checking-based genetic programming
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-008-0084-1openalex-snapshot
Model-driven assessment of system dependability
inferred← citeshttps://doi.org/10.1007/s10270-013-0334-8openalex-snapshot
The KlaperSuite framework for model-driven reliability analysis of component-based systems
inferred← citeshttps://doi.org/10.1007/s10270-017-0594-9openalex-snapshot
Managing design-time uncertainty
inferred← citeshttps://doi.org/10.1007/s10270-021-00968-wopenalex-snapshot
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
inferred← citeshttps://doi.org/10.1007/s10472-018-9574-1openalex-snapshot
A labelling framework for probabilistic argumentation
inferred← citeshttps://doi.org/10.1007/s10703-010-0097-6openalex-snapshot
A game-based abstraction-refinement framework for Markov decision processes
inferred← citeshttps://doi.org/10.1007/s10703-012-0169-xopenalex-snapshot
An extension of the inverse method to probabilistic timed automata
inferred← citeshttps://doi.org/10.1007/s10703-013-0195-3openalex-snapshot
Bayesian statistical model checking with application to Stateflow/Simulink verification
inferred← citeshttps://doi.org/10.1007/s10703-025-00490-5openalex-snapshot
Formal methods for mobile ad hoc networks: a survey
inferred← citeshttps://doi.org/10.1007/s10844-008-0062-7openalex-snapshot
A glimpse of symbolic-statistical modeling by PRISM
inferred← citeshttps://doi.org/10.1007/s11047-018-9673-2openalex-snapshot
Process calculi for biological processes
inferred← citeshttps://doi.org/10.1007/s11219-019-09486-xopenalex-snapshot
Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios
inferred← citeshttps://doi.org/10.1007/s11334-018-0318-5openalex-snapshot
Formal verification of SysML diagram using case studies of real-time system
inferred← citeshttps://doi.org/10.1007/s11704-014-3408-zopenalex-snapshot
Interpolation oriented parallel communication to optimize coupling in earth system modeling
inferred← citeshttps://doi.org/10.1007/s11704-016-6192-0openalex-snapshot
The role of model checking in software engineering
inferred← citeshttps://doi.org/10.1007/s12559-015-9328-xopenalex-snapshot
An Integrated Qualitative and Quantitative Biochemical Model Learning Framework Using Evolutionary Strategy and Simulated Annealing
inferred← citeshttps://doi.org/10.1007/springerreference_2578openalex-snapshot
Stochastic Differential Equation
showing the first 200 of 545 · page through all 545
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.