Search results for "dependable systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson	Architecting Dynamic Reconfiguration in Dependable Systems.	WADS	2006	DBLP DOI BibTeX RDF	specification-to-deployment environments, dynamic reconfiguration, dependable systems
3	Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2007).	DSN	2007	DBLP DOI BibTeX RDF
3	Michaela Huhn, Hardi Hungar, Doron Peled	07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.	Tools for the Model-based Development of Certifiable, Dependable Systems	2007	DBLP BibTeX RDF
3	Michaela Huhn, Hardi Hungar, Doron Peled	07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.	Tools for the Model-based Development of Certifiable, Dependable Systems	2007	DBLP BibTeX RDF
3	Rogério de Lemos, Cristina Gacek, Alexander Romanovsky	Workshop on Architecting Dependable Systems (WADS).	DSN	2006	DBLP DOI BibTeX RDF
3	Sheldon X. Liang, Joseph Puett, Luqi	Quantifiable Software Architecture for Dependable Systems of Systems.	WADS	2003	DBLP DOI BibTeX RDF
3	Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat	On Aspect-Orientation in Distributed Real-time Dependable Systems.	WORDS	2002	DBLP DOI BibTeX RDF
3	Marcio S. Dias, Debra J. Richardson	The Role of Event Description in Architecting Dependable Systems.	WADS	2002	DBLP DOI BibTeX RDF
3	Apostolos Zarras, Christos Kloukinas, Valérie Issarny	Quality Analysis of Dependable Systems: A Developer Oriented Approach.	WADS	2002	DBLP DOI BibTeX RDF
3	Chris J. Walter, Neeraj Suri, T. Monaghan	Evaluating COTS Standards for Design of Dependable Systems.	DSN	2000	DBLP DOI BibTeX RDF
3	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
2	Antonio Casimiro, Rogério de Lemos, Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2009).	DSN	2009	DBLP DOI BibTeX RDF
2	Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini	Architecting and Validating Dependable Systems: Experiences and Visions.	WADS	2009	DBLP DOI BibTeX RDF
2	Felix Salfner, Miroslaw Malek	Architecting Dependable Systems with Proactive Fault Management.	WADS	2009	DBLP DOI BibTeX RDF
2	Jean-Charles Fabre	Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges.	WADS	2009	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2008).	DSN	2008	DBLP DOI BibTeX RDF
2	Michaela Huhn, Hardi Hungar, Doron Peled (eds.)	Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007	Tools for the Model-based Development of Certifiable, Dependable Systems	2008	DBLP BibTeX RDF
2	Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel	International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).	DSN	2008	DBLP DOI BibTeX RDF
2	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
2	Patrice Chalin	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.	ICSE	2007	DBLP DOI BibTeX RDF
2	Alexei Iliasov	Refinement patterns for rapid development of dependable systems.	EFTS	2007	DBLP DOI BibTeX RDF
2	Christof Fetzer	DSN 2007 Workshops.	DSN	2007	DBLP DOI BibTeX RDF
2	Hiroshi Nakamura	Fast Abstracts.	DSN	2007	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira	A Fault-Tolerant Architectural Approach for Dependable Systems.	IEEE Software	2006	DBLP DOI BibTeX RDF	fault tolerance, reliability, software architecture, dependability, exception handling
2	André Schiper	Dependable Systems.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
2	Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk	Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.	WADS	2006	DBLP DOI BibTeX RDF
2	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
2	Rogério de Lemos	Software architectures for dependable systems: a software engineering perspective.	ICSE	2006	DBLP DOI BibTeX RDF	fault-tolerance, software architecture, dependability, trustworthiness
2	Saurabh Bagchi	Fast Abstracts.	DSN	2006	DBLP DOI BibTeX RDF
2	Bianca Schroeder, Garth A. Gibson	A large-scale study of failures in high-performance computing systems.	DSN	2006	DBLP DOI BibTeX RDF
2	Ambuj Goyal	Delivering Dependability: A Moving Target.	DSN	2006	DBLP DOI BibTeX RDF
2	Rogério de Lemos	Architectural Fault Tolerance Using Exception Handling.	WADS	2006	DBLP DOI BibTeX RDF
2	Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002	An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.	WADS	2006	DBLP DOI BibTeX RDF
2	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
2	Rogério de Lemos, Cristina Gacek, Alexander Romanovsky	ICSE 2004 workshop on architecting dependable systems.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software architectures, dependability
2	Rogério de Lemos, Alexander Romanovsky	ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software architectures, dependability
2	Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman	Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.	DSN	2005	DBLP DOI BibTeX RDF
2	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
2	Demissie B. Aredo, Olaf Owe	Model-Based Verification in the Development of Dependable Systems.	ITCC	2005	DBLP DOI BibTeX RDF	Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
2	Hong Mei, Gang Huang 0001, Wei-Tek Tsai	Towards Self-Healing Systems via Dependable Architecture and.	WORDS	2005	DBLP DOI BibTeX RDF
2	Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin	Towards a Dependable Component Technology for Embedded System Applications.	WORDS	2005	DBLP DOI BibTeX RDF
2	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Towards software architecture-based regression testing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
2	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS 2004).	DSN	2004	DBLP BibTeX RDF
2	Miroslaw Malek	Introduction to NOMADS: networks of mobile adaptive dependable systems.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	subdued computing, mobility, adaptivity, networking, interoperability, dependability, services, nomadic computing
2	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS 2004).	ICSE	2004	DBLP DOI BibTeX RDF
2	Marcio S. Dias, Debra J. Richardson	Adaptable Analysis of Dependable System Architectures Through Monitoring.	WADS	2004	DBLP DOI BibTeX RDF
2	Ivica Crnkovic, Magnus Larsson, Otto Preiss	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes.	WADS	2004	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Cristina Gacek, Alexander Romanovsky	ICSE 2003 workshop on software architectures for dependable systems.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	software architectures, dependability
2	Sheldon X. Liang, Valdis Berzins, Luqi	Quantifiable architecting of dependable systems of embedded systems.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	compatible composition and compositional patterns, quantifiable architecture and assessment, quality attributes
2	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
2	Felix C. Gärtner, Klaus Kursawe, Levente Buttyán	PoDSy 2003: Principles of Dependable Systems. (PDF / PS)	DSN	2003	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	ICSE 2003 Workshop on Software Architectures for Dependable Systems. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	Christof Fetzer, Karin Högstedt	Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability.	WORDS	2003	DBLP DOI BibTeX RDF
2	Gérard Le Lann	Asynchrony and Real-Time Dependable Computing.	WORDS	2003	DBLP DOI BibTeX RDF
2	Bhavani M. Thuraisingham	Dependable Infrastructures and Data Managers for Sensor Networks.	WORDS Fall	2003	DBLP DOI BibTeX RDF
2	Claus Pahl	Interference Analysis for Dependable Systems Using Refinement and Abstraction.	FME	2002	DBLP DOI BibTeX RDF
2	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	ICSE 2002 workshop on architecting dependable systems.	ICSE	2002	DBLP DOI BibTeX RDF
2	Luci Pirmez, Luiz F. Rust da Costa Carmo, Reinaldo de Barros Correia, Renata F. Corrêa, Roberta Lima-Gomes, Luiz F. Bacellar	An Adaptive Distributed System Based on Conditional Dependencies.	WORDS	2002	DBLP DOI BibTeX RDF	conditional dependencies, distributed systems, adaptive systems, dependable systems
2	Ferda Tartanoglu, Valérie Issarny, Alexander Romanovsky, Nicole Lévy	Dependability in the Web Services Architecture.	WADS	2002	DBLP DOI BibTeX RDF
2	Per Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund, Jan Torin	Hazard Analysis in Object Oriented Design of Dependable Systems.	DSN	2001	DBLP DOI BibTeX RDF
2	Rogério de Lemos	Describing Evolving Dependable Systems Using Co-Operative Software Architectures. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	software architecture, dependability, evolution, exception handling, timed automata
2	Juan-Carlos Ruiz-Garcia, Pascale Thévenod-Fosse, Jean-Charles Fabre	A Strategy for Testing MetaObject Protocols in Reflective Architectures.	DSN	2001	DBLP DOI BibTeX RDF
2	Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno	Applicability of Non-Specification-Based Approaches to Logic Testing for Software.	DSN	2001	DBLP DOI BibTeX RDF	factor covering design, software testing, logic testing, mutation analysis, boolean specification
2	Yasunao Katayama, Sumio Morioka	One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems.	DSN	2000	DBLP DOI BibTeX RDF
2	Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart	Dependability Engineering of Complex Computing Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal
2	Jean-Charles Fabre	On the Use of COTS Microkernels for Dependable Systems. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
2	Andrew M. Tyrrell, M. J. Freeman	Hardware support for backward error recovery.	EUROMICRO	1997	DBLP DOI BibTeX RDF	hardware support structure, critical state information, distributed parallel processing system, parallel machines, error recovery, dependable systems, programmable logic devices, backward error recovery, cooperating processes, recovery mechanisms
2	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
2	Philip Heidelberger, Perwez Shahabuddin, Victor F. Nicola	Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	highly-dependable systems, non-Markovian systems, transient measures, uniformization-based simulation, importance sampling, variance reduction
1	M. Farrukh Khan, Raymond A. Paul	Pragmatic Directions in Engineering Secure Dependable Systems.	Advances in Computers	2012	DBLP DOI BibTeX RDF
1	Petros Maniatis, Byung-Gon Chun	Small trusted primitives for dependable systems.	Operating Systems Review	2011	DBLP DOI BibTeX RDF
1		Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011	DSN	2011	DBLP BibTeX RDF
1	Cristiana Bolchini, Chiara Sandionigi, Luca Fossati, David Merodio Codinachs	A reliable fault classifier for dependable systems on SRAM-based FPGAs.	IOLTS	2011	DBLP DOI BibTeX RDF
1	Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky	Rigorous Development of Dependable Systems Using Fault Tolerance Views.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Ichiro Satoh	Multiple Mobile Agents for Dependable Systems.	DCAI	2011	DBLP DOI BibTeX RDF
1	Sheila Becker, Jeff Seibert, David Zage, Cristina Nita-Rotaru, Radu State	Applying game theory to analyze attacks and defenses in virtual coordinate systems.	DSN	2011	DBLP DOI BibTeX RDF
1	Andreas Haeberlen, Mootaz Elnozahy	Seventh workshop on hot topics in system dependability (HotDep'11).	DSN	2011	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frederic Tronel	Modeling and evaluating targeted attacks in large scale dynamic systems.	DSN	2011	DBLP DOI BibTeX RDF
1	Parisa Jalili Marandi, Marco Primi, Fernando Pedone	High performance state-machine replication.	DSN	2011	DBLP DOI BibTeX RDF
1	Ruben Alexandersson, Johan Karlsson	Fault injection-based assessment of aspect-oriented implementation of fault tolerance.	DSN	2011	DBLP DOI BibTeX RDF
1	Domenico Cotroneo, Vincenzo De Florio	5th international workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011.	DSN	2011	DBLP DOI BibTeX RDF
1	Sriram Sankar, Mark Shaw, Kushagra Vaid	Impact of temperature on hard disk drive reliability in large datacenters.	DSN	2011	DBLP DOI BibTeX RDF
1	Marc Brunink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz, Christof Fetzer	Aaron: An adaptable execution environment.	DSN	2011	DBLP DOI BibTeX RDF
1	Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang	The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments.	DSN	2011	DBLP DOI BibTeX RDF
1	Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri	Efficient model checking of fault-tolerant distributed protocols.	DSN	2011	DBLP DOI BibTeX RDF
1	Kazuya Yamakita, Hiroshi Yamada, Kenji Kono	Phase-based reboot: Reusing operating system execution phases for cheap reboot-based recovery.	DSN	2011	DBLP DOI BibTeX RDF
1	Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini	Zab: High-performance broadcast for primary-backup systems.	DSN	2011	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, David Parker, Hongyang Qu	Incremental quantitative verification for Markov decision processes.	DSN	2011	DBLP DOI BibTeX RDF
1	Marc Brunink, Martin Süßkraut, Christof Fetzer	Boundless memory allocations for memory safety and high availability.	DSN	2011	DBLP DOI BibTeX RDF
1	Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Ravishankar K. Iyer	Modeling stream processing applications for dependability evaluation.	DSN	2011	DBLP DOI BibTeX RDF
1	Adam J. Oliner, Alex Aiken	Online detection of multi-component interactions in production systems.	DSN	2011	DBLP DOI BibTeX RDF
1	Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro	OS diversity for intrusion tolerance: Myth or reality?	DSN	2011	DBLP DOI BibTeX RDF
1	Aashish Sharma, Zbigniew Kalbarczyk, James Barlow, Ravishankar K. Iyer	Analysis of security data from a large computing organization.	DSN	2011	DBLP DOI BibTeX RDF
1	Sunghun Kim, Thomas Zimmermann, Nachiappan Nagappan	Crash graphs: An aggregated view of multiple crashes to improve crash triage.	DSN	2011	DBLP DOI BibTeX RDF
1	Xiapu Luo, Peng Zhou, Edmond W. W. Chan, Rocky K. C. Chang, Wenke Lee	A combinatorial approach to network covert communications with applications in Web Leaks.	DSN	2011	DBLP DOI BibTeX RDF
1	Silviu Andrica, George Candea	WaRR: A tool for high-fidelity web application record and replay.	DSN	2011	DBLP DOI BibTeX RDF
1	Edmund L. Wong, Vitaly Shmatikov	Get off my prefix! the need for dynamic, gerontocratic policies in inter-domain routing.	DSN	2011	DBLP DOI BibTeX RDF
1	Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre	WOSD 2011 the first international workshop on open systems dependability.	DSN	2011	DBLP DOI BibTeX RDF
1	Chentao Wu, Xubin He, Guanying Wu, Shenggang Wan, Xiaohua Liu, Qiang Cao, Changsheng Xie	HDP code: A Horizontal-Diagonal Parity Code to Optimize I/O load balancing in RAID-6.	DSN	2011	DBLP DOI BibTeX RDF
1	Zoe Sebepou, Kostas Magoutis	CEC: Continuous eventual checkpointing for data stream processing operators.	DSN	2011	DBLP DOI BibTeX RDF