Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sas/sas2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/Abramsky05,
author = {Samson Abramsky},
editor = {Chris Hankin and
Igor Siveroni},
title = {Algorithmic Game Semantics and Static Analysis},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_1},
doi = {10.1007/11547662\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Abramsky05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraHMZ05,
author = {Roberto Bagnara and
Patricia M. Hill and
Elena Mazzi and
Enea Zaffanella},
editor = {Chris Hankin and
Igor Siveroni},
title = {Widening Operators for Weakly-Relational Numeric Abstractions},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {3--18},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_3},
doi = {10.1007/11547662\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BagnaraHMZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraRZ05,
author = {Roberto Bagnara and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Enea Zaffanella},
editor = {Chris Hankin and
Igor Siveroni},
title = {Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {19--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_4},
doi = {10.1007/11547662\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BagnaraRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheGH05,
author = {Maurice Bruynooghe and
John P. Gallagher and
Wouter Van Humbeeck},
editor = {Chris Hankin and
Igor Siveroni},
title = {Inference of Well-Typings for Logic Programs with Application to Termination
Analysis},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {35--51},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_5},
doi = {10.1007/11547662\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenKK05,
author = {Guilin Chen and
Mahmut T. Kandemir and
Mustafa Karak{\"{o}}y},
editor = {Chris Hankin and
Igor Siveroni},
title = {Memory Space Conscious Loop Iteration Duplication for Reliable Execution},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {52--69},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_6},
doi = {10.1007/11547662\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChenKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChinNQR05,
author = {Wei{-}Ngan Chin and
Huu Hai Nguyen and
Shengchao Qin and
Martin C. Rinard},
editor = {Chris Hankin and
Igor Siveroni},
title = {Memory Usage Verification for {OO} Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {70--86},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_7},
doi = {10.1007/11547662\_7},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChinNQR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CookPR05,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Chris Hankin and
Igor Siveroni},
title = {Abstraction Refinement for Termination},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {87--101},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_8},
doi = {10.1007/11547662\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CookPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DimovskiGL05,
author = {Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
editor = {Chris Hankin and
Igor Siveroni},
title = {Data-Abstraction Refinement: {A} Game Semantic Approach},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {102--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_9},
doi = {10.1007/11547662\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DimovskiGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EsparzaGS05,
author = {Javier Esparza and
Pierre Ganty and
Stefan Schwoon},
editor = {Chris Hankin and
Igor Siveroni},
title = {Locality-Based Abstractions},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {118--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_10},
doi = {10.1007/11547662\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/EsparzaGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GlewPG05,
author = {Neal Glew and
Jens Palsberg and
Christian Grothoff},
editor = {Chris Hankin and
Igor Siveroni},
title = {Type-Safe Optimisation of Plugin Architectures},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {135--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_11},
doi = {10.1007/11547662\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GlewPG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Gordon05,
author = {Andrew D. Gordon},
editor = {Chris Hankin and
Igor Siveroni},
title = {From Typed Process Calculi to Source-Based Security},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {2},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_2},
doi = {10.1007/11547662\_2},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/Gordon05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HarrenN05,
author = {Matthew Harren and
George C. Necula},
editor = {Chris Hankin and
Igor Siveroni},
title = {Using Dependent Types to Certify the Safety of Assembly Code},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {155--170},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_12},
doi = {10.1007/11547662\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HarrenN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HuntM05,
author = {Sebastian Hunt and
Isabella Mastroeni},
editor = {Chris Hankin and
Igor Siveroni},
title = {The {PER} Model of Abstract Non-interference},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {171--185},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_13},
doi = {10.1007/11547662\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HuntM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JeannetGR05,
author = {Bertrand Jeannet and
Denis Gopan and
Thomas W. Reps},
editor = {Chris Hankin and
Igor Siveroni},
title = {A Relational Abstraction for Functions},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {186--202},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_14},
doi = {10.1007/11547662\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JeannetGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JungKSY05,
author = {Yungbum Jung and
Jaehwang Kim and
Jaeho Shin and
Kwangkeun Yi},
editor = {Chris Hankin and
Igor Siveroni},
title = {Taming False Alarms from a Domain-Unaware {C} Analyzer by a Bayesian
Statistical Post Analysis},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {203--217},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_15},
doi = {10.1007/11547662\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JungKSY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KodumalA05,
author = {John Kodumal and
Alexander Aiken},
editor = {Chris Hankin and
Igor Siveroni},
title = {Banshee: {A} Scalable Constraint-Based Analysis Toolkit},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {218--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_16},
doi = {10.1007/11547662\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KodumalA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Muller-OlmS05,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Chris Hankin and
Igor Siveroni},
title = {A Generic Framework for Interprocedural Analysis of Numerical Properties},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {235--250},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_17},
doi = {10.1007/11547662\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Muller-OlmS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NarasamdyaV05,
author = {Iman Narasamdya and
Andrei Voronkov},
editor = {Chris Hankin and
Igor Siveroni},
title = {Finding Basic Block and Variable Correspondence},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {251--267},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_18},
doi = {10.1007/11547662\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/NarasamdyaV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PodelskiW05,
author = {Andreas Podelski and
Thomas Wies},
editor = {Chris Hankin and
Igor Siveroni},
title = {Boolean Heaps},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {268--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_19},
doi = {10.1007/11547662\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/PodelskiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RinetzkySY05,
author = {Noam Rinetzky and
Mooly Sagiv and
Eran Yahav},
editor = {Chris Hankin and
Igor Siveroni},
title = {Interprocedural Shape Analysis for Cutpoint-Free Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {284--302},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_20},
doi = {10.1007/11547662\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/RinetzkySY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Rival05,
author = {Xavier Rival},
editor = {Chris Hankin and
Igor Siveroni},
title = {Understanding the Origin of Alarms in Astr{\'{e}}e},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {303--319},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_21},
doi = {10.1007/11547662\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Rival05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SecciS05,
author = {Stefano Secci and
Fausto Spoto},
editor = {Chris Hankin and
Igor Siveroni},
title = {Pair-Sharing Analysis of Object-Oriented Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {320--335},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_22},
doi = {10.1007/11547662\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SecciS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SimonK05,
author = {Axel Simon and
Andy King},
editor = {Chris Hankin and
Igor Siveroni},
title = {Exploiting Sparsity in Polyhedral Analysis},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {336--351},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_23},
doi = {10.1007/11547662\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SimonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TerauchiA05,
author = {Tachio Terauchi and
Alexander Aiken},
editor = {Chris Hankin and
Igor Siveroni},
title = {Secure Information Flow as a Safety Problem},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {352--367},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_24},
doi = {10.1007/11547662\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/TerauchiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2005,
editor = {Chris Hankin and
Igor Siveroni},
title = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662},
doi = {10.1007/11547662},
isbn = {3-540-28584-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 16:08 CEST from data curated 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:
