yusuke1997/dblp-id-title huggingface dataset:
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets
Causality, Responsibility, and Blame: A Structural-Model Approach
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Probabilistic Model-Checking Support for FMEA
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies
Hybrid Limits of Continuous Time Markov Chains
Model Checking Multivariate State Rewards
Neural Network Precision Tuning
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains
Saturation NOW
State-Based Analysis in ADVISE
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
Action and State Based Computation Tree Measurement Language and Algorithms
Analyzing Large Sparse Markov Chains of Kronecker Products
Probe Automata for Passage Time Specification
Challenges to Evaluating Petaflops Systems
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Designing and managing storage systems: issues, techniques, and challenges
TimerMeter: Quantifying Properties of Software Timers for System Analysis
Automated Verification of Concurrent Stochastic Games
On-the-Fly Algorithms for Bisimulation Metrics
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks
The Measurable Space of Stochastic Processes
Model Checking for Survivability
Refinement and Difference for Probabilistic Automata
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis
A Multi-layer Fluid Queue with Boundary Phase Transitions and Its Application to the Analysis of Multi-type Queues with General Customer Impatience
Modeling Humans: A General Agent Model for the Evaluation of Security
Statistical Abstraction for Multi-scale Spatio-Temporal Systems
Prism2Promela
Verification of Quantum Systems Using Barrier Certificates
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models
Strategy Representation by Decision Trees with Linear Classifiers
Performance Analysis of Work Stealing Strategies in Large Scale Multi-threaded Computing
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
Verification of Two-Variable Logic Revisited
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models
PSI2: Envelope Perfect Sampling of Non Monotone Systems
LN: A Meta-solver for Layered Queueing Network Analysis
Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
Compositional Temporal Synthesis
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy
Möbius Trace Analysis with Traviando
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
Probabilistic Model Checking of AODV
Cell Assisted APMC
Deductive Controller Synthesis for Probabilistic Hyperproperties
An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments
A Generic Mean Field Convergence Result for Systems of Interacting Objects
Modelling, Reduction and Analysis of Markov Automata
A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets
Stochastic Game Logic
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
ADTool: Security Analysis with Attack-Defense Trees
Extended SWN Solvers in GreatSPN
Performance Trees: Expressiveness and Quantitative Semantics
Non-intrusive Scalable Memory Access Tracer
Compositionality Results for Quantitative Information Flow
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
Tulsa: A Tool for Transforming UML to Layered Queueing Networks for Performance Analysis of Data Intensive Applications
Monte Carlo Tree Search for Priced Timed Automata
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
Impact of Policy Design on Workflow Resiliency Computation Time
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues
A New Approach for the Prediction of End-to-End Performance of Multimedia Streams
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
A PMIF Semantic Validation Tool
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds
Doping Tests for Cyber-Physical Systems
SAT-Based Analysis and Quantification of Information Flow in Programs
Analysis of Large Scale Interacting Systems by Mean Field Method
MC4CSLTA: An Efficient Model Checking Tool for CSLTA
Biased Processor Sharing in Fork-Join Queues
GTAexpress: A Software Package to Handle Kronecker Descriptors
Reliability Models
The PRISM Benchmark Suite
Finite Queues at the Limit of Saturation
PALOMA: A Process Algebra for Located Markovian Agents
Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process
Quantifying Software Reliability via Model-Counting
Quantitative Model Checking of Systems with Degradation
Matching Distributions Under Structural Constraints
Automatic Translation of UML Sequence Diagrams into PEPA Models
Backward Stochastic Bisimulation in CSL Model Checking
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers
Quantitative Analysis of Consistency in NoSQL Key-Value Stores
Bounded Verification of Reachability of Probabilistic Hybrid Systems
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach
Symbolic Semantics for Probabilistic Programs
A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness
A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels
Model Checking Constrained Markov Reward Models with Uncertainties
Quantitative Multirun Security under Active Adversaries
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads
Symbolic Bisimulations for Probabilistic Systems
Model Checking Randomized Algorithms with Java PathFinder
MCReNet: a tool for Marked-Controlled Reconfigurable Nets
A Modeling Framework for Gossip-based Information Spread
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability
Inferring Covariances for Probabilistic Programs
VATS: Virtualized-Aware Automated Test Service
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
Multi-agent Networked Systems with Adversarial Elements
Toward Picture-perfect Streaming on the Internet
Introducing Asynchronicity to Probabilistic Hyperproperties
A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor
Simulation Debugging and Visualization in the Möbius Modeling Framework
Performance Model Generation for MPSoC Design-Space Exploration
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Reflections on the Numerical Solution of Markov Chains
Computer-Aided Security Proofs
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning
Almost-Sure Model-Checking of Reactive Timed Automata
Quantifying Opacity
Quantitative Evaluation of Security Metrics
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
On Optimal Importance Sampling for Discrete Time Markov Chains
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Threshold Workload Control in the BMAP/G/1 Queue
Reasoning About Proportional Lumpability
Adaptive Disk Scheduling for Overload Management
OpenSESAME Simple but Extensive Structured Availability Modeling Environment
QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009
On Observability in Timed Continuous Petri Net Systems
Timed Branching Processes
Simulation-Based CTMC Model Checking: An Empirical Evaluation
Modeling and Evaluation with Object Stochastic Activity Networks
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
Analysis of an Epoch Commit Protocol for Distributed Processing Systems
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors
Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers
Distritrack: Automated Average-Case Analysis
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models
Performance Evaluation: Model-Driven or Problem-Driven?
Hybrid Semantics for PEPA
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints
Deciding Bisimilarities on Distributions
Rare Event Simulation for Highly Dependable Systems with Fast Repairs
Improving Efficiency of Implicit Markov Chain State Classification
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
The ipclib PEPA Library
Exploring correctness and accuracy of solutions to matrix polynomial equations in queues
Equilibrium Analysis of Markov Regenerative Processes
Information Hiding in Probabilistic Concurrent Systems
Expected Cost Analysis of Attack-Defense Trees
Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets
Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments
A Tool: Quantitative Analyser for Programs
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly
Model Checking Markov Population Models by Central Limit Approximation
D-ITG Distributed Internet Traffic Generator
The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems
Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France
Partial Order Reduction on Concurrent Probabilistic Programs
Sojourn Time Distributions in Modulated G-Queues with Batch Processing
A Structured Solution Approach for Markov Regenerative Processes
A Tool for Solving Ph/M/c and Ph/M/c/N Queues
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Design Space Exploration for Java Processors with Cross-Profiling
SEH: Size Estimate Hedging for Single-Server Queues
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure
Entropy Measurement of Concurrent Disorder
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving
Analysis of an Electric Vehicle Charging System Along a Highway
Comparing Passive and Active Worm Defenses
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques
Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems
Emerging Internet-Based Services: New Frontiers for Performance Models and Applications
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation
Design of Experiments within the Mobius Modeling Environment
Compositional Abstractions for Long-Run Properties of Stochastic Systems
Autonomous Model Learning for Reinforcement Learning
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
The Performability Tool P'ility
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking
Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs
Recent Extensions to Traviando
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars
Synthesis and Stochastic Assessment of Schedules for Lacquer Production
Property-Driven State-Space Coarsening for Continuous Time Markov Chains
Quantifying Information Flow Using Min-Entropy
Interference-Sensitive Preorders for MANETs
ETAQA Truncation Models for the MAP/MAP/1 Departure Process
On the Cost of Diagnosis with Disambiguation
On Numerical Problems in Simulations of Highly Reliable Markovian Systems
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
Multi-player Equilibria Verification for Concurrent Stochastic Games
Perfect Sampling for Multiclass Closed Queueing Networks
End-to-End Statistical Model Checking for Parametric ODE Models
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks
Rate-Controlled Scheduling of Expired Writes for Volatile Caches
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -
Traffic Modeling with Phase-Type Distributions and VARMA Processes
Control and Optimization of the SRPT Service Policy by Frequency Scaling
Finite Abstractions of Stochastic Max-Plus-Linear Systems
Max Percentile Replication for Optimal Performance in Multi-regional P2P VoD Systems
A Performance Model of Zoned Disk Drives with I/O Request Reordering
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC
Searching for Heavy Tails in Web Robot Traffic
High-Level Counterexamples for Probabilistic Automata
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Formal Executable Descriptions of Biological Systems
Conflict-Tolerant Real-Time Features
Partial Order Reduction for Probabilistic Systems
The Logical Path to Autonomous Cyber-Physical Systems
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Perfect Generation, Monotonicity and Finite Queueing Networks
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment
Uniting Academic Achievements on Performance Analysis with Industrial Needs
CSL Model Checking for Generalized Stochastic Petri Nets
Continuity Properties of Distances for Markov Processes
A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains
Safety Guarantees for the Electricity Grid with Significant Renewables Generation
A Modest Approach to Checking Probabilistic Timed Automata
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes
Demultiplexing in Network Calculus- A Stochastic Scaling Approach
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
Limiting Behavior of Markov Chains with Eager Attractors
UTOPIC: Under-Approximation Through Optimal Control
AWPS - Simulation Based Automated Web Performance Analysis and Prediction
Active and Sparse Methods in Smoothed Model Checking
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Integration of an MPS Modeling Approach into Mobius
Improving the Performance of Online Auction Sites through Closing Time Rescheduling
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata
Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses
Quantitative Evaluation of Service Dependability in Shared Execution Environments
Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications
Probabilistic Counterexample Guidance for Safer Reinforcement Learning
A Modest Approach to Modelling and Checking Markov Automata
Distribution Estimation for Probabilistic Loops
Mean Field for Performance Models with Deterministically-Timed Transitions
QBDs with Marked Time Epochs: a Framework for Transient Performance Measures
Compositional Verification of Probabilistic Systems Using Learning
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
A Performance Evaluation Tool for RAID Disk Arrays
Behavior of Available End-to-end Bandwidth: Non-Parametric Approach
A tool support for automatic analysis based on the tagged customer approach
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations
Queue Response Times with Server Speed Controlled by Measured Utilizations
Modeling Fiber Delay Loops in an All Optical Switch
SAM: A Tool for Software Architecture Modeling and Performance Analysis
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
On the Verification of Weighted Kripke Structures Under Uncertainty
On the Impact of Modelling Choices for Distributed Information Spread
Multi-class Resource Sharing with Batch Arrivals and Complete Blocking
Aggregation of Markovian Models - An Alternating Least Squares Approach
Cross-Profiling for Embedded Java Processors
A CTL Model Checker for Stochastic Automata Networks
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking
Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion
Long-Range Dependence at the Disk Drive Level
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
SMART: The Stochastic Model checking Analyzer for Reliability and Timing
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
Fortuna: Model Checking Priced Probabilistic Timed Automata
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012
Quantile Estimation for Performance Measures in Network Simulations with CINSim
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
The Dynamic Fault Tree Rare Event Simulator
Causal Reversibility Implies Time Reversibility
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets
Abstraction and Model Checking in the PEPA Plug-In for Eclipse
WALTy: A tool for Evaluating Web Application Performance
An approximation algorithm for labelled Markov processes: towards realistic approximation
Prinsys - On a Quest for Probabilistic Loop Invariants
Trading Memory for Randomness
Quantitative Evaluation of BFT Protocols
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks
Geometric Methods for Protein Structure Comparison
A Comparison of Methods for Assessing the Structural Similarity of Proteins
Proteinlike Properties of Simple Models
OPTIMA: A New Score Function for the Detection of Remote Homologs
Learning Effective Amino-Acid Interactions
Protein Structure Comparison: Algorithms and Applications
Spatial Pattern Detection in Structural Bioinformatics
Identifying Flat Regions and Slabs in Protein Structures
Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures
Self-consistent Knowledge-Based Approach to Protein Design
Protein Structure from Solid-State NMR
Performance Assessment of Vehicular Cloud Systems: An Analytical Approach Using M/G/m Queueing Model
Bio-Inspired Intelligent Anomaly Diagnosis System for Health Monitoring in Connected Vehicles
Real-time Video Frame De-raining using Disentangled Generative Models
Automated Mobility: A Comparison between Aviation and Automotive
Transportation Mode Recognition based on Cellular Network Data
IEEE International Conference on Smart Mobility, SM 2024, Niagara Falls, ON, Canada, September 16-18, 2024
Robot Wheelchair Convoys for Assistive Human Transportation
IEEE International Conference on Smart Mobility, SM 2022, New Alamein, Egypt, March 6-7, 2022
V3Trans-Crowd: A Video-based Visual Transformer for Crowd Management Monitoring
Multi- and Intermodal Routing for Realistic Estimation of the X-Minute City: the Case of Cologne
A Constant Time Secure and Private Evaluation of Decision Trees in Smart Cities Enabled by Mobile IoT
Optimizing Smart Bike-Sharing Station Placement Near Public Transit Stops Using GIS: A Case Study of London, Ontario
Practical Implementation of Electric Vehicle Integration into a Microgrid using V2G and G2V
School Bus Routing using Metaheuristics Algorithms
Trip Itinerary Planning: A Bio-inspired Metaheuristic Approach
An Overview on Intelligent Edge Computing for Enhancing CAEV and UAV Charging in 6G ITS
Reward-based Charging Schedule for a Community-based Ride-sharing Service
HD Maps for Connected and Automated Vehicles: Enabling Technologies and Future Directions
Enabling Smart Mobility Features Using Spectrogram Images and Convolutional Neural Networks
Enhancing Object Tracking in Smart City Intelligent Transportation Systems: A Track-by-Detection Approach Utilizing Satellite Video Monitoring