ERCIM Working Group Report

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.

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

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.

• 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.

• 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.

• 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.

• 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.

• 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.

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):

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

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/

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):

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/

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):

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

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

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

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

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:

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

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:

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.

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.

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

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/

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

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

• 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

• 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

• 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

• 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

• 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.

• 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

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

• 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

• 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

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• 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

n/a

n/a

n/a

n/a

n/a

• 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

n/a

n/a

n/a

n/a

n/a

• 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

n/a

n/a

n/a

n/a

n/a

• 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

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

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

n/a

n/a

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

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a