|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(10), pp. 1431-1434, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 3(2), pp. 8, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(3), pp. 329-337, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 538-542, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 82-92, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 160-169, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 111-122, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 334-337, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 9(4), pp. 449-463, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 675-679, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia, pp. 493-498, 2006, Springer, 978-0-387-44639-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS (LNCS) ![In: Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]., pp. 1-20, 2006, Springer, 978-3-540-73130-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 165-174, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 1-13, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 9(2), pp. 28-37, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 30(1-2), pp. 55-81, 2005. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-4, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 7-6, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings, pp. 131-142, 2005, Springer, 3-540-29572-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 691, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China, pp. 208-218, 2005, IEEE Computer Society, 0-7695-2492-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(11), pp. 1483-1492, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA, pp. 117-126, 2004, IEEE Computer Society, 0-7695-2165-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 243-248, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 3rd International Conference on Cyberworlds (CW 2004), 18-20 November 2004, Tokyo, Japan, pp. 170-175, 2004, IEEE Computer Society, 0-7695-2140-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(2), pp. 223-236, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(5), pp. 498-510, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 3-8, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 69-76, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 11-18, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 202-209, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 2-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(11), pp. 1166-1172, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 600-612, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 202-212, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(1), pp. 21-44, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 12(1-2), pp. 153-159, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 63-78, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 2-4 November 1998, Austin, TX, USA, Proceedings, pp. 117-, 1998, IEEE Computer Society, 0-8186-8832-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 304-311, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 116-121, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 271-278, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 24-31, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 55-56, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 155-164, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(1), pp. 36-64, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 33-40, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 369-372, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(10), pp. 798-811, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 545-556, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(2), pp. 159-167, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010, pp. 39-48, 2010, ACM, 978-1-4503-0274-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Dimitris Gizopoulos |
Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 6(2), pp. 152-158, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Vicente Chirivella, Rosa Alcover, José Flich, José Duato |
Dependability Analysis of a Fault-Tolerant Network Reconfiguring Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 1040-1051, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 146-153, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Dimitrios N. Serpanos, Jörg Henkel |
Dependability and Security Will Change Embedded Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(1), pp. 103-105, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 386-391, 2008, IEEE Computer Society, 978-1-4244-2397-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Algirdas Avizienis |
On representing knowledge in the dependability domain: a panel discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 440-441, 2008, IEEE Computer Society, 978-1-4244-2397-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ed Brinksma, Jozef Hooman |
Dependability for high-tech systems: an industry-as-laboratory approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1226-1231, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 48-59, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Franco Fummi, Davide Quaglia, Francesco Stefanni |
Network Fault Model for Dependability Assessment of Networked Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 23rd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2008), 1-3 October 2008, Boston, MA, USA, pp. 54-62, 2008, IEEE Computer Society, 978-0-7695-3365-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Andy M. Tyrrell, Andrew J. Greensted |
Evolving dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 3(2), pp. 7, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 358-367, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 804, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Michael G. McQuinn, Peter Kemper, William H. Sanders |
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 151-160, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Xin Lu, Kiyoshi Nishiyama |
Dependability of Unstructured Estimator in Vector Autoregression Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SiPS ![In: Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2007, Proceedings, October 17-19, 2007, Eton Hotel, Shanghai, China, pp. 589-594, 2007, IEEE, 1-4244-1222-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Razvan Bogdan |
Providing Grid Systems' Dependability and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 71-76, 2007, IEEE, 1-4244-1234-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sabina Serbu, Peter G. Kropf, Pascal Felber |
Improving the Dependability of Prefix-Based Routing in DHTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 206-225, 2007, Springer, 978-3-540-76846-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, routing, reliability, DHT |
19 | Miroslav Svéda, Radimir Vrba |
Dependability-Driven Embedded Systems Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Sixth International Conference on Networking (ICN 2007), 22-28 April 2007, Sainte-Luce, Martinique, France, pp. 59, 2007, IEEE Computer Society, 978-0-7695-2805-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Francisco Sánchez-Cid, Antonio Mana |
Patterns for Automated Management of Security and Dependability Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 739-743, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2502-2507, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rogério de Lemos |
Scaling Dependability and Security in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 237, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Henrique Madeira |
Assessing, Measuring, and Benchmarking Dependability and Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 238, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ivica Crnkovic, Lars Grunske |
Evaluating Dependability Attributes of Component-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 157-158, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 2007 International Conference on Parallel Processing (ICPP 2007), September 10-14, 2007, Xi-An, China, pp. 9, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 139-146, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 240-247, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, pp. 341-354, 2007, ACM, 978-1-59593-636-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business, 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 210-218, 2007, Springer, 978-3-540-74408-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 43-50, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 11-18, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 316-323, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech Zamojski, Dariusz Caban |
Maintenance Policy of a Network with Traffic Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 213-222, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 344-351, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(2), pp. 95-102, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ana Busic, Jean-Michel Fourneau |
Bounding transient and steady-state dependability measures through algorithmic stochastic comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 34(2), pp. 11-12, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante |
Early, Accurate Dependability Analysis of CAN-Based Networked Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 23(1), pp. 38-45, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 433-440, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ambuj Goyal |
Delivering Dependability: A Moving Target. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings, 2006, IEEE Computer Society, 0-7695-2607-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Vanhauwaert, Régis Leveugle, Philippe Roche |
Reduced Instrumentation and Optimized Fault Injection Control for Dependability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2006, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Nice, France, 16-18 October 2006, pp. 391-396, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Safety and Dependability Analysis of Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 177-184, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Meike Jipp, Essameddin Badreddin |
Enhancing the Dependability of Human-Machine Systems Using Brunswikian Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 219, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Florian Rosenberg, Christian Platzer, Schahram Dustdar |
Bootstrapping Performance and Dependability Attributes of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 205-212, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew C. Rice, Alastair R. Beresford |
Dependability and Accountability for Context-aware Middleware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy, pp. 378-382, 2006, IEEE Computer Society, 0-7695-2520-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hongxia Jin |
Higher Dependability and Security for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPC ![In: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings, pp. 89-103, 2006, Springer, 3-540-33376-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zbigniew Kalbarczyk |
Measurement-Based Analysis: A Key to Experimental Research in Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006, pp. 69-70, 2006, IEEE Computer Society, 0-7695-2648-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew M. Tyrrell |
Dependability in an evolving world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Third Conference on Computing Frontiers, 2006, Ischia, Italy, May 3-5, 2006, pp. 207-220, 2006, ACM, 1-59593-302-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 10-12 July 2006, Como, Italy, pp. 189-190, 2006, IEEE Computer Society, 0-7695-2620-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 119-128, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|