Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat: /record/3320

Börding, Paul, et al. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), vol. 11146, Springer, 2018, pp. 39--55.
LibreCat: /record/3414

Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”10.1007/978-3-319-92970-5_7__Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Doherty, Simon, et al. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.
LibreCat: /record/3153

Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat: /record/2711

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”10.1007/978-3-030-02508-3_23__Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018, pp. 435–54, doi:10.1007/978-3-030-02508-3_23.
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?”10.1145/3236024.3236029__Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, ACM Press, 2018, doi:10.1145/3236024.3236029.
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.”10.1007/s00165-017-0433-3__Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.
LibreCat: /record/6828
DOI: 10.1007/s00165-017-0433-3

Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.”10.1007/978-3-319-98938-9‑7__Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9‑7.
LibreCat: /record/6836
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.”10.1007/978-3-319-98938-9‑7__Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9‑7.
LibreCat: /record/6838
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, Simon, et al. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.”10.4230/LIPIcs.DISC.2018.45__32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3, doi:10.4230/LIPIcs.DISC.2018.45.
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.”10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200

Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat: /record/1096

Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat: /record/3512

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 2017, pp. 362--378, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/3155
DOI: 10.1007/978-3-319-68690-5_22

König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.”10.1007/978-3-319-67729-3_8__Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 2017, pp. 118--135, doi:10.1007/978-3-319-67729-3_8.
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.”10.1007/978-3-319-57288-8_28__NASA Formal Methods: 9th International Symposium, edited by Clark Barrett et al., 2017, pp. 389–403, doi:10.1007/978-3-319-57288-8_28.
LibreCat: /record/114
DOI: 10.1007/978-3-319-57288-8_28

Jakobs, Marie-Christine, et al. “Certiû01cation Matters for Service Markets.” The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 2017, pp. 7–12.
LibreCat: /record/115

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”10.1145/2984640__ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640.
LibreCat: /record/90
DOI: 10.1145/2984640

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22