Search dblp for Publications

export results for "toc:db/series/lncs/lncs5454.bht:"

 download as .bib file

@incollection{DBLP:series/lncs/BallB09,
  author       = {Elisabeth Ball and
                  Michael J. Butler},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {104--129},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_6},
  doi          = {10.1007/978-3-642-00867-2\_6},
  timestamp    = {Sun, 02 Jun 2019 20:42:25 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BallB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/BerlizevG09,
  author       = {Andrey Berlizev and
                  Nicolas Guelfi},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Fault Tolerance Requirements Analysis Using Deviations in the {CORRECT}
                  Development Process},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {275--296},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_13},
  doi          = {10.1007/978-3-642-00867-2\_13},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BerlizevG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/CastroM09,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Reasoning about System-Degradation and Fault-Recovery with Deontic
                  Logic},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {25--43},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_2},
  doi          = {10.1007/978-3-642-00867-2\_2},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/CastroM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/ChenM09,
  author       = {Zheng Chen and
                  Luc Moreau},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Recording Process Documentation in the Presence of Failures},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {196--219},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_10},
  doi          = {10.1007/978-3-642-00867-2\_10},
  timestamp    = {Wed, 31 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/ChenM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/FehnkerFM09,
  author       = {Ansgar Fehnker and
                  Matthias Fruth and
                  Annabelle McIver},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Graphical Modelling for Simulation and Formal Analysis of Wireless
                  Network Protocols},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_1},
  doi          = {10.1007/978-3-642-00867-2\_1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/FehnkerFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/FisherKL09,
  author       = {Michael Fisher and
                  Boris Konev and
                  Alexei Lisitsa},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Temporal Verification of Fault-Tolerant Protocols},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {44--56},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_3},
  doi          = {10.1007/978-3-642-00867-2\_3},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/FisherKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/GorbenkoKR09,
  author       = {Anatoliy Gorbenko and
                  Vyacheslav S. Kharchenko and
                  Alexander B. Romanovsky},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Using Inherent Service Redundancy and Diversity to Ensure Web Services
                  Dependability},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {324--341},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_15},
  doi          = {10.1007/978-3-642-00867-2\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/GorbenkoKR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Hayes09,
  author       = {Ian J. Hayes},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Dynamically Detecting Faults via Integrity Constraints},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {85--103},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_5},
  doi          = {10.1007/978-3-642-00867-2\_5},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Hayes09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/IliasovAR09,
  author       = {Alexei Iliasov and
                  Budi Arief and
                  Alexander B. Romanovsky},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Step-Wise Development of Resilient Ambient Campus Scenarios},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {297--323},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_14},
  doi          = {10.1007/978-3-642-00867-2\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/IliasovAR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/LaibinisTL09,
  author       = {Linas Laibinis and
                  Elena Troubitsyna and
                  Sari Lepp{\"{a}}nen},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Formal Reasoning about Fault Tolerance and Parallelism in Communicating
                  Systems},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {130--151},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_7},
  doi          = {10.1007/978-3-642-00867-2\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/LaibinisTL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MalikLL09,
  author       = {Qaisar A. Malik and
                  Johan Lilius and
                  Linas Laibinis},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Model-Based Testing Using Scenarios and Event-B Refinements},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {177--195},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_9},
  doi          = {10.1007/978-3-642-00867-2\_9},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MalikLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MustafizK09,
  author       = {Sadaf Mustafiz and
                  J{\"{o}}rg Kienzle},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {{DREP:} {A} Requirements Engineering Process for Dependable Reactive
                  Systems},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {220--250},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_11},
  doi          = {10.1007/978-3-642-00867-2\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MustafizK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/PlaskaWS09,
  author       = {Marta Plaska and
                  Marina Wald{\'{e}}n and
                  Colin F. Snook},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Documenting the Progress of the System Development},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {251--274},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_12},
  doi          = {10.1007/978-3-642-00867-2\_12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/PlaskaWS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/YadavB09,
  author       = {Divakar Yadav and
                  Michael J. Butler},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Formal Development of a Total Order Broadcast for Distributed Transactions
                  Using Event-B},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {152--176},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_8},
  doi          = {10.1007/978-3-642-00867-2\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/YadavB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/ZhangLMR09,
  author       = {Miaomiao Zhang and
                  Zhiming Liu and
                  Charles Morisset and
                  Anders P. Ravn},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Design and Verification of Fault-Tolerant Components},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {57--84},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_4},
  doi          = {10.1007/978-3-642-00867-2\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/ZhangLMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/lncs/5454,
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2},
  doi          = {10.1007/978-3-642-00867-2},
  isbn         = {978-3-642-00866-5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/5454.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.