Publikationen

2015

• A. Rodríguez, S. Flake, M. Vasak, J. Herlev Nielsen. An Integrated Approach to Empowering Domestic Water Users. In: 26th IAHR World Congress 2015 (IAHR 2015), Den Haag, Niederlande, Juli 2015.
• B. Güldali, M. Rose, A. Teetz, S. Flake, C. Rust. Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität. In: 37. Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV), Friedrichshafen, Februar 2015.

2014

• T. John, C. Weskamp, L. Suhl, S. Flake, D. Kundisch, D. Freund, H. Jung. The Case for Modeling Consumer Choice Through an Adapted Total Cost of Ownership Approach. In: European Electric Vehicle Congress (EEVC-2014), Brüssel, Belgien, Dezember 2014.
• S. Flake, J. Tacken, C. Zoth. Real-time Billing as a Service - A standard-based proof-of-concept implementation. In: 8th IEEE International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2014), Barcelona, Spanien, September 2014. Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).

2013

• A. Chapko, A. Emrich, S. Flake, F. Golatowski, M. Gräßle, A. Kohlos, N. Laum, C. Lerche, C. Rust, J. Tacken, D. Werth, C. Zoth. uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain. In: P. Ordóñez de Pablos, R.D. Tennyson (Hrsg.), Best Practices and New Perspectives in Service Science and Management, Seiten 314 - 334, IGI Global, Hershey, PA, USA, 2013.
• S. Steinbuß, S. Flake, M. Ley, C. Schmülling, J. Tacken. Service Design Studio for SaaS. In: U. Clausen, M. ten Hompel, M. Klumpp (Hrsg.), Efficiency and Logistics. Seiten 229 - 236 im Band 3 der Lecture Notes in Logistics, Springer-Verlag, Heidelberg, 2013.

2012

• S. Steinbuß, S. Flake, M. Ley, C. Schmülling, J. Tacken. Service Design Studio for SaaS. In: U. Clausen, M. ten Hompel, M. Klumpp (Hrsg.), Efficiency and Logistics, Oktober 2012. Seiten 229 - 236 im Band 3 der Lecture Notes in Logistics, Springer-Verlag, Heidelberg, 2013.
• S. Flake, J. Tacken, C. Zoth. Real-time Rating and Charging in Federated Cloud Environments. In: 7th IEEE International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2012), Krakau, Polen, September 2012. Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
• S. Flake, H. Iscan, M. Ley, C. Schmülling, J. Tacken. The Execution Environment of the Service Design Studio. In: 17th International Conference of the Society for Design and Process Science (SDPS 2012), Session XIII: Service Platforms for Logistics, Berlin, Juni 2012.

2011

• A. Chapko, A. Emrich, S. Flake, F. Golatowski, M. Gräßle, A. Kohlos, N. Laum, C. Lerche, C. Rust, J. Tacken, D. Werth, C. Zoth. uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain. In: M.-A. Sicilia, H. Demirkan, P. Géczy (Hrsg.), International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), 2(4). Seiten 79 - 97. IGI Global, Hershey, PA, USA, 2011.
• A. Chapko, A. Emrich, S. Flake, M. Gräßle, N. Laum, C. Lerche, C. Rust, J. Tacken, A. Weber, D. Werth. User-Generated Mobile Services for Health and Fitness. In: 6th IEEE International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2011), Toulouse, Frankreich, September 2011. Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
• A. Chapko, A. Emrich, T. Feldmann, S. Flake, M. Gräßle, C. Rust, J. Tacken, D. Werth. uService - Enabling user-driven fitness services on-the-go. In: Proceedings of the American Conference on Information Systems (AMCIS-11), August 2011, Detroit, Michigan, USA. AIS Electronic Library.
• A. Chapko, A. Emrich, S. Flake, M. Gräßle, C. Rust, J. Tacken, D. Werth. Personalized and Situation-aware Recommendations for Runners. In: 15th Pacific Asia Conference on Information Systems (PACIS 2011), Brisbane, Australien, Juli 2011.
• M. Bevermeier, S. Flake, R. Haeb-Umbach, J. Stehr. A Platform for Efficient Supply Chain Management Support in Logistics. In: 8th International Workshop on Intelligent Transportation (WIT 2011), Hamburg, März 2011.

2010

• F. Bormann, S. Flake, J. Tacken. Obtaining Revenues from User Generated Mobile Services for Sport, Fitness and Health. In: FitByIT - IT-Dienste für Sport, Fitness und Gesundheit, Workshop auf der GI-Jahrestagung 2010, Leipzig, September 2010.
• A. Chapko, A. Emrich, S. Flake, F. Golatowski, M. Gräßle, P. Kösters, S. Prüter, C. Rust, J. Tacken, D. Werth. uRun – Der mobile Gesundheitscoach. In: FitByIT - IT-Dienste für Sport, Fitness und Gesundheit, Workshop auf der GI-Jahrestagung 2010, Leipzig, September 2010.
• F. Bormann, D. Fischer, S. Flake, J. Tacken. Anforderungen an die nutzungsab­hän­gige Abrechnung von Logistikdiensten in der Cloud. In: Logistics Clouds 2010 – Nutzung von Cloud Computing Services in der Logistik, Workshop auf der GI-Jahrestagung 2010, Leipzig, September 2010.
• A. Chapko, A. Emrich, S. Flake, F. Golatowski, S. Prüter, C. Rust, J. Tacken. Towards a Platform for User-Generated Mobile Services. In: 5th International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), Perth, Australien, April 2010. Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010). IEEE Computer Society Press, Los Alamitos, USA.

2009

• M. Bevermeier, D. Brukakis, D. Fischer, S. Flake, R. Häb-Umbach, T. Labuhn, S. Peschke, J. Stehr. Drahtlose Fahrzeug- und Laderaumüberwachung für Lkw mit Hilfe einer Maut-On-Board Unit. In: DGON Navigationskonvent 2009, Forum für Forschung und Anwendung aus dem Bereich der Ortung und Navigation, Berlin, Juli 2009.
• F. Bormann, A. Braun, S. Flake, J. Tacken. Towards a Policy and Charging Control Architecture for Online Charging. In: 4th International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009), Bradford, Großbritannien, Mai 2009. Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009). IEEE Computer Society Press, Los Alamitos, USA.

2008

• F. Bormann, S. Flake, J. Keiser, T. Kriengchaiyapru, Y. Nachite, J. Tacken. Easy Service Creation of Local Mobile Services on an Open SOA Platform. In: 17th ICT Mobile and Wireless Communications Summit (ICT-MobileSummit 2008), Stockholm, Schweden, Juni 2008.
• F. Bormann, S. Flake, J. Tacken. Business Models for Local Mobile Services enabled by Convergent Online Charging. I. Frigyes et al. (Ed.): Advances in Mobile and Wireless Communications – Views of the 16th IST Mobile and Wireless Communications Summit, Springer, Juni 2008.
• F. Bormann, S. Flake, J. Tacken, C. Zoth. Third-party-initiated Context-aware Real-time Charging and Billing on an Open SOA Platform. In: 3rd International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2008), Ginowan, Okinawa, Japan, März 2008.

2007

• F. Bormann, S. Flake, J. Tacken. Business Models for Local Mobile Services Enabled by Convergent Online Charging. In: 16th IST Mobile and Wireless Communications Summit, Budapest, Ungarn, Juli 2007.
• F. Bormann, S. Flake, J. Tacken. Convergent Online Charging for Context-aware Mobile Services. In: 2nd International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2007), Niagara Falls, Kanada, Mai 2007.

2006

• J.-L. Dépinay, S. Flake, A. Mauhourat, C. Rust. Design of an Application Management Framework for Trusted Personal Devices. In: e-Smart Conference & Demos 2006, 7th Edition, Sophia Antipolis, Frankreich, September 2006.
• F. Bormann, H. Dietrich, S. Flake, C. Rust. Implementing Mobile DRM on Trusted Personal Devices. In: e-Smart Conference & Demos 2006, 7th Edition, Sophia Antipolis, Frankreich, September 2006.
• F. Bormann, S. Flake, J. Tacken, C. Zoth. Towards the Integration of Trusted Personal Devices into Mobile DRM Systems. In: 15th IST Mobile and Wireless Communications Summit, Mykonos, Griechenland, Juni 2006.
• D. Fischer, S. Flake, T. Janssen, J. Tacken. A Service Creation Environment for Interactive, Menu-driven Mobile Services. In: 1st International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2006) Wien, Österreich, April 2006. Proceedings of the 20th IEEE International Conference on Advanced Information Networking and Applications (AINA 2006), Seiten 524 – 528. IEEE Computer Society Press, Los Alamitos, USA.

2005

• H.-J. Eikerling, S. Flake. A Federated Services Concept for Advanced Personalization in Convergent Environments. In: Convergence & Seamless Mobility, 15th Meeting of the Wireless World Research Forum (WWRF), Paris, Frankreich, Dezember 2005.
• J. Tacken, S. Flake, C. Zoth. Mobile DRM in Pervasive Networking Environments. In: 1st Workshop on Trust and Security in Pervasive Networking (PervasiveTrust 2005), Athen, Griechenland, September 2005. Proceedings of the IEEE/CreateNet Workshops of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks. IEEE Computer Society Press, Los Alamitos, USA.
• M. Soriano, S. Flake, J. Tacken, F. Bormann, J. Tomàs. Mobile Digital Rights Management: Security Requirements and Copy Detection Mechanisms. In: 1st International Workshop on Secure and Ubiquitous Networks (SUN’05), Kopenhagen, Dänemark, August 2005. Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), Seiten 251 – 256. IEEE Computer Society Press, Los Alamitos, USA.
• F. Bormann, S. Flake, J. Tacken, C. Zoth. Towards Context-Aware Service Discovery: A Case Study for a new Advice of Charge Service. In: 14th IST Mobile and Wireless Communications Summit, Dresden, Juni 2005.
• H.-J. Eikerling, S. Flake, R. Schäfer. Customization of Secured Ubiquitous Environments via Advanced Profile Management. In: 14th IST Mobile and Wireless Communications Summit, Dresden, Juni 2005.
• S. Flake, M. Runowski, J. Tacken. Mobiles DRM in ubiquitären Umgebungen. In: IT-Sicherheit geht alle an! Tagungband zum 9. Deutschen IT-Sicherheitskongress, Bundesamt für Sicherheit in der Informationstechnik (BSI), Bonn-Bad Godesberg, Mai 2004. Seiten 173 – 187. SecuMedia Verlag, Gau-Algesheim, Deutschland, 2005.

2004

• S. Flake, W. Müller. Past- and Future-Oriented Temporal Time-Bounded Properties with OCL. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Peking, China, September 2004. Seiten 154 – 163. IEEE Computer Society Press, Los Alamitos, USA.
• S. Flake, W. Müller. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications (UML 2004), Lissabon, Portugal, Oktober 2004. Lec­ture Notes in Com­puter Science, Band 3273, Seiten 226 – 240, Springer-Verlag, Heidelberg.
• S. Flake, W. Müller, U. Pape, J. Ruf. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, September 2004. Lec­ture Notes in Com­puter Science, Band 3147, Seiten 206 – 226, Springer-Verlag, Heidelberg.
• S. Flake. Enhancing the Message Concept of the Object Constraint Language. In: Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Kanada, Juni 2004. Seiten 161 – 166. Knowledge Systems Institute, Skokie, USA.
• S. Flake. Towards the Completion of the Formal Semantics of OCL 2.0. In: Proceedings of the 27th Australasian Computer Science Conference (ACSC 2004), Dunedin, Neuseeland, Januar 2004. Seiten 73 – 82. Australian Computer Science Society, Sydney, Australien, 2004.

2003

• S. Flake. UML-Based Specification of State-Oriented Real-Time Properties. Dissertation. Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik. C-LAB Publication, Band 16, Dezember 2003. Shaker Verlag, Aachen, 2004. ISBN 3-8322-2312-6.
• S. Flake. Modeling and Verification of Manufacturing Systems: A Domain-Specific For­mal­ization of UML. In: Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), Los Angeles, USA, November 2003. Seiten 580 – 586. ACTA Press, Calgary, Kanada, 2003. (Best Paper Nomination)
• S. Flake. OclType – A Type or Metatype? In: Workshop “OCL 2.0 – Industry Stan­dard or Scientific Playground?“, «UML» 2003 Conference, San Francisco, USA, Oktober 2003. Seiten 63 – 75. Electronic Notes in Theoretical Computer Science, Band 102. Elsevier, Amsterdam, Niederlande, 2004.
• S. Flake, W. Müller. Formal Semantics of OCL Messages. In: Workshop “OCL 2.0 – Industry Standard or Scientific Playground?”, «UML» 2003 Conference, San Francisco, USA, Oktober 2003. Seiten 77 – 97. Electronic Notes in Theoretical Computer Science, Band 102. Elsevier, Amsterdam, Niederlande, 2004.
• S. Flake. Temporal OCL Extensions for Specification of Real-Time Constraints (Posi­tion Paper). In: Workshop “Specification and Validation of UML Models for Real Time Embedded Systems (SVERTS 2003)”, «UML» 2003 Conference, San Francisco, USA, Okto­ber 2003.
• H. Giese, M. Tichy, S. Burmester, W. Schäfer, S. Flake. Towards the Compositional Verifi­cation of Real-Time UML Designs. In: Proceedings of the 9th European Soft­ware Engineering Con­fer­ence (ESEC 2003), Helsinki, Finnland, September 2003. Seiten 38 – 47. ACM Press, New York, USA, 2003.
• S. Flake, W. Müller. Formal Semantics of Static and Temporal State-Oriented OCL Con­straints. In: Journal on Software and Systems Modeling (SoSyM), Band 2, Num­mer 4. Seiten 164 – 186. Springer-Verlag, Heidel­berg, Juli 2003.
• S. Flake, W. Müller. Semantics of State-Oriented Expressions in the Object Con­straint Lan­guage. In: Proceedings of the 15th International Conference on Software Engineer­ing and Knowl­edge En­gineering (SEKE 2003), San Francisco, USA, Juli 2003. Seiten 142 – 149. Knowledge Systems Institute, Skokie, USA, 2003.
• S. Flake, W. Müller. Expressing Property Specification Patterns with OCL. In: Proceed­ings of the Interna­tional Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, USA, Juni 2003. Seiten 595 – 601. CSREA Press, Las Vegas, NV, USA, 2003.

2002

• S. Flake, W. Müller. A UML Profile for Real-Time Constraints with the OCL. In: «UML» 2002 – The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Dresden, Septem­ber/Oktober 2002. Lec­ture Notes in Com­puter Science, Band 2460, Seiten 179 – 195, Springer-Verlag, Heidelberg, 2002. (Ausgewählt zur Journalveröffentlichung)
• S. Flake. Real-Time Constraints with the OCL (Position Paper). In: Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2002), Crystal City, VA, USA, April 2002. Seiten 425 – 426. IEEE Computer Society, Los Alamitos, USA, 2002.
• S. Flake, W. Müller. Temporale Erweiterungen der OCL – Überblick und Aus­sich­ten. In: 2. Workshop „Ablaufmodellierung in ingenieurwissenschaftlichen Anwen­dungen“, Halle(Saale), April 2002.
• W. Dangelmaier, C. Darnedde, S. Flake, W. Müller, U. Pape, H. Zabel. Graphische Spezi­fika­tion und Echtzeitverifikation von Produktions­auto­matisierungs­systemen. In: Modelle im E-Business. Tagungsband der 4. Paderborner Frühjahrstagung, Paderborn, April 2002. ALB-HNI-Verlagsschriftenreihe, Band 8, Paderborn, 2002.
• S. Flake, W. Müller. An OCL Extension for Real-Time Constraints. In: T. Clark, J. Warmer (Hrsg.), Object Modeling with the OCL. Lecture Notes in Com­puter Science, Band 2263, Seiten 150 – 171, Springer-Verlag, Heidelberg, 2002.
• S. Flake, W. Müller. Specification of Real-Time Properties for UML Models. In: Pro­cee­d­ings of the Hawaii International Conference on System Sciences (HICSS-35), Big Island, Hawaii, USA, Januar 2002. IEEE Computer Society, Los Alamitos, USA, 2002. (Best Paper Nomination)

2001

• S. Flake, W. Müller. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. In: 1. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”, Berlin, September 2001.
• S. Flake, C. Geiger, W. Müller, V. Paelke, W. Rosenbach, J. Ruf. Customer-Oriented Sys­tems Design through Virtual Prototypes. In: Proceedings of the 10th Int. Work­shop on Enabling Techno­logies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, Juni 2001. Seiten 263 – 268. IEEE Computer Soci­ety, Los Ala­mitos, USA, 2001.
• S. Flake, C. Geiger, J.M. Küster. Towards UML-based Analysis and Design of Multi-Agent Systems. In: International NAISO Symposium on Information Science Innovations in Engi­neering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai, März 2001. Seiten 695 – 701. ICSC Academic Press, Kanada, 2001.
• S. Flake, W. Müller, U. Pape, J. Ruf. Analyzing Timing Constraints in Flexible Manu­fac­turing Systems. In: International NAISO Symposium on Information Science Innova­tions in Intelligent Automated Manufacturing (IAM 2001), Dubai, März 2001. Seiten 1036 – 1042. ICSC Academic Press, Kanada, 2001.

2000

• S. Flake, C. Geiger, V. Paelke. Agents for Realistic Usability Tests in Multi-User 3D Envi­ronments. In: Australian Conference on Computer-Human Interaction: Inter­facing Reality in the New Millennium (OZCHI 2000), Sydney, Australien, Dezember 2000.
• S. Flake. Eliminating Qualifier and Association Class Ambiguities from OCL. In: Work­shop “UML 2.0: The Future of the UML Object Constraint Language (OCL)“, «UML» 2000 Conference, York, Großbritannien, Okto­ber 2000.
• S. Flake, W. Müller, U. Pape, J. Ruf. Modellprüfung für den Entwurf von Ferti­gungs­­steue­rungs­systemen. In: H. Schmidt (Hrsg.), GI-Fachtagung „Modellierung betrieblicher Infor­ma­tions­­sys­teme“ (MobIS 2000), Siegen, Oktober 2000. Seiten 251 – 264. Rundbrief der GI-Fachgruppe 5.10, 7. Jahrgang, Heft 1, Oktober 2000.
• S. Flake, C. Geiger. Agents with Complex Plans: Design and Implementation of CASA. In: Proceedings of the 15th European Meeting on Cybernetics and Systems Research (EMCSR 2000), 2nd International Symposium “From Agent Theory to Agent Implemen­tation”, Wien, Österreich, April 2000. Seiten 627 – 632. Austrian Society for Cybernetic Studies, Wien, Österreich, 2000.
• A. Braatz, S. Flake, W. Müller, E. Westkämper. Prototyping einer Fahrzeug­steue­rung in virtueller 3D-Umgebung. In: Simulation und Visualisierung 2000, Magde­burg, März 2000. Seiten 319 – 332. SCS-Europe, Gent, Belgien, 2000.
• S. Flake, W. Müller, J. Ruf. Structured English for Model Checking Specification. In: GI/ITG/GMM-Workshop „Methoden und Beschreibungssprachen zur Model­lie­rung und Verifikation von Schaltungen und Systemen“, Frankfurt/M., Februar 2000. Seiten 99 – 108. VDE Verlag, Berlin, 2000.

1999

• S. Flake, C. Geiger. CASA – Structured Design of a Specification Language for Intelli­gent Agents. In: Proceedings of the 5th Asian Computing Science Conference (ASIAN'99), Phuket, Thailand, Dezember 1999. Lecture Notes in Com­puter Science, Band 1742, Seiten 373 – 374, Springer-Verlag, Heidelberg, 1999. (erweiterte Version verfügbar)
• M. Dücker, S. Flake, C. Geiger, W. Müller, V. Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, S. Zelder. Wissensbasierte Konzepte und visuelle interaktive Sys­teme. In: B. Jung, J.-T. Milde, T. Uthmann (Hrsg.), Intelligente Virtuelle Umgebun­gen, Workshop im Rahmen der 23. Deutschen Jahrestagung für Künstliche Intelligenz (KI-99), Bonn, September 1999. Report 99/4 – Situierte Künstliche Kommunikatoren, Seiten 38 – 45, Universität Bielefeld, September 1999.
• S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke. Agent-Based Modeling for Holo­nic Manufacturing Systems with Fuzzy Control. In: Proceedings of the 18th In­ter­national Conference of the North American Fuzzy Information Processing Soci­ety (NAFIPS'99), New York, USA, Juni 1999. Seiten 273 – 277, IEEE Compu­ter Soci­ety, Los Alamitos, USA, 1999.