fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: Model-based systems engineering

Liste als BibTeX-Datei exportieren


  • 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes, Javier Troya, Levi Lúcio und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
  • 2018 Incorporating negative information to process discovery of complex systems Hernán Ponce de León, Lucio Nardelli, Carmona Josep und Seppe K. L. M. vanden Broucke Inf. Sci., 422():480–496, 2018. Details DOI BIB
  • 2018 Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan und Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Band 11093 von Lecture Notes in Computer Science, Seiten 157–171, Springer. Details DOI BIB