|
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
|
|
 |
|
|
|
|
2009
|
|
|
|
|
|
(York, United Kingdom) Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, and Laurence Tratt for the paper:
Control Dependence for Extended Finite State Machines
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2008
|
|
|
|
|
|
(Budapest, Hungary) Ken L. McMillan for the paper:
Quantified Invariant Generation using an Interpolating Saturation Prover
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
2007
|
|
|
|
|
|
(Braga, Portugal) Marcelo F. Frias, Carlos G. Lopez Pombo, Mariano M. Moscato for the paper:
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
2009
|
|
|
|
|
|
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto and Bárbara Vieira for the paper:
"Correctness With Respect to Reference Implementations"
|
|
|
|
abstract
|
Newsletter-short |
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
2008
|
|
|
|
|
|
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen for the paper
"Reentrant Readers-Writers a Case Study Combining Model Checking with Theorem Proving"
|
|
|
|
abstract
|
Newsletter-short |
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
2007
|
|
|
|
|
|
Robert Palmer, Michael DeLisi, Ganesh Gopalakrishnan, and Robert M. Kirby for the paper:
"An Approach to Formalization and Analysis of Message
Passing Libraries"
|
|
|
|
abstract
|
Newsletter-short |
Picture
|
ENTCS |
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
2008
|
|
|
|
|
|
J. de Lara and E. Guerra for their paper on:
Pattern-based Model-to-Model Transformation
|
|
|
|
|
Newsletter-short
|
Picture
|
LNCS |
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
