Search dblp for Publications

export results for "toc:db/conf/serene/serene2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/serene/AreiasAC14,
  author       = {Cristiana Areias and
                  Nuno Antunes and
                  Jo{\~{a}}o Carlos Cunha},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {On Applying {FMEA} to SOAs: {A} Proposal and Open Challenges},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {86--100},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_7},
  doi          = {10.1007/978-3-319-12241-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/AreiasAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/BostromHHWL14,
  author       = {Pontus Bostr{\"{o}}m and
                  Mikko Heikkil{\"{a}} and
                  Mikko Huova and
                  Marina Wald{\'{e}}n and
                  Matti Linjama},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Verification and Validation of a Pressure Control Unit for Hydraulic
                  Systems},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {101--115},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_8},
  doi          = {10.1007/978-3-319-12241-0\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serene/BostromHHWL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/FlorioSB14,
  author       = {Vincenzo De Florio and
                  Hong Sun and
                  Chris Blondia},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Community Resilience Engineering: Reflections and Preliminary Contributions},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_1},
  doi          = {10.1007/978-3-319-12241-0\_1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/FlorioSB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/HollerKPK14,
  author       = {Andrea H{\"{o}}ller and
                  Nermin Kajtazovic and
                  Christopher Preschern and
                  Christian Kreiner},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Formal Fault Tolerance Analysis of Algorithms for Redundant Systems
                  in Early Design Stages},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_6},
  doi          = {10.1007/978-3-319-12241-0\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/HollerKPK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/IliasovPR14,
  author       = {Alexei Iliasov and
                  Roberto Palacin and
                  Alexander B. Romanovsky},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Advanced Modelling, Simulation and Verification for Future Traffic
                  Regulation Optimisation},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {131--138},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_10},
  doi          = {10.1007/978-3-319-12241-0\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serene/IliasovPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/LaibinisKTDLK14,
  author       = {Linas Laibinis and
                  Dmitry M. Klionskiy and
                  Elena Troubitsyna and
                  Anatoly Dorokhov and
                  Johan Lilius and
                  Mikhail Kupriyanov},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Modelling Resilience of Data Processing Capabilities of {CPS}},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_5},
  doi          = {10.1007/978-3-319-12241-0\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/LaibinisKTDLK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/LawrenceBW14,
  author       = {David P. Y. Lawrence and
                  Didier Buchs and
                  Armin Wellig},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Using Instrumentation for Quality Assessment of Resilient Software
                  in Embedded Systems},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_11},
  doi          = {10.1007/978-3-319-12241-0\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/LawrenceBW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/LipkaPP14,
  author       = {Richard Lipka and
                  Marek Paska and
                  Tomas Potuzak},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Simulation Testing and Model Checking: {A} Case Study Comparing these
                  Approaches},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_9},
  doi          = {10.1007/978-3-319-12241-0\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/LipkaPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/MalavoltaMR14,
  author       = {Ivano Malavolta and
                  Henry Muccini and
                  V. Smrithi Rekha},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Enhancing Architecture Design Decisions Evolution with Group Decision
                  Making Principles},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {9--23},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_2},
  doi          = {10.1007/978-3-319-12241-0\_2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serene/MalavoltaMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/RuscioMP14,
  author       = {Davide Di Ruscio and
                  Ivano Malavolta and
                  Patrizio Pelliccione},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {The Role of Parts in the System Behaviour},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {24--39},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_3},
  doi          = {10.1007/978-3-319-12241-0\_3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serene/RuscioMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/TurenneKGB14,
  author       = {Maxime Turenne and
                  Ali Kanso and
                  Abdelouahed Gherbi and
                  Ronan Barrett},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Automatic Generation of Description Files for Highly Available Services},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_4},
  doi          = {10.1007/978-3-319-12241-0\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/TurenneKGB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/UnsalSAS14,
  author       = {Arda Ahmet {\"{U}}nsal and
                  G{\"{o}}rkem Sazara and
                  Baris Aktemur and
                  Hasan S{\"{o}}zer},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Adaptive Domain-Specific Service Monitoring},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_12},
  doi          = {10.1007/978-3-319-12241-0\_12},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/UnsalSAS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serene/UrbanicsGUHK14,
  author       = {G{\'{a}}bor Urbanics and
                  L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
                  Bal{\'{a}}zs Urb{\'{a}}n and
                  J{\'{a}}nos Hartwig and
                  Imre Kocsis},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Combined Error Propagation Analysis and Runtime Event Detection in
                  Process-Driven Systems},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_13},
  doi          = {10.1007/978-3-319-12241-0\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serene/UrbanicsGUHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/serene/2014,
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0},
  doi          = {10.1007/978-3-319-12241-0},
  isbn         = {978-3-319-12240-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/2014.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.