Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ijccbs/ijccbs4.bht:"
@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} }
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.