Publikationen pro Jahr
Publikationen pro Jahr
- 14 Ergebnisse
Suchergebnisse
-
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, Band 9035. S. 517-532 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Cooperative Reactive Synthesis
Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, Band 9364. S. 394-410 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Demiurge 1.2.0: A SAT-Based Synthesis Tool
Könighofer, R. & Seidl, M., 2015, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
Satisfiability-Based Methods for Controller Synthesis
Könighofer, R., 2015Publikation: Studienabschlussarbeit › Dissertation
Open AccessDatei -
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, Band 9035. S. 533-548 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 3478-3485Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 8855. S. 92-98 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 157. S. 34-50 (EPTCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Measured Firmware Deployment for Embedded Microcontroller Platforms
Weiser, S., Tögl, R. & Winter, J., 2014, MeSeCCS Proceedings. SciTePress, S. 237-246Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 31-34Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. (Hrsg.). Berlin-Heidelberg: Springer, Band 8318. S. 1-20 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 1011. S. 32-38 (CEUR Workshop Proceedings).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 16-30 (Lecture Notes in Computer Science; Band 7863).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 166-166 (Dagstuhl Reports).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung