yusuke1997/dblp-id-title huggingface dataset:
Empirical assessment of machine learning models for agile software development effort estimation using story points
Formal approach to fault diagnosis in distributed discrete event systems with OBDD
SRM: a staged reliability model for Web service
Special Issue: Harnessing theories for tool support in software
Applying analytical hierarchy process to system quality requirements prioritization
Recovering semantic traceability between requirements and design for change impact analysis
Optimized classification model for plant diseases using generative adversarial networks
Lightweight analysis of access control models with description logic
Optimal compression of combinatorial state spaces
Nuclei-Net: a multi-stage fusion model for nuclei segmentation in microscopy images
Automatic grain segmentation in cross-polarized photomicrographs of sedimentary rocks using psychophysics inspired models
Introduction to special issue on 'Advances in Information Systems and Network Systems Security'
Rewriting toward trace coverage analysis of symmetric systems
Formal methods for interactive systems
Timed service contract automata
A novel multi-dimensional encryption technique to secure the grayscale images and color images in public cloud storage
Verification of real-time systems with preemption: negative and positive results
Support vector regression for enhancement effort prediction of Scrum projects from COSMIC functional size
A novel SPN-based video steganographic scheme using Sudoku puzzle for secured data hiding
Model-based testing of NASA's GMSEC, a reusable framework for ground system software
Formal model-driven security combining B-method and process algebra
Recommendation system based on product purchase analysis
Certified normalization of generalized traces
Requirements engineering and enterprise architecture-based software discovery and reuse
Use of a multidimensional approach to study the evolution of software complexity
Progressive autonomy: a method for gradually introducing autonomy into space missions
Connecting research and practice: an experience report on research infusion with software architecture visualization and evaluation
Optimization of time-dependent MORRAP for series-parallel system using improved NSGA-II in interval environment
High-speed processing in wired-and-wireless integrated autonomous decentralized system and its application to IC card ticket system
Formal analysis of pilot error with agent safety logic
Extending interactive data language with higher-order functions
QoS-oriented design of embedded systems with specification PEARL
Correlation analysis between different parameters to predict cement logistics
A novel self-attention guided deep neural network for bruise segmentation using infrared imaging
Formal models for user interface design artefacts
Optimizing blockchain performance in multi-use case marketplaces
A 0-1 knapsack problem-based approach for solving open-pit mining problem with type-2 fuzzy parameters
Spanning cactus existence in generalized Petersen graphs
An approach to instruction set compiled simulator development based on a target processor C compiler back-end design
Detection of skin cancer through hybrid color features and soft voting ensemble classifier
Security patterns modeling and formalization for pattern-based development of secure software systems
Visual attention-based comparative study on disaster detection from social media images
Component level diagnosability of discrete event systems based on observations
Design of compact rectangular SIW-based cavity-backed slot antennas for WiMAX communication in Asia-Pacific regions
Estimation and analysis of landslide occurrence by combining geographical and atmospheric study using U-Net model
Contract-based specification of mode-dependent timing behavior
The realist approach for evaluation of computational intelligence in software engineering
Is deep learning good enough for software defect prediction?
Discovering smell relations between temporary field and design smells: an empirical analysis
Deep feature-based plant disease identification using machine learning classifier
Mental health issues assessment using tools during COVID-19 pandemic
Energy-efficient bootstrapping for wireless sensor networks
A framework for automated and certified refinement steps
A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis
On the use of secret sharing as a secure multi-use pad
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming
Blending Scrum practices and CMMI project management process areas
A study on hydrodynamics of rigid and emergent vegetated flows using machine learning approach
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
MultiMICS: a contextual multifaceted intelligent multimedia information fusion paradigm
Automatic framework generation for hard real-time applications
From use cases to test cases via meta model-based reasoning
A second look at Faster, Better, Cheaper
A pragmatic ensemble learning approach for effective software effort estimation
Introduction to special issue: model-based development methodologies
Matching object catalogues
Insightful analogy-based software development effort estimation through selective classification and localization
Towards an advanced model-driven engineering toolbox
Employing use cases to early estimate effort with simpler metrics
Reuse in component-based prototyping: an industrial experience report from 15 years of reuse
Achieving agility through BRIDGE process model: an approach to integrate the agile and disciplined software development
Preface to the special issue on model-driven engineering and system analysis and modelling
Software health management with Bayesian networks
Applying grounded theory to understand software process improvement implementation: a study of Brazilian software organizations
An adaptive anti-predatory algorithm-based model to enhance the efficiency of software effort estimation
A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors
Small multiples Euler-time diagrams for software engineering
Managing uncertainty in software projects
An automated model for leaf image-based plant recognition: an optimal feature-based machine learning approach
TelePatch: a middle layer for screening device fragmentation
Reusing models and properties in the analysis of similar interactive devices
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs
MaTRICS: A service-based management tool for remote intelligent configuration of systems
Proofs of numerical programs when the compiler optimizes
An enumerated analysis of NoSQL data models using statistical tools
Biometric-based unimodal and multimodal person identification with CNN using optimal filter set
Towards variability process model for agile product line configuration engineering
An efficient Apriori algorithm for frequent pattern in human intoxication data
Proving SIFA protection of masked redundant circuits
Alliance of model-driven engineering with a proof-based formal approach
Xamã : Optical character recognition for multi-domain model management
Symbolic computation of strongly connected components and fair cycles using saturation
Software effort estimation using ensemble of hybrid search-based algorithms based on metaheuristic algorithms
Formally verified bundling and appraisal of evidence for layered attestations
Test data generation for web application using a UML class diagram with OCL constraints
Agile knowledge management: a survey of Indian perceptions
Autonomic computing
Maintaining the health of software monitors
A model-driven approach for the generation of configurations for highly available software systems
Parallel simulation of cyber-physical systems
A sequential ensemble model for software fault prediction
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
A new secure data retrieval system based on ECDH and hierarchical clustering with Pearson correlation
Maximal software execution time: a regression-based approach
A multi-level measures-driven change impact analysis approach for prioritizing software requirement changes
Dynamic provisioning of devices in microservices-based IoT applications using context-aware reinforcement learning
An approach to applying SOFL for agile process and its application in developing a test support tool
Resisting HODPA attacks in modular exponentiation using inner product with differential evolution
A homomorphic computational model for Chinese remainder theorem-based secret sharing
Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques
Generating heterogeneous executable specifications in SystemC from UML/MARTE models
Formal modeling and analysis of safety-critical human multitasking
A comprehensive overview of machine learning for intrusion detection in software-defined networking
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones
A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers
A study to support agile methods more effectively through traceability
ACCo: a novel approach to measure cohesion using hierarchical slicing of Java programs
Validation of requirement models by automatic prototyping
Efficient incremental loading in ETL processing for real-time data integration
Attack-defense tree-based analysis and optimal defense synthesis for system design
Impact of augmentation methods in online signature verification
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data
Special section on real-time safety-critical systems
Using adaptive scheduling for increased resiliency in passive asynchronous replication
ALF formal
Time-triggered buffers for event-based middleware systems
SimCheck: a contract type system for Simulink
Bringing class diagrams to life
Optimizing test case prioritization through ranked NSGA-2 for enhanced fault sensitivity analysis
Preface: Special Issue on Nasa Formal Methods Symposium 2009
Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures
A formal nethod (a networked formal method)
Online shielding for reinforcement learning
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
Systems engineering, test and evaluation: maximising customer satisfaction
A study on boundary detection in wireless sensor networks
Optimizing developer assignments in software bug repositories
Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software
Tri-level regression testing using nature-inspired algorithms
Regression test size reduction using improved precision slices
Formal methods integration in software engineering
Fully employing software inspections data
Awas: AADL information flow and error propagation analysis framework
Is ripple effect intuitive? A pilot study
From Statecharts to Verilog: a formal approach to hardware/software co-specification
A model-driven engineering framework for embedded systems design
Product recommendation for e-commerce business by applying principal component analysis (PCA) and K-means clustering: benefit for the society
Software health management
A uniform representation of multi-variant data in intensive-query databases
Development of an automated MBT toolchain from UML/SysML models
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
State-rich model checking
AALpy: an active automata learning library
Genesys: service-oriented construction of property conform code generators
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs
Specification decomposition for reactive synthesis
Cobra: a light-weight tool for static and dynamic program analysis
Agile model-driven re-engineering
Using integer clocks to verify clock-synchronization protocols
An efficient response-time analysis for real-time transactions with fixed priority assignment
Hyperparameter optimization for deep neural network models: a comprehensive study on methods and techniques
Deductive verification of cryptographic software
Tool-supported enhancement of diagnosis in model-driven verification
Efficient detection and partitioning of overlapped red blood cells using image processing approach
A novel hybrid multi-resource load balancing approach using ant colony optimization with Tabu search for cloud computing
Reasoning about software using metrics and expert opinion
Bridging the requirements-implementation modeling gap with object-process methodology
Formal model-driven executable DSLs
A hybrid structural feature extraction-based intelligent predictive approach for image registration
A requirements engineering process for control engineering software
A hybrid one-class rule learning approach based on swarm intelligence for software fault prediction
An approach for machine-assisted verification of Timed CSP specifications
Model driven test case generation and optimization using adaptive cuckoo search algorithm
Deep learning aided energy-efficient lossless video data transmission from IoVT visual sensors
PTSC: probability, time and shared-variable concurrency
An Event-B model for dynamically managing cloud resources
Towards a verification framework for faulty message passing systems in PVS
A metadata driven approach to performing complex heterogeneous database schema migrations
Tracing the evolution of HCI patterns as an interaction design tool
Semantics in space systems architectures
Sybil attack detection in vehicular ad hoc networks (VANETs): a comprehensive survey
Multi-objective test prioritization via a genetic algorithm
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink
Regularity and quantification: a new approach to verify distributed protocols
Extending statecharts with process algebra operators
A holistic approach to environmentally sustainable computing
Publisher Correction: Distributed Petri nets for model-driven verifiable robotic applications in ROS
A comparative analysis between two techniques for the prediction of software defects: fuzzy and statistical linear regression
Formal verification of secure group communication protocols modelled in UML
Timeshifting strategies for carbon-efficient long-running large language model training
Service substitutability analysis based on behavior automata
The probability of predicting personality traits by the way user types on touch screen
Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data
A certified access control policy language: TEpla
The NASA automated requirements measurement tool: a reconstruction
Continuity aspects of embedded reconfigurable computing
Copilot: monitoring embedded systems
A formal framework for service mashups with dynamic service selection
Patterns: from system design to software testing
A framework for end-to-end verification for digital microfluidics
ARIA-QA: AI-agent based requirements inspection and analysis through question answering
View materialization using fuzzy MAX-MIN composition with association rule mining (VMFCA)
Learning better IV&V practices
The application of ROC analysis in threshold identification, data imbalance and metrics selection for software fault prediction
FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword
A synergistic approach to improving symbolic execution using test ranges
Modeling security as a dependability attribute: a refinement-based approach
Distributed Petri nets for model-driven verifiable robotic applications in ROS
Bootstrap aggregation ensemble learning-based reliable approach for software defect prediction by using characterized code feature
Cross project defect prediction: a comprehensive survey with its SWOT analysis
Investigating the evolution of code smells in object-oriented systems
Lightweight blockchain-based access control with efficient revocation for fog-enabled IoT
Forecasting adversities of COVID-19 waves in India using intelligent computing
Integrating runtime verification into an automated UAS traffic management system
Guest Editorial: Intelligence for systems and software engineering
Seven software engineering principles for autonomic computing development
Towards optimal software engineering: learning from agile practice
Retinal image registration from artery-venous subtree by graph theoretical characterization of retinal vascular network
An evaluation on changes in hippocampus size for cognitively normal, mild cognitive impairment, and Alzheimer's disease patients using fuzzy membership function
Generation of all rooted trees up to a given height
Introduction to special issue: papers from UML&FM'2009
A novel hybrid genetic algorithm-based firefly mating algorithm for solving Sudoku
STROVE: spatial data infrastructure enabled cloud-fog-edge computing framework for combating COVID-19 pandemic
Reverse engineering concurrent UML state machines using black box testing and genetic programming
Parking slot occupancy prediction using LSTM
Spanning tree-based fast community detection methods in social networks
Deliberative, search-based mitigation strategies for model-based software health management
Proposed future Internet
On the measures for ranking software components
A dynamic model for short-term prediction of stream attributes
Incremental development of UML specifications using operation refinements
An empirical evaluation of stacked generalization models for binary bug report classification
A hybrid approach for water body identification from satellite images using NDWI mapping and histogram of gradients
Optimization of association rules using hybrid data mining technique
A relationship-based approach to model integration
Risk identification and scoring in early-lifecycle concurrent engineering teams
Modular artifact synthesis from domain-specific models
Finding the optimal parameters for a software reliability model
Software reliability engineering process
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems
Introduction to special issue on 'intelligent computing and adaptive systems'
Ambiguity and structural properties of basic sequence diagrams
Linking denotational semantics with operational semantics for web services
Robust computation tree logic
An energy efficient street lighting framework: ANN-based approach
Formal Analysis of Coupling Hypothesis for Logical Faults
Leveraging machine learning for proactive detection and mitigation of Android RAT
Automated classification of software issue reports using machine learning techniques: an empirical study
A smart application to detect pupil for small dataset with low illumination
Analysis of object-oriented software reliability model development
HDLP: air quality modeling with hybrid deep learning approaches and particle swam optimization
On the use of OLS regression algorithm and Pearson correlation algorithm for improving the SLA establishment process in cloud computing
A dynamic capture-recapture model for software defect prediction
CVD prediction on micro-controller: ECG morphology learning approach
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach
Correction: Estimation and analysis of landslide occurrence by combining geographical and atmospheric study using U-Net model
Modeling selected real-time database concurrency control protocols in Uppaal
Dynamic vulnerability assessments of software-defined networks
Automated quantized inference for probabilistic programs with AQUA
Coverage visualization and analysis of net inscriptions in coloured Petri net models
Knowledge-based relevance filtering for efficient system-level test-based model generation
A variable reference architecture for the management and configuration of ground vehicle simulations
A model advisor for NuSMV specifications
SCRUB: a tool for code reviews
Refactoring for reuse: an empirical study
Software architecture design for real-time control systems: how design patterns could help?
A framework for computer-aided validation
UML/SysML semantic tunings
IoHMT: a probabilistic event-sensitive music analytics framework for low resource internet of humanitarian musical things
LowEST: a low resource semantic text summarization method for big data
Probabilistic causes in Markov chains
Performance evaluation of blockchain food supply chain management system: JkBFMs
Selected extended papers of NFM 2021
Two-stream fusion model using 3D-CNN and 2D-CNN via video-frames and optical flow motion templates for hand gesture recognition
Comparative exploration of CNN model and transfer learning on fire image dataset
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process
Improving swarming using genetic algorithms
Preface to the VECoS 2020 & 2021 special issue of ISSE
A methodology for verifying SysML requirements using activity diagrams
Automatic use case classification based on topic grouping for requirements engineering
Metrics for V&V of cyber defenses
Predicting shuttle software reliability with parameter evaluation
An automated approach for requirement classification using machine learning
Construction and distribution of materialized views in Non-binary data space
An architecture process maturity model of software product line engineering
A content analysis process for qualitative software engineering research
Sound black-box checking in the LearnLib
Compositional synthesis of modular systems
A Black Swan event-based hybrid model for Indian stock markets' trends prediction
User-oriented problem abstractions in scheduling
Using metric-based filtering to improve design pattern detection approaches
FC-AMAT: factor-based C-AMAT analysis in memory system measurement
Scaling symbolic execution using staged analysis
SLDG: a metamodel for Simulink/Stateflow models and its applications
A systematic method for diagnosis of hepatitis disease using machine learning
SDC-estimator: an effectual software defect count estimation technique for the upcoming version of software project
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
IT2F-SEDNN: an interval type-2 fuzzy logic-based stacked ensemble deep learning approach for early phase software dependability analysis
Algebraic approach to linking the semantics of web services
Model transformations in the UPES/UPSoC development process for embedded systems
Development of a BCI-based gaming application to enhance cognitive control in psychiatric disorders
Classifying changes to LabVIEW and simulink models via changeset metrics
FastRWDnet: implementation of novel real-time deep video denoising utilizing optimized FastDVDnet
A deep neural network framework for detection and identification of bengal tigers
FTFL: A Fisher's test-based approach for fault localization
Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Rich meta object facility formal integration platform: syntax, semantics and implementation
A generic framework: from modeling to code
Property verification of asynchronous systems
General monitorability of totally ordered verdict domains
Institutionalising UML 2.0 state machines
Managing complexity and variability of a model-based embedded software product line
Estimation of resemblance and risk level of a breast cancer patient by prognostic variables using microarray gene expression data
FedLens: federated learning-based privacy-preserving mobile crowdsensing for virtual tourism