Bernd Spanfelner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SEFM | A Formal Model for Work Flows. | Christian Leuxner, Wassiou Sitou, Bernd Spanfelner |
| 2009 | ICSE | Formal specification of system functions. | Bernd Spanfelner, Christian Leuxner, Wassiou Sitou |
| 2009 | SAC | Formalizing the notion of adaptive system behavior. | Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter |
| 2008 | ICINCO | Efficient Planning of Autonomous Robots using Hierarchical Decomposition. | Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou |
| 2007 | COMPSAC | Towards Requirements Engineering for Context Adaptive Systems. | Wassiou Sitou, Bernd Spanfelner |
| 2005 | PIMRC | A generic framework for context aware and adaptation behaviour of reconfigurable systems. | Eiman Mohyeldin, Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner |