Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ijccbs/BattistaCMM13,
  author       = {Ermanno Battista and
                  Valentina Casola and
                  Antonino Mazzeo and
                  Nicola Mazzocca},
  title        = {{SIREN:} a feasible moving target defence framework for securing resource-constrained
                  embedded nodes},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {4},
  pages        = {374--392},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.059053},
  doi          = {10.1504/IJCCBS.2013.059053},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BattistaCMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/BondavalliBCFV13,
  author       = {Andrea Bondavalli and
                  Francesco Brancati and
                  Andrea Ceccarelli and
                  Lorenzo Falai and
                  Michele Vadursi},
  title        = {Resilient estimation of synchronisation uncertainty through software
                  clocks},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {4},
  pages        = {301--322},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.059038},
  doi          = {10.1504/IJCCBS.2013.059038},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/BondavalliBCFV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/ChiaradonnaGN13,
  author       = {Silvano Chiaradonna and
                  Felicita Di Giandomenico and
                  Nicola Nostro},
  title        = {Stochastic assessment of power systems in presence of heterogeneity},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {4},
  pages        = {326--348},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.059022},
  doi          = {10.1504/IJCCBS.2013.059022},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ChiaradonnaGN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/DaidoneRBS13,
  author       = {Alessandro Daidone and
                  Thibault Renier and
                  Andrea Bondavalli and
                  Hans{-}Peter Schwefel},
  title        = {Optimal configuration of fault-tolerance parameters for distributed
                  replicated server access},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {2},
  pages        = {144--172},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.056493},
  doi          = {10.1504/IJCCBS.2013.056493},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/DaidoneRBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/FayollasFPBND13,
  author       = {Camille Fayollas and
                  Jean{-}Charles Fabre and
                  Philippe A. Palanque and
                  Eric Barboni and
                  David Navarre and
                  Yannick Deleris},
  title        = {Interactive cockpits as critical applications: a model-based and a
                  fault-tolerant approach},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {3},
  pages        = {202--226},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.058407},
  doi          = {10.1504/IJCCBS.2013.058407},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/FayollasFPBND13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/KamaliLPS13,
  author       = {Maryam Kamali and
                  Linas Laibinis and
                  Luigia Petre and
                  Kaisa Sere},
  title        = {A distributed design of a network recovery algorithm},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {45--68},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053742},
  doi          = {10.1504/IJCCBS.2013.053742},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/KamaliLPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/Leitner-FischerL13,
  author       = {Florian Leitner{-}Fischer and
                  Stefan Leue},
  title        = {Probabilistic fault tree synthesis using causality computation},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {2},
  pages        = {119--143},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.056492},
  doi          = {10.1504/IJCCBS.2013.056492},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/Leitner-FischerL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/LiT13,
  author       = {Gang Li and
                  S{\o}ren Top},
  title        = {Towards spatial isolation design in a multi-core real-time kernel
                  targeting safety-critical applications},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {3},
  pages        = {248--264},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.058402},
  doi          = {10.1504/IJCCBS.2013.058402},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/LiT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/LummePSS13,
  author       = {Kristian Lumme and
                  Luigia Petre and
                  Petter Sandvik and
                  Kaisa Sere},
  title        = {A formal approach to {H.264} video decoding on multicore systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {3--26},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053740},
  doi          = {10.1504/IJCCBS.2013.053740},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/LummePSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/MazzuccoMD13,
  author       = {Michele Mazzucco and
                  Manuel Mazzara and
                  Nicola Dragoni},
  title        = {Dynamic allocation and admission policies for QoS-aware provisioning
                  systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {27--44},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053741},
  doi          = {10.1504/IJCCBS.2013.053741},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/MazzuccoMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/PereverzevaTL13,
  author       = {Inna Pereverzeva and
                  Elena Troubitsyna and
                  Linas Laibinis},
  title        = {A refinement-based approach to developing critical multi-agent systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {1},
  pages        = {69--91},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.053743},
  doi          = {10.1504/IJCCBS.2013.053743},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/PereverzevaTL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/Pomeranz13,
  author       = {Irith Pomeranz},
  title        = {Low-power test sets under test-related primary input constraints},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {3},
  pages        = {265--279},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.058396},
  doi          = {10.1504/IJCCBS.2013.058396},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/Pomeranz13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/ProkhorovaT13,
  author       = {Yuliya Prokhorova and
                  Elena Troubitsyna},
  title        = {A survey of safety-oriented model-driven and formal development approaches},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {2},
  pages        = {93--118},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.056485},
  doi          = {10.1504/IJCCBS.2013.056485},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ProkhorovaT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/SchirmeierKSE13,
  author       = {Horst Schirmeier and
                  Ingo Korb and
                  Olaf Spinczyk and
                  Michael Engel},
  title        = {Efficient online memory error assessment and circumvention for Linux
                  with RAMpage},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {3},
  pages        = {227--247},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.058397},
  doi          = {10.1504/IJCCBS.2013.058397},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/SchirmeierKSE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/SicuranzaCPE13,
  author       = {Mario Sicuranza and
                  Mario Ciampi and
                  Giuseppe De Pietro and
                  Christian Esposito},
  title        = {Secure healthcare data sharing among federated health information
                  systems},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {4},
  pages        = {349--373},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.059023},
  doi          = {10.1504/IJCCBS.2013.059023},
  timestamp    = {Wed, 17 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/SicuranzaCPE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/SteinerD13,
  author       = {Wilfried Steiner and
                  Bruno Dutertre},
  title        = {The TTEthernet synchronisation protocols and their formal verification},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {3},
  pages        = {280--300},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.058398},
  doi          = {10.1504/IJCCBS.2013.058398},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/SteinerD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijccbs/VyasM13,
  author       = {Pankaj Vyas and
                  R. K. Mittal},
  title        = {Hazard analysis of Unified Modelling Language sequence and state charts
                  using software fault tree analysis},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {4},
  number       = {2},
  pages        = {173--197},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJCCBS.2013.056512},
  doi          = {10.1504/IJCCBS.2013.056512},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/VyasM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.