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    = {Fri, 03 Jun 2022 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.