Towards the compositional verification of real-time uml designs H Giese, M Tichy, S Burmester, W Schäfer, S Flake Proceedings of the 9th European software engineering conference held jointly …, 2003 | 226 | 2003 |
An OCL extension for real-time constraints S Flake, W Mueller Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002 | 108 | 2002 |
Formal semantics of static and temporal state-oriented OCL constraints S Flake, W Mueller Software & Systems Modeling 2, 164-186, 2003 | 53 | 2003 |
A UML profile for real-time constraints with the OCL S Flake, W Mueller International Conference on the Unified Modeling Language, 179-195, 2002 | 49 | 2002 |
Structured English for Model Checking Specification. S Flake, W Müller, J Ruf MBMV, 99-108, 2000 | 46 | 2000 |
Past-and future-oriented time-bounded temporal properties with OCL S Flake, W Mueller Proceedings of the Second International Conference on Software Engineering …, 2004 | 30 | 2004 |
Towards UML-based analysis and design of multi-agent systems S Flake, C Geiger, JM Küster Proceedings of ENAIS, 2001 | 27 | 2001 |
Specification of real-time properties for UML models S Flake, W Mueller Proceedings of the 35th Annual Hawaii International Conference on System …, 2002 | 26 | 2002 |
Business models for local mobile services enabled by convergent online charging FC Bormann, S Flake, J Tacken 2007 16th IST Mobile and Wireless Communications Summit, 1-5, 2007 | 25 | 2007 |
Temporal OCL extensions for specification of real-time constraints S Flake Workshop Specification and Validation of UML models for Real Time and …, 2003 | 25 | 2003 |
Towards context-aware service discovery: A case study for a new advice of charge service F Bormann, S Flake, J Tacken, C Zoth 14th IST Mobile and Wireless Communications Summit, 2005 | 22 | 2005 |
Towards the Completion of the Formal Semantics of OCL 2.0 S Flake Proceedings of the 27th Australasian conference on Computer science-Volume …, 2004 | 22 | 2004 |
Agent-based modeling for holonic manufacturing systems with fuzzy control S Flake, C Geiger, G Lehrenfeld, W Mueller, V Paelke 18th International Conference of the North American Fuzzy Information …, 1999 | 20 | 1999 |
Towards a platform for user-generated mobile services J Tacken, S Flake, F Golatowski, S Prüter, C Rust, A Chapko, A Emrich 2010 IEEE 24th International Conference on Advanced Information Networking …, 2010 | 18 | 2010 |
Enhancing the Message Concept of the Object Constraint Language. S Flake SEKE 4, 161-166, 2004 | 17 | 2004 |
An ASM definition of the dynamic OCL 2.0 semantics S Flake, W Mueller International Conference on the Unified Modeling Language, 226-240, 2004 | 15 | 2004 |
Convergent online charging for context-aware mobile services F Bormann, S Flake, J Tacken 21st International Conference on Advanced Information Networking and …, 2007 | 14 | 2007 |
Mobile digital rights management: Security requirements and copy detection mechanisms M Soriano, S Flake, J Tacken, F Bormann, J Tomàs 16th International Workshop on Database and Expert Systems Applications …, 2005 | 14 | 2005 |
Third-party-initiated Context-aware Real-time Charging and Billing on an Open SOA Platform FC Bormann, S Flake, J Tacken, C Zoth 22nd International Conference on Advanced Information Networking and …, 2008 | 13 | 2008 |
Expressing Property Specification Patterns with OCL. S Flake, W Mueller Software engineering research and practice, 595-603, 2003 | 13 | 2003 |