EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

Research output

Research output per year 2013 2013 2014 2015 2015

• 12 Conference paper
• 1 Other report
• 1 Doctoral Thesis

Research output per year

Research output per year

Search results

• 2015

  Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

  Bloem, R. P., Chatterjee, K., Jacobs, S. & Könighofer, R., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, Vol. 9035. p. 517-532 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Cooperative Reactive Synthesis

  Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, Vol. 9364. p. 394-410 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Demiurge 1.2.0: A SAT-Based Synthesis Tool

  Könighofer, R. & Seidl, M., 2015, .

  Research output: Book/Report › Other report

  Open Access

  File

• Satisfiability-Based Methods for Controller Synthesis

  Könighofer, R., 2015

  Research output: Thesis › Doctoral Thesis

  Open Access

  File

• Shield Synthesis: - Runtime Enforcement for Reactive Systems

  Bloem, R. P., Könighofer, B., Könighofer, R. & Wang, C., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, Vol. 9035. p. 533-548 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Synthesizing cooperative reactive mission plans

  Ehlers, R., Könighofer, R. & Bloem, R., 2015, International Conference on Intelligent Robots and Systems (IROS'15). Institute of Electrical and Electronics Engineers, p. 3478-3485

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
• 2014

  Automatic Error Localization for Software using Deductive Verification

  Könighofer, R., Tögl, R. & Bloem, R. P., 2014, Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Berlin Heidelberg: Springer, Vol. 8855. p. 92-98 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• How to Handle Assumptions in Synthesis

  Bloem, R. P., Ehlers, R., Jacobs, S. & Könighofer, R., 2014, Proceedings 3rd Workshop on Synthesis. Electronic Proceedings in Theoretical Computer Science, Vol. 157. p. 34-50 (EPTCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Measured Firmware Deployment for Embedded Microcontroller Platforms

  Weiser, S., Tögl, R. & Winter, J., 2014, MeSeCCS Proceedings. SciTePress, p. 237-246

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• SAT-based methods for circuit synthesis

  Bloem, R. P., Egly, U., Klampfl, P., Könighofer, R. & Lonsing, F., 2014, Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, p. 31-34

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• SAT-Based Synthesis Methods for Safety Specs

  Bloem, R. P., Könighofer, R. & Seidl, M., 2014, Verification, Model Checking, and Abstract Interpretation, 15th International Conference. McMillan, K. L. & Rival, X. (eds.). Berlin-Heidelberg: Springer, Vol. 8318. p. 1-20 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
• 2013

  A Path Towards Ubiquitous Protection of Media

  Tögl, R., Winter, J. & Pirker, M., 2013, Proc.Workshop on Web Applications and Secure Hardware. Aachen: Technical University of Aachen, Vol. 1011. p. 32-38 (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Trusted Identity Management for Overlay Networks

  Kraxberger, S., Tögl, R., Pirker, M., Guijarro, E. P. & Millan, G. G., 2013, Information security practice and experience. Heidelberg: Springer, p. 16-30 (Lecture Notes in Computer Science; vol. 7863).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Verification of a Trusted Virtual Security Module

  Tögl, R., 2013, Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 166-166 (Dagstuhl Reports).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review