Search dblp for Publications

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

 download as .bib file

@incollection{DBLP:series/lncs/BaresiGS13,
  author       = {Luciano Baresi and
                  Sam Guinea and
                  Panteha Saeedi},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Achieving Self-adaptation through Dynamic Group Management},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {214--239},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_8},
  doi          = {10.1007/978-3-642-36249-1\_8},
  timestamp    = {Sun, 02 Jun 2019 20:42:26 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BaresiGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Calinescu13,
  author       = {Radu Calinescu},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Emerging Techniques for the Engineering of Self-Adaptive High-Integrity
                  Software},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {297--310},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_11},
  doi          = {10.1007/978-3-642-36249-1\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Calinescu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/CordyCHLS13,
  author       = {Maxime Cordy and
                  Andreas Classen and
                  Patrick Heymans and
                  Axel Legay and
                  Pierre{-}Yves Schobbens},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Model Checking Adaptive Software with Featured Transition Systems},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {1--29},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_1},
  doi          = {10.1007/978-3-642-36249-1\_1},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/CordyCHLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/FilieriT13,
  author       = {Antonio Filieri and
                  Giordano Tamburrelli},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Probabilistic Verification at Runtime for Self-Adaptive Systems},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {30--59},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_2},
  doi          = {10.1007/978-3-642-36249-1\_2},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/FilieriT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/GambiTP13,
  author       = {Alessio Gambi and
                  Giovanni Toffetti and
                  Mauro Pezz{\`{e}}},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Assurance of Self-adaptive Controllers for the Cloud},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {311--339},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_12},
  doi          = {10.1007/978-3-642-36249-1\_12},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GambiTP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/GarvinCD13,
  author       = {Brady J. Garvin and
                  Myra B. Cohen and
                  Matthew B. Dwyer},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Failure Avoidance in Configurable Systems through Feature Locality},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {266--296},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_10},
  doi          = {10.1007/978-3-642-36249-1\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GarvinCD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/GieseS13,
  author       = {Holger Giese and
                  Wilhelm Sch{\"{a}}fer},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Model-Driven Development of Safe Self-optimizing Mechatronic Systems
                  with MechatronicUML},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {152--186},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_6},
  doi          = {10.1007/978-3-642-36249-1\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GieseS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MetzgerSP13,
  author       = {Andreas Metzger and
                  Osama Sammodi and
                  Klaus Pohl},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Accurate Proactive Adaptation of Service-Oriented Systems},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {240--265},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_9},
  doi          = {10.1007/978-3-642-36249-1\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MetzgerSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/NafzSSR13,
  author       = {Florian Nafz and
                  Jan{-}Philipp Stegh{\"{o}}fer and
                  Hella Seebach and
                  Wolfgang Reif},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {80--111},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_4},
  doi          = {10.1007/978-3-642-36249-1\_4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/NafzSSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/PriesterjahnST13,
  author       = {Claudia Priesterjahn and
                  Dominik Steenken and
                  Matthias Tichy},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Timed Hazard Analysis of Self-healing Systems},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {112--151},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_5},
  doi          = {10.1007/978-3-642-36249-1\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/PriesterjahnST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/SalaunEPBC13,
  author       = {Gwen Sala{\"{u}}n and
                  Xavier Etchevers and
                  Noel De Palma and
                  Fabienne Boyer and
                  Thierry Coupaye},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Verification of a Self-configuration Protocol for Distributed Applications
                  in the Cloud},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {60--79},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_3},
  doi          = {10.1007/978-3-642-36249-1\_3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/SalaunEPBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/SteinbauerW13,
  author       = {Gerald Steinbauer and
                  Franz Wotawa},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {187--213},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_7},
  doi          = {10.1007/978-3-642-36249-1\_7},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/SteinbauerW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/lncs/7740,
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1},
  doi          = {10.1007/978-3-642-36249-1},
  isbn         = {978-3-642-36248-4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/7740.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.