Property specification patterns at work: verification and inconsistency explanation
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00339-1
A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00326-6
Timed service contract automata
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00353-3
Development and performance analysis of a low-cost MEMS microphone-based hearing aid with three different audio amplifiers
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00325-7
Efficient incremental loading in ETL processing for real-time data integration
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00344-4
Model-based testing of stochastically timed systems
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00349-z
An adaptive fractal-based image coding with hierarchical classification strategy and its modifications
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00327-5
A novel multi-dimensional encryption technique to secure the grayscale images and color images in public cloud storage
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00323-9
Formal modeling and analysis of safety-critical human multitasking
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00333-7
Sound black-box checking in the LearnLib
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00342-6
Applying learning-based methods for recognizing design patterns
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00329-3
Agile governance theory: operationalization
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00345-3
A reference architecture for satellite control systems
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00322-w
A QCA design and energy analysis of binary semaphore with a comprehensive case study
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00338-2
Stochastic modeling and analysis of road–tramway intersections
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00355-1
How to be sure a faulty system does not always appear healthy?
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00357-z
Model-checking task-parallel programs for data-race
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00343-5
A synergistic approach to improving symbolic execution using test ranges
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00331-9
Optimal compression of combinatorial state spaces
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00341-7
Modular exponentiation with inner product to resist higher-order DPA attacks
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00346-2
Measuring the effect of clone refactoring on the size of unit test cases in object-oriented software: an empirical study
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00334-6
A survey of issues and solutions of health data management systems
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00336-4
Rewriting toward trace coverage analysis of symmetric systems
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00348-0
Selected extended papers of NFM 2018
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00351-5
Recovering semantic traceability between requirements and design for change impact analysis
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00330-w
A homomorphic computational model for Chinese remainder theorem-based secret sharing
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00356-0
Dynamic vulnerability assessments of software-defined networks
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00337-3
Editorial preface
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00328-4
Retinal image registration from artery–venous subtree by graph theoretical characterization of retinal vascular network
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00335-5
Performance analysis of an efficient object-based schema oriented data storage system handling health data
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00354-2
A survey on cancer prediction and detection with data analysis
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00350-6
An approach for deployment of BRS in software-defined network
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00340-8
A novel SPN-based video steganographic scheme using Sudoku puzzle for secured data hiding
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00324-8
Certified normalization of generalized traces
来源期刊:Innovations in Systems and Software EngineeringDOI:10.1007/s11334-019-00347-1