yusuke1997/dblp-id-title huggingface dataset:
Quick Detection of Nodes with Large Degrees
Algorithms and Models for the Web Graph - 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings
Max Celebrity Games
The Phase Transition and Connectedness in Uniformly Grown Random Graphs
Algorithms and Models for the Web Graph - 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings
A Geometric Preferential Attachment Model of Networks
A Spatial Preferential Attachment Model with Local Clustering
Algorithms and Models for the Web-Graph, 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings
A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection
Rumours Spread Slowly in a Small World Spatial Network
Fast Approximation Algorithms for p-centers in Large \delta δ -hyperbolic Graphs
Using Synthetic Networks for Parameter Tuning in Community Detection
Traffic-Driven Model of the World Wide Web Graph
Giant Component and Connectivity in Geographical Threshold Graphs
Establishing Herd Immunity is Hard Even in Simple Geometric Networks
The Artificial Benchmark for Community Detection with Outliers and Overlapping Communities ($\mathbf {ABCD{+}o}^2$)
A Geometric Preferential Attachment Model of Networks II
Evolution of the Media Web
Multiplicative Attribute Graph Model of Real-World Networks
Component Evolution in General Random Intersection Graphs
Existence and Region of Critical Probabilities in Bootstrap Percolation on Inhomogeneous Periodic Trees
Hyperbolicity, Degeneracy, and Expansion of Random Intersection Graphs
A Sharp PageRank Algorithm with Applications to Edge Ranking and Graph Sparsification
PageRank in Scale-Free Random Graphs
Choose the Damping, Choose the Ranking?
Fast Low-Cost Estimation of Network Properties Using Random Walks
Degrees in Preferential Attachment Networks with an Anomaly
The Multilayer Artificial Benchmark for Community Detection (mABCD)
A Random Graph Model for Clustering Graphs
Crawling the Infinite Web: Five Levels Are Enough
Algorithms and Models for the Web-Graph, 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings
An Upper Bound on the Burning Number of Graphs
Analysis of Relaxation Time in Random Walk with Jumps
Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)
Computing an Aggregate Edge-Weight Function for Clustering Graphs with Multiple Edge Types
Generating Web Graphs with Embedded Communities
Making Eigenvector-Based Reputation Systems Robust to Collusion
Improving Community Detection via Community Association Strength Scores
Modularity of Random Intersection Graphs
A Local Clustering Algorithm for Connection Graphs
Algorithms and Models for the Web-Graph, Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers
A Sublinear Time Algorithm for PageRank Computations
Subgraph Counts in Random Clustering Graphs
The Giant Component in a Random Subgraph of a Given Graph
On Reshaping of Clustering Coefficients in Degree-Based Topology Generators
A Robust Method for Statistical Testing of Empirical Power-Law Distributions
Multi-commodity Allocation for Dynamic Demands Using PageRank Vectors
Computing Diffusion State Distance Using Green's Function and Heat Kernel on Graphs
Personalized PageRank with Node-Dependent Restart
Algorithms and Models for the Web Graph - 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers
Finding a Dense-Core in Jellyfish Graphs
Anarchy Is Free in Network Creation
Approximating Betweenness Centrality
k-Connectivity Threshold for Superpositions of Bernoulli Random Graphs
A Fast Algorithm to Find All High Degree Vertices in Graphs with a Power Law Degree Sequence
Transience Versus Recurrence for Scale-Free Spatial Networks
Modelling of Trends in Twitter Using Retweet Graph Dynamics
Impact of Market Design and Trading Network Structure on Market Efficiency
Random Dot Product Graph Models for Social Networks
Communities Detection in Large Networks
Strong Localization in Personalized PageRank Vectors
Analyzing the Small World Phenomenon Using a Hybrid Model with Local Network Flow (Extended Abstract)
Local Majority Dynamics on Preferential Attachment Graphs
An Experimental Study of the k-MXT Algorithm with Applications to Clustering Geo-Tagged Data
Modularity of Complex Networks Models
Graphon-Inspired Analysis on the Fluctuation of the Chinese Stock Market
Latent Clustering on Graphs with Multiple Edge Types
Distributed Averaging for Accuracy Prediction in Networked Systems
Common Adversaries Form Alliances: Modelling Complex Networks via Anti-transitivity
Computation of the Laplacian Spectral Barycentre Network in a Soules Basis
Web Structure in 2005
Tree Nash Equilibria in the Network Creation Game
Communities in Large Networks: Identification and Ranking
A Simple Model of Influence: Details and Variants of Dynamics
Kernels on Graphs as Proximity Measures
High-Ordered Random Walks and Generalized Laplacians on Hypergraphs
Rank-Based Models of Network Structure and the Discovery of Content
Algorithms and Models for the Web Graph - 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
Navigability is a Robust Property
Efficient Computation of the Weighted Clustering Coefficient
Modelling and Mining of Networked Information Spaces
The Robot Crawler Model on Complete k-Partite and Erdős-Rényi Random Graphs
The Asymptotic Normality of the Global Clustering Coefficient in Sparse Random Intersection Graphs
Hypergraph Coloring Games and Voter Models
How to Cool a Graph
Traps and Pitfalls of Topic-Biased PageRank
On Mixing in Pairwise Markov Random Fields with Application to Social Networks
Efficient Computation of K-Edge Connected Components: An Empirical Analysis
Distributed and Asynchronous Methods for Semi-supervised Learning
A Local Graph Partitioning Algorithm Using Heat Kernel Pagerank
Analysis and Predictability of Centrality Measures in Competition Networks
Parameter Estimators of Sparse Random Intersection Graphs with Thinned Communities
Local/Global Phenomena in Geometrically Generated Graphs
Stochastic Kronecker Graphs
Game-Theoretic Models of Information Overload in Social Networks
Information Diffusion in Complex Networks: A Model Based on Hypergraphs and Its Analysis
Moment-Based Parameter Estimation in Binomial Random Intersection Graph Models
Efficient Generation of Networks with Given Expected Degrees
The Directed Age-Dependent Random Connection Model with Arc Reciprocity
Bias Reduction in Traceroute Sampling - Towards a More Accurate Map of the Internet
Strongly n-e.c. Graphs and Independent Distinguishing Labellings
Algorithms and Models for the Web Graph - 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
PageRank Nibble on the Sparse Directed Stochastic Block Model
Ranking and Sparsifying a Connection Graph
Dirichlet PageRank and Trust-Based Ranking Algorithms
Estimating the Parameters of the Waxman Random Graph
Timeout Prediction for Software Analyses
Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains
Local Nontermination Detection for Parallel C++ Programs
Deductive Verification of SYCL in VerCors
Modelling and Verifying Smell-Free Architectures with the Archery Language
Model Translation from Papyrus-RT into the nuXmv Model Checker
Transition to Sustainability: Italian Scenarios Towards a Low-Carbon Economy
Can Reinforcement Learning Learn Itself? A Reply to 'Reward is Enough'
Precise Model-Driven Transformations Based on Graphs and Metamodels
Supporting Proof in a Reactive Development Environment
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010
A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
Intercepting Blackhole Attacks in MANETs: An ASM-based Model
Applied Bounded Model Checking for Interlocking System Designs
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives
Integrating Requirements: The Behavior Tree Philosophy
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis
2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
Information Exchange Between Over- and Underapproximating Software Analyses
User-Guided Verification of Security Protocols via Sound Animation
Combinatorial Testing for VDM
A Framework for Modelling Variable Microservices as Software Product Lines
Capturing Smart Contract Design with DCR Graphs
Modularizing Crosscutting Concerns in Component-Based Systems
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins
Restricted Broadcast Process Theory
Efficient Probabilistic Abstraction for SysML Activity Diagrams
Animation of Object-Z Specifications Using a Z Animator
Lightweight Program Construction and Verification Tools in Isabelle/HOL
Automated Validation of State-Based Client-Centric Isolation with TLA +
Developing the Semantic Web via the Resolution of Meaning Ambiguities
Mathematical Literacy as a Condition for Sustainable Development
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems
An Interface Theory for the Internet of Things
Specification Matching of Object-Oriented Components
Refinement Operators and Information Flow Security
Sound reasoning about unchecked exceptions
The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management
On the Theory of Patching
History-Based Verification of Functional Behaviour of Concurrent Programs
Learning Extended Finite State Machines
A Timed Model of Circus with the Reactive Design Miracle
Scalable Session Programming for Heterogeneous High-Performance Systems
Interface Abstraction for Compositional Verificatio
Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems
Timed Automata with Data Structures for Distributed Systems Design and Analysis
Verification of C Programs Using Automated Reasoning
Formalizing DSL Semantics for Reasoning and Conformance Testing
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
A Type System for Components
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation
User Studies of Principled Model Finder Output
Model-driven architecture for cancer research
Unlocking the Power of Environment Assumptions for Unit Proofs
Implementation Correctness of a Real-Time Operating System
Ontology-Based Reasoning in Requirements Elicitation
FRed: Conditional Model Checking via Reducers and Folders
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
Generalized Oracle for Testing Machine Learning Computer Programs
Modelling Population Dynamics Using Grid Systems
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
Adaptive Software Needs Continuous Verification
A Framework for the Co-simulation of Engine Controls and Task Scheduling
Specialized Aspect Languages Preserving Classes of Properties
On Bisimilarities Induced by Relations on Actions
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems
CRefine: Support for the Circus Refinement Calculus
Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
Logical Foundations of Program Assertions: What do Practitioners Want?
Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution
Analysis of FLOSS Communities as Learning Contexts
Convergence Properties of Hierarchical Co-simulation Approaches
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
A Cloverleaf of Software Engineering
Formal Analysis of Proactive, Distributed Routing
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) Approach
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic
Abstraction of Parallel Uniform Processes with Data
What Does It Mean to Inhibit an Action? - A Critical Discussion of Benjamin Libet's Veto in a Recent Study
A Denotational Model for Instantaneous Signal Calculus
Safety Controller Synthesis for a Mobile Manufacturing Cobot
Refine and Gabriel: Support for Refinement and Tactics
Grounding Psychological Shape Space in Convolutional Neural Networks
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
Securely Accessing Shared Resources with Concurrent Constraint Programming
Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework
Verification of Programs with Exceptions Through Operator Precedence Automata
Generating Relational Database Transactions From Recursive Functions Defined on EB 3 Traces
Using Coq for Formal Modeling and Verification of Timed Connectors
Small World Characteristics of FLOSS Distributions
Phase-Type Approximations for Non-Markovian Systems: A Case Study
Verified Configuration and Deployment of Layered Attestation Managers
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction
Towards Logical Specification of Statistical Machine Learning
We Need a Testability Transformation Semantics
Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Formalising Cosimulation Models
Validating Safety Arguments with Lean
Translation of CCS into CSP, Correct up to Strong Bisimulation
Behaviour Directed Testing of Auto-code Generators
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
Monitoring First-Order Interval Logic
Configuration Space Exploration for Digital Printing Systems
Reproducible Execution of POSIX Programs with DiOS
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Co-simulation-Based Pre-training of a Ship Trajectory Predictor
A Formal Programming Framework for Digital Avatars
From Requirements to Verifiable Executable Models Using Rebeca
Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Using Change Impact Analysis to Select Tests for Extended Finite State Machines
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach
Towards Resolving Distributed Beliefs
A Formal Model for Trust in Dynamic Networks
Counterexamples from Proof Failures in SPARK
The TLA + Debugger
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows
Mining Shape Expressions with ShapeIt
Towards A Truly Concurrent Model for Processes Sharing Resources
Synthesis of P-Stable Abstractions
Compliance Checking in the Open Payments Ecosystem
ML Dependency Analysis for Assessors
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems
Verifying Read-Copy Update Under RC11
Extensible Specifications for Automatic Re-use of Specifications and Proofs
Broadcast Psi-calculi with an Application to Wireless Protocols
FLOSS in Technology-Enhanced Learning
Clustering Formulation Using Constraint Optimization
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs
Towards Automatic Decision Support for Bike-Sharing System Design
Towards a Well-Founded UML-Based Development Method
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
Dependable Composition of Software and Services in the Internet of Things: A Biological Approach
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise
Cooperation Between Automatic and Interactive Software Verifiers
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification
Reasoning about Separation Using Abstraction and Reification
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving
Introducing Regression Tests and Upgrades to the INTO-CPS Application
Verifying Security Properties of Cryptoprotocols: A Novel Approach
ProbTest: Unit Testing for Probabilistic Programs
Type Theory and Universal Grammar
Behavioural Equivalences over Reconfigurable Systems
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates
Formal Verification of Requirements using SPIN: A Case Study on Web Services
Co-simulation of a Model Predictive Control System for Automotive Applications
Specification and Verification of Atomic Operations in GPGPU Programs
Refinement-Friendly Bigraphs and Spygraphs
Specifying Interacting Components with Coordinated Concurrent Scenarios
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine
Tool Support for Teaching Hoare Logic
Hoare-Style Logic for Unstructured Programs
Time Factor in Neural Learning Processes
Techniques for Memory-Efficient Model Checking of C and C++ Code
Modal Contracts for Component-Based Design
Compliance and Testing Preorders Differ
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
A Machine-Checked Framework for Relational Separation Logic
An Operational Guide to Monitorability
CoCoSim: A Tool for Co-simulation of Mobile Cooperative Robots
What IS a BoK? Large - Extended Abstract -
An AOP Extended Lambda-Calculus
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations
Modelling and Verification of Survivability Requirements for Critical Systems
Experimental Evaluation of FSM-Based Testing Methods
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms
Structured Counterexamples for the Temporal Description Logic ALCCTL
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
TART: Timed-Automata to Real-Time Java Tool
SSCalc: A Calculus for Solidity Smart Contracts
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
A Query Language for Language Analysis
Modelling Rational User Behaviour as Games between an Angel and a Demon
A Semi-Automatic Methodology for Repairing FaultyWeb Sites
sfATM: A Logic for Quantitative Security Properties on Attack Trees
Modelling Java Concurrency with Object-Z
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover
Contract-Based Verification of Hierarchical Systems of Components
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards
An Approach for Creating Domain Specific Visualisations of CSP Models
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Towards Quantum Multiparty Session Types
Formal verification of tamper-evident storage for e-voting
Verification of Object Relational Maps
Mapping BPMN2 Service Choreographies to Colored Petri Nets
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol
A Unifying Approach for Control-Flow-Based Loop Abstraction
Using Justified True Beliefs to Explore Formal Ignorance
Simulation Relations for Systems with Distributed Interfaces
The Formal, Tool Supported Development of Real Time Systems
Care, Feeding and Growth of Software Systems
Modeling and Simulating Interaction Protocols Using Nested Petri Nets
Formal Verification of Rewriting Rules for Dynamic Fault Trees
Specification and Automated Verification of Dynamic Dataflow Networks
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer
A Formal IDE for Railways: Research Challenges
A Certification Process for Android Applications
Assertion-based Slicing and Slice Graphs
Many-Logic Modal Structures Based on the Lattice L6: A First Look
Focused Certification of an Industrial Compilation and Static Verification Toolchain
DISPAS: An Agent-Based Tool for the Management of Fishing Effort
Property-Driven Development
Zero Overhead Runtime Monitoring
Modular Verification of Information Flow Security in Component-Based Systems
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Widening Operators for Abstract Interpretation
Lifting Verification Results for Preemption Statements
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude
Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment
On Generation of Context-Abstract Plans
Use of Mobile Phone Data to Estimate Visitors Mobility Flows
Design of a Business-to-Government Information Sharing Architecture Using Business Rules
Reconfiguring Staggered Quantum Walks with ZX
Generating Efficient Test Sets with a Model Checker
Safe Distribution of Declarative Processes
A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots
Guidelines for the Application of Data Envelopment Analysis to Assess Evolving Software
A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Static Analysis of the Determinism of Multithreaded Programs
Real-Time Migration Properties of rTiMo Verified in Uppaal
Customised Induction Rules for Proving Correctness of Imperative Programs
The Synergy Between User Experience Design and Software Testing
Herding CATs
From Requirements Change to Design Change: A Formal Path
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
Formal Methods and Innovation Economy: Facing New Challenges
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation
Towards a Formal Component Model for the Cloud
Algebraic Approach to Linking the Semantics of Web Services
Automated Feature Identification for Android Apps
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems
SHReQ: Coordinating Application Level QoS