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.

182 Publications


2019 | Conference Paper | LibreCat-ID: 10108
Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.” Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 374–84, doi:10.1145/3338906.3338915.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 3287
Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, 2019, pp. 116--124.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, Tobias, et al. “When Are Software Verification Results Valid for Approximate Hardware?” Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5\_1.
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 7623
Zhang, Shikun. Combining Android Apps for Analysis Purposes. 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. 2019.
LibreCat
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed