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 |