Journal: ISSE

Volume 19, Issue 4

337 -- 338Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0001. Selected extended papers of NFM 2021
339 -- 357Bernd Finkbeiner, Gideon Geier, Noemi Passing. Specification decomposition for reactive synthesis
359 -- 377Aman Goel, Karem A. Sakallah. Regularity and quantification: a new approach to verify distributed protocols
379 -- 394Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem. Online shielding for reinforcement learning
395 -- 410Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela. Eventual consensus in Synod: verification using a failure-aware actor model
411 -- 426Adam Petz, Perry Alexander. Formally verified bundling and appraisal of evidence for layered attestations

Volume 19, Issue 3

231 -- 246Uddalak Chatterjee, Sangram Ray, Dipanwita Sadhukhan, Mou Dasgupta. An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography
247 -- 263Tirimula Rao Benala, Karunya Tantati. Efficiency of oversampling methods for enhancing software defect prediction by using imbalanced data
265 -- 281Shimmi Asokan, G. Santhosh Kumar. Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet
283 -- 301Moumita Ghosh, Anirban Roy, Pritam Sil, Kartick Chandra Mondal. Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data
303 -- 317S. Reshmila, R. Devanathan. Component level diagnosability of discrete event systems based on observations
319 -- 335Chun-Ok Sin, Yong-Sok Kim. TimeLine Depiction: an approach to graphical notation for supporting temporal property specification

Volume 19, Issue 2

145 -- 156Joseph Maurio, Paul Wood, Sebastián A. Zanlongo, Josh Silbermann, Tamim Sookoor, Alberto Lorenzo, Randall Sleight, James Rogers, Daniel Muller, Noah Armiger, Christopher A. Rouff, Lanier A. Watkins. Agile services and analysis framework for autonomous and autonomic critical infrastructure
157 -- 176Mahesh Shirole, Rajeev Kumar 0004. Concurrent behavioral coverage criteria for sequence diagrams
177 -- 195Sonal Tuteja, Rajeev Kumar 0004. Query-driven graph models in e-commerce
197 -- 216Somya Goyal. 3PcGE: 3-parent child-based genetic evolution for software defect prediction
217 -- 225Srabani Kundu, Nabanita Das 0001. A study on boundary detection in wireless sensor networks
227 -- 229Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz. Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata

Volume 19, Issue 1

1 -- 4Mike Hinchey, Amit Jain, Manju Kaushik, Sanjay Misra. Guest Editorial: Intelligence for systems and software engineering
5 -- 14Ashis Kumar Samanta, Nabendu Chaki. An enumerated analysis of NoSQL data models using statistical tools
15 -- 22Jasjeet Singh, Chitresh Banerjee, Santosh K. Pandey. Smart automation in manufacturing process using industrial internet of things (IIoT) architecture
23 -- 32Arpita Banerjee, Chitresh Banerjee. A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors
33 -- 46Ankit Kumar, Surbhi Bhatia, Rajat Bhardwaj, Kamred Udham Singh, Neeraj Varshney, Linesh Raja. A hybrid approach for medical images classification and segmentation to reduce complexity
47 -- 60Pankaj Sharma, Jinendra Kumar Jain, Pawan Kalla. A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis
61 -- 69Md. Mehedi Hassan, Sadika Zaman, Swarnali Mollick, Md. Mahedi Hassan, M. Raihan, Chetna Kaushal, Rajat Bhardwaj. An efficient Apriori algorithm for frequent pattern in human intoxication data
71 -- 80Ravi Kumar Sachdeva, Priyanka Bathla, Pooja Rani, Vikas Solanki, Rakesh Ahuja. A systematic method for diagnosis of hepatitis disease using machine learning
81 -- 90Jyotsna P. Gabhane, Sunil Pathak, Nita M. Thakare. A novel hybrid multi-resource load balancing approach using ant colony optimization with Tabu search for cloud computing
91 -- 101Femi Johnson, Olayiwola Oluwatobi, Olusegun Folorunso, Alomaja Victor Ojumu, Alatishe Quadri. Optimized ensemble machine learning model for software bugs prediction
103 -- 115Shweta Lamba, Preeti Saini, Jagpreet Kaur, Vinay Kukreja. Optimized classification model for plant diseases using generative adversarial networks
117 -- 127Gagandeep Kaur, Harpreet Kaur, Sonia Goyal. Correlation analysis between different parameters to predict cement logistics
129 -- 144Ezekiel Adebayo Ogundepo, Waheed Babatunde Yahya. Performance analysis of supervised classification models on heart disease prediction