fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: CAT

Liste als BibTeX-Datei exportieren


  • 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 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



  • November 2014 Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems André van Hoorn, Christian Vögele, Eike Schulz, Wilhelm Hasselbring und Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), ACM. Details BIB
  • August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow, Jean Quilbeuf, Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, Springer International Publishing. Details DOI BIB
  • August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl, Wolfgang Böhm und Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, Seiten 77-86, Details DOI BIB
  • 2014 Detecting Performance Change in Enterprise Application Versions Using Resource Profiles Andreas Brunnert und Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, Seiten 165 - 172, ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB


  • April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB