Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
112 Publications
2017 | Dissertation | LibreCat-ID: 685
Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” ACM Transactions on Programming Languages and Systems, no. 2, ACM, 2017, pp. 7:1-7:56, doi:10.1145/3014427.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 109 | 
Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 201
Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 186
Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.” Computers & Electrical Engineering, Elsevier, 2016, pp. 112--122, doi:10.1016/j.compeleceng.2016.04.005.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.” Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483, doi:10.1007/978-3-319-47846-3_29.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5205
Späth, Johannes, et al. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 170
Jakobs, Marie-Christine, et al. “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A, 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 1190
Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8, doi:10.1109/ReCoSoC.2016.7533910.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 250
Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, et al. “Just Test What You Cannot Verify!” Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:10.1007/978-3-662-46675-9_7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9, doi:10.1109/ACSD.2015.13.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 262
Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.” Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–36, doi:10.1145/2695664.2695690.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 5207
Li, Li, et al. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–91.
LibreCat
| Files available
| Download (ext.)
2015 | Bachelorsthesis | LibreCat-ID: 10714
Meißner, Roland. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs. Universität Paderborn, 2015.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu, Sen. Webcam Application Using Virtual FPGA. Universität Paderborn, 2014.
LibreCat