Остановите войну!
for scientists:
default search action
Manuel Fähndrich
- > Home > Persons > Manuel Fähndrich
Publications
- 2019
- [j11]Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn:
Scaling static analyses at Facebook. Commun. ACM 62(8): 62-70 (2019) - 2014
- [j9]Manuel Fähndrich, Francesco Logozzo:
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49(4S): 39-40 (2014) - [c49]Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear:
Verification modulo versions: towards usable verification. PLDI 2014: 294-304 - 2013
- [c47]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - [e2]Francesco Logozzo, Manuel Fähndrich:
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7935, Springer 2013, ISBN 978-3-642-38855-2 [contents] - 2012
- [c46]Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich:
Inference of Necessary Field Conditions with Abstract Interpretation. APLAS 2012: 173-189 - [c42]Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo:
Integrating a set of contract checking tools into visual studio. TOPI@ICSE 2012: 43-48 - [c39]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - 2011
- [c34]Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. NSAD@SAS 2011: 15-23 - 2010
- [j6]Francesco Logozzo, Manuel Fähndrich:
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010) - [c33]Manuel Fähndrich, Francesco Logozzo:
Static Contract Checking with Abstract Interpretation. FoVeOOS 2010: 10-30 - [c32]Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter:
SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725 - [c31]Manuel Fähndrich, Michael Barnett, Francesco Logozzo:
Embedded contract languages. SAC 2010: 2103-2110 - 2009
- [c29]Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 - [c27]Songtao Xia, Manuel Fähndrich, Francesco Logozzo:
Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35 - 2008
- [c26]Francesco Logozzo, Manuel Fähndrich:
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212 - [c25]Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. OOPSLA 2008: 329-346 - [c24]Francesco Logozzo, Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint