![[Translate to English:]](/fileadmin/_processed_/a/e/csm_fortiss-publikationen-header_1e9ee64f16.png)
Publications
- Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB
- On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
- Towards Dependability Metrics for Neural Networks In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pages 43–46, October 2018. Details URL DOI BIB
- Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pages 279–290, July 2018. Details URL DOI BIB
- Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern White Paper, Guerickestraße 25, 80805 München, March 2018. Details PDF BIB
- Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, March 2018. Details DOI BIB
- Evidential and Continuous Integration of Software Verification Tools In Formal Methods, pages 679-685, Cham, 2018. Springer International Publishing. Details BIB
- Automated Analysis of Multi-View Software Architectures In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pages 725–730, December 2017. Details URL DOI BIB
- autoCode4: Structural Controller Synthesis In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, 2017. Details DOI BIB
- Maximum Resilience of Artificial Neural Networks In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB
- Certification for u-Calculus with Winning Strategies In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pages 111–128, 2016. Details URL DOI BIB
- Compositional Parameter Synthesis In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BIB
- Integrated Formal Methods for Constructing Assurance Cases In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
- Structural Synthesis for GXW Specifications In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 95–117, 2016. Details URL DOI BIB
- Distributed MILS architectural approach for secure smart grids In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
- G4LTL-ST: Automatic Generation of PLC Programs In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 541–549, 2014. Details URL DOI BIB
- Security policies for distributed systems October 2013. Details URL BIB
- EFSMT: A Logical Framework for Cyber-Physical Systems CoRR, abs/1306.3456():, 2013. Details URL BIB
- EFSMT: A Logical Framework for Cyber-Physical Systems arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB
- JBernstein: A Validity Checker for Generalized Polynomial Constraints In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, 2013. Details URL DOI BIB
- On Behavioral Types for OSGi: From Theory to Implementation CoRR, abs/1306.6115():, 2013. Details URL BIB
- Behavioral specification based runtime monitors for OSGi services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
- Behavioral Specification Based Runtime Monitors for OSGi Services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details URL DOI BIB
- Distributed Priority Synthesis In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, 2012. Details URL DOI BIB
- Distributed priority synthesis using knowledge In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, 2012. Details URL DOI BIB
- Game solving for industrial automation and control In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, 2012. Details URL DOI BIB
- MGSyn: Automatic Synthesis for Industrial Automation In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details URL DOI BIB
- Algorithms for Synthesizing Priorities in Component-Based Systems In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pages 150–167, 2011. Details URL DOI BIB
- Model Construction and Priority Synthesis for Simple Interaction Systems In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details URL DOI BIB
- Optimizations for Game-based Software Synthesis TR-2011-12, Verimag Research Report, 2011. Details BIB
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, 2011. Details URL DOI BIB
- A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR, abs/1011.0268():, 2010. Details URL BIB