default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Languages, Systems & Structures, Volume 47
Volumes 47, Part 1, January 2017
- Deepak D'Souza, Akash Lal:
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation. 1 - Bishoksan Kafle, John P. Gallagher
:
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. 2-18 - Khalil Ghorbal, Andrew Sogokon, André Platzer:
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. 19-43 - Assalé Adjé, Pierre-Loïc Garoche:
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. 44-61 - Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav:
Effective abstractions for verification under relaxed memory models. 62-76 - Caterina Urban, Antoine Miné:
Inference of ranking functions for proving temporal properties by abstract interpretation. 77-103 - Jiangchao Liu, Xavier Rival:
An array content static analysis based on non-contiguous partitions. 104-129
Volumes 47, Part 2, January 2017
- Tomasz Marek Kowalski, Radoslaw Adamus:
Optimisation of language-integrated queries by query unnesting. 131-150
- Ruchika Malhotra:
Special issue on search-based techniques and their hybridizations in software engineering. 151-152 - Amarjeet Prajapati, Jitender Kumar Chhabra:
Harmony search based remodularization for object-oriented software systems. 153-169 - Reed Milewicz, Peter Pirkelbauer:
Refinement of structural heuristics for model checking of concurrent programs through data mining. 170-188 - Reza Karimpour, Guenther Ruhe:
Evolutionary robust optimization for software product line scoping: An explorative study. 189-210 - Ankita Jain Bansal:
Empirical analysis of search based algorithms to identify change prone classes of open source software. 211-231
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.
last updated on 2026-02-10 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
