BibTeX records: Bernd Spanfelner

download as .bib file

@phdthesis{DBLP:phd/dnb/Spanfelner15,
  author       = {Bernd Spanfelner},
  title        = {Specification and analysis of adaptive systems},
  school       = {Technical University Munich},
  year         = {2015},
  url          = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20150619-1231093-1-1},
  urn          = {urn:nbn:de:bvb:91-diss-20150619-1231093-1-1},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Spanfelner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LeuxnerSS10,
  author       = {Christian Leuxner and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Formal Model for Work Flows},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.27},
  doi          = {10.1109/SEFM.2010.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/LeuxnerSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/25,
  editor       = {Javier Esparza and
                  Bernd Spanfelner and
                  Orna Grumberg},
  title        = {Logics and Languages for Reliability and Security},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {25},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
  isbn         = {978-1-60750-099-5},
  timestamp    = {Wed, 14 Mar 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SpanfelnerLS09,
  author       = {Bernd Spanfelner and
                  Christian Leuxner and
                  Wassiou Sitou},
  title        = {Formal specification of system functions},
  booktitle    = {{ICSE} Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver,
                  BC, Canada, May 17-18, 2009},
  pages        = {26--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/MISE.2009.5069893},
  doi          = {10.1109/MISE.2009.5069893},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/SpanfelnerLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BroyLSSW09,
  author       = {Manfred Broy and
                  Christian Leuxner and
                  Wassiou Sitou and
                  Bernd Spanfelner and
                  Sebastian Winter},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Formalizing the notion of adaptive system behavior},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1029--1033},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529508},
  doi          = {10.1145/1529282.1529508},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BroyLSSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icas/KleinSLSS08,
  author       = {Cornel Klein and
                  Reiner N. Schmid and
                  Christian Leuxner and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  title        = {A Survey of Context Adaptation in Autonomic Computing},
  booktitle    = {Fourth International Conference on Autonomic and Autonomous Systems,
                  {ICAS} 2008, 16-21 March 2008, Gosier, Guadeloupe},
  pages        = {106--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICAS.2008.23},
  doi          = {10.1109/ICAS.2008.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icas/KleinSLSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/RunggerSSLS08,
  author       = {Matthias Rungger and
                  Olaf Stursberg and
                  Bernd Spanfelner and
                  Christian Leuxner and
                  Wassiou Sitou},
  editor       = {Joaquim Filipe and
                  Juan Andrade{-}Cetto and
                  Jean{-}Louis Ferrier},
  title        = {Efficient Planning of Autonomous Robots using Hierarchical Decomposition},
  booktitle    = {{ICINCO} 2008, Proceedings of the Fifth International Conference on
                  Informatics in Control, Automation and Robotics, Robotics and Automation
                  1, Funchal, Madeira, Portugal, May 11-15, 2008},
  pages        = {262--267},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Mon, 07 Sep 2009 11:01:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icinco/RunggerSSLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SitouS07,
  author       = {Wassiou Sitou and
                  Bernd Spanfelner},
  title        = {Towards Requirements Engineering for Context Adaptive Systems},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
  pages        = {593--600},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.223},
  doi          = {10.1109/COMPSAC.2007.223},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SitouS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/FahrmairSS07,
  author       = {Michael Fahrmair and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  title        = {Privacy Management for Context Transponders},
  booktitle    = {2007 International Symposium on Applications and the Internet - Workshops
                  {(SAINT} 2007 Workshops), 15-19 January 2007, Hiroshima, Japan},
  pages        = {14},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SAINT-W.2007.86},
  doi          = {10.1109/SAINT-W.2007.86},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/FahrmairSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/FahrmairSS06,
  author       = {Michael Fahrmair and
                  Bernd Spanfelner and
                  Wassiou Sitou},
  editor       = {Klaus{-}Dieter Althoff and
                  Martin Schaaf},
  title        = {Unwanted Behavior and its Impact on Adaptive Systems in Ubiquitous
                  Computing},
  booktitle    = {{LWA} 2006: Lernen - Wissensentdeckung - Adaptivit{\"{a}}t, Hildesheim,
                  Deutschland, October 9th-11th 2006, joint workshop event of several
                  interest groups of the German Society for Informatics {(GI)} - 14th
                  Workshop on Adaptivity and User Modeling in Interactive Systems {(ABIS}
                  2006) - Workshop Information Retrieval 2006 of the Special Interest
                  Group Information Retrieval {(FGIR} 2006) - Workshop on Knowledge
                  and Experience Management {(FGWM} 2006) - 12th Workshop on Knowledge
                  Discovery, Data Mining, and Machine Learning {(KDML} 2006)},
  series       = {Hildesheimer Informatik-Berichte},
  volume       = {1/2006},
  pages        = {36--41},
  publisher    = {University of Hildesheim, Institute of Computer Science},
  year         = {2006},
  url          = {http://web1.bib.uni-hildesheim.de/edocs/2007/522004539/meta/},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lwa/FahrmairSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mrco/FahrmairSS05,
  author       = {Michael Fahrmair and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  editor       = {Thomas Roth{-}Berghofer and
                  Stefan Schulz and
                  David B. Leake},
  title        = {An Engineering Approach to Adaptation and Calibration},
  booktitle    = {Modeling and Retrieval of Context, Second International Workshop,
                  {MRC} 2005, Edinburgh, UK, July 31 - August 1, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3946},
  pages        = {134--147},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11740674\_9},
  doi          = {10.1007/11740674\_9},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mrco/FahrmairSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/MohyeldinFSS05,
  author       = {Eiman Mohyeldin and
                  Michael Fahrmair and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  title        = {A generic framework for context aware and adaptation behaviour of
                  reconfigurable systems},
  booktitle    = {Proceedings of the {IEEE} 16th International Symposium on Personal,
                  Indoor and Mobile Radio Communications, Berlin, Germany, September
                  11-14, 2005},
  pages        = {1957--1963},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/PIMRC.2005.1651782},
  doi          = {10.1109/PIMRC.2005.1651782},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/pimrc/MohyeldinFSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics