 |
The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2010 |
| Awards |
The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a diploma will be issued in the name of the authors and mailed to the contact author.
Awarded Papers
Debugging PVS specifications of control logics via event-driven simulation
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci
Euclides - A JavaScript to PostScript Translator
Martin Strobl, Christoph Schinko, Torsten Ullrich, Dieter W. Fellner
The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.
Papers Invited for IARIA Journals
Debugging PVS specifications of control logics via event-driven simulation
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci
Euclides - A JavaScript to PostScript Translator
Martin Strobl, Christoph Schinko, Torsten Ullrich, Dieter W. Fellner
PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments
Raimund Kirner, Sven-Bodo Scholz, Frank Penczek, Alex Shafarenko
Analysing the dynamic behavior of a Business Process and the related Business Continuity Process with mcrl2
Wolfgang Boehmer, Christoph Brandt, Jan Friso Grote
