Search results for "Methods, Models and Tools for Fault Tolerance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alexei Iliasov, Budi Arief, Alexander Romanovsky	Step-Wise Development of Resilient Ambient Campus Scenarios.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander Romanovsky	Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Divakar Yadav, Michael Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Marta Plaska, Marina A. Waldén, Colin F. Snook	Documenting the Progress of the System Development.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
1	Michael Fisher, Boris Konev, Alexei Lisitsa	Temporal Verification of Fault-Tolerant Protocols.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Zheng Chen, Luc Moreau	Recording Process Documentation in the Presence of Failures.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Matthias Fruth, Annabelle McIver	Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking
1	Pablo F. Castro, T. S. E. Maibaum	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Specification, Software Design, Deontic Logics
1	Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn	Design and Verification of Fault-Tolerant Components.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-tolerance, model checking, abstraction, real-time embedded systems
1	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
1	Ian J. Hayes	Dynamically Detecting Faults via Integrity Constraints.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault detection, Integrity constraint, action system, real-time programming
1	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
1	Elisabeth Ball, Michael Butler	Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Qaisar A. Malik, Johan Lilius, Linas Laibinis	Model-Based Testing Using Scenarios and Event-B Refinements.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF

Publications at "Methods, Models and Tools for Fault Tolerance"( http://dblp.L3S.de/Venues/Methods,_Models_and_Tools_for_Fault_Tolerance )