Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Executable Biochemical Space for Specification and Analysis of Biochemical SystemsTroják, Matej ; Šafránek, David ; Brim, Luboš ; Šalagovič, Jakub ; Červený, JanElectronic notes in theoretical computer science, 2020-09, Vol.350, p.91-116Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Proving the Absence of Unbounded Polymers in Rule-based ModelsBoutillier, Pierre ; Faure de Pebeyre, Aurélie ; Feret, JérômeElectronic notes in theoretical computer science, 2020-09, Vol.350, p.33-56Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
PAGAI: A Path Sensitive Static AnalyserHenry, Julien ; Monniaux, David ; Moy, MatthieuElectronic notes in theoretical computer science, 2012-12, Vol.289, p.15-25Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Abstract Domains for Type JugglingArceri, Vincenzo ; Maffeis, SergioElectronic notes in theoretical computer science, 2017-03, Vol.331, p.41-55Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Experimental Evaluation of Numerical Domains for Inferring RangesAmato, Gianluca ; Rubino, MarcoElectronic notes in theoretical computer science, 2018-04, Vol.334, p.3-16Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
A Comparative Study of Industrial Static Analysis ToolsEmanuelsson, Pär ; Nilsson, UlfElectronic notes in theoretical computer science, 2008-07, Vol.217, p.5-21Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Memory Consumption Analysis for a Functional and Imperative LanguageSalvucci, Jérémie ; Chailloux, EmmanuelElectronic notes in theoretical computer science, 2016-12, Vol.330, p.27-46Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Sparsity Preserving Algorithms for OctagonsJourdan, Jacques-HenriElectronic notes in theoretical computer science, 2017-03, Vol.331, p.57-70Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
AnaDroid: Malware Analysis of Android with User-supplied PredicatesLiang, Shuying ; Might, Matthew ; Van Horn, DavidElectronic notes in theoretical computer science, 2015-02, Vol.311, p.3-14Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic PrioritiesMiné, AntoineElectronic notes in theoretical computer science, 2017-03, Vol.331, p.3-39Elsevier B.VTexto completo disponível |