fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: MbSE

Liste als BibTeX-Datei exportieren

2017

  • Mai 2017 Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Sabine Teufl Dissertation, Technische Universität München, Details URL BIB
  • 2017 Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern Mario Gleirscher und Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), Seiten 53–60, IEEE. Details DOI BIB
  • 2017 Arguing on Software-Level Verification Techniques Appropriateness Carmen Cârlan, Barbara Gallina, Severin Kacianka und Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 10488 von LNCS, Seiten 39–54, Cham, Springer International Publishing. Details DOI BIB
  • 2017 Living Safety Arguments for Open Systems Carmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. Details DOI BIB
  • 2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko und Javier Esparza ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
  • 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav und Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, Seiten 300–306, Details URL BIB
  • 2017 Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In SAS, Band 10422 von Lecture Notes in Computer Science, Seiten 299–320, Springer. Details URL DOI BIB
  • 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, Details DOI BIB
  • 2017 Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Johannes Kroß, Sebastian Voss und Helmut Krcmar Open Journal of Internet Of Things, 3(1):136-141, 2017. Details URL BIB
  • 2017 Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA Tarik Terzimehić, Monika Wenger, Alois Zoitl, Andreas Bayha, Klaus Becker, Thorsten Müller und Hubertus Schauerte In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details DOI BIB