Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(757)
Roberto Giacobazzi
12
Thomas W. Reps
10
Roberto Bagnara
9
David A. Schmidt
9
Andreas Podelski
9
Hanne Riis Nielson
8
Patricia M. Hill
8
Enea Zaffanella
8
Helmut Seidl
8
Flemming Nielson
8
Keywords
(698)
Subscribe
Academic
Conferences
SAS(WSA) - Static Analysis Symposium/Workshop on Static Analysis
SAS(WSA) - Static Analysis Symposium/Workshop on Static Analysis
Publications: 557
|
Citation Count: 8,497 (Self-Citation: 446)
|
H-Index: 46Year Range: 1991-2011
Interests:
Software Engineering
Paper submissions due: 23 March 2012, Duration:
11 - 13 September 2012, Deauville, France
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(557)
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
Patrice Godefroid
,
Shuvendu K. Lahiri
,
Cindy Rubio-Gonzalez
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, 2011
Automatic Abstraction for Intervals Using Boolean Formulae
(
Citations: 7
)
Jörg Brauer
,
Andy King
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 167-183, 2010
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
(
Citations: 6
)
Isil Dillig
,
Thomas Dillig
,
Alex Aiken
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 236-252, 2010
Multidimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
(
Citations: 4
)
Christophe Alias
,
Alain Darte
,
Paul Feautrier
,
Laure Gonnord
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 117-133, 2010
Concurrent Separation Logic for Pipelined Parallelization
(
Citations: 3
)
Christian J. Bell
,
Andrew W. Appel
,
David Walker
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 151-166, 2010