Bernd Spanfelner
Bernd Spanfelner
Specification and analysis of adaptive systems.
2015
Technical University Munich
https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20150619-1231093-1-1
https://d-nb.info/1076866182
Christian Leuxner
Wassiou Sitou
Bernd Spanfelner
A Formal Model for Work Flows.
135-144
2010
SEFM
https://doi.org/10.1109/SEFM.2010.27
https://doi.ieeecomputersociety.org/10.1109/SEFM.2010.27
conf/sefm/2010
db/conf/sefm/sefm2010.html#LeuxnerSS10
Javier Esparza
Bernd Spanfelner
Orna Grumberg
Logics and Languages for Reliability and Security
Logics and Languages for Reliability and Security
2010
IOS Press
NATO Science for Peace and Security Series - D: Information and Communication Security
25
978-1-60750-099-5
http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080
db/series/natosec/natosec25.html
Bernd Spanfelner
Christian Leuxner
Wassiou Sitou
Formal specification of system functions.
26-31
2009
MiSE@ICSE
https://doi.org/10.1109/MISE.2009.5069893
https://doi.ieeecomputersociety.org/10.1109/MISE.2009.5069893
conf/icse/2009mise
db/conf/icse/mise2009.html#SpanfelnerLS09
Manfred Broy
Christian Leuxner
Wassiou Sitou
Bernd Spanfelner
Sebastian Winter
Formalizing the notion of adaptive system behavior.
1029-1033
2009
SAC
https://doi.org/10.1145/1529282.1529508
conf/sac/2009
db/conf/sac/sac2009.html#BroyLSSW09
Cornel Klein
Reiner N. Schmid
Christian Leuxner
Wassiou Sitou
Bernd Spanfelner
A Survey of Context Adaptation in Autonomic Computing.
106-111
2008
ICAS
https://doi.org/10.1109/ICAS.2008.23
https://doi.ieeecomputersociety.org/10.1109/ICAS.2008.23
conf/icas/2008
db/conf/icas/icas2008.html#KleinSLSS08
Matthias Rungger
Olaf Stursberg
Bernd Spanfelner
Christian Leuxner
Wassiou Sitou
Efficient Planning of Autonomous Robots using Hierarchical Decomposition.
262-267
2008
ICINCO-RA (1)
conf/icinco/2008ra1
db/conf/icinco/icinco2008-ra1.html#RunggerSSLS08
Wassiou Sitou
Bernd Spanfelner
Towards Requirements Engineering for Context Adaptive Systems.
593-600
2007
conf/compsac/2007-2
COMPSAC (2)
https://doi.org/10.1109/COMPSAC.2007.223
https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.223
db/conf/compsac/compsac2007-2.html#SitouS07
Michael Fahrmair
Wassiou Sitou
Bernd Spanfelner
Privacy Management for Context Transponders.
14
2007
conf/saint/2007w
SAINT Workshops
https://doi.org/10.1109/SAINT-W.2007.86
https://doi.ieeecomputersociety.org/10.1109/SAINT-W.2007.86
db/conf/saint/saint2007w.html#FahrmairSS07
Michael Fahrmair
Bernd Spanfelner
Wassiou Sitou
Unwanted Behavior and its Impact on Adaptive Systems in Ubiquitous Computing.
36-41
2006
conf/lwa/2006
LWA
http://web1.bib.uni-hildesheim.de/edocs/2007/522004539/meta/
db/conf/lwa/lwa2006.html#FahrmairSS06
Michael Fahrmair
Wassiou Sitou
Bernd Spanfelner
An Engineering Approach to Adaptation and Calibration.
134-147
2005
conf/mrco/2005
MRC
https://doi.org/10.1007/11740674_9
db/conf/mrco/mrc2005.html#FahrmairSS05
Eiman Mohyeldin
Michael Fahrmair
Wassiou Sitou
Bernd Spanfelner
A generic framework for context aware and adaptation behaviour of reconfigurable systems.
1957-1963
2005
PIMRC
https://doi.org/10.1109/PIMRC.2005.1651782
conf/pimrc/2005
db/conf/pimrc/pimrc2005.html#MohyeldinFSS05
Manfred Broy
Javier Esparza
Michael Fahrmair
Orna Grumberg
Cornel Klein
Christian Leuxner
Eiman Mohyeldin
Matthias Rungger
Reiner N. Schmid
Wassiou Sitou
Olaf Stursberg
Sebastian Winter