Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”10.1007/978-3-319-10181-1_19__Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat: /record/418

Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via SMT Solving.”10.1007/978-3-642-38592-6_13__Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

Travkin, Oleg, et al. “SPIN as a Linearizability Checker under Weak Memory Models.”10.1007/978-3-319-03077-7_21__Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.”10.1007/978-3-642-39718-9_11__Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 2013, pp. 271--284.
LibreCat: /record/3179

Wonisch, Daniel, et al. “Zero Overhead Runtime Monitoring.”10.1007/978-3-642-40561-7_17__Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–58, doi:10.1007/978-3-642-40561-7_17.
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat: /record/478

Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.”10.1007/978-3-642-39799-8_65__Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.”10.1109/ICECCS.2013.14__Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32, doi:10.1109/ICECCS.2013.14.
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.
LibreCat: /record/3180

Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.”10.1016/j.scico.2011.04.007__Sci. Comput. Program., no. 3, 2012, pp. 270--289, doi:10.1016/j.scico.2011.04.007.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.”10.1007/978-3-642-31424-7_21__Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 2012, pp. 243--259, doi:10.1007/978-3-642-31424-7_21.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.”10.1007/978-3-642-34281-3_24__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”10.1007/978-3-642-34281-3_25__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.”10.1007/978-3-642-28756-5_41__Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–33, doi:10.1007/978-3-642-28756-5_41.
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”10.1007/978-3-642-33666-9_49__Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Schneider, Steve, et al. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001