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   = {{IJCCBS}},
  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 = {Tue, 06 Jun 2017 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   = {{IJCCBS}},
  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 = {Tue, 06 Jun 2017 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   = {{IJCCBS}},
  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 = {Tue, 06 Jun 2017 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   = {{IJCCBS}},
  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 = {Tue, 06 Jun 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 16 Sep 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 19 Oct 2019 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   = {{IJCCBS}},
  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 = {Wed, 14 Jun 2017 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   = {{IJCCBS}},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Tue, 06 Jun 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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   = {{IJCCBS}},
  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 = {Sat, 20 May 2017 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