Pub Date : 2022-05-09DOI: 10.1007/s11334-022-00455-5
J. Delsing, Géza Kulcsár, Øystein Haugen
{"title":"SysML modeling of service-oriented system-of-systems","authors":"J. Delsing, Géza Kulcsár, Øystein Haugen","doi":"10.1007/s11334-022-00455-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00455-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47998643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-04-09DOI: 10.1007/s11334-022-00445-7
Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz
{"title":"From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata","authors":"Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz","doi":"10.1007/s11334-022-00445-7","DOIUrl":"https://doi.org/10.1007/s11334-022-00445-7","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"385 - 403"},"PeriodicalIF":1.2,"publicationDate":"2022-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43881870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-04-06DOI: 10.1007/s11334-022-00444-8
Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu
{"title":"MaxSAT-based temporal logic inference from noisy data","authors":"Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu, Zhe Xu","doi":"10.1007/s11334-022-00444-8","DOIUrl":"https://doi.org/10.1007/s11334-022-00444-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"427 - 442"},"PeriodicalIF":1.2,"publicationDate":"2022-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45741162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-25DOI: 10.1007/s11334-022-00442-w
Alexander Boll, Nicole Vieregg, Timo Kehrer
{"title":"Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink","authors":"Alexander Boll, Nicole Vieregg, Timo Kehrer","doi":"10.1007/s11334-022-00442-w","DOIUrl":"https://doi.org/10.1007/s11334-022-00442-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41396213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-16DOI: 10.1007/s11334-022-00440-y
Aditi Ghosh, Parthajit Roy
{"title":"An automated model for leaf image-based plant recognition: an optimal feature-based machine learning approach","authors":"Aditi Ghosh, Parthajit Roy","doi":"10.1007/s11334-022-00440-y","DOIUrl":"https://doi.org/10.1007/s11334-022-00440-y","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46718161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-08DOI: 10.1007/s11334-022-00439-5
P. Banerjee, S. Mandal, D. De, B. Maiti
{"title":"CGARP: Chaos genetic algorithm-based relay node placement for multifaceted heterogeneous wireless sensor networks","authors":"P. Banerjee, S. Mandal, D. De, B. Maiti","doi":"10.1007/s11334-022-00439-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00439-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46648836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-05DOI: 10.1007/s11334-022-00441-x
Ryan Colletti, A. Qamar, W. Bailey, N. Rolfes, C. Paredis
{"title":"A variable reference architecture for the management and configuration of ground vehicle simulations","authors":"Ryan Colletti, A. Qamar, W. Bailey, N. Rolfes, C. Paredis","doi":"10.1007/s11334-022-00441-x","DOIUrl":"https://doi.org/10.1007/s11334-022-00441-x","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41959716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-04DOI: 10.1007/s11334-021-00416-4
K. Morris, C. Snook, Son Hoang, G. Hulette, R. Armstrong, M. Butler
{"title":"Formal verification and validation of run-to-completion style state charts using Event-B","authors":"K. Morris, C. Snook, Son Hoang, G. Hulette, R. Armstrong, M. Butler","doi":"10.1007/s11334-021-00416-4","DOIUrl":"https://doi.org/10.1007/s11334-021-00416-4","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"523-541"},"PeriodicalIF":1.2,"publicationDate":"2022-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42866306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-03DOI: 10.1007/s11334-022-00435-9
J. K. Ray, Ardhendu Shekhar Biswas, S. Sil, R. Bera, S. Shome, Pallabi Biswas, M. Mitra
{"title":"Realization of 5G V2V communication system at 28 GHz for smart vehicle","authors":"J. K. Ray, Ardhendu Shekhar Biswas, S. Sil, R. Bera, S. Shome, Pallabi Biswas, M. Mitra","doi":"10.1007/s11334-022-00435-9","DOIUrl":"https://doi.org/10.1007/s11334-022-00435-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45424325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-01DOI: 10.1007/s11334-022-00451-9
L. L. Jilani, Sihem Ben Sassi
{"title":"Innovations in systems and software engineering guest editorial: special issue on software and systems reuse","authors":"L. L. Jilani, Sihem Ben Sassi","doi":"10.1007/s11334-022-00451-9","DOIUrl":"https://doi.org/10.1007/s11334-022-00451-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"1 - 3"},"PeriodicalIF":1.2,"publicationDate":"2022-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47805410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}