Universität Paderborn » SFB 901 » Projects » Project Area B » B4 » Publications

Publications


2017 (5)

Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Proof-Carrying Hardware via Inductive Invariants
In ACM Transactions on Design Automation of Electronic Systems. (2017) (to appear)

[Show BibTeX]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
In ACM Transactions on Programming Languages and Systems, vol. 39, no. 2, pp. 7:1-7:56. ACM (2017)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Competitions
arXiv. (2017) (presented at 1st Workshop on Learning in Verification (LiVe))

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Compact Proof Witnesses
In Barrett, Clark and Davies, Misty and Kahsai, Temesghen (eds.): NASA Formal Methods: 9th International Symposium. Springer, Lecture Notes in Computer Science, vol. 10227, pp. 389-403 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Julia Krämer, Dirk Van Straaten, Theodor Lettmann:
Certification Matters for Service Markets
In Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz (eds.): The Ninth International Conferences on Advanced Service Computing SERVICE COMPUTATION 2017. IARIA XPS Press, pp. 7-12 (2017)

[Show Abstract] [Show BibTeX] [DOI]

2016 (5)

Tobias Wiersema, Marco Platzner:
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016). IEEE Computer Society, pp. 1-8 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Manuel Töws, Felix Pauck:
PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
In Ishikawa F, Romanovsky A, Troubitsyna E (eds.): Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. School of Computing Science, University of Newcastle upon Tyne, School of Computing Science Technical Report Series, no. CS-TR-1503 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Jens Knoop, Uwe Zdun (eds.): Software Engineering 2016. Gesellschaft für Informatík, Lecture Notes in Informatics, vol. P-252, pp. 17-18 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
In Computers & Electrical Engineering, vol. 55, pp. 112-122. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Manuel Töws, Heike Wehrheim:
A CEGAR Scheme for Information Flow Analysis
In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). Springer, LNCS, vol. 10009, pp. 466-483 (2016)

[Show Abstract] [Show BibTeX] [DOI]

2015 (5)

Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 9276, pp. 159-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs of Predicated Dataflow Analyses
In Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, SAC '15, pp. 1729-1736 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Sen Wu, Marco Platzner:
On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
In Proceedings of the International Symposium in Reconfigurable Computing (ARC). Springer, LNCS, vol. 9040, pp. 365-372 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Egyed, Alexander and Schaefer, Ina (eds.): Fundamental Approaches to Software Engineering. Springer, Lecture Notes in Computer Science, vol. 9033, pp. 100-114 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems
In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, pp. 1-9 (2015)

[Show Abstract] [Show BibTeX] [DOI]

2014 (5)

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs - Approach and Applications
In Proceedings of the Software Engineering Conference (SE). Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI), vol. 227, pp. 67-68 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner:
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
In Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE Computer Society, pp. 167-174 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Marco Platzner, Tobias Wiersema, Heike Wehrheim:
Integrating Software and Hardware Verification
In Albert, Elvira and Sekerinski, Emil (eds.): Proceedings of the 11th International Conference on Integrated Formal Methods (iFM). Springer, LNCS, vol. 8739, pp. 307-322 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society, pp. 1-6 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Certification for Configurable Program Analysis
In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN). ACM, SPIN 2014, pp. 30-39 (2014)

[Show Abstract] [Show BibTeX] [DOI]

2013 (2)

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Zero Overhead Runtime Monitoring
In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 8137, pp. 244-258 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs – A PCC Alternative
In Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer, LNCS, vol. 8044, pp. 912-927 (2013)

[Show Abstract] [Show BibTeX] [DOI]

2012 (3)

Daniel Wonisch, Heike Wehrheim:
Predicate Analysis with Block-Abstraction Memoization
In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). Springer, LNCS, vol. 7635, pp. 332-347 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Nils Timm, Heike Wehrheim, Mike Czech:
Heuristic-Guided Abstraction Refinement for Concurrent Systems
In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). Springer, LNCS, vol. 7635, pp. 348-363 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch:
Block Abstraction Memoization for CPAchecker
In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, LNCS, vol. 7214, pp. 531-533 (2012) (won the competition on software verification)

[Show Abstract] [Show BibTeX] [DOI]

2011 (2)

Michael Leuschel, Heike Wehrheim:
Selected papers on Integrated Formal Methods (iFM09)
In Science of Computer Programming, vol. 76, no. 10, pp. 835-836. Elsevier (2011)

[Show BibTeX] [DOI]
Stephanie Drzevitzky, Marco Platzner:
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
In Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). IEEE Computer Society, pp. 58-65 (2011)

[Show Abstract] [Show BibTeX] [DOI]