yusuke1997/dblp-id-title huggingface dataset:
Fault localization mechanism using integrated resource information model in next generation network
Transactional workflow for telecommunication service management
ATMoS: Autonomous Threat Mitigation in SDN using Reinforcement Learning
DiMAPI: An Application Programming Interface for Distributed Network Monitoring
Model-based management of security services in complex network environments
Management of PDP/PEP for PBNM in MANETs
Automatic generation of platforms in cloud computing
An integrated CNM architecture for multi-layer networks with simple SLA monitoring and reporting mechanism
Installation Transition Processing Network And Systems Management Architecture
Introducing network slice management inside M-CORD-based-5G framework
FIXIDS: A high-speed signature-based flow intrusion detection system
On the Temporal Behaviour of a Large-Scale Microservice Architecture
Flamingo: Visualizing Internet Traffic
Joint Multi-Agent Reinforcement Learning and Message-Passing for Distributed Multi-Uav Network Management using Conflict Graphs
Integrating business performance management with IT management through impact analysis and provisioning
On performance observability in IoT systems using active measurements
On the practical applicability of SDN research
The smallest software defined network testbed in the world: Performance and security
Profile-based subscriber service provisioning
Internet routing management
Decoupling DNS Update Timing from TTL Values
On topology construction in layered P2P live streaming networks
Federated Power Control for Predictive QoS in 5G and Beyond: A Proof of Concept for URLLC
ENM: A service oriented architecture for ontology-driven network management in heterogeneous network infrastructures
Water 4.0: enabling Smart Water and Environmental Data Metering
Evaluating the Impact of Inter-Cluster Communications in Edge Computing
Performance Isolation in Multi Tenant Cloud Data Centers
Fast recovery paths schema to improve reliability in IP networks
Towards Grid-based Intrusion Detection
A Flexible Interpreter For Intent Realisation
Properties of advanced metering infrastructure networks' topologies
Standalone eNode-B design with integrated virtual EPC in public safety networks
Intelligent search of correlated alarms from database containing noise data
Maintenance Of Clustered Telecommunications Systems
Quantifying the Impact of Frame Preemption on Combined TSN Shapers
On impact of management in wireless sensors networks
Extended topic map: Knowledge collaborative building for distributed knowledge resource
Performance prediction method for Web-access response time distribution using formula
Fiber networks maintenance in the all-optical network era
Measuring Increasing Heterogeneity in BGP
A strategic approach for re-organization of internet topology for improving both efficiency and attack tolerance
A Game-Theoretic Approach for Distributed Attack Mitigation in Intelligent Transportation Systems
Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures
SDEFIX - Identifying elephant flows in SDN-based IXP networks
EFPCaching: Energy-aware and Fault-tolerant Probabilistic Caching of popular IoT content in ICN
Information integration techniques to automate incident management
TwinRAN: Twinning the 5G RAN in Azure Cloud
ROCS: a remotely provisioned OSGi framework for ambient systems
Reasoning in agent-based network management
On strategies for planning the assignment of human resources to IT change activities
Services-based architecture for performance monitoring of MPLS networks
An Active Entitlement Key Management for Conditional Access System on Digital TV Broadcasting Network
Management of all-optical WDM networks: First results of European research project MOON
Application-aware Resource Sharing using Software and Hardware Partitioning on Modern GPUs
Unsupervised learning algorithms for intrusion detection
Telecommunications Management Network Standards Evolution
Manageability design for an autonomic management of semi-dynamic web service compositions
Centralized approach for trustworthy message dissemination in VANET
Availability "weak point" analysis over an SOA deployment framework
Hierarchical Software-Defined Control for coordinated RAN and PON-based Transport Scaling
Adaptive multiuser detection in DS/CDMA systems using generalized regression neural network
A resilient architecture for automated fault tolerance in virtualized data centers
Detecting and recovering prefix hijacking using multi-agent inter-AS diagnostic system
Performance Evaluation of Stateless Firewalling: Host-Based, SmartNIC, and P4 Switch
An integrated architecture for multi-homed vehicle-to-infrastructure communications
Performance Impact of Differential Privacy on Federated Learning in Vehicular Networks
Test environment for QoS testing of VoIP over LTE
A business-driven framework for evaluating cloud computing
Federated Learning-Driven Edge AI for Enhanced Mobile Traffic Prediction
Cost analysis of the service migration problem between communication platforms
Performance-driven task co-scheduling for MapReduce environments
SUITS: How to make a global IT service provider sustainable?
A replication component for resilient OpenFlow-based networking
On the complexity of determining autonomic policy constrained behaviour
Design of a security mechanism for RESTful Web Service communication through mobile clients
Enhancing 5G Core security with eBPF/XDP
Monitoring scheduling for home gateways
A ML-Based Model for Evaluating the Power Consumption of Network Devices
Availability-Aware E-band Wireless Extension of Fiber-Access
A mobile agent infrastructure for terminal, user, and resource mobility
Evaluating and Improving Regional Network Robustness from an AS TOPO Perspective
Service Management - the Drive for Re-Engineering
Collating time-series resource data for system-wide job profiling
ONSIDE: Socially-aware and Interest-based dissemination in opportunistic networks
Automated IoT security testing with SecLab
Managing the message: Message tracking
Workload interleaving with performance guarantees in data centers
Cold Start for Cloud Anomaly Detection
Multi-provider service negotiation and contracting in network virtualization
SWIFT: Semantic Web Intent Framework for Intent Translation
A Bandwidth Bargain Model based on Adaptive Weighted Fair Queueing
MONACO-Modular open network agent for control operations
Standardized Multivendor Network Management
An Improved Method for Consistent Replicated Data in the Intelligent Network
Adaptive Transmit Power Control for 3GPP C-V2X Networks by Considering Traffic Conditions
Network architectures for the 21st century
New packet aggregation schemes for multimedia applications in WLAN
Bio-inspired Solution for Cluster-Tree Based Data Collection Protocol in Wireless Sensors Networks
Correctness of Flow Migration for Service Function Chains
Vision 2000 business capability for extraordinary customer care
On Information Modeling for the Management of Control Plane Functionality in Transport Networks
Opportunistic media sharing for mobile networks
2012 IEEE Network Operations and Management Symposium, NOMS 2012, Maui, HI, USA, April 16-20, 2012
Economically managing multiple private data networks
Formal Verification for Blockchain-based Insurance Claims Processing
Improving Multi-Tenant I/O-Acceleration for Containerized Network Function Environments
Towards distributed and dynamic networks management
Intelligent Network Operations Planning -or AIN Meets PMO
Demonstrating the Advantages of Computational Offloading of XR Services via WebAssembly
Policy transition mechanism: a new approach to multi-mode management
Survey on pan-European TMN-Experiments and Field Trial Support
Internet Bad Neighborhoods temporal behavior
eMTD: Energy-Aware Moving Target Defense for Sustainable Solar-powered Sensor-based Smart Farms
European ATM service introduction-OSS interconnection between operators
Design and Implementation of CWMP-Enabled Multipath Management Mechanism in Home Networks
TMN Xcoop interface specification for pan-European SDH networks and ATM networks
A framework for TMN-CORBA interoperability
UTRAN O&M support system with statistical fault identification and customizable rule sets
Smart DC: An AI and Digital Twin-based Energy-Saving Solution for Data Centers
Understanding the role of sentiment analysis in contract risk classification
Distributed Pattern Matching for P2P Systems
Object Tracking by mining movement Trajectories in Wireless Sensor Networks
Policy-based self-management of hybrid ad hoc networks for dynamic channel configuration
Resource-Efficient Federated Fine-Tuning of LLMs for Downstream Tasks of Speech Recognition
Towards an efficient implementation of traceback mechanisms in autonomous systems
A bio-inspired scheme on quorum systems for reliable services data management in MANETs
Using Open Source to realise an NGOSS Proof of concept
Using mobile agents for network performance management
Network attack traffic detection using seed based sequential grouping model
An embedded Web server architecture for XML-based network management
A novel crash-tolerant data gathering in wireless sensor networks
Can Flow Metadata Based Signatures Generalize for Identifying Attacks on IoT Devices?
Bell Canada's Strategic Directions In Service Provisioning
Modeling IT support organizations using multiple-priority queues
Mobility-aware Latency-constrained Data Placement in SDN-enabled Edge Networks
A Malicious Traffic Detection Method Based on 1D ConvNeXt and Multi-Scale Patches
Access network service delivery using nested workflow process
CyberTEA: a Technical and Economic Approach for Cybersecurity Planning and Investment
Unlicensed RAN Integration with 5G for Time-Sensitive Networking
Handling Large-Scale Network Flow Records: A Comparative Study on Lossy Compression
SMART: Secure Incentive-Based Mechanism for Addressing Reliability in Trustworthy VANETs
Network Performance Monitoring And Fault Detection On The Gtnet
iCOMS : an ADSL service provisioning system based on workflow management
Towards 6G: Adaptive and Resilient Network Management for Hybrid Terrestrial-Satellite Systems
Intent Assurance using LLMs guided by Intent Drift
EQuery: Enable event-driven declarative queries in programmable network measurement
Hardware-oriented TMN systems
Design of a dynamic adaptive reservation system in media production networks
ML-Assistant Service Function Chaining Workload Scheduler for Cloud-Native inFrastructure
Network-based synchronizing control of a practical microgrid
A Privacy-Aware Collaborative DDoS Defence Network
Integrity Management in Softwarized Networks
On the feasibility of Web 2.0 technologies for network management: A mashup-based approach
Wire-speed application flow generation in hardware platform for multi-gigabit traffic monitoring
Introduction to the network infrastructure warehouse
Provisioning and Management of Interdomain Connections in Optical Networks: A Service Oriented Architecture-based Approach
Design and implementation of a RPC/IDL to CMIP/GDMO gateway
From value chains to ecosystem: New opportunities for telecommunications and new challenges for managing networks and services
Matching Theory Application for Efficient Allocation of Indivisible Testbed Resources
The design of an instrumentation system for federated and virtualized network testbeds
Provenance-aware security risk analysis for hosts and network flows
Towards a Partial Computation offloading in In-networking Computing-Assisted MEC: A Digital Twin Approach
Using a P4 Hardware Switch to Block Trackers and Ads for All Devices on an Edge Network
Improved Performance Control of Cloud-Native Microservices in the Edge with Proactive Autoscaling
Dataset Diversity for Metamorphic Testing of Machine Learning Software
Using Alloy in Introductory Courses of Formal Methods
An Over-Approximation Forward Analysis for Nested Timed Automata
A Formal Specification-Based Integration Testing Approach
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL
Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification
Verifying and Improving Neural Networks Using Testing-Based Formal Verification
Formal Development and Verification of Reusable Component in PAR Platform
A GUI-Aided Approach to Formal Specification Construction
Present-Future Form of Linear Time $$\mu $$ -Calculus
Automatic Generation of Specification from Natural Language Based on Temporal Logic
Extension on Transactional Remote Services in SOFL
Research on Formal Development of Non-recursive Algorithms of Graph Search
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL
A Blockchain Implementation of an Attendance Management System
Genericity in PAR Platform
A Visual Modeling Language for MSVL
Model Checking of a Mobile Robots Perpetual Exploration Algorithm
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Fault Localization of Timed Automata Using Maximum Satisfiability
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude
E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet
An MSVL Based Model Checking Method for Multi-threaded C Programs
Model Checking Python Programs with MSVL
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach
Model Checking Multi-interruption Concurrent Programs with TMSVL
LtlNfBa: Making LTL Translation More Practical
Extending UML for Model Checking
Automated Program Debugging for Multiple Bugs Based on Semantic Analysis
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph
An Unified Model Checking Approach of APTL
PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler
Design and Implementation of a Tool for Specifying Specification in SOFL
A Proof System for MSVL Programs in Coq
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing
Theory of Test Modeling Based on Regular Expressions
Runtime Verification of Ethereum Smart Contracts Based on MSVL
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge
Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack
A Case Study on Combining Agile Requirements Development and SOFL
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process
Formalizing and Implementing Types in MSVL
Abstract Model Checking with SOFL Hierarchy
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL
A JPSL Based Model Checking Approach for Java Programs
On Semantics for Mediator: A Coalgebraic Perspective
An Application of SOFL for Rapid Prototyping
Alternating Projection Temporal Epistemic Logic
Implementation of Matlab matfun Toolkit Based on MSVL
Formal Specification and Model Checking of a Ride-sharing System in Maude
Instant-Based and State-Based Analysis of Infinite Logical Clock
SOFL Specification Animation with Tool Support
A Planning Approach Based on APTL
Detection Method of the Second-Order SQL Injection in Web Applications
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL
Applying SOFL to Constructing a Smart Traffic Light Specification
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing
Supporting Tool for Automatic Specification-Based Test Case Generation
Formal Development of Linear Structure Reusable Components in PAR Platform
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction
Adaptive Random Testing by Bisection and Comprehensive Distance
Automated Safety Analysis on Scenario-Based Requirements for Train Control System
Prediction of Function Removal Propagation in Linux Evolution
Formal Semantics of Orc Based on TLA +
Checking Internal Consistency of SOFL Specification: A Hybrid Approach
Foundation of a Framework to Support Compliance Checking in Construction Industry
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Model Checking C Programs with MSVL
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Model Checking Process Scheduling over Multi-core Computer System with MSVL
Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning
A Software Tool to Support Scenario-Based Formal Specification for Error Prevention
Graphically Perceiving Characteristics of the MCS Lock and Model Checking Them
Distortion and Faults in Machine Learning Software
A Memory Management Mechanism for MSVL
Research Review on Web Service Composition Testing
Formalization of Natural Language into PPTL Specification via Neural Machine Translation
An MSVL-Based Modeling Framework for Back Propagation Neural Networks
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
Development of a Supporting Tool for Formalizing Software Requirements
Orchestration Combinators in Apla+ Language
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications
Software Construction Monitoring and Predicting for Human-Machine Pair Programming
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing
The Interchange Format of Tabular Expressions Using XML
Integrating Separation Logic with PPTL
Automatic Verification for Later-Correspondence of Security Protocols
Automatic Transformation from SOFL Module Specifications to Program Structures
On the Cooperative Graph Searching Problem
Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking
Applying SOFL to a Generic Insulin Pump Software Design
Runtime Verification Monitor Construction for Three-valued PPTL
Formalizing Spark Applications with MSVL
Extending Visibly Pushdown Automata over Multi-matching Nested Relations
Metamorphic Testing in Fault Localization of Model Transformations
Applying SOFL to a Railway Interlocking System in Industry
CMM: A Combination-Based Mutation Method for SQL Injection
A Method Based on MSVL for Verification of the Social Network Privacy Policy
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads
An Improved Reliability Testing Model Based on SOFL
An Approach to Declaring Data Types for Formal Specifications
On Termination and Boundedness of Nested Updatable Timed Automata
Formal Specification and Verification for Real-Time Scheduling Based on PAR
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
UMC4M: A Verification Tool via Program Execution
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation
Formal Modeling and Verification of Microservice-Based Cyber-Physical System
An Implementation Framework for Optimizing Test Case Generation Using Model Checking
A Software Tool to Support the "Vibration" Method
A Fault Localization Method Based on Dynamic Failed Execution Blocks
The Complexity of Linear-Time Temporal Logic Model Repair
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Solving Constraint Optimization Problems Based on Mathematica and Abstraction
Model Checking Java Programs with MSVL
An Approach of Transforming Non-Markovian Reward to Markovian Reward
Pointer Program Synthesis as Non-deterministic Planning
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction
Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency
Unified Bounded Model Checking for MSVL
Testing Program Segments to Detect Runtime Exceptions in Java
Incremental Points-to Analysis for Java via Edit Propagation
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications
Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Combining Model Learning and Model Checking to Analyze Java Libraries
Design and Implementation of Virtual Reality Geometric Modeling in Apla +VR
Implementing MapReduce with MSVL
A Case Study: SOFL + Model Checking for OSEK/VDX Application
Enriching the Semantics of Information Flow Tracking with Source-Level Memory Allocation Event Logging
EC-Model: An Evolvable Malware Classification Model
Security Orchestration, Automation, and Response Engine for Deployment of Behavioural Honeypots
Towards Secure Multi-Agent Deep Reinforcement Learning: Adversarial Attacks and Countermeasures
Setting Malicious Flow Entries Against SDN Operations: Attacks and Countermeasures
Lower power data transport protection for Internet of Things (IoT)
LAEG: Leak-based AEG using Dynamic Binary Analysis to Defeat ASLR
The Method of Capturing the Encrypted Password Packets of WPA & WPA2, Automatic, Semi-Automatic or Manual?
Gaussian Process Learning for Distributed Sensor Networks under False Data Injection Attacks
Impact Assessment of Password Reset PRMitM Attack with Two-Factor Authentication
A Scary Peek into The Future: Advanced Persistent Threats in Emerging Computing Environments
Shodan Indicators Used to Detect Standard Conpot Implementations and Their Improvement Through Sophisticated Customization
Highly Optimized Curve448 and Ed448 design in wolfSSL and Side-Channel Evaluation on Cortex-M4
Detection Evasion Using eBPF for Linux Fileless Malware
A novel UL power control scheme for a digital cellular repeater
Enhancing Decision-Making of Network Intrusion Analysis Assisted by Explainable AI for Real-Time Security Monitoring
DualNet: Locate Then Detect Effective Payload with Deep Attention Network
Enhancing Cybersecurity with Transformers: Preventing Phishing Emails and Social Media Scams
Privacy-Preserving Range Query for High-Dimensional Uncertain Data in a Two-Party Scenario
Mining Web Usage Profiles from Proxy Logs: User Identification
Multi-Level Proactive Security Auditing for Clouds
Cyber Security in Blockchain