yusuke1997/dblp-id-title huggingface dataset:
RMLStreamer supported by RML-view-to-CSV in the performance track of the KGCW Challenge 2024
Results for Knowledge Graph Creation Challenge 2024: SDM-RDFizer
The Conformance of an RML Processor Built from Scratch to Validate RML Specifications and Test Cases
Mapping by Example: Towards an RML Mapping Reverse Engineering Pipeline
On Dependencies in Knowledge Graph Construction
RMLWeaver-JS: An algebraic mapping engine in the KGCW Challenge 2024
Propagating Ontology Changes to Declarative Mappings in Construction of Knowledge Graphs
KGCW2024 Challenge Report: RDFProcessingToolkit
GRAPE: Guiding RML Authoring with a Projectional Editor
Not Everybody Speaks RDF: Knowledge Conversion between Different Data Representations
LLM-based Reranking and Validation of Knowledge Graph Completion
Performance Results of FlexRML in the KGCW Challenge 2024
Mixture Density Networks as a General Framework for Estimation and Prediction of Waiting Time Distributions in Queueing Systems
Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance Systems
A Queueing Model that Works Only on the Biggest Jobs
Analytical Model of Traffic Compression in the UMTS Network
Analysis of Tandem Retrial Queue with Common Orbit and Poisson Arrival Process
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Applying Model Differences to Automate Performance-Driven Refactoring of Software Models
Testing Finite State Machines Presenting Stochastic Time and Timeouts
Performance Modeling and Analysis of the Universal Control Hub
Stochastic Monotonicity in Queueing Networks
Concentrated Matrix Exponential Distributions
PMIF+: Extensions to Broaden the Scope of Supported Models
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments
Stochastic Bounds and Histograms for Network Performance Analysis
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics
Simplifying Layered Queuing Network Models
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System
Stream Processing on Demand for Lambda Architectures
An Analytical Framework for Video Quality and Excess Data Distribution in Multiple-Quality Video Under Dynamic Channel Conditions
Estimating the Impact of Code Additions on Garbage Collection Overhead
Stochastic Restricted Broadcast Process Theory
Multi-class Network with Phase Type Service Time and Group Deletion Signal
Explicit Inverse Characterizations of Acyclic MAPs of Second Order
Stochastic Model Checking with Stochastic Comparison
Composing Systems While Preserving Probabilities
EM Based Parameter Estimation for Markov Modulated Fluid Arrival Processes
Executable Semantics for Compensating CSP
Computer Performance Engineering - 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Performance Analysis of Dynamic Priority Shifting
Static and Dynamic Hosting of Cloud Servers
Stochastic Analysis of Rumor Spreading with Multiple Pull Operations in Presence of Non-cooperative Nodes
Fast Generation of Scale Free Networks with Directed Arcs
Packet Loss Analysis of Load-Balancing Switch with ON/OFF Input Processes
Computer Performance Engineering - 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker
Can Linear Approximation Improve Performance Prediction ?
Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings
Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study
Operational Semantics for Product-Form Solution
Product Form Solution for the Steady-State Distribution of a Markov Chain Associated with a General Matching Model with Self-loops
Stability Analysis of a MAP/M/s Cluster Model by Matrix-Analytic Method
Simulation of Runtime Performance of Big Data Workflows on the Cloud
A State-Size Inclusive Approach to Optimizing Stream Processing Applications
Performance Modeling of Intelligent Car Parking Systems
Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study
Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains
Accommodating Short and Long Web Traffic Flows over a DiffServ Architecture
Closed Form Absorption Time Bounds
Implementations Based Evaluation of No-Wait Approach for Resolving Conflicts in Databases
M/G/1 Queue with State Dependent Service Times
An Approximate Mean Value Analysis Approach for System Management and Overload Control
Analysis of Markov Decision Processes Under Parameter Uncertainty
On-the-fly Fluid Model Checking via Discrete Time Population Models
From DFTs to PEPA: A Model-to-Model Transformation
On Stochastic Fault-Injection for IP-Packet Loss Emulation
A Fixed-Point Algorithm for Closed Queueing Networks
Life After BPEL?
Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism
Bayesian Networks as Approximations of Biochemical Networks
Automated Capacity Planning for PEPA Models
A Diffusion Approximation Model of an Electronic-Optical Node
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
Compositionality for Markov Reward Chains with Fast Transitions
Assembly Code Analysis Using Stochastic Process Algebra
Performance Analysis of Production Lines Through Statistical Model Checking
Non-Markovian Modeling of a BladeCenter Chassis Midplane
An OpenFlow Controller Performance Evaluation Tool
PCTMC Models of Wireless Sensor Network Protocols
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres
State-Dependent Rates and Semi-Product-Form via the Reversed Process
Analytical Model of TCP NewReno through a CTMC
Highly Accurate, Explicit Approximation for Erlang B
Performance of Genetic Algorithms in the Context of Software Model Refactoring
Experimental Analysis of the Correlation of HTTP GET Invocations
Performance Analysis and Formal Verification of Cognitive Wireless Networks
Choreographing Security and Performance Analysis for Web Services
State-Aware Performance Analysis with eXtended Stochastic Probes
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis
Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System z
Monotonicity and Efficient Computation of Bounds with Time Parallel Simulation
Tradeoff between Accuracy and Efficiency in the Time-Parallel Simulation of Monotone Systems
Analysis of a Two-State Markov Fluid Model with 2 Buffers
Critical Level Policies in Lost Sales Inventory Systems with Different Demand Classes
WMTools - Assessing Parallel Application Memory Utilisation at Scale
End-to-End Performance of Multi-core Systems in Cloud Environments
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs
Uncertainty in On-The-Fly Epidemic Fitting
Application of Advanced Model-Driven Techniques in Performance Engineering
Modelling and Analysis of Commit Protocols with PEPA
Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline
Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA
A Stochastic SVIR Model with Imperfect Vaccine and External Source of Infection
Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Performance Regression Unit Testing: A Case Study
On the Convergence Rate of Quasi Lumpable Markov Chains
Queueing Analysis of a Mixed Model of Public and Demand Responsive Transportations
Reduction of Subtask Dispersion in Fork-Join Systems
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows
Censoring Markov Chains and Stochastic Bounds
A Parametric Communication Model for the Verification of BPEL4WS Compositions
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems
Application of Formal Methods to the Analysis of Web Services Security
Performance Evaluation and Energy Consumption for DVFS Processor
A Path Connection Availability Model for MANETs with Random Waypoint Mobility
Computing Bounds for Delay in a Stochastic Network
Dependability Evaluation of Web Service-Based Processes
A Systematic Approach for Composing General Middleware Completions to Performance Models
Measuring Streaming System Robustness Using Non-parametric Goodness-of-Fit Tests
On the Degradation of Distributed Graph Databases with Eventual Consistency
Analytic Solution of Fair Share Scheduling in Layered Queueing Networks
Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov Queues
Stochastic Matching Model with Returning Items
A Network Aware Resource Discovery Service
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking
Hypergraph Partitioning for Faster Parallel PageRank Computation
Higher Moment Analysis of a Spatial Stochastic Process Algebra
Places, Transitions and Queues: New Proposals for Interconnection Semantics
Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic
Performance Evaluation of Business Processes through a Formal Transformation to SAN
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution
Embedding Real Time in Stochastic Process Algebras
Resource Sharing in Performance Models
Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings
Routing of Strategic Passengers in a Transportation Station
Performance of Auctions and Sealed Bids
Performance Models of NFV-Based Hybrid Systems for Delay-Sensitive Services
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
A Function-Equivalent Components Based Simplification Technique for PEPA Models
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report
State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks
A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces
Timing Issues in Web Services Composition
Performance Evaluation of NoSQL Databases
Towards a Volunteer Cloud Architecture
Mean Value Analysis of Closed G-Networks with Signals
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data
Canonical Form of Order-2 Non-stationary Markov Arrival Processes
Performance Evaluation of Beaconing Schemes for Vehicular Platooning
Decision Analysis in Stochastic Sociocultural Systems
Recurrent Method for Blocking Probability Calculation in Multi-service Switching Networks with BPP Traffic
Dealing with Zero Density Using Piecewise Phase-Type Approximation
Markov Decision Petri Nets with Uncertainty
A Markovian Agent Model for Fire Propagation in Outdoor Environments
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios
Phase-Type Fitting Using HyperStar
Reinforcement Learning with Model-Based Approaches for Dynamic Resource Allocation in a Tandem Queue
Feedback in Recursive Congestion Control
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models
Performance Evaluation for Collision Prevention Based on a Domain Specific Language
Explicit State Space and Markov Chain Generation Using Decision Diagrams
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra
Design and Analysis of Distributed Message Ordering over a Unidirectional Logical Ring
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines
Stationary Analysis of Infinite Server Queue with Batch Service
Continuous Time and/or Continuous Distributions
Visualisation for Stochastic Process Algebras: The Graphic Truth
Coherent Resolutions of Nondeterminism
An Ontology Framework for Generating Discrete-Event Stochastic Models
A More Realistic Peer-to-Peer Grid Market Model
Performance Evaluation of Global Trust Management in MANETs Routing Protocols
Energy Consumption Estimation for Electric Vehicles Using Routing API Data
A Library of Modeling Components for Adaptive Queuing Networks
Analysis of BMAP/G/1 Vacation Model of Non-M/G/1-Type
Functional Performance Specification with Stochastic Probes
Efficient Experiment Selection in Automated Software Performance Evaluations
Performance Engineering and Stochastic Modelling
On the (Page) Ranking of Professional Tennis Players
SRN Models for Analysis of Multihop Wireless Ad Hoc Networks
Analysis of Single Bacterium Dynamics in a Stochastic Model of Toxin-Producing Bacteria
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3
MONCHi: MONitoring for Cloud-native Hyperconnected Islands
Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Passage-End Analysis
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy
Compositional Approximate Markov Chain Aggregation for PEPA Models
Edge Performance Analysis Challenges in Mobile Simulation Scenarios
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
An Approach Using Performance Models for Supporting Energy Analysis of Software Systems
Multi-timescale Fairness for Heterogeneous Broadband Traffic in Access-Aggregation Networks
PiDuce: A Process Calculus with Native XML Datatypes
Execution Time Prediction Model that Considers Dynamic Allocation of Spark Executors
On a Stochastic Epidemic Model with Limited Number of Hospital Beds
Use of a Levy Distribution for Modeling Best Case Execution Time Variation
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
Analysis of Performance and Energy Consumption in the Cloud
Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust
Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Evaluating the Performance Impact of No-Wait Approach to Resolving Write Conflicts in Databases
A Variable-Cycle Traffic Light Queue
Engineering of Self-aware IT Systems and Services: State-of-the-Art and Research Challenges
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency
Information Flow Security for Stochastic Processes
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents
Online Game Performance Engineering
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel
Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems
Reasoning About Interaction Patterns in Choreography
Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions
Performance Analysis of a Priority Queue with Place Reservation and General Transmission Times
Implementation Relations for Stochastic Finite State Machines
Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications
A Short Note on the System-Length Distribution in a Finite-Buffer GI X/C -MSP/1/N Queue Using Roots
Performance Engineering for Cloud Computing
Performance Enhancement by Means of Task Replication
Machine Learning Models for Predicting Timely Virtual Machine Live Migration
Sojourn Time in a Markov Driven Fluid Queue with Finite Buffer
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems
Computer Performance Engineering - 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation
A Novel Data-Driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States
Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings
Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach
Canonical Representation of Discrete Order 2 MAP and RAP
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
A Deterministic Model to Predict Execution Time of Spark Applications
Product-Form Queueing Networks with Batches
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations
Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation
Automatic Translation of WS-CDL Choreographies to Timed Automata
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
Performance Evaluation of Stochastic Bipartite Matching Models
Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering
Approximate Analysis of a Round Robin Scheduling Scheme for Network Coding
Towards Performance Tooling Interoperability: An Open Format for Representing Execution Traces
A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure
Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents
Applying the UML Class Diagram in the Performance Analysis
ADaCS: A Tool for Analysing Data Collection Strategies
Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques
Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques
From Theory to Practice in Transactional Composition of Web Services
Modeling Human Decisions in Performance and Dependability Models
Automatic Generation of Performance Analysis Results: Requirements and Demonstration
Moment Closures for Performance Models with Highly Non-linear Rates
A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis
Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues
A Novel Approach to Energy Efficient Content Distribution with BitTorrent
Analytic Performance Modeling and Optimization of Live VM Migration
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study
Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing
Tackling Truncation Errors in CSL Model Checking through Bounding Semantics
Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming
A Markovian Queueing System for Modeling a Smart Green Base Station
On Moments of Discrete Phase-Type Distributions
Deriving Work Plans for Solving Performance and Scalability Problems
A Mixed Strategy for a Competitive Game in Delay Tolerant Networks
Workload Characterization of the SPECjms2007 Benchmark
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance
A Compositional Operational Semantics for OWL-S
Performance Evaluation of Smart Bin Systems Using Markovian Agents for Efficient Garbage Collection
Strategic Revenue Management for Discriminatory Processor Sharing Queues
Bounded Aggregation for Continuous Time Markov Decision Processes
A Canonical Representation of Order 3 Phase Type Distributions
Tagged Generalized Stochastic Petri Nets
Pricing Models for Digital Renting Platforms
Performance Antipatterns: State-of-Art and Future Perspectives
To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs?
Performance Awareness in Java EE Development Environments
Towards Supervisory Control of Generally-Distributed Discrete-Event Systems
Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings
Analytical Model of the Soft Handoff Mechanism in the UMTS Network
Optimization for Multi-thread Data-Flow Software
Performance Evaluation of a Data Lake Architecture via Modeling Techniques
Stochastic Models for Solar Power
On the Energy-Performance Tradeoff for Parallel Applications
Working Set Characterization of Applications with an Efficient LRU Algorithm
Faster SPDL Model Checking Through Property-Driven State Space Generation
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction
Energy Consumption in the Office
Interactive Markovian Equivalence
Analysis of Reinforcement Learning for Determining Task Replication in Workflows
Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
Zero-Automatic Queues
Emulating Self-adaptive Stochastic Petri Nets
Predicting Power Consumption in Virtualized Environments
Performance and Energy Evaluation for Solving a Schrödinger-Poisson System on Multicore Processors
Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
A Robust Approximation for Multiclass Multiserver Queues with Applications to Microservices Systems
Performability Requirements in Making a Rescaling Decision for Streaming Applications
Abandonment Attack on the LEACH Protocol
Evaluation of P2P Search Algorithms for Discovering Trust Paths
SPAMR: Extending PAMR with stochastic time
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models
Scale-Freeness of SPA Models with Weighted Immediate Actions
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems
A Grid Broker Pricing Mechanism for Temporal and Budget Guarantees
Trading Power Consumption against Performance by Reserving Blocks of Servers
Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
An Approximate Model of the WCDMA Interface Servicing a Mixture of Multi-rate Traffic Streams with Priorities
Performance Evaluation of Embedded ECA Rule Engines: A Case Study
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding
Analysis of Timed Properties Using the Jump-Diffusion Approximation
Stability Analysis and Simulation of a Cellular Network with Retransmissions Policy
M/M/c/Setup Queues: Conditional Mean Waiting Times and a Loop Algorithm to Derive Customer Equilibrium Threshold Strategy
Under the Space Threat: Quantitative Analysis of Cosmos Blockchain
Formal Performance Modelling: From Protocols to People
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation
The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections
Migrating Auctioneers on Internet Auctions for Improved Utility and Performance
Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues