Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bernd Spanfelner
@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} }
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.