|
European Association
of Software Science and Technology (EASST)
Awards
Events sponsored or endorsed by EASST can request for EASST best
paper awards.
Since 2001, ETAPS, ICGT, IDPT, and FMICS have qualified
for EASST best paper awards.
|
ETAPS
|
|
 |
|
|
|
|
2006
|
|
|
|
|
|
(Vienna, Austria) Dominic Cooney, Marlon Dumas, and
Paul Roe for the paper:
GPSL: A Programming Language for Service Implementation
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2005
|
|
|
|
|
|
(Edinburgh, Scotland) David A. Naumann for the paper:
Observational Purity and Encapsulation
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2004
|
|
|
|
|
|
(Barcelona, Spain) Marieke Huisman, Dilian Gurov, Christoph
Sprenger and Gennady Chugunov for the paper:
Checking Absence of Illicit Applet Interactions: A Case
Study
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2003
|
|
|
|
|
|
(Warsaw, Poland) David Scott, Alastair Beresford and
Alan Mycroft for the paper:
Spatial Security policies for Mobile
Agents in a Sentient Computing Environment
|
|
|
|
|
Newsletter-short |
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2002
|
|
|
|
|
|
(Grenoble, France) K. Havelund, G. Rosu (NASA Ames Research
Center) for the paper:
Synthesizing Monitors for Safety
Properties
|
|
|
|
|
Newsletter-short |
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2001
|
|
|
|
|
|
(Genova, Italy) E. Gunter, A. Muscholl
and D. Peled for the paper:
Compositional Message Sequence Diagrams
|
|
|
|
|
Newsletter-short |
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FMICS
|
|
|
|
|
|
|
|
2006
|
|
|
|
|
|
Michael Weber and Moritz Hammer for their paper:
"To Store or Not To Store" Reloaded:
Reclaiming Memory on Demand
|
|
|
|
|
Newsletter-short |
|
ENTCS |
|
|
|
|
|
|
|
|
|
2004
|
|
|
|
|
|
Martin Fränzle, and Christian Herde for their paper
on:
Efficient Proof engines for bounded
model checking of hybrid systems
|
|
|
|
|
Newsletter-short
|
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
2003
|
|
|
|
|
|
Stefan Blom and Simona Orzan for their paper on:
Distributed State Space Minimization
|
|
|
|
|
Newsletter-short
|
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
Paul Ziemann and Martin Gogolla for their paper on:
Validating OCL Specifications with the USE Tool - An
Example Based on the BART Case Study
|
|
|
|
|
Newsletter-short
|
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ICGT
|
|
|
|
|
|
|
|
2006
|
|
|
|
|
|
K. Ehrig, R. Heckel, and G. Lajios for their
paper on:
Molecular Analysis of Metabolic Pathway with Graph Transformation
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2004
|
|
|
|
|
|
S.M. Becker, S. Lohmann, and B. Westfechtel for their
paper on:
Rule Execution in Graph-Based
Incremental Interactive Integration Tools
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2002
|
|
|
|
|
|
Bardohl, R., Ermel, C. and Padberg, J. for their paper
on:
Transforming Specification Architectures by GenGED
|
|
|
|
|
Newsletter-short |
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
IDPT
|
|
|
|
|
|
|
|
2002
|
|
|
|
|
|
Asuman Sünbül (Kestrel Institute, Berkeley, California)
for her paper on:
Specifying Components for NEST applications
|
|
|
|
|
Newsletter-short |
Picture
|
IDPS |
|
|
|
|
|
|
