Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stephan Flake
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.