133
click to vote
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
125
click to vote
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
150
Voted
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
227
Voted
VLSI
2012
Springer
13 years 10 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
224
click to vote
TASE
2012
IEEE
13 years 10 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
158
Voted
SOCO
2012
Springer
13 years 10 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...
240
Voted
SIGSOFT
2012
ACM
13 years 10 months ago
2012
ACM
The RESER workshop provides a venue in which empirical software engineering researchers can discuss the theoretical foundations and methods of replication, as well as present the ...
147
click to vote
PEPM
2012
ACM
13 years 10 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
PEPM
2012
ACM
13 years 10 months ago
2012
ACM
123
click to vote
PEPM
2012
ACM
13 years 10 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...