Search dblp for Publications

export results for "toc:db/journals/ijccbs/ijccbs10.bht:"

 download as .bib file

@article{DBLP:journals/ijccbs/ColacoNRP23,
  author       = {Louella Colaco and
                  Arun S. Nair and
                  Biju K. Raveendran and
                  Sasikumar Punnekkat},
  title        = {Task models for mixed criticality systems - a review},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {4},
  pages        = {287--329},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJCCBS.2023.136319},
  doi          = {10.1504/IJCCBS.2023.136319},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ColacoNRP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/GowthamiP23,
  author       = {G. Gowthami and
                  S. Silvia Priscila},
  title        = {Tuna swarm optimisation-based feature selection and deep multimodal-sequential-hierarchical
                  progressive network for network intrusion detection approach},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {4},
  pages        = {355--374},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJCCBS.2023.136338},
  doi          = {10.1504/IJCCBS.2023.136338},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/GowthamiP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/PanthiD23,
  author       = {Manikant Panthi and
                  Tanmoy Kanti Das},
  title        = {Detection of cyber-attacks for sensor measurement data using supervised
                  machine learning models for modern power grid system},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {4},
  pages        = {330--354},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJCCBS.2023.136320},
  doi          = {10.1504/IJCCBS.2023.136320},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/PanthiD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/RaiGP23,
  author       = {Manish Rai and
                  Sachin Goyal and
                  Mahesh Kumar Pawar},
  title        = {An enhanced digital image watermarking technique using {DWT-HD-SVD}
                  and deep convolutional neural network},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {4},
  pages        = {269--286},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJCCBS.2023.136317},
  doi          = {10.1504/IJCCBS.2023.136317},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/RaiGP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/BatteuxPR22,
  author       = {Michel Batteux and
                  Tatiana Prosvirnova and
                  Antoine B. Rauzy},
  title        = {Abstract executions of stochastic discrete event systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {3},
  pages        = {202--226},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJCCBS.2022.121363},
  doi          = {10.1504/IJCCBS.2022.121363},
  timestamp    = {Mon, 11 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BatteuxPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/GokhaleSDSP22,
  author       = {Sheetal Gokhale and
                  Irfan A. Siddavatam and
                  Ashwini Dalvi and
                  Mohammed Shaikh and
                  Suchitra Patil},
  title        = {Formal modelling and verification of high interactive honeypot using
                  coloured Petri nets},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {3},
  pages        = {227--247},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJCCBS.2022.121365},
  doi          = {10.1504/IJCCBS.2022.121365},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/GokhaleSDSP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/KumarKC22,
  author       = {Kakelli Anil Kumar and
                  Kaustubh Kumar and
                  Nag Lohith Chiluka},
  title        = {Deep learning models for multi-class malware classification using
                  Windows exe {API} calls},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {3},
  pages        = {185--201},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJCCBS.2022.121356},
  doi          = {10.1504/IJCCBS.2022.121356},
  timestamp    = {Mon, 11 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/KumarKC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/ShekarGF22,
  author       = {Mohith C. Shekar and
                  Harinahalli Lokesh Gururaj and
                  Francesco Flammini},
  title        = {Securing personal identity using blockchain},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {3},
  pages        = {248--267},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJCCBS.2022.121370},
  doi          = {10.1504/IJCCBS.2022.121370},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ShekarGF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/BoucheritCHK21,
  author       = {Ammar Boucherit and
                  Laura M. Castro and
                  Osman Hasan and
                  Abdallah Khababa},
  title        = {Towards a hybrid formal analysis technique for safety-critical software
                  architectures},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {2},
  pages        = {95--119},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCCBS.2021.117993},
  doi          = {10.1504/IJCCBS.2021.117993},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BoucheritCHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/ChabaneAM21,
  author       = {Sarah Chabane and
                  Rab{\'{e}}a Ameur{-}Boulifa and
                  Mezghiche Mohamed},
  title        = {Towards compositional verification of synchronous reactive systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {2},
  pages        = {120--142},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCCBS.2021.117995},
  doi          = {10.1504/IJCCBS.2021.117995},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ChabaneAM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/ChehidaLBV21,
  author       = {Salim Chehida and
                  Yves Ledru and
                  Yoann Blein and
                  Germ{\'{a}}n Vega},
  title        = {An SMT-based approach for generating trace examples and counter-examples
                  of parametric properties},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {2},
  pages        = {143--183},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCCBS.2021.117997},
  doi          = {10.1504/IJCCBS.2021.117997},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ChehidaLBV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/KhaireddineAJZM20,
  author       = {Besma Khaireddine and
                  Marwa Ben AbdelAli and
                  Lamia Labed Jilani and
                  Aleksandr Zakharchenko and
                  Ali Mili},
  title        = {Correctness enhancement: a pervasive software engineering paradigm},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {1},
  pages        = {37--73},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCCBS.2020.108670},
  doi          = {10.1504/IJCCBS.2020.108670},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijccbs/KhaireddineAJZM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/OlszewskaSEW20,
  author       = {Marta Olszewska and
                  Fatima Shokri{-}Manninen and
                  Andrew Edmunds and
                  Marina Wald{\'{e}}n},
  title        = {Applying guidelines for system modelling in Event-B - a systematic
                  literature review},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {1},
  pages        = {1--36},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCCBS.2020.108668},
  doi          = {10.1504/IJCCBS.2020.108668},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/OlszewskaSEW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/TortorelliFGSGP20,
  author       = {Andrea Tortorelli and
                  Andrea Fiaschetti and
                  Alessandro Giuseppi and
                  Vincenzo Suraci and
                  Roberto German{\`{a}} and
                  Francesco Delli Priscoli},
  title        = {A security metric for assessing the security level of critical infrastructures},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {1},
  pages        = {74--94},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCCBS.2020.108685},
  doi          = {10.1504/IJCCBS.2020.108685},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/TortorelliFGSGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.