Search results for "Dependability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Marcin Szlenk	Towards Precise Architectural Decision Models.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Wojciech Tylman	SCADA Intrusion Detection Based on Modelling of Allowed Communication Patterns.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Pawel Stelmach, Lukasz Falas	A Web Service-Based Platform for Distributed Web Applications Integration.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Szymon Kijas, Andrzej Zalewski	Towards Evolution Methodology for Service-Oriented Systems.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Marcelo Ribeiro Xavier Silva, Lau Cheuk Lung, Leandro Quibem Magnabosco, Luciana de Oliveira Rech	Vbam - Byzantine Atomic Multicast in LAN Based on Virtualization Technology.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Bartosz Chrabski, Cezary Orlowski	A Reference Model for the Selection of Open Source Tools for Requirements Management.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Ilona Bluemke, Karol Kulesza	Reduction of Computational Cost in Mutation Testing by Sampling Mutants.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Adam Czubak	A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Anton Shmakov	Algorithmic and Information Aspects of the Generalized Transportation Problem for Linear Objects on a Two Dimensional Lattice.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Anna Derezinska	A Quality Estimation of Mutation Clustering in C# Programs.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Andrzej Stasiak, Zbigniew Zielinski	An Approach to Automated Verification of Multi-Level Security System Models.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Wojciech Stolarz, Marek Woda	Proposal of Cost-Effective Tenant-Based Resource Allocation Model for a SaaS System.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Franciszek Grabski	Integral Functionals of semi-Markov Processes in Reliability Problems.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Marcin Mycek	An Expanded Concept of the Borrowed Time as a Mean of Increasing the Average Speed Isotropy on Regular Grids.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Ernest Edifor, Martin Walker, Neil A. Gordon	Quantification of Simultaneous-AND Gates in Temporal Fault Trees.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Andrzej Ratkowski	Transformational Modeling of BPMN Business Process in SOA Context.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Mikhail G. Gorodnichev, A. N. Nigmatulin	Technical and Program Aspects on Monitoring of Highway Flows (Case Study of Moscow City).	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Andrzej Bialas	Risk Assessment Aspects in Mastering the Value Function of Security Measures.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Jacek Baginski	Software Support of the Risk Reduction Assessment in the ValueSec Project Flood Use Case.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Jacek Mazurkiewicz, Tomasz Walkowiak	Discrete Transportation Systems Quality Performance Analysis by Critical States Detection.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Emil Stupiec, Tomasz Walkowiak	Automatic Load Testing of Web Application in SaaS Model.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Alexander P. Buslaev, Pavel M. Strusinskiy	Computer Simulation Analysis of Cluster Model of Totally-Connected Flows on the Chain Mail.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Razvan-Mihai Aciu, Horia Ciocarlie	Application Level Execution Model for Transparent Distributed Computing.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Wlodzimierz M. Zuberek	Shuffle-Based Verification of Component Compatibility.	DepCoS-RELCOMEX	2013	DBLP DOI BibTeX RDF
25	Qiang Guan, Chi-Chen Chiu, Song Fu	CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures.	PRDC	2012	DBLP DOI BibTeX RDF
25	Suprasad V. Amari	Dynamic dependability models: an overview.	DYADEM-FTS@EDCC	2010	DBLP DOI BibTeX RDF
25	Johann Schuster, Markus Siegle	Dependability modelling with the stochastic process algebra tool CASPA.	DYADEM-FTS@EDCC	2010	DBLP DOI BibTeX RDF
25	Dario Bruneo, Antonio Puliafito, Marco Scarpa	Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes.	DYADEM-FTS@EDCC	2010	DBLP DOI BibTeX RDF
25	Armin Zimmermann	Dependability evaluation of complex systems with TimeNET.	DYADEM-FTS@EDCC	2010	DBLP DOI BibTeX RDF
25	Iraj Elyasi-Komari, Vyacheslav S. Kharchenko, Eugene Babeshko, Anatoliy Gorbenko, Alexandr Siora	Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Alvaro Torres, George J. Anders	Spectral Graph Theory and Network Dependability.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Marcin Kowalski, Kazimierz Wilkosz	A Domain Specific Language in Dependability Analysis.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Dariusz Caban	Dependability of Large Reconfigurable Information Systems.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Lukasz Bagrij, Katarzyna Michalska, Marek Woda	Applying Queuing Models for Assessing Network Services Dependability Parameters in Modern Information Systems.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Alexandr Siora	Dependability of Safety-Critical Computer Systems through Component-Based Evolution.	DepCoS-RELCOMEX	2009	DBLP DOI BibTeX RDF
25	Jan Rüdiger, Achim Wagner, Essam Badreddin	Behavior based Dependability Estimation - Estimating the Dependability of Autonomous Mobile Systems using Predictive Filter.	ICINCO-RA (2)	2008	DBLP BibTeX RDF
25	Jan Nikodem	Autonomy and Cooperation as Factors of Dependability in Wireless Sensor Network.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Henryk Maciejewski, Tomasz Lipnicki	Data Exploration Methods for Transport System Dependability Analysis.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Ali Al-Dahoud, Tomasz Walkowiak, Marek Woda	Dependability Aspects of e-Learning Systems.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Eugene Babeshko, Vyacheslav S. Kharchenko, Anatoliy Gorbenko	Applying F(I)MEA-technique for SCADA-Based Industrial Control Systems Dependability Assessment and Ensuring.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Michal Zyla, Dariusz Caban	Dependability Analysis of SOA Systems.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Lukasz Bagrij, Katarzyna Michalska, Marek Woda	Dependability Evaluation of Service-oriented Information System Using Computer Simulation and Post-processing Results.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
25	Jan Rüdiger, Achim Wagner, Essam Badreddin	Behavior based description of dependability - defining a minium set of attributes for a behavioral description of dependability.	ICINCO-RA (2)	2007	DBLP BibTeX RDF
25	Meriem Belguidoum, Fabien Dagnat	Dependability in Software Component Deployment.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
25	Przemyslaw Krekora, Dariusz Caban	Dependability analysis of reconfigurable information systems.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
25	Lu Yan, Kaisa Sere	Dependability Aspects of Ubiquitous Computing.	ARES	2007	DBLP DOI BibTeX RDF
25	Paolo Donzelli, Victor R. Basili	A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project.	J. Syst. Softw.	2006	DBLP DOI BibTeX RDF
25	Andrzej Zalewski, Andrzej Ratkowski	Evaluation of Dependability of Multi-tier Internet Business Applications with Queueing Networks.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
25	Kenji Saito, Eiichi Morino, Jun Murai	No Risk is Unsafe: Simulated Results on Dependability of Complementary Currencies.	ARES	2006	DBLP DOI BibTeX RDF
25	Bev Littlewood	Hardware and Software Dependability Evaluation: Software Dependability.	IFIP Congress	1989	DBLP BibTeX RDF
25	Shunji Osaki	Hardware and Software Dependability Evaluation: Hardware Dependability.	IFIP Congress	1989	DBLP BibTeX RDF
25	William C. Carter	Hardware and Software Dependability Evaluation: System Dependability.	IFIP Congress	1989	DBLP BibTeX RDF
21	Giovanni Beltrame, Cristiana Bolchini, Antonio Miele	Multi-level fault modeling for transaction-level specifications.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	fault modeling, soft error, system-level design, tlm
21	Aad P. A. van Moorsel	Panel: Complexity and Resilience.	SAFECOMP	2008	DBLP DOI BibTeX RDF
21	Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola	Towards Self-adaptation for Dependable Service-Oriented Systems.	WADS	2008	DBLP DOI BibTeX RDF
21	Stefano Bistarelli, Francesco Santini 0001	Soft Constraints for Dependable Service Oriented Architectures.	WADS	2008	DBLP DOI BibTeX RDF
21	Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.	WADS	2008	DBLP DOI BibTeX RDF	Software Architecture Formal Analysis, Security, Fault Tolerance
21	Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif M. Memon, Marvin V. Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Christopher Ackermann, Bettina Anders, Sima Asgari, Victor R. Basili, Lorin Hochstein, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach	Experimenting with software testbeds for evaluating new technologies.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Software testbed, Empirical study, Technology evaluation
21	Bev Littlewood, David Wright 0001	The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety
21	Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu 0007, Jianxin Li 0002, Liang Zhong, Jinpeng Huai	CROWN-C: A High-Assurance Service-Oriented Grid Middleware System.	HASE	2007	DBLP DOI BibTeX RDF
21	Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini	Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.	HASE	2007	DBLP DOI BibTeX RDF
21	Tony Hoare	Science and Engineering: A Collusion of Cultures.	DSN	2007	DBLP DOI BibTeX RDF
21	Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk	Assurance Based Development of Critical Systems.	DSN	2007	DBLP DOI BibTeX RDF
21	Johannes Osrael, Lorenz Froihofer, Martin Weghofer, Karl M. Göschka	Axis2-based Replication Middleware forWeb Services.	ICWS	2007	DBLP DOI BibTeX RDF
21	Barbara Gallina, Nicolas Guelfi	A Template for Requirement Elicitation of Dependable Product Lines.	REFSQ	2007	DBLP DOI BibTeX RDF
21	Hein Meling	An Architecture for Self-healing Autonomous Object Groups.	ATC	2007	DBLP DOI BibTeX RDF
21	Shariful Islam, Neeraj Suri	A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems.	EUC	2007	DBLP DOI BibTeX RDF
21	Lydia Michotte, Robert B. France, Franck Fleurey	Modeling and Integrating Aspects into Component Architectures.	EDOC	2007	DBLP DOI BibTeX RDF
21	Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo 0001	Characterizing Aging Phenomena of the Java Virtual Machine.	SRDS	2007	DBLP DOI BibTeX RDF
21	Pavel Kubalík, Radek Dobias, Hana Kubátová	Dependable Design for FPGA Based on Duplex System and Reconfiguration.	DSD	2006	DBLP DOI BibTeX RDF
21	Nawal Addouche, Christian Antoine, Jacky Montmain	Methodology for UML Modeling and Formal Verification of Real-Time Systems.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
21	Domenico Cotroneo	The Hide and Seek Field Data Game.	EDCC	2006	DBLP DOI BibTeX RDF
21	Michael Jackson 0001	Testing the Machine in the World.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
21	Gabriella Carrozza, Marcello Cinque, Fabio Cornevilli, Stefano Russo 0001	An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
21	Ian A. Troxel, Alan D. George	Adaptable and Autonomic Mission Manager for Dependable Aerospace Computing.	DASC	2006	DBLP DOI BibTeX RDF
21	Takashi Minohara	Fault Tolerant Training of Neural Networks for Learning Vector Quantization.	ICONIP (2)	2006	DBLP DOI BibTeX RDF
21	Marcello Cinque, Fabio Cornevilli, Domenico Cotroneo, Stefano Russo 0001	An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data.	ISORC	2005	DBLP DOI BibTeX RDF
21	Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson	Protective Wrapping of Off-the-Shelf Components.	ICCBSS	2005	DBLP DOI BibTeX RDF
21	Nawal Addouche, Christian Antoine, Jacky Montmain	Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
21	Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie	Efficient Protection of Many-to-One Communications.	EDCC	2005	DBLP DOI BibTeX RDF	many-to-one, cold protection, multi-tree algorithm, network, fault-tolerant routing
21	Matteo Sonza Reorda, Luca Sterpone, Massimo Violante	Efficient Estimation of SEU Effects in SRAM-Based FPGAs.	IOLTS	2005	DBLP DOI BibTeX RDF
21	Ferda Tartanoglu, Valérie Issarny	Specifying Web Service Recovery Support with Conversations.	HICSS	2005	DBLP DOI BibTeX RDF
21	W. Kent Fuchs	Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness.	PRDC	2005	DBLP DOI BibTeX RDF
21	Ramesh Chandra, Ryan M. Lefever, Kaustubh R. Joshi, Michel Cukier, William H. Sanders	A Global-State-Triggered Fault Injector for Distributed System Evaluation.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
21	Matthias Hollick, Ivan Martinovic, Tronje Krop, Ivica Rimac	A Survey on Dependable Routing in Sensor Networks, Ad hoc Networks, and Cellular Networks.	EUROMICRO	2004	DBLP DOI BibTeX RDF
21	Wen Gao 0001, Xinyu Liu, Lei Wang, Takashi Nanya	A Reconfigurable High Availability Infrastructure in Cluster for Grid.	GCC (1)	2003	DBLP DOI BibTeX RDF
21	Genaína Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich	Reliability Support for the Model Driven Architecture.	WADS	2003	DBLP DOI BibTeX RDF
21	György Csertán, András Pataricza, Péter Harang, Orsolya Dobán, Gabor Biros, András Dancsecz, Ferenc Friedler	BPM Based Robust E-business Application Development (Practical Experience Report).	EDCC	2002	DBLP DOI BibTeX RDF
21	Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos	A Fault-Tolerant Software Architecture for Component-Based Systems.	WADS	2002	DBLP DOI BibTeX RDF
21	Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri	A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems.	PRDC	2002	DBLP DOI BibTeX RDF
21	Rosa Alcover, Vicente Chirivella, José Duato	Improving the Accuracy of Reliability Models for Direct Interconnection Networks.	Euro-Par	2001	DBLP DOI BibTeX RDF
21	Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr	Building Dependable Distributed Applications Using AQUA.	HASE	1999	DBLP DOI BibTeX RDF	adaptive fault-tolerant systems, CORBA, replication protocols, Dependable distributed systems
21	Santosh K. Shrivastava	Inter-task Co-ordination in Long-Lived Distributed Applications.	DISC	1998	DBLP DOI BibTeX RDF
21	Gérard Le Lann	A Methodology for Designing and Dimensioning Critical Complex Computing Systems.	ECBS	1996	DBLP DOI BibTeX RDF	design proofs, fault-tolerance, distributed computing, design methodology, complex systems, systems engineering, on-line algorithms, critical systems, real-time computing
19	Barry W. Boehm	Making a Difference in the Software Century.	Computer	2008	DBLP DOI BibTeX RDF	high-dependability computing, software engineering
19	Sheldon X. Liang, Lyle A. Reibling, John Betts	Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model.	SIGAda	2008	DBLP DOI BibTeX RDF	interoperability, dependability, heterogeneity, architectural description
19	Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Alexey Mikhaylichenko	Experimenting with exception propagation mechanisms in service-oriented architecture.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	dependability benchmarking, exception propagation mechanisms, fault tolerance, service-oriented architecture, robustness, exception handling
19	Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee	Using assertions to help end-user programmers create dependable web macros.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	web macros, dependability, programming by demonstration, assertions, end user software engineering
19	Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola	A Study on Multiformalism Modeling of Critical Infrastructures.	CRITIS	2008	DBLP DOI BibTeX RDF	Multiformalism Modeling, Security, Performability, Dependability, Critical Infrastructure
19	Roman Obermaisser, Philipp Peti, Fulvio Tagliabo	An integrated architecture for future car generations.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Component-based integration, Real-time systems, Dependability, Communication networks, System architectures, Legacy systems, Automotive electronics