| 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 |
Prof. Dr. Wolfgang MuellerPaderborn UniversityVerified email at acm.org
