[{"user_id":"58843","doi":"10.23638/DMTCS-19-4-1","volume":19,"language":[{"iso":"eng"}],"_id":"6725","date_updated":"2022-01-06T07:03:17Z","intvolume":"        19","title":"A Characterization for Decidable Separability by Piecewise Testable Languages","year":"2017","status":"public","author":[{"full_name":"Czerwinski, Wojciech","first_name":"Wojciech","last_name":"Czerwinski"},{"last_name":"Martens","first_name":"Wim","full_name":"Martens, Wim"},{"id":"58843","last_name":"van Rooijen","first_name":"Lorijn","full_name":"van Rooijen, Lorijn"},{"full_name":"Zeitoun, Marc","last_name":"Zeitoun","first_name":"Marc"},{"full_name":"Zetzsche, Georg","first_name":"Georg","last_name":"Zetzsche"}],"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-15T09:54:52Z","publication":"Discrete Mathematics & Theoretical Computer Science","issue":"4","citation":{"short":"W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics &#38; Theoretical Computer Science 19 (2017).","chicago":"Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” <i>Discrete Mathematics &#38; Theoretical Computer Science</i> 19, no. 4 (2017). <a href=\"https://doi.org/10.23638/DMTCS-19-4-1\">https://doi.org/10.23638/DMTCS-19-4-1</a>.","apa":"Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., &#38; Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. <i>Discrete Mathematics &#38; Theoretical Computer Science</i>, <i>19</i>(4). <a href=\"https://doi.org/10.23638/DMTCS-19-4-1\">https://doi.org/10.23638/DMTCS-19-4-1</a>","ieee":"W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” <i>Discrete Mathematics &#38; Theoretical Computer Science</i>, vol. 19, no. 4, 2017.","ama":"Czerwinski W, Martens W, van Rooijen L, Zeitoun M, Zetzsche G. A Characterization for Decidable Separability by Piecewise Testable Languages. <i>Discrete Mathematics &#38; Theoretical Computer Science</i>. 2017;19(4). doi:<a href=\"https://doi.org/10.23638/DMTCS-19-4-1\">10.23638/DMTCS-19-4-1</a>","bibtex":"@article{Czerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title={A Characterization for Decidable Separability by Piecewise Testable Languages}, volume={19}, DOI={<a href=\"https://doi.org/10.23638/DMTCS-19-4-1\">10.23638/DMTCS-19-4-1</a>}, number={4}, journal={Discrete Mathematics &#38; Theoretical Computer Science}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}, year={2017} }","mla":"Czerwinski, Wojciech, et al. “A Characterization for Decidable Separability by Piecewise Testable Languages.” <i>Discrete Mathematics &#38; Theoretical Computer Science</i>, vol. 19, no. 4, 2017, doi:<a href=\"https://doi.org/10.23638/DMTCS-19-4-1\">10.23638/DMTCS-19-4-1</a>."}},{"citation":{"bibtex":"@article{Wolters_Gerth_Engels_2017, title={Visual Requirements Modeling for Cross-Device Systems}, volume={14}, DOI={<a href=\"https://doi.org/10.2298/CSIS160930015W\">10.2298/CSIS160930015W</a>}, number={2}, journal={Computer Science and Information Systems (ComSIS)}, author={Wolters, Dennis and Gerth, Christian and Engels, Gregor}, year={2017}, pages={517–536} }","ama":"Wolters D, Gerth C, Engels G. Visual Requirements Modeling for Cross-Device Systems. <i>Computer Science and Information Systems (ComSIS)</i>. 2017;14(2):517-536. doi:<a href=\"https://doi.org/10.2298/CSIS160930015W\">10.2298/CSIS160930015W</a>","mla":"Wolters, Dennis, et al. “Visual Requirements Modeling for Cross-Device Systems.” <i>Computer Science and Information Systems (ComSIS)</i>, vol. 14, no. 2, 2017, pp. 517–36, doi:<a href=\"https://doi.org/10.2298/CSIS160930015W\">10.2298/CSIS160930015W</a>.","chicago":"Wolters, Dennis, Christian Gerth, and Gregor Engels. “Visual Requirements Modeling for Cross-Device Systems.” <i>Computer Science and Information Systems (ComSIS)</i> 14, no. 2 (2017): 517–36. <a href=\"https://doi.org/10.2298/CSIS160930015W\">https://doi.org/10.2298/CSIS160930015W</a>.","short":"D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536.","ieee":"D. Wolters, C. Gerth, and G. Engels, “Visual Requirements Modeling for Cross-Device Systems,” <i>Computer Science and Information Systems (ComSIS)</i>, vol. 14, no. 2, pp. 517–536, 2017.","apa":"Wolters, D., Gerth, C., &#38; Engels, G. (2017). Visual Requirements Modeling for Cross-Device Systems. <i>Computer Science and Information Systems (ComSIS)</i>, <i>14</i>(2), 517–536. <a href=\"https://doi.org/10.2298/CSIS160930015W\">https://doi.org/10.2298/CSIS160930015W</a>"},"issue":"2","publication":"Computer Science and Information Systems (ComSIS)","department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-15T14:11:10Z","intvolume":"        14","date_updated":"2022-01-06T07:03:17Z","author":[{"first_name":"Dennis","last_name":"Wolters","full_name":"Wolters, Dennis","id":"11308"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"status":"public","year":"2017","title":"Visual Requirements Modeling for Cross-Device Systems","volume":14,"doi":"10.2298/CSIS160930015W","user_id":"11308","_id":"6737","language":[{"iso":"eng"}],"page":"517-536"},{"issue":"2","publication":"Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF)","citation":{"ieee":"I. Jovanovikj and S. Sauer, “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases,” <i>Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)</i>, vol. 37, no. 2, pp. 50–51, 2017.","apa":"Jovanovikj, I., &#38; Sauer, S. (2017). Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. <i>Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)</i>, <i>37</i>(2), 50–51.","short":"I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF) 37 (2017) 50–51.","chicago":"Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” <i>Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)</i> 37, no. 2 (2017): 50–51.","mla":"Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” <i>Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)</i>, vol. 37, no. 2, Gesellschaft für Informatik e.V., Fachgruppe PARS, 2017, pp. 50–51.","bibtex":"@article{Jovanovikj_Sauer_2017, title={Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases}, volume={37}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)}, publisher={Gesellschaft für Informatik e.V., Fachgruppe PARS}, author={Jovanovikj, Ivan and Sauer, Stefan}, year={2017}, pages={50–51} }","ama":"Jovanovikj I, Sauer S. Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. <i>Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering &#38; Evolution (WSRE) &#38; 8th Workshop Design for Future (DFF)</i>. 2017;37(2):50-51."},"date_created":"2019-01-16T09:45:29Z","type":"journal_article","department":[{"_id":"66"},{"_id":"534"}],"status":"public","title":"Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases","year":"2017","conference":{"name":"19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF)","location":"Bad Honnef"},"author":[{"orcid":"https://orcid.org/0000-0002-1838-794X","first_name":"Ivan","last_name":"Jovanovikj","full_name":"Jovanovikj, Ivan","id":"39187"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"date_updated":"2022-01-06T07:03:17Z","intvolume":"        37","page":" 50-51 ","_id":"6764","language":[{"iso":"eng"}],"publisher":"Gesellschaft für Informatik e.V., Fachgruppe PARS","user_id":"39187","volume":37},{"date_created":"2017-10-17T12:41:04Z","file":[{"success":1,"content_type":"application/pdf","file_id":"5324","access_level":"closed","file_size":806356,"file_name":"a61-isenberg.pdf","date_updated":"2018-11-02T16:08:17Z","relation":"main_file","date_created":"2018-11-02T16:08:17Z","creator":"ups"}],"department":[{"_id":"77"},{"_id":"78"}],"type":"journal_article","publication":"ACM Transactions on Design Automation of Electronic Systems","issue":"4","abstract":[{"lang":"eng","text":"Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically reconfigurable hardware systems. The producer of a hardware module spends huge effort when creating a proof for a safety policy. The proof is then transferred as a certificate together with the configuration bitstream to the consumer of the hardware module, who can quickly verify the given proof. Previous work utilized SAT solvers and resolution traces to set up a PCH technology and corresponding tool flows. In this article, we present a novel technology for PCH based on inductive invariants. For sequential circuits, our approach is fundamentally stronger than the previous SAT-based one since we avoid the limitations of bounded unrolling. We contrast our technology to existing ones and show that it fits into previously proposed tool flows. We conduct experiments with four categories of benchmark circuits and report consumer and producer runtime and peak memory consumption, as well as the size of the certificates and the distribution of the workload between producer and consumer. Experiments clearly show that our new induction-based technology is superior for sequential circuits, whereas the previous SAT-based technology is the better choice for combinational circuits."}],"language":[{"iso":"eng"}],"doi":"10.1145/3054743","author":[{"full_name":"Isenberg, Tobias","last_name":"Isenberg","first_name":"Tobias"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"},{"id":"3118","last_name":"Wiersema","first_name":"Tobias","full_name":"Wiersema, Tobias"}],"title":"Proof-Carrying Hardware via Inductive Invariants","year":"2017","date_updated":"2022-01-06T07:03:20Z","citation":{"short":"T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.","chicago":"Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.” <i>ACM Transactions on Design Automation of Electronic Systems</i>, no. 4 (2017): 61:1--61:23. <a href=\"https://doi.org/10.1145/3054743\">https://doi.org/10.1145/3054743</a>.","apa":"Isenberg, T., Platzner, M., Wehrheim, H., &#38; Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. <i>ACM Transactions on Design Automation of Electronic Systems</i>, (4), 61:1--61:23. <a href=\"https://doi.org/10.1145/3054743\">https://doi.org/10.1145/3054743</a>","ieee":"T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” <i>ACM Transactions on Design Automation of Electronic Systems</i>, no. 4, pp. 61:1--61:23, 2017.","ama":"Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via Inductive Invariants. <i>ACM Transactions on Design Automation of Electronic Systems</i>. 2017;(4):61:1--61:23. doi:<a href=\"https://doi.org/10.1145/3054743\">10.1145/3054743</a>","bibtex":"@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={<a href=\"https://doi.org/10.1145/3054743\">10.1145/3054743</a>}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }","mla":"Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.” <i>ACM Transactions on Design Automation of Electronic Systems</i>, no. 4, ACM, 2017, pp. 61:1--61:23, doi:<a href=\"https://doi.org/10.1145/3054743\">10.1145/3054743</a>."},"file_date_updated":"2018-11-02T16:08:17Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"publisher":"ACM","_id":"68","page":"61:1--61:23","user_id":"3118","ddc":["000"],"status":"public","has_accepted_license":"1"},{"status":"public","has_accepted_license":"1","page":"4178-4183","_id":"680","publisher":"American Chemical Society (ACS)","urn":"6808","user_id":"158","ddc":["530"],"volume":17,"file_date_updated":"2018-08-21T10:41:58Z","citation":{"mla":"Peter, Manuel, et al. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” <i>Nano Letters</i>, vol. 17, no. 7, American Chemical Society (ACS), 2017, pp. 4178–83, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.7b00966\">10.1021/acs.nanolett.7b00966</a>.","ama":"Peter M, Hildebrandt A, Schlickriede C, et al. Directional Emission from Dielectric Leaky-Wave Nanoantennas. <i>Nano Letters</i>. 2017;17(7):4178-4183. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.7b00966\">10.1021/acs.nanolett.7b00966</a>","bibtex":"@article{Peter_Hildebrandt_Schlickriede_Gharib_Zentgraf_Förstner_Linden_2017, title={Directional Emission from Dielectric Leaky-Wave Nanoantennas}, volume={17}, DOI={<a href=\"https://doi.org/10.1021/acs.nanolett.7b00966\">10.1021/acs.nanolett.7b00966</a>}, number={7}, journal={Nano Letters}, publisher={American Chemical Society (ACS)}, author={Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib, Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}, year={2017}, pages={4178–4183} }","apa":"Peter, M., Hildebrandt, A., Schlickriede, C., Gharib, K., Zentgraf, T., Förstner, J., &#38; Linden, S. (2017). Directional Emission from Dielectric Leaky-Wave Nanoantennas. <i>Nano Letters</i>, <i>17</i>(7), 4178–4183. <a href=\"https://doi.org/10.1021/acs.nanolett.7b00966\">https://doi.org/10.1021/acs.nanolett.7b00966</a>","ieee":"M. Peter <i>et al.</i>, “Directional Emission from Dielectric Leaky-Wave Nanoantennas,” <i>Nano Letters</i>, vol. 17, no. 7, pp. 4178–4183, 2017.","short":"M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.","chicago":"Peter, Manuel, Andre Hildebrandt, Christian Schlickriede, Kimia Gharib, Thomas Zentgraf, Jens Förstner, and Stefan Linden. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” <i>Nano Letters</i> 17, no. 7 (2017): 4178–83. <a href=\"https://doi.org/10.1021/acs.nanolett.7b00966\">https://doi.org/10.1021/acs.nanolett.7b00966</a>."},"project":[{"_id":"53","name":"TRR 142"},{"name":"TRR 142 - Project Area C","_id":"56"},{"_id":"74","name":"TRR 142 - Subproject C4"}],"oa":"1","title":"Directional Emission from Dielectric Leaky-Wave Nanoantennas","year":"2017","publication_identifier":{"issn":["1530-6984","1530-6992"]},"author":[{"full_name":"Peter, Manuel","last_name":"Peter","first_name":"Manuel"},{"full_name":"Hildebrandt, Andre","first_name":"Andre","last_name":"Hildebrandt"},{"id":"59792","first_name":"Christian","last_name":"Schlickriede","full_name":"Schlickriede, Christian"},{"last_name":"Gharib","first_name":"Kimia","full_name":"Gharib, Kimia"},{"full_name":"Zentgraf, Thomas","first_name":"Thomas","last_name":"Zentgraf","orcid":"0000-0002-8662-1101","id":"30525"},{"id":"158","orcid":"0000-0001-7059-9862","first_name":"Jens","last_name":"Förstner","full_name":"Förstner, Jens"},{"full_name":"Linden, Stefan","last_name":"Linden","first_name":"Stefan"}],"publication_status":"published","date_updated":"2022-01-06T07:03:20Z","intvolume":"        17","language":[{"iso":"eng"}],"doi":"10.1021/acs.nanolett.7b00966","issue":"7","publication":"Nano Letters","file":[{"creator":"fossie","date_created":"2018-08-16T08:07:31Z","date_updated":"2018-08-21T10:41:58Z","relation":"main_file","file_size":3398275,"access_level":"open_access","file_name":"2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave Antennas.pdf","content_type":"application/pdf","file_id":"3917"}],"date_created":"2017-11-13T07:36:01Z","keyword":["tet_topic_opticalantenna"],"type":"journal_article","department":[{"_id":"61"},{"_id":"289"}]},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-14T12:26:52Z","supervisor":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"citation":{"mla":"Jakobs, Marie-Christine. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>.","ama":"Jakobs M-C. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>","bibtex":"@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }","apa":"Jakobs, M.-C. (2017). <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-104\">https://doi.org/10.17619/UNIPB/1-104</a>","ieee":"M.-C. Jakobs, <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017.","short":"M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.","chicago":"Jakobs, Marie-Christine. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-104\">https://doi.org/10.17619/UNIPB/1-104</a>."},"type":"dissertation","department":[{"_id":"77"}],"file":[{"content_type":"application/pdf","success":1,"file_id":"1211","access_level":"closed","file_size":11828624,"file_name":"685-Dissertation-Jakobs.pdf","date_updated":"2018-03-14T12:26:52Z","relation":"main_file","date_created":"2018-03-14T12:26:52Z","creator":"florida"}],"date_created":"2017-11-13T08:13:29Z","date_updated":"2022-01-06T07:03:22Z","has_accepted_license":"1","title":"On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring","year":"2017","status":"public","author":[{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"}],"doi":"10.17619/UNIPB/1-104","ddc":["040"],"user_id":"477","publisher":"Universität Paderborn","_id":"685"},{"date_created":"2017-10-17T12:41:04Z","file":[{"relation":"main_file","date_updated":"2018-03-21T13:15:09Z","file_name":"69-a7-jakobs.pdf","file_size":1215139,"access_level":"closed","file_id":"1575","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T13:15:09Z"}],"department":[{"_id":"77"}],"type":"journal_article","publication":"ACM Transactions on Programming Languages and Systems","issue":"2","abstract":[{"text":"Today, software is traded worldwide on global markets, with apps being downloaded to smartphones within minutes or seconds. This poses, more than ever, the challenge of ensuring safety of software in the face of (1) unknown or untrusted software providers together with (2) resource-limited software consumers. The concept of Proof-Carrying Code (PCC), years ago suggested by Necula, provides one framework for securing the execution of untrusted code. PCC techniques attach safety proofs, constructed by software producers, to code. Based on the assumption that checking proofs is usually much simpler than constructing proofs, software consumers should thus be able to quickly check the safety of software. However, PCC techniques often suffer from the size of certificates (i.e., the attached proofs), making PCC techniques inefficient in practice.In this article, we introduce a new framework for the safe execution of untrusted code called Programs from Proofs (PfP). The basic assumption underlying the PfP technique is the fact that the structure of programs significantly influences the complexity of checking a specific safety property. Instead of attaching proofs to program code, the PfP technique transforms the program into an efficiently checkable form, thus guaranteeing quick safety checks for software consumers. For this transformation, the technique also uses a producer-side automatic proof of safety. More specifically, safety proving for the software producer proceeds via the construction of an abstract reachability graph (ARG) unfolding the control-flow automaton (CFA) up to the degree necessary for simple checking. To this end, we combine different sorts of software analysis: expensive analyses incrementally determining the degree of unfolding, and cheap analyses responsible for safety checking. Out of the abstract reachability graph we generate the new program. In its CFA structure, it is isomorphic to the graph and hence another, this time consumer-side, cheap analysis can quickly determine its safety.Like PCC, Programs from Proofs is a general framework instantiable with different sorts of (expensive and cheap) analysis. Here, we present the general framework and exemplify it by some concrete examples. We have implemented different instantiations on top of the configurable program analysis tool CPAchecker and report on experiments, in particular on comparisons with PCC techniques.","lang":"eng"}],"language":[{"iso":"eng"}],"doi":"10.1145/3014427","author":[{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"year":"2017","title":"Programs from Proofs: A Framework for the Safe Execution of Untrusted Software","date_updated":"2022-01-06T07:03:23Z","citation":{"chicago":"Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” <i>ACM Transactions on Programming Languages and Systems</i>, no. 2 (2017): 7:1-7:56. <a href=\"https://doi.org/10.1145/3014427\">https://doi.org/10.1145/3014427</a>.","short":"M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.","apa":"Jakobs, M.-C., &#38; Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. <i>ACM Transactions on Programming Languages and Systems</i>, (2), 7:1-7:56. <a href=\"https://doi.org/10.1145/3014427\">https://doi.org/10.1145/3014427</a>","ieee":"M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” <i>ACM Transactions on Programming Languages and Systems</i>, no. 2, pp. 7:1-7:56, 2017.","ama":"Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. <i>ACM Transactions on Programming Languages and Systems</i>. 2017;(2):7:1-7:56. doi:<a href=\"https://doi.org/10.1145/3014427\">10.1145/3014427</a>","bibtex":"@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}, DOI={<a href=\"https://doi.org/10.1145/3014427\">10.1145/3014427</a>}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56} }","mla":"Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” <i>ACM Transactions on Programming Languages and Systems</i>, no. 2, ACM, 2017, pp. 7:1-7:56, doi:<a href=\"https://doi.org/10.1145/3014427\">10.1145/3014427</a>."},"file_date_updated":"2018-03-21T13:15:09Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"publisher":"ACM","_id":"69","page":"7:1-7:56","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1"},{"department":[{"_id":"63"}],"type":"bachelorsthesis","date_created":"2017-11-14T06:57:49Z","citation":{"bibtex":"@book{Nowack_2017, title={On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen}, publisher={Universität Paderborn}, author={Nowack, Joshua}, year={2017} }","ama":"Nowack J. <i>On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen</i>. Universität Paderborn; 2017.","mla":"Nowack, Joshua. <i>On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen</i>. Universität Paderborn, 2017.","chicago":"Nowack, Joshua. <i>On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen</i>. Universität Paderborn, 2017.","short":"J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017.","ieee":"J. Nowack, <i>On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen</i>. Universität Paderborn, 2017.","apa":"Nowack, J. (2017). <i>On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen</i>. Universität Paderborn."},"user_id":"14052","publisher":"Universität Paderborn","_id":"695","language":[{"iso":"ger"}],"date_updated":"2022-01-06T07:03:23Z","author":[{"full_name":"Nowack, Joshua","first_name":"Joshua","last_name":"Nowack"}],"status":"public","title":"On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen","year":"2017"},{"publication_status":"published","date_updated":"2022-01-06T06:52:50Z","title":"Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)","year":"2017","status":"public","author":[{"last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"},{"first_name":"Falko","last_name":" Dressler","full_name":" Dressler, Falko"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"},{"full_name":"Scheytt, Christoph","first_name":"Christoph","last_name":"Scheytt"},{"first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"}],"user_id":"15415","page":"369","_id":"16444","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}","language":[{"iso":"eng"}],"citation":{"chicago":"Gausemeier, Jürgen, Eric Bodden, Falko  Dressler, Roman Dumitrescu, Friedhelm Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler. <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)</i>. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn}. Paderborn, 2017.","short":"J. Gausemeier, E. Bodden, F.  Dressler, R. Dumitrescu, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Paderborn, 2017.","ama":"Gausemeier J, Bodden E,  Dressler F, et al. <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)</i>. Paderborn; 2017.","bibtex":"@book{Gausemeier_Bodden_ Dressler_Dumitrescu_Meyer auf der Heide_Scheytt_Trächtler_2017, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)}, author={Gausemeier, Jürgen and Bodden, Eric and  Dressler, Falko and Dumitrescu, Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}} }","mla":"Gausemeier, Jürgen, et al. <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)</i>. 2017.","apa":"Gausemeier, J., Bodden, E.,  Dressler, F., Dumitrescu, R., Meyer auf der Heide, F., Scheytt, C., &#38; Trächtler, A. (2017). <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)</i>. Paderborn.","ieee":"J. Gausemeier <i>et al.</i>, <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)</i>. Paderborn, 2017."},"type":"book","department":[{"_id":"63"}],"date_created":"2020-04-07T06:36:06Z","place":"Paderborn"},{"external_id":{"arxiv":["arXiv:1706.03568 "]},"place":"Cham","date_created":"2020-04-08T07:20:20Z","type":"book_chapter","department":[{"_id":"63"}],"publication":"Structural Information and Communication Complexity","citation":{"ieee":"P. Bemmann <i>et al.</i>, “Monitoring of Domain-Related Problems in Distributed Data Streams,” in <i>Structural Information and Communication Complexity</i>, Cham, 2017.","apa":"Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr, S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S., Schaefer, J. S., &#38; Sundermeier, J. (2017). Monitoring of Domain-Related Problems in Distributed Data Streams. In <i>Structural Information and Communication Complexity</i>. <a href=\"https://doi.org/10.1007/978-3-319-72050-0_13\">https://doi.org/10.1007/978-3-319-72050-0_13</a>","short":"P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.","chicago":"Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann, Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.” In <i>Structural Information and Communication Complexity</i>. Cham, 2017. <a href=\"https://doi.org/10.1007/978-3-319-72050-0_13\">https://doi.org/10.1007/978-3-319-72050-0_13</a>.","mla":"Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.” <i>Structural Information and Communication Complexity</i>, 2017, doi:<a href=\"https://doi.org/10.1007/978-3-319-72050-0_13\">10.1007/978-3-319-72050-0_13</a>.","bibtex":"@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems in Distributed Data Streams}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-72050-0_13\">10.1007/978-3-319-72050-0_13</a>}, booktitle={Structural Information and Communication Complexity}, author={Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }","ama":"Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems in Distributed Data Streams. In: <i>Structural Information and Communication Complexity</i>. ; 2017. doi:<a href=\"https://doi.org/10.1007/978-3-319-72050-0_13\">10.1007/978-3-319-72050-0_13</a>"},"_id":"16461","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-72050-0_13","user_id":"15415","title":"Monitoring of Domain-Related Problems in Distributed Data Streams","year":"2017","status":"public","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319720494","9783319720500"]},"author":[{"last_name":"Bemmann","first_name":"Pascal","full_name":"Bemmann, Pascal"},{"first_name":"Felix","last_name":"Biermeier","full_name":"Biermeier, Felix"},{"full_name":"Bürmann, Jan","last_name":"Bürmann","first_name":"Jan"},{"full_name":"Kemper, Arne","last_name":"Kemper","first_name":"Arne"},{"full_name":"Knollmann, Till","first_name":"Till","orcid":"0000-0003-2014-4696","last_name":"Knollmann","id":"39241"},{"last_name":"Knorr","first_name":"Steffen","full_name":"Knorr, Steffen"},{"full_name":"Kothe, Nils","first_name":"Nils","last_name":"Kothe"},{"full_name":"Mäcker, Alexander","first_name":"Alexander","last_name":"Mäcker","id":"13536"},{"id":"41265","full_name":"Malatyali, Manuel","first_name":"Manuel","last_name":"Malatyali"},{"id":"15523","first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"},{"full_name":"Riechers, Sören","first_name":"Sören","last_name":"Riechers"},{"id":"30291","full_name":"Schaefer, Johannes Sebastian","last_name":"Schaefer","first_name":"Johannes Sebastian"},{"id":"38705","full_name":"Sundermeier, Jannik","last_name":"Sundermeier","first_name":"Jannik"}],"date_updated":"2022-01-06T06:52:50Z","publication_status":"published"},{"_id":"16540","language":[{"iso":"eng"}],"page":"61-79","user_id":"15701","doi":"10.1080/14689367.2016.1215410","publication_identifier":{"issn":["1468-9367","1468-9375"]},"author":[{"full_name":"Dellnitz, Michael","first_name":"Michael","last_name":"Dellnitz"},{"last_name":"Klus","first_name":"Stefan","full_name":"Klus, Stefan"}],"title":"Sensing and control in symmetric networks","year":"2017","status":"public","publication_status":"published","date_updated":"2022-01-06T06:52:52Z","date_created":"2020-04-15T08:40:29Z","department":[{"_id":"101"}],"type":"journal_article","citation":{"apa":"Dellnitz, M., &#38; Klus, S. (2017). Sensing and control in symmetric networks. <i>Dynamical Systems</i>, 61–79. <a href=\"https://doi.org/10.1080/14689367.2016.1215410\">https://doi.org/10.1080/14689367.2016.1215410</a>","ieee":"M. Dellnitz and S. Klus, “Sensing and control in symmetric networks,” <i>Dynamical Systems</i>, pp. 61–79, 2017.","chicago":"Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.” <i>Dynamical Systems</i>, 2017, 61–79. <a href=\"https://doi.org/10.1080/14689367.2016.1215410\">https://doi.org/10.1080/14689367.2016.1215410</a>.","short":"M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.","mla":"Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.” <i>Dynamical Systems</i>, 2017, pp. 61–79, doi:<a href=\"https://doi.org/10.1080/14689367.2016.1215410\">10.1080/14689367.2016.1215410</a>.","ama":"Dellnitz M, Klus S. Sensing and control in symmetric networks. <i>Dynamical Systems</i>. 2017:61-79. doi:<a href=\"https://doi.org/10.1080/14689367.2016.1215410\">10.1080/14689367.2016.1215410</a>","bibtex":"@article{Dellnitz_Klus_2017, title={Sensing and control in symmetric networks}, DOI={<a href=\"https://doi.org/10.1080/14689367.2016.1215410\">10.1080/14689367.2016.1215410</a>}, journal={Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan}, year={2017}, pages={61–79} }"},"publication":"Dynamical Systems"},{"type":"journal_article","department":[{"_id":"101"}],"date_created":"2020-04-16T05:39:17Z","publication":"SIAM Journal on Applied Dynamical Systems","citation":{"short":"M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems (2017) 120–138.","chicago":"Dellnitz, Michael, Stefan Klus, and Adrian Ziessler. “A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty.” <i>SIAM Journal on Applied Dynamical Systems</i>, 2017, 120–38. <a href=\"https://doi.org/10.1137/16m1072735\">https://doi.org/10.1137/16m1072735</a>.","ieee":"M. Dellnitz, S. Klus, and A. Ziessler, “A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty,” <i>SIAM Journal on Applied Dynamical Systems</i>, pp. 120–138, 2017.","apa":"Dellnitz, M., Klus, S., &#38; Ziessler, A. (2017). A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty. <i>SIAM Journal on Applied Dynamical Systems</i>, 120–138. <a href=\"https://doi.org/10.1137/16m1072735\">https://doi.org/10.1137/16m1072735</a>","bibtex":"@article{Dellnitz_Klus_Ziessler_2017, title={A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty}, DOI={<a href=\"https://doi.org/10.1137/16m1072735\">10.1137/16m1072735</a>}, journal={SIAM Journal on Applied Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan and Ziessler, Adrian}, year={2017}, pages={120–138} }","ama":"Dellnitz M, Klus S, Ziessler A. A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty. <i>SIAM Journal on Applied Dynamical Systems</i>. 2017:120-138. doi:<a href=\"https://doi.org/10.1137/16m1072735\">10.1137/16m1072735</a>","mla":"Dellnitz, Michael, et al. “A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty.” <i>SIAM Journal on Applied Dynamical Systems</i>, 2017, pp. 120–38, doi:<a href=\"https://doi.org/10.1137/16m1072735\">10.1137/16m1072735</a>."},"user_id":"15701","doi":"10.1137/16m1072735","page":"120-138","_id":"16581","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:52:52Z","status":"public","year":"2017","title":"A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty","publication_identifier":{"issn":["1536-0040"]},"author":[{"last_name":"Dellnitz","first_name":"Michael","full_name":"Dellnitz, Michael"},{"last_name":"Klus","first_name":"Stefan","full_name":"Klus, Stefan"},{"last_name":"Ziessler","first_name":"Adrian","full_name":"Ziessler, Adrian"}]},{"page":"8674-8679","language":[{"iso":"eng"}],"_id":"16657","doi":"10.1016/j.ifacol.2017.08.1526","user_id":"15701","status":"public","title":"A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).","year":"2017","author":[{"full_name":"Peitz, Sebastian","last_name":"Peitz","first_name":"Sebastian"},{"full_name":"Schäfer, Kai","first_name":"Kai","last_name":"Schäfer"},{"last_name":"Ober-Blöbaum","first_name":"Sina","full_name":"Ober-Blöbaum, Sina"},{"full_name":"Eckstein, Julian","last_name":"Eckstein","first_name":"Julian"},{"full_name":"Köhler, Ulrich","last_name":"Köhler","first_name":"Ulrich"},{"last_name":"Dellnitz","first_name":"Michael","full_name":"Dellnitz, Michael"}],"publication_identifier":{"issn":["2405-8963"]},"date_updated":"2022-01-06T06:52:53Z","publication_status":"published","date_created":"2020-04-16T09:30:56Z","type":"journal_article","department":[{"_id":"101"}],"publication":"IFAC-PapersOnLine","citation":{"chicago":"Peitz, Sebastian, Kai Schäfer, Sina Ober-Blöbaum, Julian Eckstein, Ulrich Köhler, and Michael Dellnitz. “A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This Research Was Funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (It’s OWL).” <i>IFAC-PapersOnLine</i>, 2017, 8674–79. <a href=\"https://doi.org/10.1016/j.ifacol.2017.08.1526\">https://doi.org/10.1016/j.ifacol.2017.08.1526</a>.","short":"S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz, IFAC-PapersOnLine (2017) 8674–8679.","ieee":"S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, and M. Dellnitz, “A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).,” <i>IFAC-PapersOnLine</i>, pp. 8674–8679, 2017.","apa":"Peitz, S., Schäfer, K., Ober-Blöbaum, S., Eckstein, J., Köhler, U., &#38; Dellnitz, M. (2017). A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL). <i>IFAC-PapersOnLine</i>, 8674–8679. <a href=\"https://doi.org/10.1016/j.ifacol.2017.08.1526\">https://doi.org/10.1016/j.ifacol.2017.08.1526</a>","bibtex":"@article{Peitz_Schäfer_Ober-Blöbaum_Eckstein_Köhler_Dellnitz_2017, title={A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).}, DOI={<a href=\"https://doi.org/10.1016/j.ifacol.2017.08.1526\">10.1016/j.ifacol.2017.08.1526</a>}, journal={IFAC-PapersOnLine}, author={Peitz, Sebastian and Schäfer, Kai and Ober-Blöbaum, Sina and Eckstein, Julian and Köhler, Ulrich and Dellnitz, Michael}, year={2017}, pages={8674–8679} }","ama":"Peitz S, Schäfer K, Ober-Blöbaum S, Eckstein J, Köhler U, Dellnitz M. A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL). <i>IFAC-PapersOnLine</i>. 2017:8674-8679. doi:<a href=\"https://doi.org/10.1016/j.ifacol.2017.08.1526\">10.1016/j.ifacol.2017.08.1526</a>","mla":"Peitz, Sebastian, et al. “A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This Research Was Funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (It’s OWL).” <i>IFAC-PapersOnLine</i>, 2017, pp. 8674–79, doi:<a href=\"https://doi.org/10.1016/j.ifacol.2017.08.1526\">10.1016/j.ifacol.2017.08.1526</a>."}},{"date_created":"2017-10-17T12:41:11Z","type":"bachelorsthesis","department":[{"_id":"64"}],"citation":{"ieee":"D. Diemert, <i>EAX - An Authenticated Encryption Mode for Block Ciphers</i>. Universität Paderborn, 2017.","apa":"Diemert, D. (2017). <i>EAX - An Authenticated Encryption Mode for Block Ciphers</i>. Universität Paderborn.","mla":"Diemert, Denis. <i>EAX - An Authenticated Encryption Mode for Block Ciphers</i>. Universität Paderborn, 2017.","bibtex":"@book{Diemert_2017, title={EAX - An Authenticated Encryption Mode for Block Ciphers}, publisher={Universität Paderborn}, author={Diemert, Denis}, year={2017} }","short":"D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.","ama":"Diemert D. <i>EAX - An Authenticated Encryption Mode for Block Ciphers</i>. Universität Paderborn; 2017.","chicago":"Diemert, Denis. <i>EAX - An Authenticated Encryption Mode for Block Ciphers</i>. Universität Paderborn, 2017."},"supervisor":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"_id":"4","name":"SFB 901 - Project Area C"}],"_id":"104","publisher":"Universität Paderborn","user_id":"477","year":"2017","title":"EAX - An Authenticated Encryption Mode for Block Ciphers","status":"public","author":[{"first_name":"Denis","last_name":"Diemert","full_name":"Diemert, Denis"}],"date_updated":"2022-01-06T06:50:38Z"},{"type":"conference","department":[{"_id":"79"}],"file":[{"creator":"florida","date_created":"2018-03-13T09:23:11Z","relation":"main_file","date_updated":"2018-03-13T09:23:11Z","file_name":"105-ICALP17-GHSS.pdf","file_size":504161,"access_level":"closed","file_id":"1207","content_type":"application/pdf","success":1}],"date_created":"2017-10-17T12:41:12Z","abstract":[{"text":"We initiate the study of network monitoring algorithms in a class of hybrid networks in which the nodes are connected by an external network and an internal network (as a short form for externally and internally controlled network). While the external network lies outside of the control of the nodes (or in our case, the monitoring protocol running in them) and might be exposed to continuous changes, the internal network is fully under the control of the nodes. As an example, consider a group of users with mobile devices having access to the cell phone infrastructure. While the network formed by the WiFi connections of the devices is an external network (as its structure is not necessarily under the control of the monitoring protocol), the connections between the devices via the cell phone infrastructure represent an internal network (as it can be controlled by the monitoring protocol). Our goal is to continuously monitor properties of the external network with the help of the internal network. We present scalable distributed algorithms that efficiently monitor the number of edges, the average node degree, the clustering coefficient, the bipartiteness, and the weight of a minimum spanning tree. Their performance bounds demonstrate that monitoring the external network state with the help of an internal network can be done much more efficiently than just using the external network, as is usually done in the literature.","lang":"eng"}],"publication":"Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)","doi":"10.4230/LIPIcs.ICALP.2017.137","language":[{"iso":"eng"}],"series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","date_updated":"2022-01-06T06:50:42Z","year":"2017","title":"Distributed Monitoring of Network Properties: The Power of Hybrid Networks","author":[{"last_name":"Gmyr","first_name":"Robert","full_name":"Gmyr, Robert"},{"id":"32229","first_name":"Kristian","last_name":"Hinnenthal","full_name":"Hinnenthal, Kristian"},{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"},{"last_name":"Sohler","first_name":"Christian","full_name":"Sohler, Christian"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"}],"file_date_updated":"2018-03-13T09:23:11Z","citation":{"ama":"Gmyr R, Hinnenthal K, Scheideler C, Sohler C. Distributed Monitoring of Network Properties: The Power of Hybrid Networks. In: <i>Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)</i>. Leibniz International Proceedings in Informatics (LIPIcs). ; 2017:137:1--137:15. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2017.137\">10.4230/LIPIcs.ICALP.2017.137</a>","bibtex":"@inproceedings{Gmyr_Hinnenthal_Scheideler_Sohler_2017, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Distributed Monitoring of Network Properties: The Power of Hybrid Networks}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2017.137\">10.4230/LIPIcs.ICALP.2017.137</a>}, booktitle={Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Gmyr, Robert and Hinnenthal, Kristian and Scheideler, Christian and Sohler, Christian}, year={2017}, pages={137:1--137:15}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }","mla":"Gmyr, Robert, et al. “Distributed Monitoring of Network Properties: The Power of Hybrid Networks.” <i>Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)</i>, 2017, pp. 137:1--137:15, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2017.137\">10.4230/LIPIcs.ICALP.2017.137</a>.","chicago":"Gmyr, Robert, Kristian Hinnenthal, Christian Scheideler, and Christian Sohler. “Distributed Monitoring of Network Properties: The Power of Hybrid Networks.” In <i>Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)</i>, 137:1--137:15. Leibniz International Proceedings in Informatics (LIPIcs), 2017. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2017.137\">https://doi.org/10.4230/LIPIcs.ICALP.2017.137</a>.","short":"R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.","apa":"Gmyr, R., Hinnenthal, K., Scheideler, C., &#38; Sohler, C. (2017). Distributed Monitoring of Network Properties: The Power of Hybrid Networks. In <i>Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)</i> (pp. 137:1--137:15). <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2017.137\">https://doi.org/10.4230/LIPIcs.ICALP.2017.137</a>","ieee":"R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring of Network Properties: The Power of Hybrid Networks,” in <i>Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)</i>, 2017, pp. 137:1--137:15."},"user_id":"20792","ddc":["040"],"page":"137:1--137:15","_id":"105","has_accepted_license":"1","status":"public"},{"publication":"Encyclopedia of Machine Learning and Data Mining","citation":{"apa":"Fürnkranz, J., &#38; Hüllermeier, E. (2017). Preference Learning. In <i>Encyclopedia of Machine Learning and Data Mining</i> (pp. 1000–1005).","ieee":"J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in <i>Encyclopedia of Machine Learning and Data Mining</i>, 2017, pp. 1000–1005.","short":"J. Fürnkranz, E. Hüllermeier, in: Encyclopedia of Machine Learning and Data Mining, 2017, pp. 1000–1005.","chicago":"Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” In <i>Encyclopedia of Machine Learning and Data Mining</i>, 1000–1005, 2017.","mla":"Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” <i>Encyclopedia of Machine Learning and Data Mining</i>, 2017, pp. 1000–05.","ama":"Fürnkranz J, Hüllermeier E. Preference Learning. In: <i>Encyclopedia of Machine Learning and Data Mining</i>. ; 2017:1000-1005.","bibtex":"@inbook{Fürnkranz_Hüllermeier_2017, title={Preference Learning}, booktitle={Encyclopedia of Machine Learning and Data Mining}, author={Fürnkranz, J. and Hüllermeier, Eyke}, year={2017}, pages={1000–1005} }"},"date_created":"2019-07-09T15:37:09Z","type":"encyclopedia_article","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"status":"public","title":"Preference Learning","year":"2017","author":[{"first_name":"J.","last_name":"Fürnkranz","full_name":"Fürnkranz, J."},{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"date_updated":"2022-01-06T06:50:45Z","page":"1000-1005","language":[{"iso":"eng"}],"_id":"10589","user_id":"49109"},{"author":[{"id":"47427","first_name":"Sebastian","last_name":"Peitz","orcid":"https://orcid.org/0000-0002-3389-793X","full_name":"Peitz, Sebastian"}],"title":" \tExploiting structure in multiobjective optimization and optimal control","year":"2017","date_updated":"2022-01-06T06:50:46Z","publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://d-nb.info/1139356542/34","open_access":"1"}],"doi":"10.17619/UNIPB/1-176","abstract":[{"lang":"eng","text":"Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to compute\r\nthe set of optimal compromises (the Pareto set) between the conflicting objectives.\r\n\r\nSince – in contrast to the solution of a single objective optimization problem – the\r\nPareto set generally consists of an infinite number of solutions, the computational\r\neffort can quickly become challenging. This is even more the case when many problems have to be solved, when the number of objectives is high, or when the objectives\r\nare costly to evaluate. Consequently, this thesis is devoted to the identification and\r\nexploitation of structure both in the Pareto set and the dynamics of the underlying\r\nmodel as well as to the development of efficient algorithms for solving problems with\r\nadditional parameters, with a high number of objectives or with PDE-constraints.\r\nThese three challenges are addressed in three respective parts.\r\n\r\nIn the first part, predictor-corrector methods are extended to entire Pareto sets.\r\nWhen certain smoothness assumptions are satisfied, then the set of parameter dependent Pareto sets possesses additional structure, i.e. it is a manifold. The tangent\r\nspace can be approximated numerically which yields a direction for the predictor\r\nstep. In the corrector step, the predicted set converges to the Pareto set at a new\r\nparameter value. The resulting algorithm is applied to an example from autonomous\r\ndriving.\r\n\r\nIn the second part, the hierarchical structure of Pareto sets is investigated. When\r\nconsidering a subset of the objectives, the resulting solution is a subset of the Pareto\r\nset of the original problem. Under additional smoothness assumptions, the respective subsets are located on the boundary of the Pareto set of the full problem. This\r\nway, the “skeleton” of a Pareto set can be computed and due to the exponential\r\nincrease in computing time with the number of objectives, the computations of\r\nthese subsets are significantly faster which is demonstrated using an example from\r\nindustrial laundries.\r\n\r\nIn the third part, PDE-constrained multiobjective optimal control problems are\r\naddressed by reduced order modeling methods. Reduced order models exploit the\r\nstructure in the system dynamics, for example by describing the dynamics of only the\r\nmost energetic modes. The model reduction introduces an error in both the function values and their gradients, which has to be taken into account in the development of\r\nalgorithms. Both scalarization and set-oriented approaches are coupled with reduced\r\norder modeling. Convergence results are presented and the numerical benefit is\r\ninvestigated. The algorithms are applied to semi-linear heat flow problems as well\r\nas to the Navier-Stokes equations.\r\n"}],"date_created":"2019-07-10T08:12:22Z","file":[{"date_created":"2020-03-13T12:52:50Z","creator":"speitz","content_type":"application/pdf","success":1,"file_id":"16298","access_level":"closed","file_size":16636801,"file_name":"Dissertation_Peitz.pdf","date_updated":"2020-03-13T12:52:50Z","relation":"main_file"}],"department":[{"_id":"101"}],"type":"dissertation","status":"public","has_accepted_license":"1","_id":"10594","ddc":["510"],"user_id":"47427","citation":{"apa":"Peitz, S. (2017). <i>  Exploiting structure in multiobjective optimization and optimal control</i>. <a href=\"https://doi.org/10.17619/UNIPB/1-176\">https://doi.org/10.17619/UNIPB/1-176</a>","ieee":"S. Peitz, <i>  Exploiting structure in multiobjective optimization and optimal control</i>. 2017.","short":"S. Peitz,   Exploiting Structure in Multiobjective Optimization and Optimal Control, 2017.","chicago":"Peitz, Sebastian. <i>  Exploiting Structure in Multiobjective Optimization and Optimal Control</i>, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-176\">https://doi.org/10.17619/UNIPB/1-176</a>.","mla":"Peitz, Sebastian. <i>  Exploiting Structure in Multiobjective Optimization and Optimal Control</i>. 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-176\">10.17619/UNIPB/1-176</a>.","ama":"Peitz S. <i>  Exploiting Structure in Multiobjective Optimization and Optimal Control</i>.; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-176\">10.17619/UNIPB/1-176</a>","bibtex":"@book{Peitz_2017, title={  Exploiting structure in multiobjective optimization and optimal control}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-176\">10.17619/UNIPB/1-176</a>}, author={Peitz, Sebastian}, year={2017} }"},"file_date_updated":"2020-03-13T12:52:50Z","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"oa":"1"},{"_id":"10600","language":[{"iso":"eng"}],"user_id":"398","doi":"10.1145/2996468","author":[{"last_name":"H.W. Leong","first_name":"Philip","full_name":"H.W. Leong, Philip"},{"last_name":"Amano","first_name":"Hideharu","full_name":"Amano, Hideharu"},{"full_name":"Anderson, Jason","last_name":"Anderson","first_name":"Jason"},{"last_name":"Bertels","first_name":"Koen","full_name":"Bertels, Koen"},{"last_name":"M.P. Cardoso","first_name":"Jo\\~{a}o","full_name":"M.P. Cardoso, Jo\\~{a}o"},{"full_name":"Diessel, Oliver","last_name":"Diessel","first_name":"Oliver"},{"full_name":"Gogniat, Guy","last_name":"Gogniat","first_name":"Guy"},{"full_name":"Hutton, Mike","last_name":"Hutton","first_name":"Mike"},{"first_name":"JunKyu","last_name":"Lee","full_name":"Lee, JunKyu"},{"full_name":"Luk, Wayne","first_name":"Wayne","last_name":"Luk"},{"full_name":"Lysaght, Patrick","last_name":"Lysaght","first_name":"Patrick"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"},{"full_name":"K. Prasanna, Viktor","last_name":"K. Prasanna","first_name":"Viktor"},{"full_name":"Rissa, Tero","first_name":"Tero","last_name":"Rissa"},{"first_name":"Cristina","last_name":"Silvano","full_name":"Silvano, Cristina"},{"full_name":"So, Hayden","last_name":"So","first_name":"Hayden"},{"last_name":"Wang","first_name":"Yu","full_name":"Wang, Yu"}],"title":"The First 25 Years of the FPL Conference – Significant Papers","status":"public","year":"2017","date_updated":"2022-01-06T06:50:47Z","date_created":"2019-07-10T09:22:27Z","department":[{"_id":"78"}],"type":"journal_article","citation":{"apa":"H.W. Leong, P., Amano, H., Anderson, J., Bertels, K., M.P. Cardoso, J., Diessel, O., … Wang, Y. (2017). The First 25 Years of the FPL Conference – Significant Papers. <i>ACM Transactions on Reconfigurable Technology and Systems</i>. <a href=\"https://doi.org/10.1145/2996468\">https://doi.org/10.1145/2996468</a>","ieee":"P. H.W. Leong <i>et al.</i>, “The First 25 Years of the FPL Conference – Significant Papers,” <i>ACM Transactions on Reconfigurable Technology and Systems</i>, 2017.","chicago":"H.W. Leong, Philip, Hideharu Amano, Jason Anderson, Koen Bertels, Jo\\~{a}o M.P. Cardoso, Oliver Diessel, Guy Gogniat, et al. “The First 25 Years of the FPL Conference – Significant Papers.” <i>ACM Transactions on Reconfigurable Technology and Systems</i>, 2017. <a href=\"https://doi.org/10.1145/2996468\">https://doi.org/10.1145/2996468</a>.","short":"P. H.W. Leong, H. Amano, J. Anderson, K. Bertels, J. M.P. Cardoso, O. Diessel, G. Gogniat, M. Hutton, J. Lee, W. Luk, P. Lysaght, M. Platzner, V. K. Prasanna, T. Rissa, C. Silvano, H. So, Y. Wang, ACM Transactions on Reconfigurable Technology and Systems (2017).","mla":"H.W. Leong, Philip, et al. “The First 25 Years of the FPL Conference – Significant Papers.” <i>ACM Transactions on Reconfigurable Technology and Systems</i>, 2017, doi:<a href=\"https://doi.org/10.1145/2996468\">10.1145/2996468</a>.","ama":"H.W. Leong P, Amano H, Anderson J, et al. The First 25 Years of the FPL Conference – Significant Papers. <i>ACM Transactions on Reconfigurable Technology and Systems</i>. 2017. doi:<a href=\"https://doi.org/10.1145/2996468\">10.1145/2996468</a>","bibtex":"@article{H.W. Leong_Amano_Anderson_Bertels_M.P. Cardoso_Diessel_Gogniat_Hutton_Lee_Luk_et al._2017, title={The First 25 Years of the FPL Conference – Significant Papers}, DOI={<a href=\"https://doi.org/10.1145/2996468\">10.1145/2996468</a>}, journal={ACM Transactions on Reconfigurable Technology and Systems}, author={H.W. Leong, Philip and Amano, Hideharu and Anderson, Jason and Bertels, Koen and M.P. Cardoso, Jo\\~{a}o and Diessel, Oliver and Gogniat, Guy and Hutton, Mike and Lee, JunKyu and Luk, Wayne and et al.}, year={2017} }"},"publication":"ACM Transactions on Reconfigurable Technology and Systems"},{"citation":{"ieee":"R. F. DeMara, M. Platzner, and M. Ottavi, “Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial),” <i>IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing</i>, 2017.","apa":"F. DeMara, R., Platzner, M., &#38; Ottavi, M. (2017). Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial). <i>IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing</i>. <a href=\"https://doi.org/10.1109/TETC.2016.2641599\">https://doi.org/10.1109/TETC.2016.2641599</a>","short":"R. F. DeMara, M. Platzner, M. Ottavi, IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing (2017).","chicago":"F. DeMara, Ronald, Marco Platzner, and Marco Ottavi. “Innovation in Reconfigurable Computing Fabrics: From Devices to Architectures (Guest Editorial).” <i>IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing</i>, 2017. <a href=\"https://doi.org/10.1109/TETC.2016.2641599\">https://doi.org/10.1109/TETC.2016.2641599</a>.","mla":"F. DeMara, Ronald, et al. “Innovation in Reconfigurable Computing Fabrics: From Devices to Architectures (Guest Editorial).” <i>IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing</i>, 2017, doi:<a href=\"https://doi.org/10.1109/TETC.2016.2641599\">10.1109/TETC.2016.2641599</a>.","bibtex":"@article{F. DeMara_Platzner_Ottavi_2017, title={Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial)}, DOI={<a href=\"https://doi.org/10.1109/TETC.2016.2641599\">10.1109/TETC.2016.2641599</a>}, journal={IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing}, author={F. DeMara, Ronald and Platzner, Marco and Ottavi, Marco}, year={2017} }","ama":"F. DeMara R, Platzner M, Ottavi M. Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial). <i>IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing</i>. 2017. doi:<a href=\"https://doi.org/10.1109/TETC.2016.2641599\">10.1109/TETC.2016.2641599</a>"},"publication":"IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing","date_created":"2019-07-10T09:22:28Z","department":[{"_id":"78"}],"type":"journal_article","author":[{"full_name":"F. DeMara, Ronald","first_name":"Ronald","last_name":"F. DeMara"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"},{"last_name":"Ottavi","first_name":"Marco","full_name":"Ottavi, Marco"}],"status":"public","title":"Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial)","year":"2017","date_updated":"2022-01-06T06:50:47Z","language":[{"iso":"eng"}],"_id":"10601","doi":"10.1109/TETC.2016.2641599","user_id":"398"},{"date_created":"2019-07-10T09:23:11Z","department":[{"_id":"78"}],"type":"journal_article","citation":{"short":"J. Anwer, M. Platzner, Microprocessors and Microsystems (2017) 160–172.","chicago":"Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant FPGA Structures Using Boolean Difference Calculus.” <i>Microprocessors and Microsystems</i>, 2017, 160–72. <a href=\"https://doi.org/10.1016/j.micpro.2017.06.002\">https://doi.org/10.1016/j.micpro.2017.06.002</a>.","ieee":"J. Anwer and M. Platzner, “Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus,” <i>Microprocessors and Microsystems</i>, pp. 160–172, 2017.","apa":"Anwer, J., &#38; Platzner, M. (2017). Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus. <i>Microprocessors and Microsystems</i>, 160–172. <a href=\"https://doi.org/10.1016/j.micpro.2017.06.002\">https://doi.org/10.1016/j.micpro.2017.06.002</a>","bibtex":"@article{Anwer_Platzner_2017, title={Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus}, DOI={<a href=\"https://doi.org/10.1016/j.micpro.2017.06.002\">10.1016/j.micpro.2017.06.002</a>}, journal={Microprocessors and Microsystems}, publisher={Elsevier}, author={Anwer, Jahanzeb and Platzner, Marco}, year={2017}, pages={160–172} }","ama":"Anwer J, Platzner M. Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus. <i>Microprocessors and Microsystems</i>. 2017:160-172. doi:<a href=\"https://doi.org/10.1016/j.micpro.2017.06.002\">10.1016/j.micpro.2017.06.002</a>","mla":"Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant FPGA Structures Using Boolean Difference Calculus.” <i>Microprocessors and Microsystems</i>, Elsevier, 2017, pp. 160–72, doi:<a href=\"https://doi.org/10.1016/j.micpro.2017.06.002\">10.1016/j.micpro.2017.06.002</a>."},"publication":"Microprocessors and Microsystems","_id":"10611","language":[{"iso":"eng"}],"publisher":"Elsevier","page":"160-172","user_id":"3118","doi":"10.1016/j.micpro.2017.06.002","author":[{"first_name":"Jahanzeb","last_name":"Anwer","full_name":"Anwer, Jahanzeb"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"year":"2017","title":"Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus","status":"public","date_updated":"2022-01-06T06:50:47Z"}]