@bookZhang_2016, title=Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, publisher=Universität Paderborn, author=Zhang, Guangli, year=2016 

@bookCzech_2016, title=Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, publisher=Universität Paderborn, author=Czech, Mike, year=2016 

@bookDewender_2016, title=Verifikation von Service Kompositionen mit Spin, publisher=Universität Paderborn, author=Dewender, Markus, year=2016 

@bookHeinisch_2016, title=Verifikation von Service Kompositionen mit Prolog, publisher=Universität Paderborn, author=Heinisch, Philipp, year=2016 

@inproceedingsJakobs_2015, series=LNCS, title=Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning, DOI=10.1007/978-3-319-22969-0_12, booktitle=Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), author=Jakobs, Marie-Christine, year=2015, pages=159--174, collection=LNCS 

@inproceedingsCzech_Jakobs_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Just test what you cannot verify!, DOI=10.1007/978-3-662-46675-9_7, booktitle=Fundamental Approaches to Software Engineering, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Egyed, Alexander and Schaefer, InaEditors, year=2015, pages=100–114, collection=Lecture Notes in Computer Science 

@inproceedingsIsenberg_2015, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1109/ACSD.2015.13, booktitle=Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), author=Isenberg, Tobias, year=2015, pages=1–9 

@bookBesova_2015, title=Systematic Development and Re-Use of Model Tranformations, publisher=Universität Paderborn, author=Besova, Galina, year=2015 

@inproceedingsJakobs_Wehrheim_2015, series=SAC ’15, title=Programs from Proofs of Predicated Dataflow Analyses, DOI=10.1145/2695664.2695690, booktitle=Proceedings of the 30th Annual ACM Symposium on Applied Computing, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2015, pages=1729–1736, collection=SAC ’15 

@articleBesova_Steenken_Wehrheim_2015, title=Grammar-based model transformations: Definition, execution, and quality properties, DOI=10.1016/j.cl.2015.05.003, journal=Computer Languages, Systems &; Structures, publisher=Elsevier, author=Besova, Galina and Steenken, Dominik and Wehrheim, Heike, year=2015, pages=116–138