yusuke1997/dblp-id-title huggingface dataset:
Reputation-Aware Federated Learning Client Selection Based on Stochastic Integer Programming
Mining Diversified Top-$r$r Lasting Cohesive Subgraphs on Temporal Networks
ScholarFinder: Knowledge Embedding Based Recommendations Using a Deep Embedded Clustering Model
SZ3: A Modular Framework for Composing Prediction-Based Error-Bounded Lossy Compressors
AlgorithmSeer: A System for Extracting and Searching for Algorithms in Scholarly Big Data
Research of Federated Learning Application Methods and Social Responsibility
To Write or Not to Write as a Machine? That's the Question
Parallel Graph Learning With Temporal Stamp Encoding for Fraudulent Transactions Detections
Beyond the Patchwise Classification: Spectral-Spatial Fully Convolutional Networks for Hyperspectral Image Classification
E-Optimal Sensor Selection for Compressive Sensing-Based Purposes
PES: Priority Edge Sampling in Streaming Triangle Estimation
USTF: A Unified System of Team Formation
Accelerating Blockchain-Enabled Federated Learning With Clustered Clients
A Multiplex Hypergraph Attribute-Based Graph Collaborative Filtering for Cold-Start POI Recommendation
Online POI Recommendation: Learning Dynamic Geo-Human Interactions in Streams
Big Data for Cyber-Physical Systems
Multimodal Deep Learning for Semisupervised Classification of Hyperspectral and LiDAR Data
Large Language Models for Link Stealing Attacks Against Graph Neural Networks
Memory Scaling of Cloud-Based Big Data Systems: A Hybrid Approach
A Multi-Aspect Neural Tensor Factorization Framework for Patent Litigation Prediction
Personalized Federated Learning With Contrastive Momentum
Towards Scalable Multi-View Clustering via Joint Learning of Many Bipartite Graphs
Hierarchical Lifelong Machine Learning With "Watchdog"
Visual Analytics of Anomalous User Behaviors: A Survey
Rethinking Missing Data: Aleatoric Uncertainty-Aware Recommendation
Multi-View Few-Shot Reasoning for Emerging Entities in Knowledge Graphs
Exploring Multi-Dimension User-Item Interactions With Attentional Knowledge Graph Neural Networks for Recommendation
GraphMP: I/O-Efficient Big Graph Analytics on a Single Commodity Machine
Comprehensive Architecture Search for Deep Graph Neural Networks
Benchmarking Blocking Algorithms for Web Entities
Personalized Travel Sequence Recommendation on Multi-Source Big Social Media
Event Detection on Twitter by Mapping Unexpected Changes in Streaming Data into a Spatiotemporal Lattice
Relaxed Locality Preserving Supervised Discrete Hashing
Approximate Clustering Ensemble Method for Big Data
Guest Editorial: Big Data Infrastructure II
Mining Stable Communities in Temporal Networks by Density-Based Clustering
MMFFHS: Multi-Modal Feature Fusion for Hate Speech Detection on Social Media
On the Convergence of Federated Learning Algorithms Without Data Similarity
SEEN: A Selective Encryption Method to Ensure Confidentiality for Big Sensing Data Streams
A Two-Phase Method to Balance the Result of Distributed Graph Repartitioning
Secure k Nearest Neighbors Query for High-Dimensional Vectors in Outsourced Environments
Guest Editorial: Special Issue on Big Scholar Data Discovery and Collaboration (Continued)
MetaFlow: A Scalable Metadata Lookup Service for Distributed File Systems in Data Centers
Reducing Re-Indexing for Top-k Personalized PageRank Computation on Dynamic Graphs
LS-Decomposition for Robust Recovery of Sensory Big Data
M-Graphormer: Multi-Channel Graph Transformer for Node Representation Learning
A Survey of Blockchain-Based Schemes for Data Sharing and Exchange
National Scale Surface Deformation Time Series Generation through Advanced DInSAR Processing of Sentinel-1 Data within a Cloud Computing Environment
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation
A semiautomatic approach for segmentation of carotid vasculature from patients' CTA images
Formal verification of SysML diagram using case studies of real-time system
Semantic role identification for Malayalam using machine learning approaches
Invariant relations, invariant functions, and loop functions
Modular exponentiation with inner product to resist higher-order DPA attacks
An automatic thaat and raga identification system using CNN-based models
Zone extrapolations in parametric timed automata
Requirement-oriented risk management for incremental software development
A framework for business process modeling by QoS-based pruning
A model-driven approach for the derivation of architectural requirements of software product lines
Automated assume-guarantee reasoning for omega-regular systems and specifications
A comprehensive survey on machine learning techniques to mobilize multi-camera network for smart surveillance
Testing software without requirements: using development artifacts to develop test cases
Web-GIS models: accomplishing modularity with aspects
Introduction to Special Issue: Quality in Information and Communications Technology
Safe design of high-performance embedded systems in an MDE framework
Enumerating message paths for interaction testing of object-oriented systems
A profiling-based movie recommendation approach using link prediction
TimeLine Depiction: an approach to graphical notation for supporting temporal property specification
Software architectural patterns in practice: an empirical study
A modified ResNet152v2 framework for bird species classification
Measuring and specifying combinatorial coverage of test input configurations
Adaptive reflex autonomicity for real-time systems
Use of a lightweight formal method to model the static aspects of state machines
Opinion classification at subtopic level from COVID vaccination-related tweets
Introduction to special issue: selected papers from SEW-31
Introduction to special issue on 'Recent Computing Paradigms, Network Protocols, and Applications'
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
Security requirement derivation by noun-verb analysis of use-misuse case relationships: a case study using positive train control
BOWL: augmenting the Semantic Web with beliefs
Formalizing the transition from requirements' change to design change using an evolutionary traceability model
From verified model to executable program: the PAT approach
Image analysis approach based on VAE-GAN for IoT malware detection in urban environments
Smart automation in manufacturing process using industrial internet of things (IIoT) architecture
A heuristic-based regression test case prioritization approach for object-oriented programs
Component meets service: what does the mongrel look like?
Neural machine translation for Indian language pair using hybrid attention mechanism
Pseudo CNN: An Updated CNN Based Semi Supervised Learning Model for Leaf Disease Detection
Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation
A real-time virtual machine implementation for small microcontrollers
Fuzzy rule-based hyperspectral band selection algorithm with ant colony optimization
Is my configuration any good: checking usability in an interactive sensor-based activity monitor
AgroBLF: blockchain-based framework for smart agriculture
Feasibility of quantum-safe digital signature algorithms on cloud virtual machines
MaxSAT-based temporal logic inference from noisy data
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
Emotion recognition from lyrical text of Hindi songs
A proposal for extending UML-B to support a conceptual model
Predicting risk as a function of risk factors
A shell-matrix-based image steganography technique for multimedia security and covert communication
Query-driven graph models in e-commerce
Automated credit assessment framework using ETL process and machine learning
Handling class overlap and imbalance using overlap driven under-sampling with balanced random forest in software defect prediction
Eliciting context-oriented NFR constraints and conflicts in robotic systems
Applying learning-based methods for recognizing design patterns
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios
Fog computing-based beam allocation and co-operative task distribution model for green 5G mobile network
Software and systems engineering process capability in the South Australian defence industry
On the use of textual feature extraction techniques to support the automated detection of refactoring documentation
Coloured Petri net refinement specification and correctness proof with Coq
Access-adaptive priority search tree
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)
Source code size prediction using use case metrics: an empirical comparison with use case points
Coupling-based transformations of Z specifications into UML diagrams
Introducing suffix forest for mining tri-clusters from time-series data
Model-based testing of stochastically timed systems
Comparative analysis of various fuzzy clustering algorithms for linearly and non-linearly separable data
Anomaly detection in software-defined networking utilizing multi-verse deer hunting optimization enabled deep q-network for traffic flow rate prediction
Constrained permutation-based test scenario generation from concurrent activity diagrams
Computational analysis of gene expression data using bidirectional long short-term memory for disease diagnosis
Personality analysis for handwritten documents: a case study with Bangla characters
Software engineering as the design theoretic transformation of software problems
AndyWar: an intelligent android malware detection using machine learning
Concurrent behavioral coverage criteria for sequence diagrams
Taming the frame problem: an automated approach for robust UML class diagram specification and verification
Towards model checking executable UML specifications in mCRL2
Uniform load sharing on a hierarchical content delivery network interconnection model
Aspect-oriented design and implementation of context-aware pervasive applications
LTL model checking for communicating concurrent programs
Runtime monitoring and verification of systems with hidden information
Systems and software engineering of autonomic and autonomous systems
An evolutionary testbed for software technology evaluation
Sketch theory as a framework for knowledge management
Designing balanced wrapper chains in 3D SoC under constrained TSVs
A survey of UML applications in mechatronic systems
Mapping system requirements to emotional impact: a semi-automated approach
Achieving lossless compression of audio by encoding its constituted components (LCAEC)
Performance analysis of supervised classification models on heart disease prediction
Formal object-oriented development of a voting system test oracle
SIRD-YOLO: an enhanced deep learning model for weapon detection using spatial interactions and diverse receptive fields
Eventual consensus in Synod: verification using a failure-aware actor model
Formal development of industrial-scale systems in Circus
A study of software reuse in NASA legacy systems
Autonomic architecture for fault handling in mobile robots
A hybrid approach for medical images classification and segmentation to reduce complexity
A low-cost hybrid handwritten Devanagari character classifier
Improved bound for stochastic formal correctness of numerical algorithms
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse
A development methodology for embedded systems based on RT-DEVS
Shared memory implementation and performance analysis of LSB steganography based on chaotic tent map
User-defined schedulers for real-time concurrent objects
Component behavior-based adaptation in embedded software
Development and performance analysis of a low-cost MEMS microphone-based hearing aid with three different audio amplifiers
Component-based analysis of embedded control applications
Formal executable semantics for conformance in the MDE framework
A reference architecture for satellite control systems
A lightweight deep neural network for detection of mental states from physiological signals
Making a concolic tester achieve increased MC/DC
Building and implementing policies in autonomous and autonomic systems using MaCMAS
Code-based prioritization: a pre-testing effort to minimize post-release failures
Timing analysis and validation with UML: the case of the embedded MARS bus manager
System dynamics modelling of the impact of agile practice on the quality of continuous delivery projects
Self-adaptive business processes: a hybrid approach for the resolution of adaptation needs
Introduction to special issue on verification and evaluation of computer systems
Advanced machine learning and deep learning approaches for fraud detection in mobile money transactions
Realization of 5G V2V communication system at 28 GHz for smart vehicle
Rhythm analysis of tablā signal by detecting the cyclic pattern
Formal verification of components assembly based on SysML and interface automata
An intelligent system for automatic layout routing in aerospace design
A novel parallel mammogram sharpening framework using modified Laplacian filter for lumps identification on GPU
Formal verification and validation of run-to-completion style state charts using Event-B
Power-aware partitioning and test time reduction for 3D-SoC
Design and application of a novel Improved Fire Hawk Optimization technique-tuned ANFIS for optimal regulation of energy of a composite microgrid system
Formal requirements modelling with executable use cases and coloured Petri nets
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0
Domain engineering for customer experience management
Context-free dynamic service clustering of IoT-based services
How to be sure a faulty system does not always appear healthy?
Aspect-oriented modeling framework for security hardening
Modelling and analysing cognitive causes of security breaches
Systematic hierarchical analysis of requirements for critical systems
Mapping of improvement models as a risk reduction strategy: a theoretical comparison for the aerospace industry
More equal than others? Parity in developer interaction and its relation to bug resolution time
Adding flexibility to workflows through incremental planning
Self-organized area coverage in wireless sensor networks by limited node mobility
Bayesian hierarchical multi-objective optimization for vehicle parking route discovery
Measuring semantic similarity between land-cover classes for spatial analysis: an ontology hierarchy exploration approach
Software monitoring through formal specification animation
On analysis of time-series data with preserved privacy
A survey of issues and solutions of health data management systems
Verifying verified code
UI-design driven model-based testing
Live synthesis
A deep connection to Khasi language through pre-trained embedding
Foundations of a new software engineering method for real-time systems
Agile services and analysis framework for autonomous and autonomic critical infrastructure
Using PVS to support the analysis of distributed cognition systems
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Model-based approaches and frameworks for embedded software systems
Introduction to special issue: papers from UML&FM
Convolutional neural network-based classifiers for liver tumor detection using computed tomography scans
Agile governance theory: operationalization
Certification of software for real-time safety-critical systems: state of the art
Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems
Improving Android app exploratory testing with UI test cases using code change analysis
Modeling and analysis of interactive telemedicine systems
Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors
What is a fault? and why does it matter?
Iris-based human identity recognition with machine learning methods and discrete fast Fourier transform
Representativeness models of systems: smart grid example
Empowering model repair: a rule-based approach to graph repair without side effects - extended version
Run-time monitoring using bounded constraint instance discovery within big data streams
A monadic approach to automated reasoning for Bluespec SystemVerilog
Approximate verification in an open source world
GRAPHIC illustrations of autonomic computing concepts
Optimized ensemble machine learning model for software bugs prediction
Combined software and hardware fault injection vulnerability detection
Special issue on software solutions for contemporary applications
Classification of diabetic retinopathy using stacked machine learning approach on low resource dataset
Randomized constraint solvers: a comparative study
Towards harnessing theories through tool support for hard real-time Java programming
Experimental evaluation of software development tools for safety-critical real-time systems
Bridging the gap between test cases and requirements by abstract testing
Allocation and analysis of reliability: multiple levels: system, subsystem, and module
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models
Region-based feature extraction from non-cooperative iris images using CDF 9/7 filter bank
The network of faults: a complex network approach to prioritize test cases for regression testing
An agile approach to language modelling and development
Designing optimal middle-mile network architecture for smart farming applications in rural areas
An integrated multi-view model evolution framework
An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography
Optimization of time-dependent fuzzy multi-objective reliability redundancy allocation problem for n-stage series-parallel system
Quantifying security threats and their potential impacts: a case study
Unsupervised Learning Based Evaluation of Player Performances
A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios
Exploiting local persistency for reduced state-space generation
Specification and model-checking of space systems in the TASTE toolset
Advances in modeling, verification and testing of safety-critical software architectures
REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery
Property specification patterns at work: verification and inconsistency explanation
User-centred design of clinical dashboards for guided iCBT
A statistical study of the relevance of lines of code measures in software projects
A first attempt to combine SysML requirements diagrams and B
A QCA design and energy analysis of binary semaphore with a comprehensive case study
CARE: carbon-aware computing for blockchain-enabled internet of medical things
Prioritizing unit tests using object-oriented metrics, centrality measures, and machine learning algorithms
Efficiency of oversampling methods for enhancing software defect prediction by using imbalanced data
Perspectives to promote modularity, reusability, and consistency in multi-language systems
Towards a capability and maturity model for Collaborative Software-as-a-Service
Model-checking task-parallel programs for data-race
Requirements-based execution time prediction of a partitioned real-time system using I/O and SLOC estimates
Detecting mistakes in a domain model: a comparison of three approaches
Product backlog rating: a case study on measuring test quality in scrum
Testing operational transformations in model-driven engineering
A UML-based approach to system testing
A requirements-based, bottom-up SLOC estimate and analysis of NASA's Orion crew exploration vehicle spacecraft flight software
STDNet: A CNN-based approach to single-/mixed-script detection
Product pricing solutions using hybrid machine learning algorithm
Using formal methods to increase confidence in a home network system implementation: a case study
Combining UML, ASTD and B for the formal specification of an access control filter
Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies
Recoverability preservation: a measure of last resort
Re-estimating software effort using prior phase efforts and data mining techniques
Model-based engineering for change-tolerant systems
Preface to the VECoS 2018 special issue of ISSE
CGARP: Chaos genetic algorithm-based relay node placement for multifaceted heterogeneous wireless sensor networks
Introduction to special issue: papers from UML&FM'2011
Towards a traceability model in a MARTE-based methodology for real-time embedded systems
An adaptive fractal-based image coding with hierarchical classification strategy and its modifications
An approach for deployment of BRS in software-defined network
A bounded constraint-based approach to aid in fault localization from a counterexample
Improving software management: the industry model, the knowledge model, the network model
From algebraic semantics to denotational semantics for Verilog
Introduction to Innovations in System and Software Engineering
Tracing requirements to defect reports: an application of information retrieval techniques
Formalization and assessment of regulatory requirements for safety-critical software
Clock constraint specification language: specifying clock constraints with UML/MARTE
3PcGE: 3-parent child-based genetic evolution for software defect prediction
SysML modeling of service-oriented system-of-systems
Software release planning for evolving systems
Preface: special issue on NASA Formal Methods Symposium 2010
Software health management: a necessity for safety critical systems
Performance and energy consumption estimation for commercial off-the-shelf component system design
A formal and sound transformation from Focal to UML : an application to airport security regulations
A disciplined approach to adopting agile practices: the agile adoption framework
The EMISQ method and its tool support-expert-based evaluation of internal software quality
Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving
Applications of computational intelligence techniques to software engineering problems
iMAHR: An Intelligent Multi-Access Hybrid Routing Scheme for Addressing Middle-Mile Connectivity Challenges in Rural Areas
Semantic metrics for software products
A verification environment for bigraphs
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern
Optimal design of an Australian medium launch vehicle
Special issue: Engineering of Computer-Based Systems
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
An experience report on the verification of autonomic protocols in the cloud
An MDE-based method for bridging different design notations
Key factors for achieving project success in integration of automotive mechatronics
A survey on cancer prediction and detection with data analysis
Landmark triangulation-induced Altitude Signature for change detection of human emotion from face image sequence
Pattern Componentization: The Factory Example
URDAD as a semi-formal approach to analysis and design
Skyline computation over multiple points and dimensions
Measuring the effect of clone refactoring on the size of unit test cases in object-oriented software: an empirical study
Transference and retrieval of voice message over low signal strength in satellite communication
Incremental semantic analysis for OCL compilers
From formal requirements to automated web testing and prototyping
UML behavioral consistency checking using instantiable Petri nets
State of practice in requirements engineering: contemporary data
On vulnerability analysis of several password authentication protocols
Software model checking without source code
Selected extended papers of NFM 2018
Online safety calculations for glide-slope recapture
A Multimodal conceptual framework to achieve automated software evolution for context-rich intelligent applications
Effective identifier names for comprehension and memory