TU Wien Informatics

Role

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • TACoS: A Tool for the MTL Controller Synthesis Problem / T. Hofmann, S. Schupp / Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 372 - 379
  • Controller Verification meets Controller Code: A Case Study / F. Freiberger, S. Schupp, H. Hermanns, E. Abraham / Talk: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "19th ACM-IEEE International Conference on Formal Methods and Models for System Design", Association for Computing Machinery, New York, NY, United States (2021), ISBN: 978-1-4503-9127-6; 98 - 103
  • Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction / C. Pilch, S. Schupp, A. Remke / Talk: Proc. of QEST'21: the International Conference on Quantitative Evaluation of SysTems, France, Online; 2021-08-23 - 2021-08-27; in: "Proc. of QEST'21: the 18th International Conference on Quantitative Evaluation of Systems", 12846, (2021), 435 - 456