yusuke1997/dblp-id-title huggingface dataset:
Dynamic allocation and admission policies for QoS-aware provisioning systems
Autonomous demand-oriented streaming system architecture and fault-tolerant technology for service continuity
Capture and reuse of composable failure patterns
Analysing reward measures of LARES performability models by discontinuous Markov chains
On the dependability evaluation of a virtual multiple input multiple output link
Supporting SW-FMEA through an ontology-based methodology
Event-driven architecture based on patterns for detecting complex attacks
Task models for mixed criticality systems - a review
Designing AES cryptographic unit for automatic implementation in low-cost FPGA devices
Sybil attack detection based on signature vectors in VANETs
Scalable diversity-oriented decisions and technologies for dependable SoPC-based safety-critical computer systems and infrastructures
SystemC waiting state automata
Validation of the actual behaviour of a real-time application
Performance evaluation of a novel redundancy method for videoconferencing traffic in MPLS networks
Modelling and performance analysis of component-based systems
A distributed design of a network recovery algorithm
Tuna swarm optimisation-based feature selection and deep multimodal-sequential-hierarchical progressive network for network intrusion detection approach
Structured intuition: a new methodology to analyse authentication protocols
Efficient online memory error assessment and circumvention for Linux with RAMpage
Fast fault-tolerant adders
A formal model for the analysis and verification of a pre-emptive round-robin arbiter
Lightweight MAC-spoof detection exploiting received signal power and median filtering
A formal framework to specify and verify real-time properties on critical systems
LTL translation improvements in Spot 1.0
Towards a hybrid formal analysis technique for safety-critical software architectures
Formal methods in dynamic software updating: a survey
Argument-based approach to computer system safety engineering
Fault diagnosis of discrete-event systems based on the symbolic observation graph
Optimal configuration of fault-tolerance parameters for distributed replicated server access
Distributed model-checking and counterexample search for CTL logic
Computing transitive closures of hedge transformations
Performance analysis of the M / G / c / c + r queuing system for cloud computing data centres
Verification and implementation of software for dependable controllers
A tile logic-based semantics for mobile software architectures
Correctness enhancement: a pervasive software engineering paradigm
Circumvent the proliferation of counterfeited circulars using blockchain
Smart homes IoT techniques for dynamic provision of cloud benefactors
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
Controllability for discrete event systems modelled in VeriJ
Resilient estimation of synchronisation uncertainty through software clocks
Towards spatial isolation design in a multi-core real-time kernel targeting safety-critical applications
Formal approach based on petri nets using agent paradigm for m-maintenance
Low-power test sets under test-related primary input constraints
An energy efficient management scheme for wireless sensor networks
Transactional Petri nets: a semantic framework for UML2 activities
End-to-end latency and temporal consistency analysis in networked real-time systems
Protection system against overload and distributed denial of service attacks
Secure healthcare data sharing among federated health information systems
Software safety: relating software assurance and software integrity
Design, implementation, and assessment of a usable multi-biometric continuous authentication system
Managing energy in a network of reconfigurable optical add/drop multiplexers
Ensuring cyber-security in smart railway surveillance with SHIELD
Autonomous decentralised systems in web computing environment
Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study
Debugging of probabilistic systems using structural equation modelling
Applying guidelines for system modelling in Event-B - a systematic literature review
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
Automated generation of minimal cut sets from AltaRica 3.0 models
Conceptual design and implementation of FIDO2 compatible smart medical card for healthcare information system
Verifying while loops with invariant relations
Extending a re-identification risk-based anonymisation framework and evaluating its impact on data mining classifiers
Blockchain technology: applications, security and privacy, big data, challenges and future directions
A meta-level true random number generator
Using UML(VR) for the support of the test data generation
A formal approach to H.264 video decoding on multicore systems
A methodological approach for checking safety-critical systems software
Securing personal identity using blockchain
A RT-Maude-based framework for component installation
Steady state property verification of very large systems
Model for evaluation of SOA security metrics using attack graphs
Performance evaluation of stochastic real-time systems with the SBIP framework
An enhanced digital image watermarking technique using DWT-HD-SVD and deep convolutional neural network
An SMT-based approach for generating trace examples and counter-examples of parametric properties
Functional safety of adaptive embedded control systems: new solutions
A mission-critical certification authority architecture for high reliability and response time
Specification and verification of real-time systems using POLA
OS-level hang detection in complex software systems
Algorithm-based fault-tolerant parallel sorting
A security metric for assessing the security level of critical infrastructures
A refinement-based approach to developing critical multi-agent systems
Verification of distributed systems involving bounded-time migration
Highly available virtual network functions and services based on checkpointing/restore
Available and safe message freshness detection algorithm
Precise use cases in a context-aware model-checking approach
Ontology and algorithms for the dependable configuration of information systems
A proposal of safety-related autonomous decentralised technology and its practical application
Analysing timed compatibility of web service choreography
A constant-time method for TCP/IP socket I/O multiplexing
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks
Functional term rewriting systems towards symbolic model-checking
Efficient computation of quantitative properties of real-time preemptive systems
Formal modelling and verification of high interactive honeypot using coloured Petri nets
A deterministic approach with Markov chain algorithm to impose higher order security in dynamic wireless sensor networks
Probabilistic fault tree synthesis using causality computation
Timed CTL checking of time critical cloud applications using timed bigraphs
MDG-SAT: an automated methodology for efficient safety checking
High-level algorithms and data structures requirements for security-by-contract on Java cards
On combining the ready sets with the covering steps methods
Software semantics and syntax as a tool for automated test generation
Abstract executions of stochastic discrete event systems
Modelling and performance analysis of video and voice streams in the IEEE 802.11e-EDCA WLANs with TXOP bursting under fading channel
Failure detector-Ring Paxos-based atomic broadcast algorithm
AltaRica 3.0 in ten modelling patterns
The TTEthernet synchronisation protocols and their formal verification
Misuse-based intrusion detection using Bayesian networks
Stochastic assessment of power systems in presence of heterogeneity
Using the theorem of inaccessibility to assess dependable real-time networks
Structured performance analysis for component-based systems
Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction
A CTL-based OCL extension using CPN ML for UML validation
A formal verification of dynamic updating in a Java-based embedded system
Enhancing the data security of cloud computing critical systems using layered encryption technique
Strong and weak stochastic bounds for multidimensional Markov chains
Securing the weak link of federated systems via trusted execution: a case study from the eHealth domain
Control consistency as a management tool: the identification of systematic security control weaknesses in air traffic management
Improving the consistency verification and the quality of multimedia presentations
A model-based approach to combine conformance and load tests: an eHealth case study
Formal specification of flexible web service composition
Refining malware detection with enhanced machine learning algorithms using hyperparameter tuning
A hidden Markov model based intrusion detection system for wireless sensor networks
Investigating fulfilment of traceability requirements in a combined process for safety and security assessments
A versatile approach for ranking and modelling of non-functional requirements
A formal framework for black-box conformance testing of distributed real-time systems
Hierarchical timed abstract state machines for WCET estimation
Application of multi-criteria decision-making approach using TOPSIS to identify the vulnerable time zone of earthquake time series signal
A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation
A design of policy-based composite web services QoS monitoring system
Intrusion detection systems and techniques: a review
µ QC: a property-based testing framework for L4 microkernels
Risk assessment and attack graph generation for collaborative infrastructures: a survey
Face flips in origami tessellations
A combinatorial bound for beacon-based routing in orthogonal polygons
The emergence of sparse spanners and well-separated pair decomposition under anarchy
Topological data analysis in information space
Subquadratic encodings for point configurations
Embedding the dual complex of hyper-rectangular partitions
A counterexample to a geometric Hales-Jewett type conjecture
Ptolemaic indexing
Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
Applications of Chebyshev polynomials to low-dimensional computational geometry
Induced matchings and the algebraic stability of persistence barcodes
A simple randomized $O(n \log n)$-time closest-pair algorithm in doubling metrics
Median shapes
An optimal algorithm for computing angle-constrained spanners
Minimum-error triangulations for sea surface reconstruction
Random hyperplane search trees in high dimensions
Hyperplane separability and convexity of probabilistic point sets
Improved time-space trade-offs for computing Voronoi diagrams
A new drawing for simple Venn diagrams based on algebraic construction
Translating Hausdorff is hard: fine-grained lower bounds for Hausdorff distance under translation
Welcome from the Editors-in-Chief
Rigid origami vertices: conditions and forcing sets
Unions of Onions: Preprocessing Imprecise Points for Fast Onion Decomposition
2-manifold recognition is in logspace
Realizations of indecomposable persistence modules of arbitrarily large dimensions
The Lebesgue universal covering problem
On characterizing terrain visibility graphs
The projection median as a weighted average
Trajectory grouping structure
Faster algorithms for some optimization problems on collinear points
Happy Endings for Flip Graphs
Recognizing shrinkable complexes is NP-complete
The geometric dilation of three points
Competitive local routing with constraints
Strict confluent drawing
On the independence number of intersection graphs of axis-parallel segments
Forcing subarrangements in complete arrangements of pseudocircles
Progressive geometric algorithms
Four Pages Are Indeed Necessary for Planar Graphs
Subquadratic medial-axis approximation in $\mathbb{R}^3$
Lombardi drawings of knots and links
Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences
Which point sets admit a k-angulation?
Thickness and antithickness of graphs
Interesting paths in the mapper complex
1-string B 2 -VPG representation of planar graphs
A Divide-and-Conquer Algorithm for Two-Point L1 Shortest Path Queries in Polygonal Domains
Drawing planar graphs with many collinear vertices
Topological drawings of complete bipartite graphs
On the classification of motions of paradoxically movable graphs
Placing your coins on a shelf
Determining hyperbolicity of compact orientable 3-manifolds with torus boundary
Simplices modelled on spaces of constant curvature
Sampling with removal in LP-type problems
Silhouette of a random polytope
Geometric algorithms for sampling the flux space of metabolic networks
Sometimes reliable spanners of almost linear size
GPU computation of the Euler characteristic curve for imaging data
Recursive tilings and space-filling curves with little fragmentation
Algorithms for approximate sparse regression and nearest induced hulls
Time-space trade-offs for computing Euclidean minimum spanning trees
New lower bounds for the number of pseudoline arrangements
Steinitz Theorems for Simple Orthogonal Polyhedra
A plane 1.88-spanner for points in convex position
Partial Covering of a Circle by Equal Circles. Part I: The Mechanical Models
Canonical ordering for graphs on the cylinder, with applications to periodic straight-line drawings on the flat cyclinder and torus
Computing maxmin edge length triangulations
Finding the largest disk containing a query point in logarithmic time with linear storage
Walking the dog fast in practice: Algorithm engineering of the Fréchet distance
Simplicial flat norm with scale
Flat foldings of plane graphs with prescribed angles and edge lengths
Hop-spanners for geometric intersection graphs
On the geodesic centers of polygonal domains
On the complexity of minimum-link path problems
Smoothed complexity of convex hulls by witnesses and collectors
Recognizing weighted and seeded disk graphs
Polyhedral Gauss sums, and polytopes with symmetry
Making Triangles Colorful
Towards plane spanners of degree 3
On affine rigidity
A stability theorem on cube tessellations
A Geometric Approach to Inelastic Collapse
The continuous 1.5D terrain guarding problem: Discretization, optimal solutions, and PTAS
Array-based compact data structures for triangulations: Practical solutions with theoretical guarantees
An Improved Cost Function for Hierarchical Cluster Trees
Dynamic time warping under translation: Approximation guided by space-filling curves
Guarding Terrains via Local Search
Aligned plane drawings of the generalized Delaunay-graphs for pseudo-disks
On the Average Complexity of the k-Level
Computing representative networks for braided rivers
Two-point L1 shortest path queries in the plane
Colouring the triangles determined by a point set
A fixed-parameter algorithm for the minimum Manhattan network problem
Corrigendum to: Approximating minimum-area rectangular and convex containers for packing convex polygons
Approximate shortest distances among smooth obstacles in 3D
Hyperbolic Delaunay Complexes and Voronoi Diagrams Made Practical
On isolating points using unit disks
Stochastic convergence of persistence landscapes and silhouettes
Drawing graphs on few lines and few planes
Approximating the average stretch factor of geometric graphs
An abstract approach to polychromatic coloring: shallow hitting sets in ABA-free hypergraphs and pseudohalfplanes
Central trajectories
Weighted geometric set cover problems revisited
Spanners for geometric intersection graphs with applications
k-Median clustering under discrete Fréchet and Hausdorff distances
Upper bounds for centerlines
A new algorithm for computing visibility graphs of polygonal obstacles in the plane
A weighted approach to the maximum cardinality bipartite matching problem with applications in geometric settings
An Exponential Lower Bound on the Complexity of Regularization Paths
Consistent labeling of rotating maps
Points with Large Quadrant Depth
Orientation preserving maps of the n × n grid
The number of distinct distances from a vertex of a convex polygon
Constructing many faces in arrangements of lines and segments
The complexity of geodesic spanners
Computational aspects of the Hausdorff distance in unbounded dimension
A 10-Approximation of the π/2 -MST
Algorithms for the discrete Fréchet distance under translation
The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Qualitative symbolic perturbation: two applications of a new geometry-based perturbation framework
Covering many points with a small-area box
Graph skeletonization of high-dimensional point cloud data via topological method
Improved spanning ratio of the Theta-5 graph
On the parameterized complexity of red-blue points separation
A coupled alpha complex
The Gromov-Hausdor? distance between ultrametric spaces: its structure and computation
Improved polytope volume calculations based on Hamiltonian Monte Carlo with boundary reflections and sweet arithmetics
Reverse shortest path problem for unit-disk graphs
Homotopic curve shortening and the affine curve-shortening flow
Searching for the closest-pair in a query translate
Routing on the visibility graph
Higher dimensional discrete Cheeger inequalities
Hyperorthogonal well-folded Hilbert curves
Visibility Maps of Realistic Terrains have Linear Smoothed Complexity
Spectral sparsification of simplicial complexes for clustering and label propagation
The relationship between the intrinsic Čech and persistence distortion distances for metric graphs
A quasi-polynomial algorithm for well-spaced hyperbolic TSP
Delaunay triangulations of generalized Bolza surfaces
On the tree-width of knot diagrams
The Hausdorff Core Problem on Simple Polygons
On self-approaching and increasing-chord drawings of 3-connected planar graphs
The one-way communication complexity of dynamic time warping distance
Good Quality Virtual Realization of Unit Disk Graphs
Separating overlapped intervals on a line
Unit-disk range searching and applications
More dynamic data structures for geometric set cover with sublinear update time
Approximating longest spanning tree with neighborhoods
From geometry to topology: Inverse theorems for distributed persistence
Realization and connectivity of the graphs of origami flat foldings
New and improved spanning ratios for Yao graphs
Local routing in WSPD-based spanners
On the discrete Fréchet distance in a graph
Planar and poly-arc Lombardi drawings
Constant-Work-Space Algorithms for Geometric Problems
Approximate greedy clustering and distance selection for graph metrics
Topological data analysis with Bregman divergences
Planar bichromatic bottleneck spanning trees
Shortest path in a polygon using sublinear space
Declutter and resample: Towards parameter free denoising
Computing nonsimple polygons of minimum perimeter
A constant-factor approximation algorithm for vertex guarding a WV-polygon
Weighted geometric set multi-cover via quasi-uniform sampling
Minimum cycle and homology bases of surface-embedded graphs
Adjacency-preserving spatial treemaps
On the structure of Schnyder woods on orientable surfaces
Quasi-parallel segments and characterization of unique bichromatic matchings
Approximability of the discrete Fréchet distance
Weight balancing on boundaries
The maximum number of faces of the Minkowski sum of three convex polytopes
Approximate vertex enumeration
Polyline simplification has cubic complexity
Sorting under partial (interval order) information
The density of expected persistence diagrams and its kernel based estimation
Computing the Maximum Detour of a Plane Geometric Graph in Subquadratic Time
Time-space trade-offs for triangulating a simple polygon
Pattern overlap implies runaway growth in hierarchical tile systems
On the stretch factor of convex polyhedra whose vertices are (almost) on a sphere
Fine-grained complexity of coloring unit disks and balls
4-Connected triangulations on few lines
Degree four plane spanners: Simpler and better
Stable-matching Voronoi diagrams: Combinatorial complexity and algorithms
Approximate range counting revisited
Euclidean Steiner shallow-light trees
A near-linear time approximation scheme for geometric transportation with arbitrary supplies and spread
An experimental study of forbidden patterns in geometric permutations by combinatorial lifting
Recursively-regular subdivisions and applications
Flow computations on imprecise terrains
Approximate shortest paths and distance oracles in weighted unit-disk graphs
Contacts in totally separable packings in the plane and in high dimensions
Density of range capturing hypergraphs
Minimum Area Polyomino Venn Diagrams
On morphs of 1-plane graphs
Partial Covering of a Circle by Equal Circles. Part II: The Case of 5 Circles
Minimizing crossings in constrained two-sided circular graph layouts
On rich points and incidences with restricted sets of lines in 3-space
Cubic planar graphs that cannot be drawn on few lines
Optimal-area visibility representations of outer-1-plane graphs
Incidences with k-non-degenerate sets and their applications
An SPQR-tree-like embedding representation for level planarity
Algorithms for ball hulls and ball intersections in normed planes
Network Farthest-Point Diagrams
How many three-dimensional Hilbert curves are there?
Recognizing and realizing inductively pierced codes
On optimal polyline simplification using the Hausdorff and Fréchet distance
Maximizing the sum of radii of disjoint balls or disks
Strictly-convex drawings of 3-connected planar graphs
A short proof of the toughness of Delaunay triangulations
The planar tree packing theorem
Orthogonal point location and rectangle stabbing queries in 3-d
Fat Polygonal Partitions with Applications to Visualization and Embeddings
Metric inequalities for polygons
On projections of metric spaces
Asymptotic improvements on the exact matching distance for 2-parameter persistence
On the planar edge-length ratio of planar graphs
On interference among moving sensors and related problems
On a conjecture of Lovász on circle-representations of simple 4-regular planar graphs
An explicit PL-embedding of the square flat torus into 𝔼 3
Worst-Case Optimal Squares Packing into Disks
Halving balls by a hyperplane in deterministic linear time
Persistent homology based characterization of the breast cancer immune microenvironment: a feasibility study
More on decomposing coverings by octants
Minimax rates for estimating the dimension of a manifold
Classifying unavoidable Tverberg partitions
Convex polygons in cartesian products
Shortest path to a segment and quickest visibility queries
Scalable exact visualization of isocontours in road networks via minimum-link paths
Optimally Fast Incremental Manhattan Plane Embedding and Planar Tight Span Construction
Worst-case optimal squares packing into disks
Drawing planar graphs with prescribed face areas
On Visibility and Blockers
Flat norm decomposition of integral currents
An algorithm for the Euclidean cell decomposition of a non-compact strictly convex projective surface
Optimal morphs of planar orthogonal drawings
Delaunay Triangulation of Imprecise Points, Preprocess and Actually Get a Fast Query Time
Near-optimal algorithms for point-line fitting problems
FPT-Algorithms for computing Gromov-Hausdorff and interleaving distances between trees
Improved bounds for covering paths and trees in the plane
Exact computation of the matching distance on 2-parameter persistence modules
Counting and enumerating crossing-free geometric graphs
Near-linear time medial axis approximation of smooth curves in $\mathbb{R}^3$
Approximate Euclidean Ramsey Theorems
NP-completeness of slope-constrained drawing of complete graphs
Rigid foldability is NP-hard
Nearly-doubling spaces of persistence diagrams
d-representability of simplicial complexes of fixed dimension
Kinetic Convex Hulls, Delaunay Triangulations and Connectivity Structures in the Black-Box Model