@inproceedings{Schatz90, title = {Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem}, author = {Bernhard Schätz}, year = {1990}, researchr = {https://researchr.org/publication/Schatz90}, cites = {0}, citedby = {0}, pages = {88-94}, booktitle = {tat}, } @inproceedings{SchatzRSS04, title = {CASE Support and Model-Based Development}, author = {Bernhard Schätz and Jan Romberg and Oscar Slotosch and Martin Strecker}, year = {2004}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzRSS04}, cites = {0}, citedby = {0}, pages = {283-284}, booktitle = {modellierung}, } @inproceedings{GieseKLRS07, title = {07451 Summary - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1272}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{Schatz04, title = {Model-Based Development: Combining Engineering Approaches and Formal Techniques}, author = {Bernhard Schätz}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=1}, tags = {rule-based, meta-model, model-driven development, model-driven engineering, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/Schatz04}, cites = {0}, citedby = {0}, pages = {1-2}, booktitle = {icfem}, } @inproceedings{SchatzGG06, title = {A Model-Based Approach To Requirements Analysis}, author = {Bernhard Schätz and Eva Geisberger and Johannes Grünbauer}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/866}, tags = {rule-based, analysis, systematic-approach}, researchr = {https://researchr.org/publication/SchatzGG06}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{Schatz08:1, title = {Vorwort zum Industriesymposium der Modellierung 2008}, author = {Bernhard Schätz}, year = {2008}, researchr = {https://researchr.org/publication/Schatz08%3A1}, cites = {0}, citedby = {0}, pages = {251-252}, booktitle = {modellierung}, } @inproceedings{HuberSE97, title = {Consistent Graphical Specification of Distributed Systems}, author = {Franz Huber and Bernhard Schätz and Geralf Einert}, year = {1997}, researchr = {https://researchr.org/publication/HuberSE97}, cites = {0}, citedby = {0}, pages = {122-141}, booktitle = {FM}, } @inproceedings{BraunLSS00, title = {Consistent Integration of Formal Methods}, author = {Peter Braun 0003 and Heiko Lötzbeyer and Bernhard Schätz and Oscar Slotosch}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1785/17850048.htm}, researchr = {https://researchr.org/publication/BraunLSS00}, cites = {0}, citedby = {0}, pages = {48-62}, booktitle = {TACAS}, } @article{PretschnerSSS07, title = {4:::th::: Intl. ICSE workshop on Software Engineering for Automotive Systems}, author = {Alexander Pretschner and Chris Salzmann and Bernhard Schätz and Thomas Stauner}, year = {2007}, doi = {10.1145/1281421.1281442}, url = {http://doi.acm.org/10.1145/1281421.1281442}, tags = {software engineering}, researchr = {https://researchr.org/publication/PretschnerSSS07}, cites = {0}, citedby = {0}, journal = {sigsoft}, volume = {32}, number = {4}, pages = {40}, } @inproceedings{HuberMRSSS98, title = {Tool Supported Specification and Simulation of Distributed Systems}, author = {Franz Huber and Sascha Molterer and Andreas Rausch and Bernhard Schätz and Marc Sihling and Oscar Slotosch}, year = {1998}, url = {http://dlib.computer.org/conferen/pdse/8467/pdf/84670155.pdf}, researchr = {https://researchr.org/publication/HuberMRSSS98}, cites = {0}, citedby = {0}, pages = {155}, booktitle = {pdse}, } @article{Schatz08, title = {Modular Functional Descriptions}, author = {Bernhard Schätz}, year = {2008}, doi = {10.1016/j.entcs.2008.06.019}, url = {http://dx.doi.org/10.1016/j.entcs.2008.06.019}, researchr = {https://researchr.org/publication/Schatz08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {215}, pages = {23-38}, } @inproceedings{Schatz04:0, title = {UML-RT - Die Lösung für eingebettete Software?}, author = {Bernhard Schätz}, year = {2004}, tags = {UML}, researchr = {https://researchr.org/publication/Schatz04%3A0}, cites = {0}, citedby = {0}, pages = {263-265}, booktitle = {modellierung}, } @inproceedings{SchatzH99, title = {Integrating Formal Description Techniques}, author = {Bernhard Schätz and Franz Huber}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1709/17091206.htm}, researchr = {https://researchr.org/publication/SchatzH99}, cites = {0}, citedby = {0}, pages = {1206-1225}, booktitle = {FM}, } @article{BroyHS99, title = {AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme}, author = {Manfred Broy and Franz Huber and Bernhard Schätz}, year = {1999}, url = {http://link.springer.de/link/service/journals/00450/bibs/9014003/90140121.htm}, researchr = {https://researchr.org/publication/BroyHS99}, cites = {0}, citedby = {0}, journal = {ife}, volume = {14}, number = {3}, pages = {121-134}, } @inproceedings{GieseKLRS07a, title = {07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1271}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07a}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{HerrmannsdoerferRS09, title = {Structured Formalization of Service-Oriented Specifications}, author = {Markus Herrmannsdörfer and Sabine Rittmann and Bernhard Schätz}, year = {2009}, doi = {10.1109/ECBS.2009.23}, url = {http://dx.doi.org/10.1109/ECBS.2009.23}, tags = {rule-based, sequence diagrams, systematic-approach}, researchr = {https://researchr.org/publication/HerrmannsdoerferRS09}, cites = {0}, citedby = {0}, pages = {227-236}, booktitle = {ECBS}, } @inproceedings{KofS03, title = {Combining Aspects of Reactive Systems}, author = {Leonid Kof and Bernhard Schätz}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=344}, researchr = {https://researchr.org/publication/KofS03}, cites = {0}, citedby = {0}, pages = {344-349}, booktitle = {ershov}, } @inproceedings{SchatzS03, title = {Service-Based Systems Engineering: Consistent Combination of Services}, author = {Bernhard Schätz and Chris Salzmann}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=86}, tags = {rule-based}, researchr = {https://researchr.org/publication/SchatzS03}, cites = {0}, citedby = {0}, pages = {86-104}, booktitle = {icfem}, } @inproceedings{SchatzS00, title = {10 Years Focus - Lessons learned}, author = {Bernhard Schätz and Katharina Spies}, year = {2000}, researchr = {https://researchr.org/publication/SchatzS00}, cites = {0}, citedby = {0}, pages = {111-120}, booktitle = {fbt}, } @article{BroyHKS06, title = {SoSyM special section on service-based software engineering}, author = {Manfred Broy and Heinrich Hussmann and Ingolf H. Krüger and Bernhard Schätz}, year = {2006}, doi = {10.1007/s10270-006-0002-3}, url = {http://dx.doi.org/10.1007/s10270-006-0002-3}, tags = {rule-based, software engineering}, researchr = {https://researchr.org/publication/BroyHKS06}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {5}, number = {2}, pages = {170-171}, } @inproceedings{SchatzPHP02, title = {Model-Based Development of Embedded Systems}, author = {Bernhard Schätz and Alexander Pretschner and Franz Huber and Jan Philipps}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2426/24260298.htm}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzPHP02}, cites = {0}, citedby = {0}, pages = {298-312}, booktitle = {oois}, } @inproceedings{ZiegenbeinBFBRS05, title = {AutoMoDe - Model-Based Development of Automotive Software}, author = {Dirk Ziegenbein and Peter Braun 0003 and Ulrich Freund and Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2005}, doi = {10.1109/DATE.2005.77}, url = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.77}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/ZiegenbeinBFBRS05}, cites = {0}, citedby = {0}, pages = {171-177}, booktitle = {date}, } @inproceedings{HuberMSSV98, title = {Traffic Lights - An AutoFocus Case Study}, author = {Franz Huber and Sascha Molterer and Bernhard Schätz and Oscar Slotosch and Alexander Vilbig}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/csd/1998/8350/00/83500282abs.htm}, tags = {case study}, researchr = {https://researchr.org/publication/HuberMSSV98}, cites = {0}, citedby = {0}, pages = {282}, booktitle = {acsd}, } @incollection{KamstiesKPS05, title = {An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements}, author = {Erik Kamsties and Antje von Knethen and Jan Philipps and Bernhard Schätz}, year = {2005}, tags = {empirical}, researchr = {https://researchr.org/publication/KamstiesKPS05}, cites = {0}, citedby = {0}, pages = {125-147}, booktitle = {Information Modeling Methods and Methodologies}, editor = {John Krogstie and Terry A. Halpin and Keng Siau}, publisher = {Idea Group}, isbn = {1-59140-376-6}, } @inproceedings{BoskovicGPS08, title = {The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008)}, author = {Marko Boskovic and Dragan Gasevic and Claus Pahl and Bernhard Schätz}, year = {2008}, doi = {10.1007/978-3-642-01648-6_24}, url = {http://dx.doi.org/10.1007/978-3-642-01648-6_24}, tags = {modeling language, modeling, language modeling, domain-specific language}, researchr = {https://researchr.org/publication/BoskovicGPS08}, cites = {0}, citedby = {0}, pages = {227-228}, booktitle = {MoDELS}, } @inproceedings{BauerRS04, title = {Integrierte Entwicklung von Automotive-Software mit AutoFOCUS}, author = {Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2004}, researchr = {https://researchr.org/publication/BauerRS04}, cites = {0}, citedby = {0}, pages = {13-17}, booktitle = {gi}, } @article{BauerBRSBFMSMZ07, title = {Das AutoMoDe-Projekt}, author = {Andreas Bauer 0002 and Manfred Broy and Jan Romberg and Bernhard Schätz and Peter Braun 0003 and Ulrich Freund and Nuria Mata and Robert Sandner and Pierre Mai and Dirk Ziegenbein}, year = {2007}, doi = {10.1007/s00450-007-0028-y}, url = {http://dx.doi.org/10.1007/s00450-007-0028-y}, researchr = {https://researchr.org/publication/BauerBRSBFMSMZ07}, cites = {0}, citedby = {0}, journal = {ife}, volume = {22}, number = {1}, pages = {45-57}, } @inproceedings{SchatzBHW03, title = {Consistency in Model-Based Development}, author = {Bernhard Schätz and Peter Braun 0003 and Franz Huber and Alexander K. Wißpeintner}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2003/1917/00/19170287abs.htm}, tags = {rule-based, meta-model, model-driven development, consistency, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzBHW03}, cites = {0}, citedby = {0}, pages = {287-296}, booktitle = {ECBS}, } @inproceedings{BroyFHKKMPRSSW07, title = {Service-Oriented Modeling of CoCoME with Focus and AutoFocus}, author = {Manfred Broy and Jorge Fox and Florian Hölzl and Dagmar Koss and Marco Kuhrmann and Michael Meisinger and Birgit Penzenstadler and Sabine Rittmann and Bernhard Schätz and Maria Spichkova and Doris Wild}, year = {2007}, doi = {10.1007/978-3-540-85289-6_8}, url = {http://dx.doi.org/10.1007/978-3-540-85289-6_8}, tags = {modeling}, researchr = {https://researchr.org/publication/BroyFHKKMPRSSW07}, cites = {0}, citedby = {0}, pages = {177-206}, booktitle = {Dagstuhl}, } @inproceedings{SchatzHB96, title = {Graphical Development of Consistent System Specifications}, author = {Bernhard Schätz and Heinrich Hußmann and Manfred Broy}, year = {1996}, researchr = {https://researchr.org/publication/SchatzHB96}, cites = {0}, citedby = {0}, pages = {248-267}, booktitle = {FM}, } @article{BauerRS05, title = {Integrierte Entwicklung von Automotive-Software mit AutoFocus}, author = {Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2005}, doi = {10.1007/s00450-005-0187-7}, url = {http://dx.doi.org/10.1007/s00450-005-0187-7}, researchr = {https://researchr.org/publication/BauerRS05}, cites = {0}, citedby = {0}, journal = {ife}, volume = {19}, number = {4}, pages = {194-205}, } @inproceedings{SchatzBHW05, title = {Checking and Transforming Models with AutoFOCUS}, author = {Bernhard Schätz and Peter Braun 0003 and Franz Huber and Alexander K. Wißpeintner}, year = {2005}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080307abs.htm}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzBHW05}, cites = {0}, citedby = {0}, pages = {307-314}, booktitle = {ECBS}, } @inproceedings{DeissenboeckHJSWGT08, title = {Clone detection in automotive model-based development}, author = {Florian Deissenboeck and Benjamin Hummel and Elmar Jürgens and Bernhard Schätz and Stefan Wagner and Jean-Francois Girard and Stefan Teuchert}, year = {2008}, doi = {10.1145/1368088.1368172}, url = {http://doi.acm.org/10.1145/1368088.1368172}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/DeissenboeckHJSWGT08}, cites = {0}, citedby = {0}, pages = {603-612}, booktitle = {ICSE}, } @article{Schatz07, title = {Combining Product Lines and Model-Based Development}, author = {Bernhard Schätz}, year = {2007}, doi = {10.1016/j.entcs.2006.09.038}, url = {http://dx.doi.org/10.1016/j.entcs.2006.09.038}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/Schatz07}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {182}, pages = {171-186}, } @inproceedings{HuberS97, title = {Rapid Prototyping with AutoFocus}, author = {Franz Huber and Bernhard Schätz}, year = {1997}, researchr = {https://researchr.org/publication/HuberS97}, cites = {0}, citedby = {0}, pages = {343-352}, booktitle = {fbt}, } @article{GeisbergerS07, title = {Modellbasierte Anforderungsanalyse mit AutoRAID}, author = {Eva Geisberger and Bernhard Schätz}, year = {2007}, doi = {10.1007/s00450-007-0021-5}, url = {http://dx.doi.org/10.1007/s00450-007-0021-5}, researchr = {https://researchr.org/publication/GeisbergerS07}, cites = {0}, citedby = {0}, journal = {ife}, volume = {21}, number = {3-4}, pages = {231-242}, } @inproceedings{HuberS98, title = {Specification Modules for Methodical System Development}, author = {Franz Huber and Bernhard Schätz}, year = {1998}, researchr = {https://researchr.org/publication/HuberS98}, cites = {0}, citedby = {0}, pages = {75-86}, booktitle = {fbt}, } @inproceedings{PretschnerSSS07:0, title = {4th International ICSE Workshop on Software Engineering for Automotive Systems}, author = {Alexander Pretschner and Chris Salzmann and Bernhard Schätz and Thomas Stauner}, year = {2007}, doi = {10.1109/ICSECOMPANION.2007.7}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.7}, tags = {software engineering}, researchr = {https://researchr.org/publication/PretschnerSSS07%3A0}, cites = {0}, citedby = {0}, pages = {146}, booktitle = {ICSE}, } @inproceedings{KamstiesKPS99, title = {Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken}, author = {Erik Kamsties and Antje von Knethen and Jan Philipps and Bernhard Schätz}, year = {1999}, researchr = {https://researchr.org/publication/KamstiesKPS99}, cites = {0}, citedby = {0}, pages = {103-112}, booktitle = {fbt}, } @inproceedings{HuberSSS96, title = {AutoFocus: A Tool for Distributed Systems Specification}, author = {Franz Huber and Bernhard Schätz and Alexander Schmidt and Katharina Spies}, year = {1996}, researchr = {https://researchr.org/publication/HuberSSS96}, cites = {0}, citedby = {0}, pages = {467-470}, booktitle = {ftrtft}, } @inproceedings{Schatz08:0, title = {Formalization and Rule-Based Transformation of EMF Ecore-Based Models}, author = {Bernhard Schätz}, year = {2008}, doi = {10.1007/978-3-642-00434-6_15}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6_15}, tags = {model-to-model transformation, rule-based, meta-model, EMF, source-to-source, rules, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Schatz08%3A0}, cites = {0}, citedby = {0}, pages = {227-244}, booktitle = {SLE}, } @inproceedings{SchatzFGP05, title = {Model-Based Requirements Engineering with AutoRAID}, author = {Bernhard Schätz and Andreas Fleischmann and Eva Geisberger and Markus Pister}, year = {2005}, tags = {rule-based, meta-model, requirements engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzFGP05}, cites = {0}, citedby = {0}, pages = {511-515}, booktitle = {gi}, } @proceedings{fbt:1999, title = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999}, year = {1999}, researchr = {https://researchr.org/publication/fbt%3A1999}, cites = {0}, citedby = {0}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999}, conference = {fbt}, editor = {Katharina Spies and Bernhard Schätz}, publisher = {Herbert Utz Verlag}, isbn = {3-89675-918-3}, } @proceedings{dagstuhl:2007P7451, title = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, year = {2007}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/dagstuhl%3A2007P7451}, cites = {0}, citedby = {0}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, conference = {Dagstuhl}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, volume = {07451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }