default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Critical Computer-Based Systems, Volume 4
Volume 4, Number 1, 2013
- Kristian Lumme, Luigia Petre, Petter Sandvik
, Kaisa Sere:
A formal approach to H.264 video decoding on multicore systems. 3-26 - Michele Mazzucco, Manuel Mazzara, Nicola Dragoni:
Dynamic allocation and admission policies for QoS-aware provisioning systems. 27-44 - Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere:
A distributed design of a network recovery algorithm. 45-68 - Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A refinement-based approach to developing critical multi-agent systems. 69-91
Volume 4, Number 2, 2013
- Yuliya Prokhorova, Elena Troubitsyna:
A survey of safety-oriented model-driven and formal development approaches. 93-118 - Florian Leitner-Fischer, Stefan Leue:
Probabilistic fault tree synthesis using causality computation. 119-143 - Alessandro Daidone, Thibault Renier, Andrea Bondavalli, Hans-Peter Schwefel:
Optimal configuration of fault-tolerance parameters for distributed replicated server access. 144-172 - Pankaj Vyas, R. K. Mittal:
Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysis. 173-197
Volume 4, Number 3, 2013
- Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris:
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. 202-226 - Horst Schirmeier, Ingo Korb, Olaf Spinczyk, Michael Engel:
Efficient online memory error assessment and circumvention for Linux with RAMpage. 227-247 - Gang Li, Søren Top:
Towards spatial isolation design in a multi-core real-time kernel targeting safety-critical applications. 248-264 - Irith Pomeranz:
Low-power test sets under test-related primary input constraints. 265-279 - Wilfried Steiner, Bruno Dutertre:
The TTEthernet synchronisation protocols and their formal verification. 280-300
Volume 4, Number 4, 2013
- Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi:
Resilient estimation of synchronisation uncertainty through software clocks. 301-322 - Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Stochastic assessment of power systems in presence of heterogeneity. 326-348 - Mario Sicuranza, Mario Ciampi, Giuseppe De Pietro, Christian Esposito:
Secure healthcare data sharing among federated health information systems. 349-373 - Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca:
SIREN: a feasible moving target defence framework for securing resource-constrained embedded nodes. 374-392
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.
last updated on 2026-06-18 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
