yusuke1997/dblp-id-title huggingface dataset:
Adaptive index management for future location-based queries
Verifying fragility in digital systems with uncertainties using DSVerifier v 2.0
Interaction tree algorithms to extract effective architecture and layered performance models from traces
In-the-field monitoring of functional calls: Is it feasible?
Can we benchmark Code Review studies? A systematic mapping study of methodology, dataset, and metric
Runtime verification on abstract finite state models
REBNITA'05 - 1st International Workshop on Requirements Engineering for Business Need and IT Alignment
Automotive software engineering: A systematic mapping study
Extending tuplespaces for coordination in interactive workspaces
Representing software project vision by means of video: A quality model for vision videos
Efficient approach for restructuring multiple inheritance hierarchies
A web personalizing technique using adaptive data structures: The case of bursts in web visits
Multi-cloud service composition using Formal Concept Analysis
Heuristic-based approaches for speeding up incremental record linkage
An adaptable vertical partitioning method in distributed systems
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
A service-based architecture for dynamically reconfigurable workflows
Work-from-home is here to stay: Call for flexibility in post-pandemic work policies
FeGC: An efficient garbage collection scheme for flash memory based storage systems
An empirical study of groupware support for distributed software architecture evaluation process
Perceived importance of agile requirements engineering practices - A survey
Data dependence analysis for array references
Trustworthy components - compositionality and prediction
Handling regression subsets in software modeling
Status and outlook for DoD configuration management requirements
Secure multi-keyword ranked search over encrypted cloud data for multiple data owners
A search-based framework for automatic testing of MATLAB/Simulink models
On the development of reliable large software
On the maintenance support for microservice-based systems through the specification and the detection of microservice antipatterns
A property based specification formalism classification
The exception handling riddle: An empirical study on the Android API
Ahab's legs in scenario-based requirements validation: An experiment to study communication mistakes
Semantic interoperability for an AI-based applications platform for smart hospitals using HL7 FHIR
Temporal algebraic query of test sequences
Evaluating different families of prediction methods for estimating software project outcomes
Design and implementation of an extended relationship semantics in an ODMG-compliant OODBMS
A Mundane but vital look at software tools
Optimizing controllability of an interactive videoconferencing system with Web-based control interfaces
Normalization on the fly
XML-based agent communication, migration and computation in mobile agent systems
DRE system performance optimization with the SMACK cache efficiency metric
The impact of hard and easy negative training data on vulnerability prediction performance
Management of process improvement by prescription
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Architectural patterns for designing quantum artificial intelligence systems
Efficient communication algorithms for ring multicomputers
Performance analysis of contending customer equipment in wireless networks
A framework for gamification in software engineering
Smart debugging software architectural design in SDL
CCA2 secure (hierarchical) identity-based parallel key-insulated encryption without random oracles
A systematic literature review on characteristics of the front-end phase of agile software development projects and their connections to project success
A practical pattern recovery approach based on both structural and behavioral analysis
Scalable complex event processing using adaptive load balancing
An approach to software reliability prediction based on time series modeling
Effective software security enhancement using an improved PointNet++
Further observation on proxy re-encryption with keyword search
A taxonomy of assets for the development of software-intensive products and services
An empirical study of COBOL programs via a style analyzer: The benefits of good programming style
List ranking on processor arrays
Experimentally assessing the combination of multiple visualization strategies for software evolution analysis
The HIBOL-2 environment: A basis for visual programming of business objects
Distributed multiple selection algorithm for peer-to-peer systems
A systematic literature review of software engineering research on Jupyter notebook
Spreadsheet debugging: The perils of tool over-reliance
A classification framework for automated control code generation in industrial automation
Fault-tolerant servers for the RHODOS system
Cryptanalysis of Xia-You group signature scheme
A novel general framework for automatic and cost-effective handling of recoverable temporal violations in scientific workflow systems
Robustness of spectrum-based fault localisation in environments with labelling perturbations
G-Nets: A petri net based approach for logical and timing analysis of complex software systems
Vertical partitioning for flash and HDD database systems
Message from the guest editors
Reducing age stereotypes in software development: The effects of awareness- and cooperation-based diversity interventions
Large scale quality transformation in hybrid development organizations - A case study
Secondary studies on human aspects in software engineering: A tertiary study
The new context for software engineering education and training
Lessons learned teaching Ada in the context of software engineering
Facilitating software extension with design patterns and Aspect-Oriented Programming
Certificate-based encryption resilient to key leakage
Identification and measurement of Requirements Technical Debt in software development: A systematic literature review
Integration test order generation based on reinforcement learning considering class importance
MeTeaM - A method for characterizing mature software metrics teams
QoS and energy management with Petri nets: A self-adaptive framework
An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph
HUNTER: AI based holistic resource management for sustainable cloud computing
Early quality prediction of component-based systems - A generic framework
System sizing
Engineering-based processes and agile methodologies for software development: a comparative case study
Zipper-based embedding of strategic attribute grammars
High-performance Arabic character recognition
Energy minimization for on-line real-time scheduling with reliability awareness
Safe reconfiguration of Coqcots and Pycots components
Parallel finite automata for modeling concurrent software systems
System dynamics modelling of software evolution processes for policy investigation: Approach and example
An intelligent system for complex data exploration
An investigation of software engineering curricula
Unlocking inclusive education: A quality assessment of software design in applications for children with autism
Means-ends and whole-part traceability analysis of safety requirements
Test automation of a measurement system using a domain-specific modelling language
An efficient XML encoding and labeling method for query processing and updating on dynamic XML data
A software integration approach for designing and assessing dependable embedded systems
Component-based hardware/software co-verification for building trustworthy embedded systems
SMDC: An interactive software metrics data collection and analysis system
On misbehaviour and fault tolerance in machine learning systems
Requirements quality research artifacts: Recovery, analysis, and management guideline
GRACE: Empowering LLM-based software vulnerability detection with graph structure and in-context learning
Document recommendation for knowledge sharing in personal folder environments
Mokav: Execution-driven differential testing with LLMs
DeepFeature: Guiding adversarial testing for deep neural network systems using robust features
On the evolution of agile software team work arrangements
Spare capacity assignment in telecom networks using path restoration and further improvement using traffic splitting
Single development project
Automated spectrum-based model fault localization within a search framework
A survey of knowledge acquisition techniques and tools and their relationship to software engineering
Access Granted - Carefully: Securing model information in collaborative modeling
An identification and investigation of software design guidelines for using encapsulation units
Programmer-nonprogrammer differences in specifying procedures to people and computers
Consistent merging of model versions
Using viewpoints to derive object-oriented frameworks: a case study in the web-based education domain
Efficient customization of multi-tenant Software-as-a-Service applications with service lines
A study of software metrics
Synthesizing researches on Knowledge Management and Agile Software Development using the Meta-ethnography method
Specifications are necessarily informal or: Some more myths of formal methods
FNDS: a dialogue-based system for accessing digested financial news
Is software engineering graduate-level material?
From engineering models to digital twins: Generating AAS from SysML v2 models
Employing multiple views to separate large-scale software systems
Filling in the missing link between simulation and application in opportunistic networking
A rapid prototyping system for distributed information system applications
A multi-layered resource management framework for dynamic resource management in enterprise DRE systems
Profiling and classifying the behavior of malicious codes
Model-based safety engineering for autonomous train map
A hybrid grey wolf optimizer using opposition-based learning, sine cosine algorithm and reinforcement learning for reliable scheduling and resource allocation
LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks
Introduction to Special Issue on Source Code Analysis and Manipulation
Self-adaptation of service compositions through product line reconfiguration
Agent design pattern catalogue: A collection of architectural patterns for foundation model based agents
A software development productivity model for MIS environments
AI in GUI-based testing: A survey of techniques, tools, and perceived advantages and limitations
A graph grammar model for concurrent and distributed software specification-in-large
Adopting DevOps in the real world: A theory, a model, and a case study
Costs and obstacles encountered in technical debt management - A case study
Analysis of ID-based restrictive partially blind signatures and applications
Retest test selection for product-line regression testing of variants and versions of variants
The technical debt gamble: A case study on technical debt in a large-scale industrial microservice architecture
Mobile Cloud Middleware
ASSET: A life cycle verification and visibility system
Survey of annotation generators for deductive verifiers
The Prevent-Model: Human and Organizational Factors Fostering Engineering of Safe and Secure Robotic Systems
Online malicious domain name detection with partial labels for large-scale dependable systems
Revealing bullying patterns in multi-agent systems
Smells in software test code: A survey of knowledge in industry and academia
Engineering context-aware systems and applications: A survey
A perfect maze based steganographic method
Versatile workload-aware power management performability analysis of server virtualized systems
Identification and application of Extract Class refactorings in object-oriented systems
An instrumentation system to measure user performance in interactive systems
A large scale survey of motivation in software development
Modeling software testing costs and risks using fuzzy logic paradigm
ProDSPL: Proactive self-adaptation based on Dynamic Software Product Lines
Software process white box modelling for FEAST/1
A systematic mapping study of developer social network research
Towards resource-efficient reactive and proactive auto-scaling for microservice architectures
Metrics for requirements engineering
An empirical study of system design instability metric and design evolution in an agile software process
Deriving detailed design models from an aspect-oriented ADL using MDD
The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems
An approach to operating system testing
Distributed state model inference for scriptless GUI testing
Tracking runtime concurrent dependences in java threads using thread control profiling
To automatically map source code entities to architectural modules with Naive Bayes
A method for analysing multimedia protocol performance
EFACT: An External Function Auto-Completion Tool to strengthen static binary lifting
Can we ask you to collaborate? Analyzing app developer relationships in commercial platform ecosystems
Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation
hW -inference: A heuristic approach to retrieve models through black box testing
An efficient token-based mutual exclusion algorithm in a distributed system
From diagnosis to diagnosability: axiomatization, measurement and application
Optimizing test data generation using SI_CNNpro-enhanced MGA for mutation testing
Pounamu: A meta-tool for exploratory domain-specific visual language tool development
Boosting multi-objective just-in-time software defect prediction by fusing expert metrics and semantic metrics
Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++
reAnalyst: Scalable annotation of reverse engineering activities
A parallel worklist algorithm and its exploration heuristics for static modular analyses
A systematic literature review and taxonomy of modern code review
A holistic approach to managing software change impact
Towards a knowledge driven framework for bridging the gap between software and data engineering
Test scenario generation for feature-based context-oriented software systems
System Software support for distributed real-time systems
Architectural patterns for blockchain-enabled federated learning: A systematic literature review
GLBM: A new QoS aware multicast scheme for wireless mesh networks
A comparative performance analysis of a multidisk system under head-of-the-line and alternating priority disciplines
Assessment of institutions, scholars, and contributions on agile software development (2001-2012)
Evolution of the R software ecosystem: Metrics, relationships, and their impact on qualities
Towards cost-efficient vulnerability detection with cross-modal adversarial reprogramming
A simple and powerful type system for programming languages
Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives
Synthesizing interpreted domain-specific models to manage smart microgrids
Collision-based flexible image encryption algorithm
Enhancing example-based code search with functional semantics
MeshFS: A distributed file system for cloud-based wireless mesh network
SYNTONY: Potential-aware fuzzing with particle swarm optimization
Imperceptible visible watermarking based on postcamera histogram operation
QExplore: An exploration strategy for dynamic web applications using guided search
An empirical evaluation of the ISO/IEC 15504 assessment model
Flow: A software development environment using diagrams
Image watermarking with a directed periodic pattern to embed multibit messages resilient to print-scan and compound attacks
Software engineering practices for machine learning - Adoption, effects, and team assessment
DelDroid: An automated approach for determination and enforcement of least-privilege architecture in android
Classifying and alleviating the communication overheads in matrix computations on large-scale NUMA multiprocessors
Backwards reasoning for model transformations: Method and applications
Exploiting the potential of DTN for energy-efficient internetworking
Using SAN formalism to evaluate Follow-The-Sun project scenarios
Towards an early software estimation using log-linear regression and a multilayer perceptron model
Environment selection, training, and implementation in high-level expert systems environments: Experiences and guidelines
Evaluating lexical approximation of program dependence
A synthetic approach to the design of information-systems software
A novel method to early agile effort estimation through functional initiatives
FlexInstru: A flexible instrumentation framework for tracing long-running native workloads
MAS-ML 2.0: Supporting the modelling of multi-agent systems with different agent architectures
Real-time hierarchical systems with arbitrary scheduling at global level
A lossy 3D wavelet transform for high-quality compression of medical video
ARTe: Providing real-time multitasking to Arduino
Profiling gas consumption in solidity smart contracts
Cell-related location area planning for 4G PCS networks with variable-order Markov model
Semantic versioning and impact of breaking changes in the Maven repository
A two phase optimization technique for XML queries with multiple regular path expressions
Sentiment overflow in the testing stack: Analyzing software testing posts on Stack Overflow
Strongly unforgeable proxy signature scheme secure in the standard model
API documentation with executable examples
Code-quality evaluation scheme for assessment of student contributions to programming projects
Testing software to detect and reduce risk
Compositional execution semantics for business process verification
A framework for semi-automated co-evolution of security knowledge and system models
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
From integration to composition: On the impact of software product lines, global development and ecosystems
Empathy models and software engineering - A preliminary analysis and taxonomy
OPNets: An object-oriented high-level Petri net model for real-time system modeling
CREST: Improving interpretability and effectiveness of troubleshooting at ericsson through criterion-Specific trouble report retrieval
SAA: A framework for improving the software development process via visualization-based software analytics
Do comments and expertise still matter? An experiment on programmers' adoption of AI-generated JavaScript code
Streaming video delivery over Internet with adaptive end-to-end QoS
An empirical study on the effect of 3D visualization for project tasks and resources
Distributed collaborative filtering with singular ratings for large scale recommendation
Applying short text topic models to instant messaging communication of software developers
DIPS: an efficient pointer swizzling strategy for incremental uncaching environments
Facilitating secure ad hoc service discovery in public environments
A Superscalar software architecture model for Multi-Core Processors (MCPs)
SIT: Sampling-based interactive testing for self-adaptive apps
Toward an integration of data flow and domain testing
RAGVA: Engineering retrieval augmented generation-based virtual assistants in practice
A deductive reasoning approach for database applications using verification conditions
Defect prediction guided greybox fuzz testing
Industrial validation of COVAMOF
Editor's corner computer support for creativity
Function points: A study of their measurement processes and scale transformations
Scheduling multiple task graphs with end-to-end deadlines in distributed real-time systems utilizing imprecise computations
Improving the quality of the analysis phase
Software maintenance support for knowledge-based systems
An approach for optimized feature selection in large-scale software product lines
Mitigation strategies for confidentiality violations in software architecture using ranked feature importance
Corrigendum to: "SPAPE: A semantic-preserving amorphous procedure extraction method for near-miss clones": [J. Syst. Softw. 86 (2013) 2077-2093]
On the relationship between source-code metrics and cognitive load: A systematic tertiary review
Deriving modernity signatures of codebases with static analysis
Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
Resource management in cloud platform as a service systems: Analysis and opportunities
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
Toward the automatic classification of Self-Affirmed Refactoring
The impact of software architecture reuse on development processes and standards
An exploratory empirical eye-tracker study of visualization techniques for coverage of combinatorial interaction testing in software product lines
Software requirements success predictors - behavioral factors beat technical ones
A simplified model of software project dynamics
Software specification using the SPECIAL language
Fault analysis in additive manufacturing: Identifying causes of three-dimensional printer faults using machine learning and large language models
An experimental comparison of reading techniques for defect detection in UML design documents
Efficient transformer with code token learner for code clone detection
Fast and accurate incremental feedback for students' software tests using selective mutation analysis
A general theory of software engineering: Balancing human, social and organizational capitals
A survey on privacy in mobile participatory sensing applications
Improved standard FPA method--resolving problems with upper boundaries in the rating complexity process
Discrete time queues for modelling an HDLC coupler
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture
Empirical analysis in software process simulation modeling
Leveraging multi-task learning to fine-tune RoBERTa for self-admitted technical debt identification and classification
A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work
Semantic oriented ontology cohesion metrics for ontology-based systems
Analysis and development of demand prepaging policies
Applying meta-analytical procedures to software engineering experiments
Design patterns selection: An automatic two-phase method
A routing algorithm for wireless sensor networks based on clustering and an fpt -approximation algorithm
L′OP-ART: A linear-time adaptive random testing algorithm for object-oriented programs
COTS-based software development: Processes and open issues
On the challenges novice programmers experience in developing IoT systems: A Survey
The End of the "Outsourcing Era"
On detecting parallelism in software
An efficient recovery procedure for fault tolerance in distributed systems
A case study on the development of the German Corona-Warn-App
ThermoSim: Deep learning based framework for modeling and simulation of thermal-aware resource management for cloud computing environments
Design and implementation of a Byzantine fault tolerance framework for Web services
Editor's corner A tabulation of topics where software practice leads software theory
A practical run-time technique for exploiting loop-level parallelism
Software retrieval by samples using concept analysis
Object-oriented metrics that predict maintainability
Efficient computation of minimal weak and strong control closure
Modeling and analysis of customer premise equipments registration process in IEEE 802.22 WRAN cell
OSCAR-P and aMLLibrary: Profiling and predicting the performance of FaaS-based applications in computing continua
Automated support for service-based software development and integration
Solidifying the foundations of the cloud for the next generation Software Engineering
CEGT: Smart contract vulnerability detection via Connectivity-Enhanced GCN-Transformer
Incremental parsing of expressions