yusuke1997/dblp-id-title huggingface dataset:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Empirical Formal Methods in Railways: Experiences and Roadmap
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems
RBS2HLL - A Formal Modeling of Relay-Based Interlocking
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning
Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
Using Formal Proof and B Method at System Level for Industrial Projects
The PERF Approach for Formal Verification
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo
Connected or Autonomous Trains?
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
B-PERFect - Applying the PERF Approach to B Based System Developments
Comparing Model Checking and Model-Based Simulation
From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach
Investigating Human Error Within GoA-2 Metro Lines
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
Compositional Verification of Railway Interlockings: Comparison of Two Methods
Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned
Canonical Form Based MAP(2) Fitting
Fluid Approximation of CTMC with Deterministic Delays
Decidable Problems for Unary PFAs
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes
Model Checking for Safe Navigation Among Humans
Modelling and Performance Evaluation with TimeNET 4.4
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes
QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010
Evaluation of Reward Analysis Methods with MRMSolve 2.0
Safe Learning for Near-Optimal Scheduling
Learning Continuous Time Markov Chains from Sample Executions
1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands
Statistical Model Checking for Markov Decision Processes
Performance Evaluation of Train Moving-Block Control
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Time Petri Nets Analysis with TINA
Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers
Randomness in Wireless Networks: How to Deal with It
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation
Model Checking MDPs with a Unique Compact Invariant Set of Distributions
A Productivity Centered Tools Framework for Application Performance Tuning
Scalar: A Distributed Scalability Analysis Framework
On Single-Class Load-Dependent Normalizing Constant Equations
The Multi-branched Method of Moments for Queueing Networks
Revisiting Weak Simulation for Substochastic Markov Chains
An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets
Exploiting Robust Optimization for Interval Probabilistic Bisimulation
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm
New Solvers for Asymmetric Systems in GreatSPN
Hospital Inventory Management Through Markov Decision Processes @runtime
An Automated Quantitative Information Flow Analysis for Concurrent Programs
Regular Expressions for PCTL Counterexamples
Parameter-Independent Strategies for pMDPs via POMDPs
Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System
Identifying Low-ProfileWeb Server's IP Fingerprint
Temperature-aware Real-Time Scheduling - Extended Abstract
Analysis of an M/G/1 Queue with Repeated Inhomogeneous Vacations with Application to IEEE 802.16e Power Saving Mechanism
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models
Forecasting Run-Times of Secure Two-Party Computation
Composition and Equivalence of Markovian and Non-Markovian Models
Automated Rare Event Simulation for Stochastic Petri Nets
The Use of Optimal Filters to Track Parameters of Performance Models
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0
Computing Structural Properties of Symmetric Nets
mapfit: An R-Based Tool for PH/MAP Parameter Estimation
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes
Fluid Flow Approximation of PEPA models
Symbolic Magnifying Lens Abstraction in Markov Decision Processes
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions
Visualization of Analysis Results in the ProC/B Toolset
Characterizing Data Dependence Constraints for Dynamic Reliability Using N -Queens Attack Domains
Mean Field for Performance Models with Generally-Distributed Timed Transitions
Policy Synthesis for Collective Dynamics
UML-PSI: The UML Performance Simulator
Fluid Analysis of Queueing in Two-Stage Random Environments
UPPAAL 4.0
Linear Programming, Lyapunov Functions, and Performance Analysis
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g
Petri Net Analysis Using Decision Diagrams
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
Modeling Peer-to-Peer Botnets
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
Stochastic Parity Games on Lossy Channel Systems
Mean-Field Analysis for the Evaluation of Gossip Protocols
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains
Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models
QPME - Queueing Petri Net Modeling Environment
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input
ProFiDo - The Processes Fitting Toolkit Dortmund
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems
DTMC Model Checking by SCC Reduction
Specification and Efficient Computation of Passage-Time Distributions in GPA
Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic
Stochastic Modeling for Performance Evaluation of Database Replication Protocols
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions
Model checking the probabilistic pi-calculus
Hintikka Games for PCTL on Labeled Markov Chains
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications
Modelling Replication in NoSQL Datastores
GRIP: Generic Representatives in PRISM
A Tool Supporting Evaluation of Non-markovian Fault Trees
Basic Observables for Probabilistic May Testing
Discrete Time Markov Chains Competing over Resources: Product Form Steady-State Distribution
Performance Analysis with BenchIT: Portable, Flexible, Easy to Use
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
Low-Rank Tensor Methods for Communicating Markov Processes
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
A framework to design and solve Markov Decision Well-formed Net models
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Approximate Computation of Transient Results for Large Markov Chains
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
Compositional Quantitative Reasoning
A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation
Bayesian Abstraction of Markov Population Models
Language-Level Symmetry Reduction for Probabilistic Model Checking
Fluid Limits Applied to Peer to Peer Network Analysis
An Experimental Framework for PIPE2
Invited Talk: A Process Algebra Master Equation
Symbolic Partition Refinement with Dynamic Balancing of Time and Space
Approximate Reasoning for Real-Time Probabilistic Processes
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor
Product Form Approximations for Communicating Markov Processes
Reachable State Space Generation for Structured Models which Use Functional Transitions
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
Efficient lumpability check in partially symmetric systems
An Introduction to Monte Carlo Methods and Rare Event Simulation
Bound-Preserving Composition for Markov Reward Models
Mirrors and Memory in Quantum Automata
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
Automatic Pre- and Postconditions for Partial Differential Equations
Modeling and Optimization Problems in Contact Centers
Learning and Designing Stochastic Processes from Logical Constraints
PRISM 2.0: A Tool for Probabilistic Model Checking
Notes on the Nature of Uncertainty
Layered Bottlenecks and Their Mitigation
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement
Finite Approximation of LMPs for Exact Verification of Reachability Properties
PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems
A Markov Reward Model Checker
On the use of exact lumpability in partially symmetricalWell-formed Nets
On the Additive Capacity Problem for Quantitative Information Flow
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
Composing Web Services in an Open World: QoS Issues
Reduction Techniques for Model Checking Markov Decision Processes
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0
Learning Probabilistic Automata for Model Checking
Interchange Formats for Performance Models: Experimentation and Ouput
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains
Acyclic Minimality by Construction---Almost
Analysis of Local Address Scanning by Puppetnets
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
VeriSiMPL: Verification via biSimulations of MPL Models
On the Theory of Stochastic Processors
Automating the Mean-Field Method for Large Dynamic Gossip Networks
Workload Propagation - Overload in Bursty Servers
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
Quantitative Model Checking for a Smart Grid Pricing
Bayesian Inference by Symbolic Model Checking
The Steady-State Control Problem for Markov Decision Processes
The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services
Reachability in Parametric Interval Markov Chains Using Constraints
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies
On Saturation Effects in Coupled Speed Scaling
HyperStar: Phase-Type Fitting Made Easy
Accurate Approximate Diagnosis of (Controllable) Stochastic Systems
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration
Quantitative Placement of Services in Hierarchical Clouds
Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies
Approximate Analysis of Stochastic Models by Self-Correcting Aggregation
Great-Nsolve : A Tool Integration for (Markov Regenerative) Stochastic Petri Nets
Remote Job Management in the Mobius Modeling Framework
Data-Efficient Bayesian Verification of Parametric Markov Chains
Automated Game-Theoretic Verification of Security Systems
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE
Controlling Modelling Artifacts
PEPS2007 - Stochastic Automata Networks Software Tool
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Probabilistic Model Checking Modulo Theories
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis
Steady State Solution for Models with Geometric and Finite Support Activity Duration
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?
On the Interplay between Content Popularity and Performance in P2P Systems
Strategy Improvement for Concurrent Reachability Games
Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Closed G-networks with Resets: product form solution
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes
Analysis of Real Time Systems through the ORIS Tool
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems
Markovian Arrival Processes in Multi-dimensions
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
Probabilistic Programming Process Algebra
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time
Data Analysis and Visualization within the Möbius Modeling Environment
Energy-Aware Server with SRPT Scheduling: Analysis and Optimization
Qualitative Logics and Equivalences for Probabilistic Systems
Tweaking the Odds in Probabilistic Timed Automata
Compositional Performability Evaluation for STATEMATE
The PEPA Plug-in Project
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory
On the performance of D-redundant disk systems
Characterization of the E-commerce Storage Subsystem Workload
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems
Reasoning about MDPs as Transformers of Probability Distributions
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
On Queues with General Service Demands and Constant Service Capacity
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols
Cluster Grid based Response-time analysis module for the PIPE Tool
Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
U-Check: Model Checking and Parameter Synthesis Under Uncertainty
Analysis and Algorithms for Restart
CSL TA : an Expressive Logic for Continuous-Time Markov Chains
Scalable Differential Analysis of Large Process Algebra Models
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
On the Detection of Symmetries in Compositional Markov Models
On Performance Bounds for Interval Time Petri Nets
PARTES: Performance Analysis of Real-Time Embedded Systems
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
A Software Performance Engineering Tool based on the UML-SPT
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes
Optimization of Cache Expiration Dates in Content Networks
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models
On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy
Checking LTL Properties of Recursive Markov Chains
Möbius Shell: A Command-Line Interface for Möbius
The Octave Queueing Package
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living
A Performance Analysis Tool for Scenario-Aware Streaming Applications
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic
Incremental Verification of Parametric and Reconfigurable Markov Chains
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper)
Power and Effectiveness in Queueing Systems
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes
A Hybrid Approach for Large Cache Performance Studies
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking
Traviando - Debugging Simulation Traces with Message Sequence Charts
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems
Generalised Communication for Interacting Agents
The Bio-PEPA Tool Suite
The Möbius Modeling Environment: Recent Developments
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows
Reducing Spreading Processes on Networks to Markov Population Models
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis
Intermittent Hardware Errors Recovery: Modeling and Evaluation
On the Trade-Off Between Efficiency and Precision of Neural Abstraction
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems
A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
From Systems to Components: Constructive Methods for Product-Form Solutions
Lumping Markov Chains with Silent Steps
End-User Probabilistic Programming
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Performance Modeling of a Quorum Pattern in Layered Service Systems
Relations in the Central Limit Theorem Version of the Response Time Law
Toolbox for Dimensioning Windows Storage Systems
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques
The Role of Quantitative Models in Building Scalable Cloud Infrastructures
Multi-agent Verification and Control with Probabilistic Model Checking
On Performance of Gossip Communication in a Crowd-Sensing Scenario
Continuous Bytecode Instruction Counting for CPU Consumption Estimation
Stochastic Modelling of Sport
Decoupling Passenger Flows for Improved Load Prediction
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
Compositional Design Methodology with Constraint Markov Chains
Static Partial Order Reduction for Probabilistic Concurrent Systems
Game-based Abstraction for Markov Decision Processes
Decoupled Speed Scaling: Analysis and Evaluation
Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata
Generation of Counterexamples for Model Checking of Markov Decision Processes
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
Compositional Safe Approximation of Response Time Distribution of Complex Workflows
PEPERCORN: Inferring Performance Models from Location Tracking Data
A General Reliability Model for Data Storage Systems
Accelerating Parametric Probabilistic Verification
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Topology-Based Mobility Models for Wireless Networks
A Compression App for Continuous Probability Distributions
Machine Learning for Reliability Analysis of Large Scale Systems
POMDP Controllers with Optimal Budget
The Ins and Outs of the Probabilistic Model Checker MRMC
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems
The Mobius Modeling Environment: Recent Extensions - 2005
Lumpability for Uncertain Continuous-Time Markov Chains
Indirect Estimation of Service Demands in the Presence of Structural Changes
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
Saturation for a General Class of Models
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
Jajapy: A Learning Library for Stochastic Models
Performance Modeling and Architecture Exploration of Network Processors
Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping
Lower-Bound Constrained Runs in Weighted Timed Automata
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
Performance Analysis and Optimization in Customer Contact Centers
Infinite-State Verification: From Transition Systems to Markov Chains
A business-oriented load dispatching framework for online auction sites
Symbolic Control of Stochastic Switched Systems via Finite Abstractions
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation
Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
LIFT: Learning Fault Trees from Observational Data
Psi 2 a Software Tool for the Perfect Simulation of Finite Queueing Networks
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving
FlowSim Simulation Benchmarking Platform