ERCIM Working Group Report

Overall report 2006  2007  2008  2009  2010  2011  2012  2013 
Overall report year: 2008

Section A: Joint Projects

WG: Formal Methods for Industrial Critical Systems

Project: Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior, EC-MOAN - , FP6-NEST STREP project

  • Funding: EU-FTP7
  • Status: Active
  • Date: 2008-02-01 to 2010-01-31
  • Contribution: 1,498,718
  • description:

    This project research objectives are: 1. To develop an integrated model of the E. coli stress response system, focusing on the metabolic, genetic and signaling modules that regulate nitrogen and carbon source limitations. 2. To develop mathematical methods for system reduction and approximation, in order to deal with large-scale models in which different time scales and many unknown parameter values occur. 3. To develop parallel algorithms and prototype tools for exploring the models, predicting outcomes of experiments, and verifying specific properties at the model. 4. To apply the developed methods and techniques to the E. coli stress response model in order to identify interesting properties, and to validate the model, by experimentally testing predicted properties in our laboratories.

WG: Constraints

Project: Towards integrating virtual reality and optimisation techniques in a new generation of Networked businesses in Warehouse Management Systems under constraints

  • Funding: IST-2005-2.5.8 ICT for Networked Businesses Specific Targeted Research Project
  • Status: Active
  • Date: 2006-09-01 to 2009-08-31
  • Contribution: 2,320,000
  • description:

    Net-WMS - Towards integrating virtual reality and optimisation techniques in a new generation of Networked businesses in Warehouse Management Systems under constraints

WG: Software Evolution

Project: EVOLVE: Evolutionary Validation, Verification and Certification

  • Funding: EU ITEA2
  • Status: Active
  • Date: 2008-04-01 to 2011-04-30
  • Contribution:
  • description:

    The aim of the project is to create a methodological framework for early verification and validation of evolutionary products through the accredited/certified integration of each iteration and/or component in a Model Driven Engineering context.

Participating Organisations:
  • Autoliv (Sweden), Barco (Belgium), Critical Software (Portugal), DS2 (Spain), Elektrobit (Finland), European Software Institute (Spain), FUDECO (Finland), I3B (Spain), Ibermatica (Spain), Ingeteam (Spain), Jönköping University (Sweden), K.U.Leuven DistriN - type: Other - budget: 0€

Project: FLOSSMetrics: Free/Libre/Open Source Software Metrics project FP6-033982

  • Funding: EU FP6 ICT
  • Status: Active
  • Date: 2006-09-01 to 2009-02-28
  • Contribution: 585100
  • description:

    The main objective is to construct, publish and analyse a large-scale database with information and metrics about libre software development coming from several thousands of software projects, using existing methodologies, and tools already developed.

Participating Organisations:
  • Universidad Rey Juan Carlos, Universiteit Maastricht, Wirtschatsuniversitaet Wien, Aristotle University of Thessaloniki, Conecta s.r.l., ZEA Partners, Philips Medical Systems - type: Research - budget: 585100€

Project: QUALOSS: Quality in Open Source Software

  • Funding: EU FP6 ICT
  • Status: Active
  • Date: 2006-10-01 to 2009-09-30
  • Contribution: 2000000
  • description:

    The results of the QUALOSS project directly address the strategic objective 2.5.5 of providing methodologies to use open source software into industrial development, to enable its benchmarking, and to support its development and evolution.

Participating Organisations:
  • CETIC, University of Namur, Universidad Rey Juan Carlos, Fraunhofer IESE, Zea Partners, MERIT-Maastricht-, Adacore, PEPITe - type: Research - budget: 2000000€

Project: SERIOUS: Software Evolution, Refactoring, Improvement of Operational & Usable Systems

  • Funding: EU ITEA
  • Status: Active
  • Date: 2005-09-01 to 2008-08-31
  • Contribution: 17700000
  • description:

    The SERIOUS project aimed at the breakthrough of turning the current practice of handcrafted evolution to methodologically sound techniques supported by industry-adoptable tools, including corresponding development processes for the development of operational software-intensive systems.

Participating Organisations:
  • Philips Healthcare, Philips Applied Technologies, Universidad Politecnica de Madrid, Ibermatica, European Software Institute, University of Zurich, University of Antwerp, Alcatel-Lucent, Nokia Research Center, Tampere University of Technology, University - type: Research - budget: 17700000€

Project: Leg2NET: From Legacy Systems to Services in the Net

  • Funding: Marie Curie TOK-IAP
  • Status: Active
  • Date: 2004-06-01 to 2008-05-31
  • Contribution:
  • description:

Project: Model-Driven Software Evolution

  • Funding: Actions de Recherche Concertée, Ministère de la Communauté francaise -- Direction générale de l'Enseignement non obligatoire et de la Recherche scientifique'
  • Status: Active
  • Date: 2008-07-01 to 2012-01-31
  • Contribution: 500000
  • description:

    Summarised in one sentence, the goal of the proposed research is to scientifically study and advance the state-of-the-art in the use of formal methods to support the software developer during the process of evolving models while preserving consistency and improving quality.

Participating Organisations:
  • University of Mons - type: Research - budget: 500000€

Project: MoVES: Modeling, Verification and Evolution of Software (IAP P6/39)

  • Funding: IAP-Phase VI Interuniversity Attraction Poles Programme funded by the Belgian State, Belgian Science Policy
  • Status: Active
  • Date: 2008-01-01 to 2012-01-31
  • Contribution:
  • description:

    The goal of MoVES is to establish and sustain a network of researchers that perform high-quality research in the context of Modelling, Verification and Evolution of Software.

Section B: Joint Publications

WG: Computational and Methodological Statistics

The Multivariate Least Trimmed Squares Estimator

  • Author: J. Agullo, C. Croux, and S. Van Aelst.
  • year: 2008
  • Reference information: Journal of Multivariate Analysis, Vol 99, 311-338
  • Type: Journal
  • Document (link to the URL):

High-Breakdown Robust Multivariate Methods

  • Author: M. Hubert, P.J. Rousseeuw, and S. Van Aelst
  • year: 2008
  • Reference information: Statistical Science, 23, 92–119.
  • Type: Journal
  • Document (link to the URL):

Robust Linear Clustering

  • Author: L.A. Garcia-Escudero, A. Gordaliza, R. San Martin, S. Van Aelst and R.H. Zamar
  • year: 2008
  • Reference information: Journal of the Royal Statistical Society B, 71 (1), 301-319
  • Type: Journal
  • Document (link to the URL):

Robust Model Selection Using Fast and Robust Bootstrap

  • Author: M. Salibian-Barrera, and S. Van Aelst.
  • year: 2008
  • Reference information: Computational Statistics and Data Analysis, 52, 5121-5135
  • Type: Journal
  • Document (link to the URL):

Fast and Robust Bootstrap

  • Author: M. Salibian-Barrera, S. Van Aelst, and G. Willems
  • year: 2008
  • Reference information: Statistical Methods and Applications, 17, 41-71.
  • Type: Journal
  • Document (link to the URL):

Classification Efficiencies for Robust Linear Discriminant Analysis

  • Author: C. Croux, P. Filzmoser, and K. Joossens
  • year: 2008
  • Reference information: Statistica Sinica, 18(2), 581-599
  • Type: Journal
  • Document (link to the URL):

Generalized Maximally Selected Statistics

  • Author: Torsten Hothorn and Achim Zeileis
  • year: 2008
  • Reference information: Biometrics, 64, 1263--1269
  • Type: Journal
  • Document (link to the URL):

Implementing a Class of Permutation Tests: The "coin" Package

  • Author: Torsten Hothorn and Kurt Hornik and Mark A. van de Wiel and Achim Zeileis.
  • year: 2008
  • Reference information: Journal of Statistical Software, 28(8), 1-23, 2008.
  • Type: Journal
  • Document (link to the URL):

Model-Based Recursive Partitioning

  • Author: Achim Zeileis and Torsten Hothorn and Kurt Hornik
  • year: 2008
  • Reference information: Journal of Computational and Graphical Statistics, 17(2), 492--514
  • Type: Journal
  • Document (link to the URL):

Econometrics in R: Past, Present, and Future.

  • Author: Achim Zeileis and Roger Koenker
  • year: 2008
  • Reference information: Journal of Statistical Software, 27(1)
  • Type: Journal
  • Document (link to the URL):

Conditional Variable Importance for Random Forests

  • Author: Carolin Strobl and Anne-Laure Boulesteix and Thomas Kneib and Thomas Augustin and Achim Zeileis
  • year: 2008
  • Reference information: Bioinformatics, 9(307)
  • Type: Journal
  • Document (link to the URL):

Favorability functions based on kernel density estimation for logistic models: A case study.

  • Author: A. Colubi, G. Gonzalez-Rodriguez, M.J. Dominguez-Cuesta, M. Jimenez-Sanchez
  • year: 2008
  • Reference information: Computational Statistics and Data Analysis. Vol. 52(9), 4533-4543
  • Type: Journal
  • Document (link to the URL):

An Efficient Branch-and-Bound Strategy for Subset Vector Autoregressive Model Selection

  • Author: C. Gatu, E.J. Kontoghiorghes, M. Gilli and P.Winker
  • year: 2008
  • Reference information: Journal of Economic Dynamics and Control, 32, 1949--1963
  • Type: Journal
  • Document (link to the URL):

An Econometric Analysis of Emission Trading Allowances

  • Author: M. Paolella and L. Taschini
  • year: 2008
  • Reference information: Journal of Banking and Finance, 32, 2022-2032
  • Type: Journal
  • Document (link to the URL):

Risk Prediction: A DWARF-like Approach

  • Author: M. Paolella and S-C. Steude
  • year: 2008
  • Reference information: The Journal of Risk Model Validation, 2(1), 25-43
  • Type: Journal
  • Document (link to the URL):

Uniform Saddlepoint Approximations for Ratios of Quadratic Forms

  • Author: R. Butler and M. Paolella
  • year: 2008
  • Reference information: Bernoulli, 14(1), 140-154
  • Type: Journal
  • Document (link to the URL):

Parallel algorithms for downdating the QR decomposition

  • Author: P. Yanev and E.J. Kontoghiorghes
  • year: 2008
  • Reference information: Parallel Computing, 34(6-8), 451-468
  • Type: Journal
  • Document (link to the URL):

Special Issue on Statistical and computational methods in finance

  • Author: A. Amendola, D. Belsley, E.J. Kontoghiorghes, Y. Omori, H.K. Van Dijk and E. Zivot
  • year: 2008
  • Reference information: Computational Statistics & Data Analysis, 52(4)
  • Type: Journal
  • Document (link to the URL):

Computational Methods in Financial Engineering (Essays in Honour of Manfred Gilli)

  • Author: E.J. Kontoghiorghes, B. Rustem and P. Winker
  • year: 2008
  • Reference information: Springer (book)
  • Type: Other
  • Document (link to the URL):

WG: E-mobility

Second ERCIM Workshop on eMobility

  • Author: Torsten Braun, Geert Heijenk, Dimitri Konstantas, Markus Wulff
  • year: 2008
  • Reference information: Tampere, Finland, May 30, 2008, ISBN 978-952-15-1972-7
  • Type: Conference
  • Document (link to the URL): http://wiki.ercim.org/wg/eMobility/images/a/aa/ERCIM-WS2008-Proceedings-2.pdf

First International Workshop on Mobile and Kinetic User Interfaces (MobiKUI 2008)

  • Author: Vincenzo Pallotta, Nicolas Nova
  • year: 2008
  • Reference information: Fribourg, Switzerland, October 13-14, 2008, extended versions of the papers presented will be published in the
  • Type: Conference
  • Document (link to the URL): http://www.serialspublications.com/journals1.asp?jid=206&jtype=1

WG: Dependable Software-Intensive Embedded Systems

Safety-Critical Software

  • Author: E. Schoitsch, P. Merino Gomez
  • year: 2008
  • Reference information: ERCIM News 75, Oct. 2008, p. 12-14
  • Type: Journal
  • Document (link to the URL): http://ercim-news.ercim.org/content/blogcategory/0/699/

WG: Environmental Modelling

European operational air quality forecasting system by using MM5-CMAQ-EMIMO tool

  • Author: R. San Jose, J.L. Perez, J.L. Morant and R.M. Gonzalez
  • year: 2008
  • Reference information: Simulation Modelling Practice and Theory, Vol. 16, issue 10
  • Type: Journal
  • Document (link to the URL):

Satellite data assimilation for air quality forecast

  • Author: H. Boisgontier, V. Mallet, J.P. Berroir, M. Bocquet, I. Herlin and B. Sportisse
  • year: 2008
  • Reference information: Simulation Modelling Practice and Theory, Vol. 16, issue 10
  • Type: Journal
  • Document (link to the URL):

Grids in control of anaerobic wastewater treatment plants: Leveraging the knowledge

  • Author: S.C. Lambert, J.R. Gallop and M. Dixon
  • year: 2008
  • Reference information: Simulation Modelling Practice and Theory, Vol. 16, issue 10
  • Type: Journal
  • Document (link to the URL):

WG: Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems, 12th International Workshop

  • Author: Stefan Leue and Pedro Merino, eds.
  • year: 2008
  • Reference information: Lecture Notes in Computer Science 4916
  • Type: Conference
  • Document (link to the URL): http://www.springerlink.com/content/978-3-540-79706-7/

Special Theme "Safety-Critical Software"

  • Author: Pedro Merino and Erwin Schoitsch, eds.
  • year: 2008
  • Reference information: ERCIM News 75, October 2008
  • Type: Journal
  • Document (link to the URL): http://ercim-news.ercim.org/content/blogcategory/91/664/

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

Critical aspects of flow and aerosol simulations in the airway tract

  • Author: Y. Bourgault and M. Thiriet
  • year: 2008
  • Reference information: ECCOMAS CFD 2008
  • Type: Conference
  • Document (link to the URL):

Experiment and Simulation

  • Author: Garon A, Farinas MI, Thiriet M, Vetel J
  • year: 2007
  • Reference information: ICIAM'07
  • Type: Conference
  • Document (link to the URL):

Flow simulations and velocity measurements in a model of the carotid artery network

  • Author: Farinas MI, Garon A, Thiriet M, Vetel J
  • year: 2007
  • Reference information: MSH'07
  • Type: Conference
  • Document (link to the URL):

WG: Constraints

Recent Advances in Constraints - 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008

  • Author: Angelo Oddi, François Fages, Francesca Rossi
  • year: 2008
  • Reference information: Springer Lecture Notes in Artificial Intelligence Series, Volume 5655
  • Type: Conference
  • Document (link to the URL): http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0

WG: Software Engineering for Resilient Systems (SERENE)

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study

  • Author: A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. F. Zorzo
  • year: 2008
  • Reference information: Journal of Systems and Software
  • Type: Journal
  • Document (link to the URL): http://wiki.lassy.uni.lu/se2c-bib_abstract.php?id=2499

WG: Software Evolution

Software Evolution

  • Author: Tom Mens, Serge Demeyer
  • year: 2008
  • Reference information: Book. Springer, 2008. ISBN 978-3-540-76439-7.
  • Type: Other
  • Document (link to the URL): DOI 10.1007/978-3-540-76440-3

Software Maintenance Management: Evaluation and Continuous Improvement

  • Author: Alain April, Alain Abran
  • year: 2008
  • Reference information: Book. Wiley, 2008. ISBN 978-0470-14707-8.
  • Type: Other
  • Document (link to the URL): https://www.wiley-vch.de/publish/en/books/forthcomingTitles/EE00/0-470-14707-5/?sID=

Special Issue on Program Comprehension through Dynamic Analysis

  • Author: A. Zaidman, A. Hamou-Lhadj, O. Greevy
  • year: 2008
  • Reference information: Journal on Software Maintenance and Evolution: Research and Practice, Volume 20 Issue 4, July/August 2008
  • Type: Journal
  • Document (link to the URL):

Postproceedings of EVOL 2007: Third International ERCIM Symposium on Software Evolution

  • Author: T. Mens, K. Mens, M. D'Hondt, E. Van Paesschen
  • year: 2008
  • Reference information: Electronic Communications of the EASST, Volume 8. ISSN 1863-2122
  • Type: Journal
  • Document (link to the URL): http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/17

Section C: Organised Events

WG: Computational and Methodological Statistics

First Workshop of the ERCIM Working Group on Computing & Statistics

  • Topic: Computational Statistics
  • Type: Workshop
  • Date: 2008-06-19 to 2008-06-21
  • Place: Neuchâtel, Switzerland
  • Lecturer: Bernard Philippe, INRIA-IRISA, Rennes, France. Michael W. Berry, The University of Tennessee, Knoxville, USA Oliver Linton, London School of Economics and Political Science, UK Herman Van Dijk, Erasmus University Rotterdam, The Netherlands
  • Coverage: The meeting took place jointly with the PMAA08 and CFE09. There were over 400 participants. URL: http://www.dcs.bbk.ac.uk/ercim08

2nd International Workshop on Computational and Financial Econometrics (CFE'08)

  • Topic: Computational Economics
  • Type: Workshop
  • Date: 2008-06-19 to 2008-06-21
  • Place: Neuchâtel, Switzerland
  • Lecturer: Oliver Linton, London School of Economics and Political Science, UK Herman Van Dijk, Erasmus University Rotterdam, The Netherlands
  • Coverage: The workshop took place jointly with the ERCIM WG and the PMAA08. Overall there were over 400 participants and around to 400 presentations. URL: http://www.dcs.bbk.ac.uk/cfe08

5th International Workshop on Parallel Matrix Algorithms and Applications (PMAA'08)

  • Topic: Parallel Computing
  • Type: Workshop
  • Date: 2008-06-20 to 2008-06-22
  • Place: Neuchâtel, Switzerland
  • Lecturer: Bernard Philippe, INRIA-IRISA, Rennes, France. Michael W. Berry, The University of Tennessee, Knoxville, USA
  • Coverage: The workshop took place jointly with the ERCIM WG and CFE08 meetings. The PMAA had over 100 participants and around to 80 presentations. URL: http://www.dcs.bbk.ac.uk/pmaa08

WG: E-mobility

Second ERCIM Workshop on eMobility

  • Topic: http://wiki.ercim.org/wg/eMobility/index.php/Second_ERCIM_Workshop_on_eMobility
  • Type: Workshop
  • Date: 2008-05-30 to 2008-05-30
  • Place: Tampere, Finland
  • Lecturer: Invited Session: Wireless Sensor/Actuator Networks and Cooperating Objects: Towards the Internet of Smart Things; Jorge Pereira, European Commission, DG INFSO Embedded and Control Systems: "From Autonomous to Cooperative Distributed Control: Towards the Internet of Smart Things"; Pedro Jose Marron, University of Bonn and Fraunhofer IAIS (CONET): "Cooperating Objects: roadmap towards deployment"; Gianpaolo Cugola, Politecnico Milano (WASP): "Content & Context Aware Routing for Mobile WSNs"; Manuel Serrano, ETRA I+D (EMMA): "Cooperating objects in the field of Mobility"; Markus Taumberger, VTT (POBICOS): "A Middleware Platform Enabling Cooperation in the Object Community"; Technical Sessions: "1. Transport Protocols", "2. Multi-Hop Networks", "3. Services, User Interfaces and Mobility"
  • Coverage:

First International Workshop on Mobile and Kinetic User Interfaces - Fribourg, October 13th-14th 2008

  • Topic: http://diuf.unifr.ch/pai/events/MobiKUI08/
  • Type: Workshop
  • Date: 2008-10-13 to 2008-10-14
  • Place: Fribourg, Switzerland
  • Lecturer: Keynote held by Roope Takala, Nokia Research Center: "Mobile User Interfaces, Future trends and topics"; Tutorial held by Alan Dix, University of Lancaster, UK: "Interaction with and through the mobile"; Tutorial by Paul Coulton, University of Lancaster, UK: "Creating Uniquely Mobile Applications: Challenges and Opportunities"
  • Coverage:

WG: Dependable Software-Intensive Embedded Systems

ERCIM/DECOS/COOPERS Workshop "Dependable Embedded Systems"

  • Topic: “Dependable Embedded Systems – Challenges, Impact, Solutions, Project Reports, Industrial Experience, Professional and Academic Education and Training”
  • Type: Workshop
  • Date: 2008-09-25 to 2008-09-25
  • Place: Newcastle upon Tyne, UK
  • Lecturer: Angelo Brillout, Rupert Schlick, Egbert Althammer, Bjørn Forsman, Kristoffer Gregersen,Christoph Herrmann, Kevin Hammond,Jinan Piao, Mike McDonald,Erwin Schoitsch, Amund Skavhaug.
  • Coverage: ES validation and Verification, Networked Embedded Systems: Safety and Security, DES Real-Time Systems, Co-operative Systems for Road Safety

WG: Security and Trust Management

4th International Workshop on Security and Trust Management (STM08)

  • Topic: Security and Trust
  • Type: Workshop
  • Date: 2008-06-16 to 2008-07-17
  • Place:
  • Lecturer: Will Winsborough University of Texas at San Antonio. Steven J Murdoch University of Cambridge (winner of the best Ph.D thesis on security and trust management award)
  • Coverage: Trondheim, Norway

FOSAD 08

  • Topic: Foundations of security
  • Type: SummerSchool
  • Date: 2008-08-25 to 2008-08-30
  • Place: Bertinoro
  • Lecturer: Gilles Barthe David Chadwick Bart Jacobs Andrew Ker Gavin Lowe Kai Rannenberg Pierangela Samarati Steve Zdancewic
  • Coverage: The number of students was limited to 50. It is one of the foremost event in the area

2008 EC-ERCIM Seminar on ICT Security:

  • Topic: Secure Systems and Services
  • Type: Other
  • Date: 2008-10-16 to 0000-00-00
  • Place: Brussels
  • Lecturer: Speakers, from industry (Mirosoft, SAP, BT, etc..) and research / accademia. Keith Jeffrey (ERCIM) and jacques Bus (Head of Unit Trust&Security) attended.
  • Coverage:

WG: Environmental Modelling

Session at International Congress on Environmental Modelling and Software (iEMSs2008)

  • Topic: Environmental modelling applications towards quality of life information services
  • Type: Other
  • Date: 2008-07-09 to 2008-07-09
  • Place: Technical University of Catalonia, Barcelona, Spain
  • Lecturer:
  • Coverage: The iEMSs session attracted a number of very interesting scientific contributions, and enhanced the synergies between COST actions, ERCIM, and scientists who are not members of either initiatives. On this basis, the event was proven to be very successful, and fostered future scientific and R&D collaborations.

WG: Formal Methods for Industrial Critical Systems

FMICS 2008: 13th International Workshop on Formal Methods for Industrial Critical Systems

  • Topic: Formal Methods and their Industrial Applications
  • Type: Workshop
  • Date: 2008-09-15 to 2008-09-16
  • Place: L'Aquila - ITALY
  • Lecturer: Rance Cleaveland (Univ. of Maryland, USA) Werner Damm (OFFIS, Germany) Steven Miller (Rockwell Collins, Advanced Technology Center, USA)
  • Coverage: The aim of the FMICS workshop series, is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

MSH'07

  • Topic: Modeling and Simulations in Health
  • Type: Workshop
  • Date: 2007-10-22 to 2007-10-25
  • Place: National Taiwan University, Taipei
  • Lecturer:
  • Coverage: report on ERCIM News 73, april 2008, p.8-9

First CRM-INRIA-MITACS Meeting

  • Topic: Biomechanics, Image processing, Shape optimization
  • Type: Workshop
  • Date: 2008-05-05 to 2008-05-09
  • Place: Montreal
  • Lecturer:
  • Coverage: report on ERCIM News 74, july 2008, p.10-11

WG: Constraints

Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

  • Topic: Constraint Solving and Constraint Logic Programming
  • Type: Workshop
  • Date: 2008-06-18 to 2008-06-20
  • Place: Rome, Italy
  • Lecturer: Nic Wilson Cork Constraint Computation Centre, University College Cork, Ireland Lecture: Reasoning with Comparative Preferences in Combinatorial Problems Pedro Meseguer IIIA-CSIC, Spain Lecture: Distributed Constraint Satisfaction and Optimization Tom Schrijvers K.U.Leuven, Belgium Lecture: A Taste of Constraint Handling Rules Today
  • Coverage: This event was sponsored by the ERCIM Working Group on Constraints, the Association for Constraint Programming, the Institute of Cognitive Sciences and Technologies (ISTC-CNR), the Planning and Scheduling Group (ISTC-CNR), and the University of Padua. Seventeen papers from authors from around Europe, the USA and Australia were presented. Web: http://pst.istc.cnr.it/CSCLP08/

WG: Software Engineering for Resilient Systems (SERENE)

SERENE 2008

  • Topic: advances in Software Engineering for Resilient Systems
  • Type: Workshop
  • Date: 2009-11-17 to 2009-11-19
  • Place: Newcastle upon Tyne
  • Lecturer: Brian Randell - “System Complexity, Dependability and Failures” Ralf Reussner “Challenges and Results in Component Quality Certification”
  • Coverage: PURPOSE The SERENE 2008 workshop is an international forum for researchers and practitioners interested in the advances in Software Engineering for Resilient Systems. SERENE 2008 views resilient systems as open distributed systems that have capabilities to dynamically adapt, in a predictable way, to unexpected and harmful events, including faults and errors. Engineering such systems is a challenging issue which needs urgent attention from and combined efforts by people working in various domains. Achieving this objective is a very complex task, since it implies reasoning explicitly and in a consistent way about systems functional and non-functional characteristics. SERENE advocates the idea that resilience should be explicitly included into traditional software engineering theories and practices and should become an integral part of all steps of software development. As current software engineering practices tend to either capture only normal behaviour, or to deal with all abnormal situations only at the late development phases, new software engineering methods and tools need to be developed to support explicit handling of abnormal situations through the whole software life cycle. Moreover, every phase of the software development process needs to be enriched with the phase-specific resilience means. -------------------------------------------------------------------------------- SERENE 2008 Workshop Program -------------------------------------------------------------------------------- November 17, 2008

WG: Software Evolution

EVOL 2008: 4th Intl. ERCIM Workshop on Software Evolution and Evolvability

  • Topic: Software evolution
  • Type: Workshop
  • Date: 2008-09-15 to 2008-09-16
  • Place: L’Aquila, Italy
  • Lecturer: Past, Present and Future of Software Evolution: From Software-Now to Software-over-Centuries, Jean-Marie Favre, Software Language Archeologist & Software Anthropologist, University of Grenoble, France
  • Coverage: Co-located with the 23rd IEEE/ACM Intl. Conf. on Automated Software Engineering http://evol08.inria.fr/

BENEVOL 2008: The 7th BElgian-NEtherlands software eVOLution workshop

  • Topic: Software evolution
  • Type: Workshop
  • Date: 2008-12-11 to 2008-12-12
  • Place: Eindhoven, The Netherlands
  • Lecturer: None. All lecturers were based upon submission and peer-review.
  • Coverage: http://www-set.win.tue.nl/benevol2008/

SATTOSE: Seminar on Advanced Tools and Techniques for Software Evolution

  • Topic: software evolution, tool building
  • Type: Workshop
  • Date: 2008-02-03 to 2008-02-09
  • Place: Waulsort, Belgium
  • Lecturer: See website for all details: http://restructuring.ulb.ac.be/events/sattose/
  • Coverage: See website for all details: http://restructuring.ulb.ac.be/events/sattose/

Evol@Mons 2008 - Doctoral Research Seminar on Software Evolution

  • Topic: Software evolution
  • Type: Other
  • Date: 2008-02-25 to 2008-02-25
  • Place: Mons, Belgium
  • Lecturer: Ralf Laemmel. Institut fuer Informatik, Universitaet Koblenz-Landau, Germany; Andy Zaidman. Software Engineering Research Group, Delft University of Technology, The Netherlands; Stéphane Ducasse, INRIA Lille, France; Tudor Girba. Software Composition Group, Institut fuer Informatik, Universitaet Bern, Switzerland
  • Coverage: See http://w3.umh.ac.be/genlog/EvolMons/EvolMons2008.html

MoDSE 2008: MoDSE 2008: 2nd international Workshop on Model-Driven Software Evolution

  • Topic: software evolution, model-driven software engineering
  • Type: Workshop
  • Date: 2008-04-01 to 2008-04-04
  • Place: Athens, Greece
  • Lecturer: None
  • Coverage: See website http://www.lina.sciences.univ-nantes.fr/conf/MoDSE2008

Section D: Mobility

WG: Software Evolution

  • Topic 1 : Software re-engineering and quality improvement
  • Topic 2 : Model-driven and aspect-oriented software evolution
  • Topic 3 : Inconsistency management and co-evolution
  • Topic 4 : Empirical studies of software evolution

Fellows

  • Name: Juan Carlos Fernandez-Ramil
  • Type: Visiting researcher
  • Institute 1: University of Mons (F.R.S. - FNRS) - 2008-01-01 to 2008-12-31

WG: Computational and Methodological Statistics

  • Topic 1 : Matrix Computations and Statistics
  • Topic 2 : Computational Econometrics
  • Topic 3 : Statistical Algorithms and Software
  • Topic 4 : Machine Learning and Robust Data Mining

Fellows

  • Name: Erricos Kontoghiorghes
  • Type: Visiting researcher
  • Institute 1: INRIA-IRISA, Rennes, France - 0000-00-00 to 0000-00-00
  • Institute 2 : University of Neuchatel, Switzerland - 0000-00-00 to 0000-00-00
  • Name: Cristian Gatu
  • Type: ERCIM fellow
  • Institute 1: University of Neuchatel - 0000-00-00 to 0000-00-00
  • Institute 2 : University of Cyprus - 0000-00-00 to 0000-00-00

WG: Environmental Modelling

  • Topic 1 : Environmental risk management, pollution analysis and forecast
  • Topic 2 : Remote sensing, satellite data, image processing
  • Topic 3 : Data assimilation, knowledge from data
  • Topic 4 : Information systems applications including GIS

WG: E-mobility

  • Topic 1 : Mobile Applications and Human-Computer Interaction for mobile devices
  • Topic 2 : Middleware & Security in wireless networks
  • Topic 3 : Mobility Management including handover management, roaming, ambient networks and localization
  • Topic 4 : Quality-of-Service and Traffic Engineering in wireless networks

WG: Formal Methods for Industrial Critical Systems

  • Topic 1 : Design and integration of formal methods and tools for the specification, computer-aided analysis and automated implementation of reactive systems and distributed algorithms
  • Topic 2 : Technology transfer of these methods and tools for the industry, including their application to assess safety-critical systems and their connection to computer languages and software engineering techniques already established in industry
  • Topic 3 : Real time programming, software specification, analysis and testing, distributed and parallel systems
  • Topic 4 : Interoperability platforms for tool-based analysis, verification and test.

WG: Software Engineering for Resilient Systems (SERENE)

  • Topic 1 : Formal and semi-formal modelling of resilience properties; Software development processes for resilience; Requirement engineering processes for resilience; Model Driven Engineering of resilient systems; Verification and validation of resilient systems; Er
  • Topic 2 : Frameworks and design patterns for resilience; Software architectures for resilience
  • Topic 3 : Atomic actions; Dynamic resilience mechanisms; Resilience prediction; Resilience metadata
  • Topic 4 : Reasoning and adaptation services for improving and ensuring resilience; Intelligent and adaptive approaches to engineering resilient systems

WG: Dependable Software-Intensive Embedded Systems

  • Topic 1 : Dependability analysis and evaluation of software-intensive embedded systems
  • Topic 2 : Product assurance and Validation and Verification Lab for (critical) software-intensive (embedded) systems
  • Topic 3 : Real-time systems (HW/SW Co-design) for time critical, dependable applications (computervision, intelligent antennas) (design, development, modeling and simulation of such systems)
  • Topic 4 : COTS and Reuse in dependable embedded RT systems

WG: Constraints

  • Topic 1 : Constraint Programming
  • Topic 2 : Constraint Logic Programming
  • Topic 3 : Optimisation
  • Topic 4 : Artificial Intelligence

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

  • Topic 1 : Multiscale multiphysics coupling
  • Topic 2 : Medical Image processing
  • Topic 3 : Mesh adaptation and error estimation
  • Topic 4 : Integrative modelling from cells to physiological systems

Section E: Visibility

WG: Sensor Web

WG Web Site: http://wiki.ercim.org/wg/SensorWeb/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Data and Information Spaces

WG Web Site: http://wiki.ercim.org/wg/DIS/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Grids, P2P and Services

WG Web Site: http://www.coregrid.net/mambo/content/view/747/418/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Software Evolution

WG Web Site: http://wiki.ercim.org/wg/SoftwareEvolution

Articles in ERCIM News

  • Issue: 76
  • Page: 6
  • Title: EVOL 2008 - Fourth International ERCIM Workshop on Software
  • Issue: 73
  • Page: 6
  • Title: Evol@Mons 2008 - Doctoral Research Seminar on Software Evolu
  • Issue: 72
  • Page: 11
  • Title: EVOL 2007 - Third International ERCIM Symposium on Software

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)

WG Web Site: http://www.ics.forth.gr/sesami/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Software Engineering for Resilient Systems (SERENE)

WG Web Site: http://serene.uni.lu

Articles in ERCIM News

  • Issue: 75
  • Page: 10
  • Title: SERENE - An ERCIM Working Group on Software Engineering for
  • Issue: 75
  • Page: 43
  • Title: SESAME: A Model-Driven Test Selection Process for Safety-Cri
  • Issue: 76
  • Page: 6
  • Title: Report on the SERENE 2008 International Workshop on Software

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Constraints

WG Web Site: http://wiki.ercim.org/wg/Constraints/index.php/Main_Page

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

WG Web Site: http://wiki.ercim.org/wg/IM2IM/index.php/Main_Page

Articles in ERCIM News

  • Issue: ERCIM News 73
  • Page: 8-9
  • Title: report on MSH'07
  • Issue: ERCIM News 74
  • Page: 10-11
  • Title: report on 1st CRM-INRIA-MITACS Workshop

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Image and Video Understanding

WG Web Site: http://wiki.ercim.eu/wg/MUSCLE/index.php/Main_Page

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Formal Methods for Industrial Critical Systems

WG Web Site: http://fmics.inria.fr

Articles in ERCIM News

  • Issue: 75
  • Page: 12
  • Title: Safety-Critical Software
  • Issue: 75
  • Page: 46
  • Title: Bicriteria Multi-Processor Static Scheduling
  • Issue: 75
  • Page: 32
  • Title: Verifying Dynamic Properties of Industrial Critical Systems
  • Issue: 75
  • Page: 38
  • Title: The SHADOWS Story on Implementation, Verification and Proper
  • Issue: 75
  • Page: 47
  • Title: Bicriteria Multi-Processor Static Scheduling
  • Issue: 75
  • Page: 51
  • Title: Experimenting with Diversity in the Formal Development of Ra
  • Issue: 75
  • Page: 52
  • Title: Evaluation of Natural Language Requirements in the MODCONTRO
  • Issue: 75
  • Page: 53
  • Title: Development of Safety Software for the Paks Nuclear Power Pl
  • Issue: 73
  • Page: 43
  • Title: Assisting the Design of an Industrial Groupware System by Mo
  • Issue: 73
  • Page: 41
  • Title: Plug and Play with FMICS-jETI: Beyond Scripting and Coding
  • Issue: 73
  • Page: 40
  • Title: Web Services for Accessing Explicit State Space Verification

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Environmental Modelling

WG Web Site: http://ercim.fokus.fraunhofer.de/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Digital Patient

WG Web Site: http://www.ercim.org/wg/Digital_Patient/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Security and Trust Management

WG Web Site: http://www.iit.cnr.it/STM-WG/

Articles in ERCIM News

  • Issue: 75
  • Page: 47
  • Title: Enhancing Java ME Security Support with Resource Usage Monit

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Dependable Software-Intensive Embedded Systems

WG Web Site: http://www.ercim.at/

Articles in ERCIM News

  • Issue: ERCIM News 75
  • Page:
  • Title: Several articles from members

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: E-mobility

WG Web Site: http://wiki.ercim.org/wg/eMobility/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Computational and Methodological Statistics

WG Web Site: http://www.CMStatistics.org

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

Section F: Cooperation with Commercial Companies and Public Services

WG: Sensor Web

n/a

WG: Data and Information Spaces

n/a

WG: Grids, P2P and Services

n/a

WG: Software Evolution

n/a

WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG: Constraints

France: Peugeot Citroen Automobiles S.A. France: KLS Optim Sarl Turkey: Bilisim Teknolojileri Danismanlik Hizmetleri Reklamcilik Ticaret LTD. Portugal: Wide Scope - Sistemas de Planeamento e Optimizacao, LDA. Sweden: SICS, Swedish Institute of Computer Science AB

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

n/a

WG: Image and Video Understanding

n/a

WG: Formal Methods for Industrial Critical Systems

n/a

WG: Environmental Modelling

n/a

WG: Digital Patient

n/a

WG: Security and Trust Management

We have a good cooperation with EU project officers (Unit F5) as well as many industries that have a representative in the WG as Microsoft, Hp, SAP, BT, Siemens, ATOS, ...

WG: Dependable Software-Intensive Embedded Systems

Cooperation with EU-projects for dissemination and web survey (e.g. MOGENTES "Testing to expensive?",ADOSE, ProSE, DECOS and SENSE), co-operation with NTNU, OCG and VÖSI (Austrian SW Industry Assiciation).

WG: E-mobility

n/a

WG: Computational and Methodological Statistics

The ERCIM WG on Computing & Statistics publishes special issues based of the journal Computational Statistics & Data Analysis (Elsevier) on selected papers presented at the Workshop.

Section G: Comments

WG: Sensor Web

n/a

WG: Data and Information Spaces

n/a

WG: Grids, P2P and Services

n/a

WG: Software Evolution

The list of mentioned Joint Projects is not entirely complete (some smaller-scale projects are not mentioned), and some details (like budget) are missing for some projects. See http://wiki.ercim.org/wg/SoftwareEvolution for the complete list. In 2008, at least 11 PhD theses on software evolution have been finished. They are mentioned on the wiki pages of the WG. Since January 2009 we have moved our official WG pages to the wiki, as requested by the ERCIM authorities. Here is the link: http://wiki.ercim.org/wg/SoftwareEvolution

WG: Smart Environments and Systems for Ambient Intelligence (SESAMI)

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG: Constraints

In 2008 the Chairmanship of the ERCIM Working Group for Constraint was passed from Francois Fages (INRIA, France) to Barry O'Sullivan (Cork Constraint Computation Centre, University College Cork, Ireland). The Working Group would like to extend its thanks to Francois for the superb work he has done while Chair of the WG.

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

Failure of ERCIM-based PrognoSIM proposal "Open platform for predictive, patient-specific, multi-physics simulation of pathological alterations of the vascular and respiratory system for diagnosis and outcome", a large-scale integrating project (IP) for call ICT-2007.5.3: Virtual Physiological Human FP7-ICT-2009-6 Virtual Physiological Human will be the major goal of IM2IM'09 workshop with participation of companies (http://wiki.ercim.org/wg/IM2IM/index.php/IM2IM'09).

WG: Image and Video Understanding

n/a

WG: Formal Methods for Industrial Critical Systems

Alessandro Fantechi (Univeersity of Florence and ISTI-CNR) has been elected Working Group Coordinator on 16 September 2008, in place of Pedro Merino (University of Malaga and SparCIM), who has coordinated the group for three years.

WG: Environmental Modelling

n/a

WG: Digital Patient

n/a

WG: Security and Trust Management

The group is quite healthy with a signficant number of events and in particular for 2008, we cooperated with ERCIM EXEC and EU (Unit F5 Security) to set up the first strategic seminar on "Engineering Secure Complex Software Systems and Services". Its success with more than 70 participants from industry, research and accademia will foster the WG activities, and in general the ERCIM ones. A project proposal in the 5th Call on SoA security is likely going to be coordinated by ERCIM.

WG: Dependable Software-Intensive Embedded Systems

n/a

WG: E-mobility

n/a

WG: Computational and Methodological Statistics

The working group has 11 specialized tracks and over 300 members. There is an extensive mobility among its members which is not recorded, or reported in this report. The WG holds jointly the annual workshop with the Computational and Financial Econometrics (CFE) conference. The CFE is organized by a specialized track of the WG. The meetings attract high number of participants (200-400). Some specialized tracks have projects (e.g. COST ACTION IC0702 http://costic0702.softcomputing.es/, Marie Curie Research and Training Network COMISEF: http://comisef.eu/) outside the ERCIM organization. These projects facilitate the organization of meetings and exchange of visits among the WG members.