Veröffentlichungen 2013.

Transkript

1 Veröffentlichungen 2015 (66) 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 (65) 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, (64) 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 Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014) (63) A. Chapko, A. Emrich, S. Flake, Frank Golatowski, Marc 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 IGI Global, Hershey, PA, USA, (62) 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 im Band 3 der Lecture Notes in Logistics, Springer-Verlag, Heidelberg, (61) 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 Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012). (60) S. Flake, H. Iscan, M. Ley, C. Schmülling, J. Tacken. Service Design Studio (SDS) 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

2 2011 (59) 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: Miguel-Angel Sicilia, Haluk Demirkan, Peter Géczy (Hrsg.), International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Band 2, Nummer 4. Seiten IGI Global, Hershey, PA, USA, (58) 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 Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011). (57) A. Chapko, A. Emrich, T. Feldmann, S. Flake, M. Gräßle, CarsC.ten 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), Detroit, Michigan, USA, August AIS Electronic Library. (56) 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 (55) 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 (54) 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 (53) 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 (52) F. Bormann, D. Fischer, S. Flake, J. Tacken. Anforderungen an die nutzungsabhängige 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 (51) 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 Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010). IEEE Computer Society Press, Los Alamitos, CA, USA. 2

3 2009 (50) 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 (49) 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 Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009). IEEE Computer Society Press, Los Alamitos, CA, USA (48) 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 (47) 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 (46) F. Bormann, S. Flake, J. Tacken, C. Zoth. Third-party-initiated Context-aware Realtime 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 (45) 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 (44) 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 (43) 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

4 (42) 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 (41) 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 (40) 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 Proceedings of the 20th IEEE International Conference on Advanced Information Networking and Applications (AINA 2006), Seiten IEEE Computer Society Press, Los Alamitos, CA, USA (39) 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 (38) 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 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, CA, USA. (37) 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 Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), Seiten IEEE Computer Society Press, Los Alamitos, CA, USA. (36) 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 (35) 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 (34) 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 Seiten SecuMedia Verlag, Gau-Algesheim, Deutschland,

5 2004 (33) 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 Seiten IEEE Computer Society Press, Los Alamitos, CA, USA. (32) S. Flake, W. Müller. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: «UML» The Unified Modeling Language. Modeling Languages and Applications (UML 2004), Lissabon, Portugal, Oktober Seiten im Band 3273 der Lecture Notes in Computer Science. Springer-Verlag, Heidelberg. (31) 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 Seiten im Band 3147 der Lecture Notes in Computer Science. Springer-Verlag, Heidelberg. (30) 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 Seiten Knowledge Systems Institute, Skokie, USA. (29) 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 Seiten Australian Computer Science Society, Sydney, Australien, (28) 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 Shaker Verlag, Aachen, ISBN (27) S. Flake. Modeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML. In: Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), Los Angeles, USA, November Seiten ACTA Press, Calgary, Kanada, (Best Paper Nomination) (26) S. Flake. OclType A Type or Metatype? In: Workshop OCL 2.0 Industry Standard or Scientific Playground?, «UML» 2003 Conference, San Francisco, USA, Oktober Seiten Electronic Notes in Theoretical Computer Science, Band 102. Elsevier, Amsterdam, Niederlande, (25) 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 Seiten Electronic Notes in Theoretical Computer Science, Band 102. Elsevier, Amsterdam, Niederlande,

6 (24) S. Flake. Temporal OCL Extensions for Specification of Real-Time Constraints (Position Paper). In: Workshop Specification and Validation of UML Models for Real Time Embedded Systems (SVERTS 2003), «UML» 2003 Conference, San Francisco, USA, Oktober (23) H. Giese, M. Tichy, S. Burmester, W. Schäfer, S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In: Proceedings of the 9th European Software Engineering Conference (ESEC 2003), Helsinki, Finnland, September Seiten ACM Press, New York, USA, (22) S. Flake, W. Müller. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. In: Journal on Software and Systems Modeling (SoSyM), Band 2, Nummer 4. Seiten Springer-Verlag, Heidelberg, Juli (21) S. Flake, W. Müller. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco, USA, Juli Seiten Knowledge Systems Institute, Skokie, USA, (20) S. Flake, W. Müller. Expressing Property Specification Patterns with OCL. In: Proceedings of the International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, USA, Juni Seiten CSREA Press, Las Vegas, NV, USA, (19) 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, September/Oktober Seiten im Band 2460 der Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, (Ausgewählt zur Journalveröffentlichung) (18) 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 Seiten IEEE Computer Society Press, Los Alamitos, CA, USA. (17) S. Flake, W. Müller. Temporale Erweiterungen der OCL Überblick und Aussichten. In: 2. Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, Halle(Saale), April (16) W. Dangelmaier, C. Darnedde, S. Flake, W. Müller, U. Pape, H. Zabel. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: Modelle im E-Business. Tagungsband der 4. Paderborner Frühjahrstagung, Paderborn, April ALB-HNI-Verlagsschriftenreihe, Band 8. (15) S. Flake, W. Müller. An OCL Extension for Real-Time Constraints. In: T. Clark, J. Warmer (Hrsg.), Object Modeling with the OCL. Seiten im Band 2263 der Lecture Notes in Computer Science. Springer-Verlag, Heidelberg,

7 (14) S. Flake, W. Müller. Specification of Real-Time Properties for UML Models. In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-35), Big Island, Hawaii, USA, Januar IEEE Computer Society Press, Los Alamitos, CA, USA. (Best Paper Nomination) 2001 (13) 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 (12) S. Flake, C. Geiger, W. Müller, V. Paelke, W. Rosenbach, J. Ruf. Customer-Oriented Systems Design through Virtual Prototypes. In: Proceedings of the 10th Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, Juni Seiten IEEE Computer Society Press, Los Alamitos, CA, USA. (11) 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 Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai, März Seiten ICSC Academic Press, Kanada, (10) S. Flake, W. Müller, U. Pape, J. Ruf. Analyzing Timing Constraints in Flexible Manufacturing Systems. In: International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM 2001), Dubai, März Seiten ICSC Academic Press, Kanada, (9) S. Flake, C. Geiger, V. Paelke. Agents for Realistic Usability Tests in Multi-User 3D Environments. In: Australian Conference on Computer-Human Interaction: Interfacing Reality in the New Millennium (OZCHI 2000), Sydney, Australien, Dezember (8) S. Flake. Eliminating Qualifier and Association Class Ambiguities from OCL. In: Workshop UML 2.0: The Future of the UML Object Constraint Language (OCL), «UML» 2000 Conference, York, Großbritannien, Oktober (7) S. Flake, W. Müller, U. Pape, J. Ruf. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. In: H. Schmidt (Hrsg.), GI-Fachtagung Modellierung betrieblicher Informationssysteme (MobIS 2000), Siegen, Oktober Seiten Rundbrief der GI-Fachgruppe 5.10, 7. Jahrgang, Heft 1, Oktober (6) 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), 2 nd International Symposium From Agent Theory to Agent Implementation, Wien, Österreich, April Seiten Austrian Society for Cybernetic Studies, Wien, Österreich,

8 (5) A. Braatz, S. Flake, W. Müller, E. Westkämper. Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. In: Simulation und Visualisierung 2000, Magdeburg, März Seiten SCS-Europe, Gent, Belgien, (4) S. Flake, W. Müller, J. Ruf. Structured English for Model Checking Specification. In: GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Frankfurt/M., Februar Seiten VDE Verlag, Berlin, (3) S. Flake, C. Geiger. CASA Structured Design of a Specification Language for Intelligent Agents. In: 5th Asian Computing Science Conference (ASIAN'99), Phuket, Thailand, Dezember Seiten im Band 1742 der Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, (2) 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 Systeme. In: B. Jung, J.-T. Milde, T. Uthmann (Hrsg.), Intelligente Virtuelle Umgebungen. Report 99/4 Situierte Künstliche Kommunikatoren, Universität Bielefeld, September Seiten (1) S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS'99), New York, USA, Juni Seiten IEEE Computer Society Press, Los Alamitos, CA, USA, 8