BibTeX records: Stephan Flake

download as .bib file

@article{DBLP:journals/stt/GuldaliRTFR15,
  author       = {Baris G{\"{u}}ldali and
                  Mirko Rose and
                  Alexander Teetz and
                  Stephan Flake and
                  Carsten Rust},
  title        = {Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur
                  f{\"{u}}r Elektromobilit{\"{a}}t},
  journal      = {Softwaretechnik-Trends},
  volume       = {35},
  number       = {1},
  year         = {2015},
  url          = {http://pi.informatik.uni-siegen.de/stt/35\_1/01\_Fachgruppenberichte/TAV/5\_SmartEM-Testen\_Final.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/GuldaliRTFR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FlakeTZ14,
  author       = {Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Carsten Zoth},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {Real-time billing as a service - {A} standard-based proof-of-concept
                  implementation},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005284},
  doi          = {10.1109/ETFA.2014.7005284},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/FlakeTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FlakeTZ12,
  author       = {Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Carsten Zoth},
  title        = {Real-time rating and charging in federated cloud environments},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489791},
  doi          = {10.1109/ETFA.2012.6489791},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/FlakeTZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssmet/ChapkoEFGGKLLRTWZ11,
  author       = {Alexandra Chapko and
                  Andreas Emrich and
                  Stephan Flake and
                  Frank Golatowski and
                  Marc Gr{\"{a}}{\ss}le and
                  Andreas Kohlos and
                  Nico Laum and
                  Christian Lerche and
                  Carsten Rust and
                  J{\"{u}}rgen Tacken and
                  Dirk Werth and
                  Carsten Zoth},
  title        = {uRun: {A} Framework for User-Generated Mobile Services in the Health
                  and Fitness Domain},
  journal      = {Int. J. Serv. Sci. Manag. Eng. Technol.},
  volume       = {2},
  number       = {4},
  pages        = {79--97},
  year         = {2011},
  url          = {https://doi.org/10.4018/IJSSMET.2011100108},
  doi          = {10.4018/IJSSMET.2011100108},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijssmet/ChapkoEFGGKLLRTWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/ChapkoEGFWTFR11,
  author       = {Alexandra Chapko and
                  Andreas Emrich and
                  Marc Gr{\"{a}}{\ss}le and
                  Tatjana Feldmann and
                  Dirk Werth and
                  J{\"{u}}rgen Tacken and
                  Stephan Flake and
                  Carsten Rust},
  editor       = {Vallabh Sambamurthy and
                  Mohan Tanniru},
  title        = {uService - Enabling user-driven fitness services on-the-go},
  booktitle    = {A Renaissance of Information Technology for Sustainability and Global
                  Competitiveness. 17th Americas Conference on Information Systems,
                  {AMCIS} 2011, Detroit, Michigan, USA, August 4-8 2011},
  publisher    = {Association for Information Systems},
  year         = {2011},
  url          = {http://aisel.aisnet.org/amcis2011\_submissions/391},
  timestamp    = {Tue, 03 Jan 2012 09:17:07 +0100},
  biburl       = {https://dblp.org/rec/conf/amcis/ChapkoEGFWTFR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacis/EmrichCGWFTR11,
  author       = {Andreas Emrich and
                  Alexandra Chapko and
                  Marc Gr{\"{a}}{\ss}le and
                  Dirk Werth and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Carsten Rust},
  editor       = {Peter B. Seddon and
                  Shirley Gregor},
  title        = {Personalized And Situation-Aware Recommendations For Runners},
  booktitle    = {Pacific Asia Conference on Information Systems, {PACIS} 2011: Quality
                  Research in Pacific Asia, Brisbane, Queensland, Australia, 7-11 July
                  2011},
  pages        = {58},
  publisher    = {Queensland University of Technology},
  year         = {2011},
  url          = {http://aisel.aisnet.org/pacis2011/58},
  timestamp    = {Tue, 28 Feb 2012 16:51:40 +0100},
  biburl       = {https://dblp.org/rec/conf/pacis/EmrichCGWFTR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/TackenFGPRCE10,
  author       = {J{\"{u}}rgen Tacken and
                  Stephan Flake and
                  Frank Golatowski and
                  Steffen Pr{\"{u}}ter and
                  Carsten Rust and
                  Alexandra Chapko and
                  Andreas Emrich},
  title        = {Towards a Platform for User-Generated Mobile Services},
  booktitle    = {24th {IEEE} International Conference on Advanced Information Networking
                  and Applications Workshops, {WAINA} 2010, Perth, Australia, 20-13
                  April 2010},
  pages        = {532--538},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/WAINA.2010.77},
  doi          = {10.1109/WAINA.2010.77},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/TackenFGPRCE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/RustKCEGWFTGP10,
  author       = {Carsten Rust and
                  Petra K{\"{o}}sters and
                  Alexandra Chapko and
                  Andreas Emrich and
                  Marc Gr{\"{a}}{\ss}le and
                  Dirk Werth and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Frank Golatowski and
                  Steffen Pr{\"{u}}ter},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {uRun - Der mobile Gesundheitscoach},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 1},
  series       = {{LNI}},
  volume       = {{P-175}},
  pages        = {9--14},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19186},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/RustKCEGWFTGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BormannFT10,
  author       = {Frank Bormann and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Obtaining Revenues from User Generated Mobile Services for Sport,
                  Fitness and Health},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 1},
  series       = {{LNI}},
  volume       = {{P-175}},
  pages        = {21--26},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19208},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BormannFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BormannFFT10,
  author       = {Frank Bormann and
                  Dirk Fischer and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Anforderungen an die nutzungsabh{\"{a}}ngige Abrechnung von Logistikdiensten
                  in der Cloud},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 1},
  series       = {{LNI}},
  volume       = {{P-175}},
  pages        = {317--322},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19222},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BormannFFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BormannBFT09,
  author       = {Frank Bormann and
                  Andre Braun and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken},
  title        = {Towards a Policy and Charging Control Architecture for Online Charging},
  booktitle    = {23rd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2009, Workshops Proceedings, Bradford, United
                  Kingdom, May 26-29, 2009},
  pages        = {524--530},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WAINA.2009.25},
  doi          = {10.1109/WAINA.2009.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/BormannBFT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BormannFTZ08,
  author       = {Frank Bormann and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Carsten Zoth},
  title        = {Third-Party-Initiated Context-Aware Real-Time Charging and Billing
                  on an Open {SOA} Platform},
  booktitle    = {22nd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa,
                  Japan, March 25-28, 2008},
  pages        = {1375--1380},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/WAINA.2008.83},
  doi          = {10.1109/WAINA.2008.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/BormannFTZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BormannFT07,
  author       = {Frank Bormann and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken},
  title        = {Convergent Online Charging for Context-Aware Mobile Services},
  booktitle    = {21st International Conference on Advanced Information Networking and
                  Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23,
                  2007, Niagara Falls, Canada},
  pages        = {983--988},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/AINAW.2007.133},
  doi          = {10.1109/AINAW.2007.133},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/BormannFT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/TackenJFF06,
  author       = {J{\"{u}}rgen Tacken and
                  Thorben Janssen and
                  Stephan Flake and
                  Dirk Fischer},
  title        = {A Service Creation Environment for interactive, menu-driven Mobile
                  Services},
  booktitle    = {20th International Conference on Advanced Information Networking and
                  Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
  pages        = {524--528},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/AINA.2006.57},
  doi          = {10.1109/AINA.2006.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/TackenJFF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/SorianoFTBT05,
  author       = {Miguel Soriano and
                  Stephan Flake and
                  J{\"{u}}rgen Tacken and
                  Frank Bormann and
                  Joan Tom{\`{a}}s},
  title        = {Mobile Digital Rights Management: Security Requirements and Copy Detection
                  Mechanisms},
  booktitle    = {16th International Workshop on Database and Expert Systems Applications
                  {(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
  pages        = {251--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/DEXA.2005.135},
  doi          = {10.1109/DEXA.2005.135},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexaw/SorianoFTBT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Flake04,
  author       = {Stephan Flake},
  editor       = {Vladimir Estivill{-}Castro},
  title        = {Towards the Completion of the Formal Semantics of {OCL} 2.0},
  booktitle    = {Computer Science 2004, Twenty-Seveth Australasian Computer Science
                  Conference (ACSC2004), Dunedin, New Zealand, January 2004},
  series       = {{CRPIT}},
  volume       = {26},
  pages        = {73--82},
  publisher    = {Australian Computer Society},
  year         = {2004},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV26Flake.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/Flake04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/FlakeMPR04,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller and
                  Ulrich Pape and
                  J{\"{u}}rgen Ruf},
  editor       = {Hartmut Ehrig and
                  Werner Damm and
                  J{\"{o}}rg Desel and
                  Martin Gro{\ss}e{-}Rhode and
                  Wolfgang Reif and
                  Eckehard Schnieder and
                  Engelbert Westk{\"{a}}mper},
  title        = {Specification and Formal Verification of Temporal Properties of Production
                  Automation Systems},
  booktitle    = {Integration of Software Specification Techniques for Applications
                  in Engineering, Priority Program SoftSpez of the German Research Foundation
                  (DFG), Final Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {3147},
  pages        = {206--226},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27863-4\_13},
  doi          = {10.1007/978-3-540-27863-4\_13},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/FlakeMPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FlakeM04,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  title        = {Past- and Future-Oriented Time-Bounded Temporal Properties with {OCL}},
  booktitle    = {2nd International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  pages        = {154--163},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.29},
  doi          = {10.1109/SEFM.2004.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/FlakeM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Flake04,
  author       = {Stephan Flake},
  editor       = {Frank Maurer and
                  G{\"{u}}nther Ruhe},
  title        = {Enhancing the Message Concept of the Object Constraint Language},
  booktitle    = {Proceedings of the Sixteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta,
                  Canada, June 20-24, 2004},
  pages        = {161--166},
  year         = {2004},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Flake04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/FlakeM04,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  editor       = {Thomas Baar and
                  Alfred Strohmeier and
                  Ana M. D. Moreira and
                  Stephen J. Mellor},
  title        = {An {ASM} Definition of the Dynamic {OCL} 2.0 Semantics},
  booktitle    = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
                  Language: Modelling Languages and Applications. 7th International
                  Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3273},
  pages        = {226--240},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30187-5\_17},
  doi          = {10.1007/978-3-540-30187-5\_17},
  timestamp    = {Thu, 30 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/FlakeM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Flake2003,
  author       = {Stephan Flake},
  title        = {UML-based specification of state oriented real time properties},
  school       = {University of Paderborn},
  year         = {2003},
  url          = {https://d-nb.info/971318786},
  isbn         = {3-8322-2312-6},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Flake2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FlakeM03,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  title        = {Formal semantics of static and temporal state-oriented {OCL} constraints},
  journal      = {Softw. Syst. Model.},
  volume       = {2},
  number       = {3},
  pages        = {164--186},
  year         = {2003},
  url          = {https://doi.org/10.1007/s10270-003-0026-x},
  doi          = {10.1007/S10270-003-0026-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FlakeM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FlakeM03,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  title        = {Semantics of State-Oriented Expressions in the Object Constraint Language},
  booktitle    = {Proceedings of the Fifteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
                  San Francisco Bay, CA, USA, July 1-3, 2003},
  pages        = {142--149},
  year         = {2003},
  timestamp    = {Mon, 02 Jan 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FlakeM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/FlakeM03,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  editor       = {Ban Al{-}Ani and
                  Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Expressing Property Specification Patterns with {OCL}},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
                  Nevada, USA, Volume 2},
  pages        = {595--603},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Mon, 02 Jan 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/FlakeM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GieseTBF03,
  author       = {Holger Giese and
                  Matthias Tichy and
                  Sven Burmester and
                  Stephan Flake},
  editor       = {Jukka Paakki and
                  Paola Inverardi},
  title        = {Towards the compositional verification of real-time {UML} designs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
                  Software Engineering 2003 held jointly with 9th European Software
                  Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
                  1-5, 2003},
  pages        = {38--47},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940071.940078},
  doi          = {10.1145/940071.940078},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GieseTBF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Flake04,
  author       = {Stephan Flake},
  editor       = {Peter H. Schmitt},
  title        = {OclType - {A} Type or Metatype ?},
  booktitle    = {Proceedings of the Workshop {OCL} 2.0 - Industry Standard or Scientific
                  Playground?, {OCL} 2.0, San Francisco, CA, USA, October 21, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {102},
  pages        = {63--75},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2003.09.004},
  doi          = {10.1016/J.ENTCS.2003.09.004},
  timestamp    = {Fri, 09 Dec 2022 11:27:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Flake04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlakeM04,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  editor       = {Peter H. Schmitt},
  title        = {Formal Semantics of {OCL} Messages},
  booktitle    = {Proceedings of the Workshop {OCL} 2.0 - Industry Standard or Scientific
                  Playground?, {OCL} 2.0, San Francisco, CA, USA, October 21, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {102},
  pages        = {77--97},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.009},
  doi          = {10.1016/J.ENTCS.2004.09.009},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FlakeM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ebusiness/DangelmaierDFMP02,
  author       = {Wilhelm Dangelmaier and
                  C. Darnedde and
                  Stephan Flake and
                  W. M{\"{u}}ller and
                  Ulrich Pape},
  editor       = {Wilhelm Dangelmaier and
                  Andreas Emmrich and
                  Daniel Kaschula},
  title        = {Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen
                  {(GRASP)}},
  booktitle    = {Modelle im E-Business, 4. Paderborner Fr{\"{u}}hjahrstagung des
                  Fraunhofer-Anwendungszentrums f{\"{u}}r Logistikorientierte Betriebswirtschaft,
                  11.4.2002, Paderborn, Germany},
  pages        = {829},
  publisher    = {Fraunhofer-ALB},
  year         = {2002},
  timestamp    = {Mon, 03 Apr 2006 13:46:12 +0200},
  biburl       = {https://dblp.org/rec/conf/ebusiness/DangelmaierDFMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FlakeM02,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  title        = {Specification of Real-Time Properties for {UML} Models},
  booktitle    = {35th Hawaii International Conference on System Sciences {(HICSS-35}
                  2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
                  HI, {USA}},
  pages        = {277},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/HICSS.2002.994469},
  doi          = {10.1109/HICSS.2002.994469},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/FlakeM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Flake02,
  author       = {Stephan Flake},
  title        = {Real-Time Constraints with the {OCL} (position paper)},
  booktitle    = {5th International Symposiun on Object Oriented Real-Time Distributed
                  Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
  pages        = {425--428},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ISORC.2002.1003810},
  doi          = {10.1109/ISORC.2002.1003810},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/Flake02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/FlakeM02,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  editor       = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
                  Heinrich Hu{\ss}mann and
                  Stephen Cook},
  title        = {A {UML} Profile for Real-Time Constraints with the {OCL}},
  booktitle    = {{UML} 2002 - The Unified Modeling Language, 5th International Conference,
                  Dresden, Germany, September 30 - October 4, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2460},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45800-X\_16},
  doi          = {10.1007/3-540-45800-X\_16},
  timestamp    = {Thu, 30 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/FlakeM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ocl/FlakeM02,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller},
  editor       = {Tony Clark and
                  Jos Warmer},
  title        = {An {OCL} Extension for Real-Time Constraints},
  booktitle    = {Object Modeling with the OCL, The Rationale behind the Object Constraint
                  Language},
  series       = {Lecture Notes in Computer Science},
  volume       = {2263},
  pages        = {150--171},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45669-4\_8},
  doi          = {10.1007/3-540-45669-4\_8},
  timestamp    = {Wed, 23 Feb 2022 12:58:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ocl/FlakeM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/FlakeGMPRR01,
  author       = {Stephan Flake and
                  Christian Geiger and
                  Wolfgang M{\"{u}}ller and
                  Volker Paelke and
                  Waldemar Rosenbach and
                  J{\"{u}}rgen Ruf},
  title        = {Customer-Oriented Systems Design through Virtual Prototypes},
  booktitle    = {10th {IEEE} International Workshops on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises {(WETICE} 2001), 20-22 June 2001, Cambridge,
                  MA, {USA}},
  pages        = {263--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ENABL.2001.953425},
  doi          = {10.1109/ENABL.2001.953425},
  timestamp    = {Tue, 12 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/FlakeGMPRR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Flake0R00,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller and
                  J{\"{u}}rgen Ruf},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Structured English for Model Checking Specification},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {99--108},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 14:03:11 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/Flake0R00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/BraatzFMW00,
  author       = {Arnulf Braatz and
                  Stephan Flake and
                  Wolfgang M{\"{u}}ller and
                  Engelbert Westk{\"{a}}mper},
  editor       = {Thomas Schulze and
                  Peter Lorenz and
                  Volkmar Hinz},
  title        = {Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung},
  booktitle    = {Simulation und Visualisierung 2000 (SimVis 2000), 23-24 M{\"{a}}rz
                  2000, Magdeburg},
  pages        = {319--332},
  publisher    = {{SCS} Publishing House e.V.},
  year         = {2000},
  timestamp    = {Thu, 01 Jun 2017 11:38:15 +0200},
  biburl       = {https://dblp.org/rec/conf/simvis/BraatzFMW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/FlakeG99,
  author       = {Stephan Flake and
                  Christian Geiger},
  editor       = {P. S. Thiagarajan and
                  Roland H. C. Yap},
  title        = {{CASA} - Structured Design of a Specification Language for Intelligent
                  Agents},
  booktitle    = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
                  Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1742},
  pages        = {373--374},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46674-6\_32},
  doi          = {10.1007/3-540-46674-6\_32},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asian/FlakeG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics