|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2191 occurrences of 1029 keywords
|
|
|
Results
Found 4885 publication records. Showing 4885 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Régis Leveugle |
Early Analysis of Fault-based Attack Effects in Secure Circuits. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
RTL dependability evaluation, security validation, fault models, fault injection, fault attacks |
19 | Lukás Sekanina |
Evolutionary functional recovery in virtual reconfigurable circuits. |
ACM J. Emerg. Technol. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
FPGA, evolutionary algorithms, Dependability, evolvable hardware |
19 | Yuanzhuo Wang, Chuang Lin 0002, Yang Yang 0004, Zhiguang Shan |
Performance analysis of a dependable scheduling strategy based on a fault-tolerant grid model. |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
Stochastic Petri Nets (SPN), fault tolerance, performance analysis, grid, dependability, task scheduling |
19 | Tiejun Ma, Jane Hillston, Stuart Anderson |
Evaluation of the QoS of crash-recovery failure detection. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
quality of services, web services, fault tolerance, reliability, dependability, failure detection |
19 | Markus Kucera, Hans Mauser |
Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Embedded System, Dependability, Voting, Automotive |
19 | João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva |
Failure Boundedness in Discrete Applications. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets |
19 | José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha Rela |
Error Propagation Monitoring on Windows Mobile-Based Devices. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
State and Notifications Broker, Windows Mobile, COTS, Robustness Testing, Dependability Evaluation |
19 | Takeshi Mishima, Hiroshi Nakamura |
A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
black box method, concurrency, dependability, consistency, database server |
19 | Alberto Bartoli, Giovanni Masarin |
On-line self-checking of replication consistency for autonomic computing. |
Clust. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fault detectors, Web services, Dependability, Availability, On-line testing, Self-check |
19 | Idit Keidar, Roie Melamed |
Evaluating unstructured peer-to-peer lookup overlays. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
lookup systems, unstructured peer-to-peer overlays, evaluation, metrics, graphs, dependability, efficiency |
19 | Dong Liu 0022, Chunyuan Zhang, Rui Li 0051 |
The Process of Synchronization in Dual Redundant Fault-Tolerant System. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
dual redundant fault-tolerant system, synchronization, dependability, task |
19 | Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes, Carlos José Pereira de Lucena, Jean-Pierre Briot |
On Fault Tolerance in Law-Governed Multi-agent Systems. |
SELMAS (LNCS) |
2006 |
DBLP DOI BibTeX RDF |
Law-Governed Approach, Dependability of Open Systems, Fault Tolerance, Multi-Agent Systems, Reliability, Requirements, Availability, Open Systems, Criticality |
19 | Michel Hurfin, Jean-Pierre Le Narzul, Julien Pley, Philippe Raipin Parvédy |
Using Agreement Services in Grid Computing. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
Grid computing, dependability, task allocation, agreement |
19 | Joyce L. Tokar |
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL). |
WADS |
2006 |
DBLP DOI BibTeX RDF |
Modeling, Dependability, Architecture description language, Architecture analysis |
19 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Long Wang 0003 |
Application Fault Tolerance with Armor Middleware. |
IEEE Internet Comput. |
2005 |
DBLP DOI BibTeX RDF |
high-dependability services, middleware, failure recovery, software-implemented fault tolerance |
19 | Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas |
Timing Analysis of Real-Time Communication Under Electromagnetic Interference. |
Real Time Syst. |
2005 |
DBLP DOI BibTeX RDF |
TTCAN, probabilistic timing analysis, electromagnetic interference, bus guardian, babbling idiot, dependability, faults, Controller Area Network, CAN |
19 | Rogério de Lemos, Alexander B. Romanovsky |
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
software architectures, dependability |
19 | Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls |
Computing optimal self-repair actions: damage minimization versus repair time. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, dependability, deployment, self-healing |
19 | Mário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva |
On the Effects of Errors During Boot. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, embedded systems, fault-injection, boundary-scan, dependability evaluation |
19 | Rogério de Lemos, Alexander B. Romanovsky |
Workshop on architecting dependable systems (WADS 2005). |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, software architecture, dependability, trustworthiness |
19 | Ming-Wei Wu, Yennun Huang, Shyue-Kung Lu, Ing-Yi Chen, Sy-Yen Kuo |
A Multi-Faceted Approach towards Spam-Resistible Mail. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
anti-spam, unsolicited bulk e-mail (UBE), e-mail dependability, Spam, denial of service attacks |
19 | Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey |
Efficient Design Diversity Estimation for Combinational Circuits. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
common-mode failures, reliability, fault-tolerant computing, dependability, Error detection, design diversity |
19 | Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette |
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages |
19 | Paola Bracchi, Vittorio Cortellessa |
A framework to model and analyze the performability of mobile software systems. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
performability, performance, dependability, Stochastic Activity Networks, mobile software |
19 | Shaoyun Li, Hongji Yang, Hua Zhou |
Building a Dependable Enterprise Service Assembly Line (ESAL) for Legacy Application Integration. |
CW |
2004 |
DBLP DOI BibTeX RDF |
Enterprise Service Assembly Line (ESAL), Legacy Component, Service-Oriented Architecture (SOA), Composition, Dependability, Open Standards, Enterprise Integration |
19 | Mourad Rabah, Karama Kanoun |
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Dependability and performability evaluation, multipurpose multiprocessors systems, distributed shared memory, clustered systems, stochastic reward nets, modular modeling |
19 | Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey |
A Design Diversity Metric and Analysis of Redundant Systems. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
common-mode failures, fault-tolerant computing, dependability, Error detection, design diversity |
19 | Vincenzo De Florio, Geert Deconinck |
On Some Key Requirements of Mobile Application Software. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Computer-based services and systems, Mobile computing, Adaptability, Dependability |
19 | Katerina Goseva-Popstojanova, Kishor S. Trivedi |
Effects of failure correlation on software in operation. |
PRDC |
2000 |
DBLP DOI BibTeX RDF |
failure correlation, performability, dependability, software reliability, software reliability, Markov processes, software reliability modeling, software failures, Markov renewal processes |
19 | Yasumasa Hayashi, Takashi Matsubara 0002, Yoshiaki Koga |
Implementation and evaluation for dependable bus control using CPLD. |
PRDC |
2000 |
DBLP DOI BibTeX RDF |
phase control, dependable bus control, bus systems, dependable bus operations, bus phase control, reliability, dependability, sequential circuits, system buses, CPLD, asynchronous sequential logic, asynchronous sequential circuit |
19 | Tae Yoneda, Tadashi Ohta |
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
terminal assignment detection, specification design stage, dependability, complex systems, feature interactions, computation time, telecommunication services, telecommunication services, service specifications |
19 | John Alexander McDermid |
Complexity: Concept, Causes and Control. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
internal sources, modern hardware, super-scalar processors, external sources, complexity management, strict dependability requirements, software engineering, embedded systems, risk, product families, computer based systems |
19 | Bruno Sericola |
Availability Analysis of Repairable Computer Systems and Stationarity Detection. |
IEEE Trans. Computers |
1999 |
DBLP DOI BibTeX RDF |
Repairable computer systems, stationarity detection, performability, dependability, availability, Markov processes |
19 | Matti A. Hiltunen, Richard D. Schlichting, Xiaonan Han, Melvin M. Cardozo, Rajsekhar Das |
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
group multicast, Real-time, dependability, customization, configurable systems |
19 | Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang |
Verification and Validation of Knowledge-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
reliability, verification, testing, knowledge-based systems, validation, dependability, Expert systems |
19 | Dang Van Hung, Zhou Chaochen |
Probabilistic Duration Calculus for Continuous Time. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata |
19 | Ytzhak H. Levendel |
Delivering Dependable Telecommunication Services Using Off-the-Shelf System Components. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
easy programmability, distributed systems, dependability, software reuse, telecommunication, off-the-shelf components |
19 | Anish Arora, Sandeep S. Kulkarni |
Component Based Design of Multitolerant Systems. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
compositional design, interference-freedom, stepwise design, fault-tolerance, Formal methods, dependability, graceful degradation, detectors, correctors |
19 | Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda, Pierluigi Civera |
An Integrated HW and SW Fault Injection Environment for Real-Time Systems. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
Hybrid Fault Injection, Real-Time Systems, Dependability, Fault Injection |
19 | Dieter K. Hammer |
The many aspects of an IT-architecture. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
IT-architecture, modeling, information technology, timing, object-oriented method, high-level design, system behavior, architectural views, dependability constraints |
19 | Cheul Woo Ro, Kishor S. Trivedi |
Performability analysis of handoff calls in personal communication networks. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
handoff calls, SRN model, phase type expansion, approximate nonexponential call holding time distribution, hand-off models, failure relate, performance, performability analysis, dependability, channel assignment, personal communication networks, Markov reward models, frequency allocation, stochastic reward nets |
19 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Top-down development of real-time software specification. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
19 | Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar |
Specifying fault tolerance in mission critical systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
19 | V. T. Thomas |
Ten practical techniques for high assurance systems engineering. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
practical techniques, high assurance systems engineering, system dependability, software quality, complex systems, systems engineering, real-time requirements |
19 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. |
ICSE |
1996 |
DBLP BibTeX RDF |
UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning |
19 | William E. Howden, Yudong Huang |
Software Trustability Analysis. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
failure density, trustability, testing, dependability, analysis, statistical, detectability, testability |
19 | Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Farnam Jahanian |
Design and evaluation of a window-consistent replication service. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
back-up procedures, window-consistent primary-backup replication service, data replication protocols, bounded overhead, repository availability, consistency relaxation, controlled inconsistency, update transmission scheduling, client applications, failed primary, client loads, temporal inconsistency bounds, scheduling, fault tolerance, real-time systems, data integrity, distributed databases, timing, redundancy, redundancy, database theory, timing constraints, software fault tolerance, real-time applications, replicated databases, service guarantees, dependability constraints |
19 | Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace |
Paradigm for building robust real-time distributed mission-critical systems. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm |
19 | Michelle M. Hugue, Richard C. Scalzo |
Specifying fault tolerance in large complex computing systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints |
19 | Daniel L. Kiskis, Kang G. Shin |
SWSL: A Synthetic Workload Specification Language for Real-Time Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements |
19 | Jean-Yves Le Gall, François Simon |
MUSE: a Message Passing Concurrent Computer for On-Board Space Systems. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
on-board space system, dependability, computer architecture, MIMD architecture, message passing architecture |
19 | Geppino Pucci |
A New Approach to the Modeling of Recovery Block Structures. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
recovery block structures, error events, failure histories, dependability predictions, testing stages, project choices, software reliability, program testing, system recovery, reliability model, reliability theory, model parameters, development cycle |
19 | Ali Asim, Sébastien Tixeuil |
Advanced faults patterns for WSN dependability benchmarking. |
MSWiM |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Dimitris Gizopoulos |
Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement. |
IEEE Trans. Dependable Secur. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Vicente Chirivella, Rosa Alcover, José Flich, José Duato |
Dependability Analysis of a Fault-Tolerant Network Reconfiguring Strategy. |
Euro-Par |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk |
Benchmarking Dependability of a System Biology Application. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Dimitrios N. Serpanos, Jörg Henkel |
Dependability and Security Will Change Embedded Computing. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
security, embedded computing |
19 | Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders |
Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Algirdas Avizienis |
On representing knowledge in the dependability domain: a panel discussion. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ed Brinksma, Jozef Hooman |
Dependability for high-tech systems: an industry-as-laboratory approach. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun |
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Franco Fummi, Davide Quaglia, Francesco Stefanni |
Network Fault Model for Dependability Assessment of Networked Embedded Systems. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Andy M. Tyrrell, Andrew J. Greensted |
Evolving dependability. |
ACM J. Emerg. Technol. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
RISA architecture, bio-inspired architectures, fault tolerance, Evolutionary algorithms |
19 | Jinpeng Wei, Calton Pu |
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Modeling, Race Condition |
19 | Miguel Castro 0001, John Wilkes |
Third Workshop on Hot Topics in System Dependability HotDep'07. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Michael G. McQuinn, Peter Kemper, William H. Sanders |
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Xin Lu, Kiyoshi Nishiyama |
Dependability of Unstructured Estimator in Vector Autoregression Identification. |
SiPS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Razvan Bogdan |
Providing Grid Systems' Dependability and Security. |
SACI |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sabina Serbu, Peter G. Kropf, Pascal Felber |
Improving the Dependability of Prefix-Based Routing in DHTs. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, routing, reliability, DHT |
19 | Miroslav Svéda, Radimir Vrba |
Dependability-Driven Embedded Systems Networking. |
ICN |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Francisco Sánchez-Cid, Antonio Mana |
Patterns for Automated Management of Security and Dependability Solutions. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa |
Interval generalized stochastic petri net models in dependability evaluation. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rogério de Lemos |
Scaling Dependability and Security in Ad Hoc Networks. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Henrique Madeira |
Assessing, Measuring, and Benchmarking Dependability and Resilience. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ivica Crnkovic, Lars Grunske |
Evaluating Dependability Attributes of Component-Based Specifications. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Haibo Chen 0001, Rong Chen 0001, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew |
Mercury: Combining Performance with Dependability Using Self-virtualization. |
ICPP |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell |
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra M. R. Kintala, Saurabh Bagchi |
Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
resource constrained fault-tolerance, embedded systems, software rejuvenation, heap overflow, stack overflow |
19 | Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber |
Sealing OS processes to improve dependability and safety. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
open process architecture, sealed kernel, sealed process architecture, software isolated process (SIP) |
19 | Christos Kloukinas, George Spanoudakis |
A Pattern-Driven Framework for Monitoring Security and Dependability. |
TrustBus |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Andriy V. Volkoviy |
Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Henryk Maciejewski, Lukasz Konarski |
Building a predictive model from data in high dimensions with application to analysis of microarray experiments. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech Zamojski, Dariusz Caban |
Maintenance Policy of a Network with Traffic Reconfiguration. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski |
The Effect of Large Clock Drifts on Performance of Event and Time Triggered Network Interfaces. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Joaquim Ferreira 0001, Luís Almeida 0001, José Alberto Fonseca, Paulo Pedreiras, Ernesto Martins, Guillermo Rodríguez-Navas, Joan Rigo, Julián Proenza |
Combining operational flexibility and dependability in FTT-CAN. |
IEEE Trans. Ind. Informatics |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ana Busic, Jean-Michel Fourneau |
Bounding transient and steady-state dependability measures through algorithmic stochastic comparison. |
SIGMETRICS Perform. Evaluation Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante |
Early, Accurate Dependability Analysis of CAN-Based Networked Systems. |
IEEE Des. Test Comput. |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, fault injection, real-time and embedded systems, network architecture and design |
19 | Salvatore Orlando 0002, Stefano Russo 0001 |
Java Virtual Machine Monitoring for Dependability Benchmarking. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ambuj Goyal |
Delivering Dependability: A Moving Target. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Vanhauwaert, Régis Leveugle, Philippe Roche |
Reduced Instrumentation and Optimized Fault Injection Control for Dependability Analysis. |
VLSI-SoC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Safety and Dependability Analysis of Self-Adaptive Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Meike Jipp, Essameddin Badreddin |
Enhancing the Dependability of Human-Machine Systems Using Brunswikian Symmetry. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Florian Rosenberg, Christian Platzer, Schahram Dustdar |
Bootstrapping Performance and Dependability Attributes of Web Services. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew C. Rice, Alastair R. Beresford |
Dependability and Accountability for Context-aware Middleware Systems. |
PerCom Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hongxia Jin |
Higher Dependability and Security for Mobile Applications. |
SPC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zbigniew Kalbarczyk |
Measurement-Based Analysis: A Key to Experimental Research in Dependability. |
EDCC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew M. Tyrrell |
Dependability in an evolving world. |
Conf. Computing Frontiers |
2006 |
DBLP DOI BibTeX RDF |
POEtic, fault-tolerance, evolutionary algorithms |
19 | Luca Sterpone, Massimo Violante |
Dependability Evaluation of Transient Fault Effects in Reconfigurable Compute Fabric Devices. |
IOLTS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wilson Rivera, J. Fernando Vega-Riveros |
Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
|
|