ERCIM Working Group Report

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

Section A: Joint Projects

WG: Software Evolution

Project: Marie Curie RTN \"SeGraVis: Syntactic and Semantic Integratiom of Visual Modelling Techniques\"

  • Funding: EU
  • Status: Active
  • Date: 2002-01-01 to 2006-12-31
  • Contribution: 91614
  • description:

    According to their focus and level of generality, the research and training objectives of SegraVis are distinguish into meta-level objectives, language-specific objectives, and domain-specific objectives. The primary objective of the project is to develop meta-level solutions for the definition, integration, and implementation of visual modeling techniques, providing support for syntax, semantics, analysis, modularity, refinement, transformation, integration, and tool support Meta-level solutions shall be employed to improve and integrate existing visual techniques, like the UML family of languages, graph-based languages and net-based languages The third level of objectives is the use and evaluatation of visual modelling techniques in specific domains, like software evolution, software architecture, mobility, and natural computing.

Project: Marie Curie TOK-IAP 003169: “Leg2Net: From Legacy Systems to Services in the Net�

  • Funding: EU
  • Status: Active
  • Date: 2004-01-06 to 2008-05-31
  • Contribution: 417775
  • description:

    Leg2Net resumes a partnership between industry and academia that, over several years, developed internationally recognised expertise in re-engineering of legacy applications and correct code generation from high-level specifications with the ability to target specific architectures and support an architecture-driven evolution of systems. The goal of Leg2Net is to make this expertise available to the wider IT community through postgraduate programmes of studies and industry-targeted training actions, and to develop a second generation of these methods and tools over service-based technologies that can be used to address the challenges that companies and organisations are facing for evolving their systems to operate and compete in the e-Economy.

Project: ITEA 04032 SERIOUS: Software Evolution, Refactoring, Improvement of Operational and Usable Systems

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

    Embedded systems are becoming increasingly complex, more diverse, and are frequently expanded to include more features. As a consequence, the software is constantly changing: rates of 10,000 lines of code changed per week are the norm for large software organizations. Unfortunately, high change rates inevitably erode a well-designed well-documented system and quickly turn it into a maintenance nightmare. Many software development processes are now CMM certified. However these processes do not contribute to the long-term evolution of software. Indeed, the addition of new features sometimes introduces unexpected bugs, breaks design decisions, and distorts documentation. Consequently, it is hard to assess which software components should be *refactored* and to estimate the effort required to do so. Therefore, the SERIOUS project aims to develop methods, metrics and tools to maintain - even increase - the quality of the software during its evolution.

Project: COSE : Controlling Software Evolution

  • Funding: Swiss National Science Foundation
  • Status: Active
  • Date: 2005-07-01 to 2007-06-30
  • Contribution: 164000
  • description:

    The goal of this project is to investigate means to analyze and control the evolution of a software system at various levels. Specifically, it aims to answer the following questions: - How does the architecture of a software system evolve over time? What are signs of architectural decay and how can they be tracked down? - How can hidden dependencies in a system that complicate and hinder its evolution be discovered? How can existing analysis methods be adapted, revised, or enhanced to enable that? - How can the plethora of software data (source code, change and bug history, release data) be filtered and visualized? What are effective visualization models and techniques for that?

Project: Research Center on Structural Software Improvement

  • Funding: FNRS - Belgium
  • Status: Active
  • Date: 2005-01-01 to 2008-12-31
  • Contribution:
  • description:

    This research center, funded by the Fondation de la Recherche Fondamentale Collective of the national science foundation of Wallonia, Belgium (FNRS) reconciles some of the common research interests of its three promoters in the areas of software evolution and logic meta programming. More specifically, the center will study formalisms for automated software restructuring, based on advanced refactoring and composition techniques, transformation formalisms and intensional views. It will enable the promoters to intensify existing collaborations between their research teams, and to forge new research links and collaborations with other universities in Belgium and abroad (in the research domains of software restructuring, as well as software evolution in general). In the context of this research project we want to develop, with the help of our external collaborators, well-founded formalisms, techniques and tools to support and integrate software restructuring in the software development process. We will also take a look at software restructuring in an aspect-oriented context (migration of legacy software to aspect-oriented software, as well as evolution and restructuring of aspect-oriented software itself).

WG: Soft Computing

Project: (see Sect. G)

  • Funding:
  • Status: Active
  • Date: 0000-00-00 to 0000-00-00
  • Contribution:
  • description:

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

Project: an open platform for the virtual physiological human

  • Funding:
  • Status: Proposal
  • Date: 0000-00-00 to 0000-00-00
  • Contribution:
  • description:

    application mode: IST-2007.5. Virtual IST-2007.5. Virtual Physiological Human, set CP, subset IP target: ICT second calls in 2007 (dead line september/october). Klaus Wolf coordinator tools to be integrated * patient-specific data image acquisition, information mining * generic data, model generation * image processing, 3DR * mesh generation * analysis, visualisation, and interpretation Basic software architecture besed on MpCCI and RCE (tools of SCAI) Participating Organisations FhG INRIA SARIT Imperial College, Politechnico di Milano Siemens

WG: Constraints

Project: Towards integrating Virtual Reality and optimisation techniques

  • Funding: EC
  • Status: Active
  • Date: 2006-09-01 to 2009-08-31
  • Contribution: 2320000
  • description:

    The Net-WMS project proposes interactive optimization tools and prototype software that will form the basis for a new generation of WMS Networked Services. Net-WMS will handle networked communication and co-operation processes through the integration of decision-making technologies, generic 2D/3D and higher-dimensional placement constraint solvers, visualization and interaction with the solvers in virtual reality, packing models and knowledge modelling with business rules. Its scientific outcome will be relevant to the whole domain of combinatorial optimization and will have direct technological impact on Supply Chain Management at both the WMS and TMS levels, especially in the areas of packing, vehicle loading, space management, planning

WG: Dependable Software-Intensive Embedded Systems

Project: Dependable Embedded Components and Systems, DECOS, IST-FP6-511764

  • Funding: European Commission
  • Status: Active
  • Date: 2004-07-01 to 2007-12-31
  • Contribution: 9,000.000
  • description:

    The project aims at facilitating the design, development, validation and certification and the deployment of dependable embedded systems in safety-critical applications. ERCIM is one of the dissemination partners, joint workshops are fully funded by DECOS to achieve broad dissemination of DES WG and DECOS results and enable ERCIM members to attend events for free.

WG: Computational and Methodological Statistics

Project: * Computational Optimization Methods in Statistics, Econometrics, and Finance, COMISEF

  • Funding: EU FP6 (Marie Curie RTN)
  • Status: Active
  • Date: 0000-00-00 to 0000-00-00
  • Contribution: approximatel 3 million
  • description:

    The project was approved before the establishment of the new WG. However all partners are active members founders of the specialized track \"Optimization Heuristics in Estimation and Modelling\"

WG: Applications of Numerical Mathematics in Science

Project: ARTDECO

  • Funding:
  • Status: Finished
  • Date: 0000-00-00 to 0000-00-00
  • Contribution:
  • description:

    The Applications of Numerical Mathematics in Science Working Group activity in 2006 was focused on the re-submission of the ARTDECO project in the Marie-Curie framework. Unfortunately, we passed only the first phase but we were out (lack of funds!!). The project had very good referee reports but this was not enough.

WG: Image and Video Understanding

Project: MUSCLE

  • Funding: EU FP6 NOE
  • Status: Active
  • Date: 0000-00-00 to 0000-00-00
  • Contribution: 6.9 Mi
  • description:

    MUSCLE aims at establishing and fostering closer collaboration between research groups in multimedia data mining and machine learning. The Network integrates the expertise of over forty research groups working on image and video processing, speech and text analysis, statistics and machine learning. The goal is to explore the full potential of statistical learning and cross-modal interaction for the (semi-)automatic generation of robust meta-data with high semantic value for multimedia documents.

Participating Organisations:
  • ERCIM - type: Other - budget: 0€
  • CWI - type: Research - budget: 0€
  • CNR - type: Research - budget: 0€
  • FORTH - type: Research - budget: 0€
  • INRIA - type: Research - budget: 0€
  • IUA - type: Research - budget: 0€
  • SpaRCIM - type: Research - budget: 0€
  • SZTAKI - type: Research - budget: 0€
  • VTT - type: Research - budget: 0€

Section B: Joint Publications

WG: Computational and Methodological Statistics

2nd Special issue on Numerical Algorithms, Parallelism and Applications

  • Author: Erricos John Kontoghiorghes and Bernard Philippe
  • year: 2007
  • Reference information: Applied Numerical Mathematics
  • Type: Journal
  • Document (link to the URL): http://www.sciencedirect.com/science/journal/01689274

WG: Dependable Software-Intensive Embedded Systems

Proceedings of the First Workshop on Dependable Embedded Systems

  • Author: Schoitsch, E., Skavhaug, A., et. al.
  • year: 2006
  • Reference information: ISBN - 2-912335-15-9
  • Type: Conference
  • Document (link to the URL): www.ercim.org

ERCIM News 67, Oct. 2006, Special Theme (several articles)

  • Author: Schoitsch, E. (ed.)
  • year: 2006
  • Reference information: ISSN 0926-4981
  • Type: Journal
  • Document (link to the URL): www.ercim.org

Proceedings ME\'06, Embedded Systems Day

  • Author: Schoitsch, E. et al.
  • year: 2006
  • Reference information: ISBN 3-85133-040-4
  • Type: Conference
  • Document (link to the URL): www.me-tagung.at

WG: Environmental Modelling

Advanced technology for environmental modelling (Editorial)

  • Author: Thomas Lux and W. Andrew Matthews
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 279-280
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.027

Next Generation GRIDs for environmental science

  • Author: Keith G. Jeffery
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 281-287
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.028

An operational real-time air quality modelling system for industrial plants

  • Author: R. San José, J.L. Pérez and R.M. González
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 297-307
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.030

Benchmarking two simulation models for underwater and atmospheric sound propagation

  • Author: N.A. Kampanis, D.A. Mitsoudis and M.C. Dracopoulos
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 308-314
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.033

Experience with data mining for the anaerobic wastewater treatment process

  • Author: M. Dixon, J.R. Gallop, S.C. Lambert and J.V. Healy
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 315-322
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.031

A multifractal approach for extracting relevant textural areas in satellite meteorological images

  • Author: Jacopo Grazzini, Antonio Turiel, Hussein Yahia and Isabelle Herlin
  • year: 2007
  • Reference information: Environmental Modelling & Software, Volume 22, Issue 3, 323-334
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.envsoft.2005.07.032

WG: Formal Methods for Industrial Critical Systems

The industrialization of formal methods

  • Author: Fitzgerald J.S., Gnesi S., Mandrioli D.
  • year: 2006
  • Reference information: Journal on Software Tools for Technology Transfer (STTT), vol. 8 (4-5), pp. 301-
  • Type: Journal
  • Document (link to the URL):

11th International Workshop on Formal Methods for Industrial Critical Systems

  • Author: Lubos BRIM, Martin LEUCKER
  • year: 2006
  • Reference information: http://fmics06.informatik.tu-muenchen.de/
  • Type: Conference
  • Document (link to the URL): http://fmics06.informatik.tu-muenchen.de/

The FMICS View on the Verified Software Repository

  • Author: Alvaro Arenas, Juan Bicarregui, Tiziana Margaria
  • year: 2006
  • Reference information: Integrated Design and Process Technology, IDPT 2006
  • Type: Conference
  • Document (link to the URL):

Formal Methods: Applications and Technology, Proceedings of FMICS PDMC 2006

  • Author: Brim, L.; Haverkort, B.; Leucker, M.; Pol, J.v.d. (Eds.)
  • year: 2007
  • Reference information: LNCS Vol. 4346, ISBN: 978-3-540-70951-0
  • Type: Conference
  • Document (link to the URL): http://www.springer.com/west/home/new

WG: Image and Video Understanding

A DSP-based method for transient restoration of recorded music

  • Author: Magrini, Massimo; Bertini, Graziano; G
  • year: 2006
  • Reference information: CD Proceedings of DSP Application Day 2006, Milan (Italy)
  • Type: Conference
  • Document (link to the URL):

Labeling Complementary Local Descriptors Behavior for Video Copy Detection

  • Author: Law-To, Julien; Gouet-Brunet, Valerie;
  • year: 2006
  • Reference information: Proceedings of the International Workshop on Multimedia Content Representation,
  • Type: Conference
  • Document (link to the URL):

Robust Voting Algorithm Based on Labels of Behavior for Video Copy Detection

  • Author: Law-To, Julien; Buisson, Olivier;
  • year: 2006
  • Reference information:
  • Type: Conference
  • Document (link to the URL): Proceedings of the ACM Multimedia, Santa Barbara

Active Learning with Near Misses

  • Author: Gurevich, Nela; Markovitch, Shaul; Rivlin, Ehud
  • year: 2006
  • Reference information: Proceedings of the Twenty-First National Conference on Artificial Intelligence,
  • Type: Journal
  • Document (link to the URL):

On motion periodicity of dynamic textures

  • Author: Chetverikov, Dmitry; Fazekas, Sandor;
  • year: 2006
  • Reference information: Proc.British Macine Vision Conference
  • Type: Conference
  • Document (link to the URL):

Unsupervised Texture Segmentation by Spectral-Spatial-Independent Clustering

  • Author: Scarpa, Giuseppe; Haindl, Michal;
  • year: 2006
  • Reference information: Proceedings of the 18th IAPR International Conference on Pattern Recognition, Ho
  • Type: Conference
  • Document (link to the URL):

Fast Synthesis of Dynamic Colour Textures

  • Author: Filip, Jiri; Haindl, Michal; Chetverik
  • year: 2006
  • Reference information: Proceedings of 18th IAPR International Conference on Pattern Recognition, Hong K
  • Type: Conference
  • Document (link to the URL):

Automatically populating an image ontology and semantic color filtering

  • Author: Christophe, Millet; Gregory, Grefenstet
  • year: 2006
  • Reference information: Workshop OntoImage 2006 Language Resources for CBIR (Genoa, Italy)
  • Type: Journal
  • Document (link to the URL):

An a contrario decision method for shape element recognition

  • Author: Muse, Pablo; Sur, Frederic ; Cao, F
  • year: 2006
  • Reference information: IJCV 06
  • Type: Journal
  • Document (link to the URL):

Exploiting text for extracting image processing resources

  • Author: Grefenstette, Gregory; Debili, Fathi;
  • year: 2006
  • Reference information: LREC\'2006, Genoa, Italy
  • Type: Conference
  • Document (link to the URL): http://www.lrec-conf.org/lrec2006/article.php3?id_article=8#O6WM

Combining Seminorms in Adaptive Lifting Schemes and Applications to Image Analysis and Compression

  • Author: Piella, Gemma; Pesquet-Popescu, Beatric
  • year: 2006
  • Reference information: Journal of Mathematical Imaging and Vision\" , to appear 2006
  • Type: Journal
  • Document (link to the URL):

On the Distribution of Saliency

  • Author: Berengolts, Alexander; Lindenbaum, Mich
  • year: 2006
  • Reference information: Appeared in CVPR 05. submitted to a journal
  • Type: Conference
  • Document (link to the URL):

LMS based adaptive prediction for scalable video coding

  • Author: Toreyin, Behcet Ugur; Trocan, Maria; P
  • year: 2006
  • Reference information: ICASSP 2006, Toulouse, France, 15-19 May 2006
  • Type: Conference
  • Document (link to the URL):

Toward a scalable multimedia metadata infrastructure using distributed computing

  • Author: Asirelli, Patrizia; Di Bono, Maria Graz
  • year: 2006
  • Reference information: Proc. IEE Ewimt 2005
  • Type: Conference
  • Document (link to the URL):

Online auto-calibration in man-made worlds

  • Author: Pflugfelder, Roman; Bischof, Horst;
  • year: 2006
  • Reference information: Roman Pflugfelder, Horst Bischof, \"Online Auto-Calibration in Man-Made Worlds,\
  • Type: Conference
  • Document (link to the URL):

Testing supervised classifiers based on non-negative matrix factorization to musical instrument classification

  • Author: Benetos Emmanouil; Kotropoulos, Constant
  • year: 2006
  • Reference information: Proc. XIV European Signal Processing Conf., Florence, September 2006
  • Type: Conference
  • Document (link to the URL):

Stream weight computation for multi-stream classifiers

  • Author: Potamianos, Alexandros; Sanchez-Soto, E
  • year: 0
  • Reference information: Proc. Internat. Conf. on Acoust., Speech, and Signal Process., (Toulouse, France
  • Type: Conference
  • Document (link to the URL):

SVM Speaker Verification using an Incomplete Cholesky Decomposition

  • Author: Louradour, Jerome; Daoudi, Khalid;
  • year: 2006
  • Reference information: IEEE Odyssey 2006 (Speaker and Language Recognition Workshop)
  • Type: Conference
  • Document (link to the URL):

Generation of long-term color and motion coherent partitions

  • Author: Dorea, Camilo; Pardas, Montse; Marques, Ferran
  • year: 2006
  • Reference information: International Conference on Image Processing ICIP 2006
  • Type: Conference
  • Document (link to the URL):

Adaptive Wavelets for Image Compression Using Update Lifting: Quantisation and Error Analysis

  • Author: Heijmans, Henk; Piella, Gemma; Pesquet, Beatrice
  • year: 0
  • Reference information: \\\"International Journal of Wavelets, Multiresolution and Information Processin
  • Type: Journal
  • Document (link to the URL):

Waterfall Segmentation of Complex Scenes

  • Author: Hanbury, Allan; Marcotegui, Beatriz;
  • year: 2006
  • Reference information: ACCV 06 Asian Conference on Computer Vision
  • Type: Journal
  • Document (link to the URL):

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

Study of pulsatile blood and injected medicine fluid flow in TACE therapy

  • Author: Tsai SF, Rani HP, Sheu TWH, Thiriet M
  • year: 2007
  • Reference information: Submitted to CMBBE
  • Type: Journal
  • Document (link to the URL):

WG: Software Engineering for Resilient Systems (SERENE)

RISE \'2005 - Rapid Integration of Software Engineering Techniques, proceedings of the 2d International Workshop, Heraklion, Crete, September 8-9, 2005

  • Author: N. Guelfi, A. Savidis
  • year: 2006
  • Reference information: Lecture Notes in Computer Science, vol. 3943, Springer-Verlag, 2006
  • Type: Other
  • Document (link to the URL):

CAA-DRIP: a framework for implementing Coordinated Atomic Actions

  • Author: A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. Zorzo
  • year: 2006
  • Reference information: The 17th International Symposium on Software Reliability, Raleigh, Noth Carolina
  • Type: Conference
  • Document (link to the URL):

WG: Soft Computing

  • Author: (see Sect. G)
  • year: 0
  • Reference information:
  • Type: Conference
  • Document (link to the URL):

WG: Software Evolution

Proc. 3rd workshop on software evolution through transformations

  • Author: Jean-Marie Favre, Reiko Heckel, and Tom Mens
  • year: 2006
  • Reference information: Electronic Communications of the EASST, Volume 3, 2006
  • Type: Journal
  • Document (link to the URL): http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/3

Proc. 2nd ERCIM Workshop on Software Evolution

  • Author: Tom Mend and Maja D\'Hondt
  • year: 2007
  • Reference information: Electronic Notes in Theoretical Computer Science 166 (2007)
  • Type: Journal
  • Document (link to the URL): www.elsevier.com/locate/entcs

Essentials of the 4th UML/MODELS workshop in software model engineering (WISME 2005)

  • Author: Krzysztof Czarnecik, Jean-Marie Favre, Martin Gogolla, Tom Mens
  • year: 2006
  • Reference information: LNCS 3844: 151-158, Springer, 2006
  • Type: Journal
  • Document (link to the URL):

Challenges in software evolution

  • Author: Tom Mens, Michel Wermelinger, Stéphane Ducasse, Serge Demeyer, Robert Hirschfeld, Mehdi Jazayeri
  • year: 2005
  • Reference information: Proc. International Workshop on Principles of Software Evolution (IWPSE 2005)
  • Type: Conference
  • Document (link to the URL): ftp://ftp.umh.ac.be/pub/ftp_infofs/2005/Mens2005IWPSE-Challenges.pdf

The LAN simulation: A refactoring teaching example

  • Author: S. Demeyer, F. Van Rysselberghe, T. Girba, J. Ratzinger, R. Marinescu, T. Mens, B. Du Bois, D. Janssens, S. Ducasse, M. Lanza, M. Rieger, H. Gall, M. Al-Ramly
  • year: 2005
  • Reference information: Proc. International Workshop on Principles of Software Evolution (IWPSE 2005)
  • Type: Conference
  • Document (link to the URL): ftp://ftp.umh.ac.be/pub/ftp_infofs/2005/Demeyer2005IWPSE.pdf

Software Evolution and Feedback: Theory and Practice

  • Author: N. H. Madhavji, J. Fernandez-Ramil, D. Perry
  • year: 2006
  • Reference information: Wiley 2006. ISBN 0-470-871806
  • Type: Other
  • Document (link to the URL): No URL available due to copyright reasons.

Detecting and resolving model inconsistencies using transformation dependency analysis

  • Author: Tom Mens, Ragnhild Van Der Straeten, and Maja D’Hondt
  • year: 2006
  • Reference information: Proc. MODELS 2006, LNCS 4199, pp. 200-214, Springer, 2006
  • Type: Conference
  • Document (link to the URL): No URL available due to copyright reasons.

An Experimental Investigation of UML Modeling Conventions

  • Author: C.F.J. Lange, Bart Du Bois, M.R.V. Chaudron, Serge Demeyer
  • year: 2006
  • Reference information: Proc. ACM/IEEE Int. Conf. MODELS 2006
  • Type: Conference
  • Document (link to the URL):

A Quantitative Investigation of UML Modeling Conventions

  • Author: Bart Du Bois, C.F.J. Lange, Serge Demeyer, M.R.V. Chaudron
  • year: 2006
  • Reference information: Proc. Workshop on Quality in Modeling. Selected as best workshop paper in Proc.
  • Type: Conference
  • Document (link to the URL):

EQ-Mine: Predicting short-term defects for software evolution

  • Author: Jacek Ratzinger, Martin Pinzger, Harald Gall
  • year: 2007
  • Reference information: Proc. Fundamental Approaches to Software Engineering, pp. 12-26, Braga, Portugal
  • Type: Conference
  • Document (link to the URL):

A Model of Maintainability - Suggestion for Future Research

  • Author: Mira Kajko-Mattsson and Gerardo Canfora and Dan Chiorean and Arie van Deursen and Tuomas Ihme and Meir M. Lehman and Rupert Reiger and Torsten Engel and Josef Wernke
  • year: 2006
  • Reference information: In Hamid R. Arabnia and Hassan Reza (Eds.). Software Engineering Research and Pr
  • Type: Other
  • Document (link to the URL):

Introduction to the Special on Software Architecture Reconstruction and Modeling

  • Author: Rick Kazman and Arie van Deursen and Rainer Koschke
  • year: 2006
  • Reference information: Automated Software Engineering 13(2):199-200
  • Type: Journal
  • Document (link to the URL):

Mining software evolution to predict refactoring

  • Author: J. Ratzinger, T. Sigmund, P. Vorburger, and H. Gall
  • year: 2007
  • Reference information: Proc. International Symposium on Empirical Software Engineering and Measurement,
  • Type: Conference
  • Document (link to the URL):

WG: Constraints

Recent advances in Constraints

  • Author: B. Hnich, M. Carlsson, F. Fages, F. Rossi
  • year: 2006
  • Reference information: Springer Verlag LNAI 3978
  • Type: Conference
  • Document (link to the URL): http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-168961137-0

Section C: Organised Events

WG: Computational and Methodological Statistics

Kick-off meeting of the ERCIM Working Group on COMPUTING

  • Topic: COMPUTING
  • Type: Workshop
  • Date: 2007-04-20 to 2007-04-22
  • Place: Department of Econometrics, University of Geneva, Switzerland, April 20-22, 2007
  • Lecturer: 1. James MacKinnon, Queen\'s University, Canada: \"Bootstrap Testing\" 2. Peter Rousseeuw, University of Antwerp, Belgium: \"Algorithms for Robust Multivariate Statistics\" 3. Dimitri Bertsekas, Massachusetts Institute of Technology, USA: \"Very Large Systems of Linear Equations: Approximate Solution and Applications in Dynamic Programming\" 4. Claudio Albanese, Imperial College London, UK: \"Operator Methods and Long Dated Structured Products\" 5. John M. Mulvey, Princeton University, USA: Applying stochastic programming models to improve the performance of global hedge funds
  • Coverage: All topics within the Aims and Scope of the Working Group Computing

WG: Dependable Software-Intensive Embedded Systems

ERCIM/DECOS Workshop at Euromicro 2006

  • Topic: Dependable Embedded Systems
  • Type: Workshop
  • Date: 2006-08-29 to 2006-08-29
  • Place: Dubrovnik (Cavtat), Croatia
  • Lecturer: Presentations achieved by \\\"CfP\\\", reviewed (see separate CfP and Workshop programme). Speakers invited resp. applying by response to CfP from Budapest University of Technology, University of Linz, University of Kiel, TU Vienna, NTNU Trondheim, ARC.
  • Coverage: Dependability Issues of Networked Embedded Systems: Research, Industrial Experience and Education. Presentations covered development, validation and certification, education (remote embedded systems lab etc.), demonstrations and animated videos on respect

DECOS/ERCIM DES-Workshop at SAFECOMP 2006

  • Topic: Dependable Embedded Systems
  • Type: Workshop
  • Date: 2006-09-26 to 2006-09-26
  • Place: Gdansk, Poland
  • Lecturer: Reviewed presentation from applications to CfP and by invitation: TTTech, University of Kiel, TU Vienna, TU Budapest, ARC, NTNU,
  • Coverage: Dependable Embedded Systems: Modelling, Design, Development and Validation (Certification) (morning) and Embedded Systems Education and Training (afternoon), concluding panel discussion. Included demonstrations, several animated videos and a small exhibit

Embedde Systems Day, at ME\'06

  • Topic: Dependable Embedded Systems (Research, Applications, Key Note)
  • Type: Conference
  • Date: 2006-10-12 to 2006-10-12
  • Place: Reed Messe (Vienna Trade Fair), Vienna
  • Lecturer: Neeraj Suri, TU Darmstadt, \"A Line in the Sand: Chalking the Future of Embedded Systems\"; 12 other presentations (Call for Papers, review process, IEEE/Springer Cooperation in Proceedings) from all over Europe (including Poster Session), 6 from ERCIM members. ERCIM Poster, Information displayed and distributed, mentioned during introduction.
  • Coverage: Embedded systems Topics from architectural design, validation

WG: Environmental Modelling

13th ERCIM Environmental Modelling Group Workshop

  • Topic: Data and Model Coupling using Grid Workflows
  • Type: Workshop
  • Date: 2006-08-31 to 2006-09-01
  • Place: Fraunhofer FIRST, Berlin, Germany
  • Lecturer:
  • Coverage: Members of the working group participated along with researchers from Fraunhofer FIRST and their co-operation partners in order to present their recent research work and to discuss the current trends and developments in the field of environmental modellin

WG: Formal Methods for Industrial Critical Systems

11th International Workshop on Formal Methods for Industrial Critical Systems

  • Topic: Formal Methods
  • Type: Workshop
  • Date: 2006-08-26 to 2006-08-27
  • Place: Bonn, Germany
  • Lecturer: Anna Slobodova, INTEL, Challenges for Formal Verification in Industrial Setting Edward A. Lee (joint with Concur), Making Concurrency Mainstream
  • Coverage: The aim of the FMICS workshops 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 who are active in the area o

FMICS Session in THE NINTH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY

  • Topic: Formal Methods
  • Type: Other
  • Date: 2007-06-25 to 2007-03-30
  • Place: San Diego, USA
  • Lecturer: Tiziana Margaria Alvaro Arenas Pedro Merino
  • Coverage:

FMICS Session during ISOLA 2006

  • Topic: Formal Methods
  • Type: Other
  • Date: 2006-11-18 to 2006-11-18
  • Place: Paphos, Cyprus
  • Lecturer:
  • Coverage:

WG: Image and Video Understanding

MUSCLE Plenary and Scientific Meeting

  • Topic: Annual scientific meeting
  • Type: Workshop
  • Date: 0000-00-00 to 0000-00-00
  • Place: Paris
  • Lecturer:
  • Coverage: Image and video analysis and interpretation, audio and speech analysis, machine learning for MM analysis

MUSCLE-DELOS Summerschool on \"Multimedia Digital Libraries: Machine Learning and Cross-modal Technologies for Access and Retrieval\"

  • Topic: Machine Learning and Cross-modal Technologies for Access and Retrieval of Multimedia Information
  • Type: SummerSchool
  • Date: 0000-00-00 to 0000-00-00
  • Place: San Vincenzo, Italy
  • Lecturer: James Wang Pennsylvania State University, USA Fernando Pereira Instituto Superior Tecnico, Lisboa, Portugal Nicu Sebe University of Amsterdam, The Netherlands Milind Naphade IBM, USA Alex Hauptmann Carnegie Mellon University, USA Padraig Cunningham Trinity College Dublin, Ireland Jia Li Pennsylvania State University, USA Alan Smeaton Dublin City University, Ireland
  • Coverage:

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

multiphysics simulation in biomedical applications

  • Topic: software coupling
  • Type: Workshop
  • Date: 2006-11-21 to 0000-00-00
  • Place: Mosbach
  • Lecturer:
  • Coverage: Multiphysics simulation means usage of different solvers, thereby, coupling,

Open Interfaces for Multi-Disciplinary Simulation and Code Coupling

  • Topic: NAFEMS World Congress 2007
  • Type: Workshop
  • Date: 2007-05-22 to 2007-05-25
  • Place: Vancouver
  • Lecturer:
  • Coverage: Computer modelling and simulation methods

International workshop on Modeling

  • Topic: Modeling
  • Type: Conference
  • Date: 2007-10-22 to 2007-10-25
  • Place: National Taiwan University (NTU), Taipei, Taiwan
  • Lecturer: 1. Olivier Pironneau (UPMC, France), 2. Andre Garon (Polytechnique School of Montreal, Canada) 3. Felix Wu (University of Hong Kong and UC Berkeley)
  • Coverage: 1. image processing, virtual reality in medicine and surgery (medical simulators, computer-aided diagnosis, treatment planning), 2. image-based computational domains, 3. particle flow (blood microcirculation, aerosols), 4. cancer angiogenesis, 5.

IM2IM meeting embedded in Spring ERCIM days

  • Topic: modeling and simulation in health
  • Type: Workshop
  • Date: 2007-05-14 to 2007-05-15
  • Place: EPFL, Lausanne, Suisse
  • Lecturer:
  • Coverage: Computing for Health Virtual Physiological Human

WG: Software Engineering for Resilient Systems (SERENE)

RISE 2006 International Workshop

  • Topic: Rapid Integration of Software Engineering techniques
  • Type: Workshop
  • Date: 2006-09-13 to 2006-09-15
  • Place: University of Geneva, Switzerland
  • Lecturer: * Levi Lucio, University of Geneva, Integration of Semi-Formal and Formal Methods * Hans Vangheluwe, University Mc Gill: Model Everything! Exploring Multi-Paradigm Modelling
  • Coverage: RISE 2006 is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches, being part of a methodological framework.

WG: Security and Trust Management

Security and trust management workshop STM06

  • Topic: Security and trust management
  • Type: Workshop
  • Date: 2006-09-20 to 2006-09-21
  • Place: Hamburg, Germany
  • Lecturer: \"Addressing Security and Trust Requirements in WSN\" by Javier Lopez - University of Malaga \"Distributed Usage Control\" by by Alexander Pretschner - ETH Zurich
  • Coverage: 35 participatns, co-located with the main conference in Security in Europe. http://www.hec.unil.ch/STM06/index.htm

6th International School on Foundaitons of Security Analysis and Design

  • Topic: security and trust
  • Type: SummerSchool
  • Date: 2006-09-10 to 2006-09-16
  • Place: Bertinoro, Italy
  • Lecturer: Main Courses 1. Martin Abadi Security Protocols: Principles and Calculi 2. David Chaum Anonymity and Privacy 3. Liqun Chen Identity-based Cryptography 4. Pierpaolo Degano A Static Approach to Secure Service Composition 5. Sandro Etalle Rule-based Trust Management with RT 6. Audun Josang Trust and Reputation Systems 7. Daniel Le Metayer Systematic Security Analysis Method 8. Javier Lopez Critical Infrastructures Protection
  • Coverage: A school with each year 80 requests and just seats for 50

WG: Soft Computing

5th ERCIM workshop on soft computing

  • Topic: Theory and applications of soft computing
  • Type: Workshop
  • Date: 2006-09-13 to 2006-09-15
  • Place: Malaga, Spain
  • Lecturer: S.Aguzzoli, D. Dubois, L.Godo
  • Coverage: Mathematical fuzzy logic, generalizations of t-norms, fuzzy truth masnagement systems, algebraic aspects, theory of vagueness, neuro-fuzzy systems etc.

WG: Software Evolution

ERCIM Workshop on Software Evolution 2006

  • Topic: software evolution
  • Type: Workshop
  • Date: 2006-04-06 to 2006-04-07
  • Place: Lille, France
  • Lecturer: Arie van Deursen (Delft University of Technology and CWI, The Netherlands): \"The Software Evolution Paradox: An Aspect Mining Perspective\"
  • Coverage: The workshop aimed to bring together people from academia and industry to identify and discuss about important problems, techniques and results related to software evolution research and practice. Workshop topics included: Aspect-oriented software evolut

ERCIM Workshop on Software Evolution 2007

  • Topic: software evolution
  • Type: Workshop
  • Date: 2007-10-05 to 2007-10-05
  • Place: Paris, France
  • Lecturer: To be determined.
  • Coverage: The aim of the third edition of this annual international event is to gather people from academia and industry to identify and discuss recent advancements and emerging trends in the state-of-the-art in research and practice in software evolution. Workshop

Workshop on Model-Driven Software Evolution (MoDSE 2007)

  • Topic: software evolution, model-driven software engineering
  • Type: Workshop
  • Date: 2007-03-20 to 2007-03-20
  • Place: Amsterdam, The Netherlands
  • Lecturer:
  • Coverage: The main objective of this workshop, held in conjunction with CSMR 2007, is to explore how can model-driven engineering (MDE) enforce and enhance software evolution. Software evolution is an important and inevitable research area. It increases in complexi

3rd International Workshop on Software Evolution through Transformations (SETra 2006)

  • Topic: software evolution, software transformation, transformational software engineering
  • Type: Workshop
  • Date: 2006-09-22 to 2006-09-22
  • Place: Natal, Rio Grande do Norte, Brazil
  • Lecturer: \\\"Refactoring Information Systems\\\" by Michael Löwe
  • Coverage: Transformation-based techniques such as refactoring, model transformation, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop provides a

5th Belgian-Netherlands Software Evolution Workshop (BENEVOL 2006)

  • Topic: software evolution
  • Type: Workshop
  • Date: 2006-12-11 to 2006-12-12
  • Place: Delft University of Technology, The Netherlands
  • Lecturer:
  • Coverage: The cross-fertilisation between the \"reengineering of web applications\" and that of \"software restructuring and software evolution\" on the one hand, and the following (non-limited) list of domains on the other hand: * Restructuring web applications v

GRASCOMP Doctoral Course on Advanced Topics in Software Evolution

  • Topic: software evolution course for PhD students
  • Type: Other
  • Date: 0000-00-00 to 0000-00-00
  • Place: UMH and UCL, Belgium
  • Lecturer: Bart Du Bois, Yann-Gael Gueheneuc, Tom Mens, Kim Mens, Naouel Moha, Carlos Noguera, Ragnhild Van Der Straeten, Roel Wuyts
  • Coverage: This two-day course considers what software evolution is, why it is inevitable, and how one might reasonably and reliably go about performing it. Various essential technical and managerial aspects of software maintenance and evolution will be covered. An

FIRST.dk Workshop on Software Evolution

  • Topic: software evolution
  • Type: Other
  • Date: 2006-12-14 to 2006-12-14
  • Place: IT University, Copenhagen, Denmark
  • Lecturer: Tom Mens, David Notkin
  • Coverage: A one-day PhD student workshop on software evolution organised by the FIRST Research School. FIRST stands for Foundations for Innovative Research-based Software Technologies, and the research school is a concerted effort of both academia and industry to

WG: Constraints

International worksop on Constraint solving and constraint logic programming

  • Topic: Constraints
  • Type: Workshop
  • Date: 2006-06-26 to 2006-06-28
  • Place: Caparica, Portugal
  • Lecturer: Barry O\'Sullivan Nicolas Beldiceanu Ludwig Krippahl
  • Coverage:

WG: Models and Logics for Quantitative Analysis

Kick-Off meeting of MLQA

  • Topic: Finalising the application to become an ERCIM Working Group
  • Type: Workshop
  • Date: 2009-03-28 to 2009-03-28
  • Place: Part of ETAPS in York (United Kingdom)
  • Lecturer: Flemming Nielson - an overview of MLQA Stephen Gilmore - stochastic analysis in PEPA Carolyn Talcott - statistical model checking in Maude Rocco De Nicola - process algebras for stochastic features Diego Latella - applications to service oriented systems Holger Hermanns - applications to embedded systems Paola Quaglia - applications to biological systems
  • Coverage: http://wiki.ercim.eu/wg/MLQA/index.php/March_2009:_Kick-Off_meeting_in_York

Section D: Mobility

WG: Applications of Numerical Mathematics in Science

  • Topic 1 : Numerical Linear Algebra (Sparse Matrix Theory, Direct and Iterative Solvers for Large and Sparse Linear Systems of Equations, Eigenvalues and Eigenvectors for Large Scale Problems, Solution of Polynomial Systems of Equations)
  • Topic 2 : Numerical Solution of Differential Equations (Finite-Element Methods, Mesh Generation, Multigrid Methods, Wavelets, Spectral Methods, Time-stepping Methods)
  • Topic 3 : Continuous Optimization and Optimal Control (Interior Point Methods for Large-scale Linear, Quadratic and nonlinear Programming, SQP Methods for Nonlinear Programming, Numerical Methods for Optimal Control)
  • Topic 4 : Large Scale Scientific Computing (Interdisciplinary Applications, Computational Fluid Dynamics, Parallel Computing, Mathematical Software)

WG: Computational and Methodological Statistics

  • Topic 1 : Generic problems in statistics (Model selection, Outliers detection, Regression diagnostics, Linear and non linear model estimation, Error analysis and error propagation, Correspondence analysis, Principal components analysis, Cross-validation)
  • Topic 2 : Considered applications (Signal processing, Econometrics, Quantitative finance, Data filtering, Information retrieval, Statistical data mining, Data compression and representation, Bioinformatics)
  • Topic 3 : Linear algebra (Linear least squares problems, Generalized inverse, Singular Value Decomposition, Eigenvalue problems, Optimization, Iterative methods, Sparse matrix computations); Parallel computing.

WG: Control and System Theory

  • Topic 1 : Control of hybrid systems and of discrete-event systems
  • Topic 2 : System identification, realization, and signal processing
  • Topic 3 : Control of linear and nonlinear deterministic systems, and control of stochastic systems.

WG: E-Learning

  • Topic 1 : Content and portal programming and visualization
  • Topic 2 : E-Learning system integration
  • Topic 3 : Web-based interactive learning tools
  • Topic 4 : Virtual and augmented reality systems for E-Learning & E-Training

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

Fellows

  • Name: Christophe Joubert
  • Type: Visiting
  • Institute 1: University of Malaga - SpaRCIM - 2006-01-02 to 2007-03-15
  • Name: Jaco van de Pol
  • Type: Visiting researcher
  • Institute 1: Masaryk University - CRCIM - 2006-12-11 to 2006-12-22
  • Name: Jakub Chaloupka
  • Type: Visiting researcher
  • Institute 1: CWI - 2006-11-01 to 2007-03-15
  • Name: Tiziana Margaria
  • Type: Visiting researcher
  • Institute 1: University of Malaga - 2006-06-05 to 2006-06-09

WG: Image and Video Understanding

  • Topic 1 : Content-based image and video indexing and retrieval
  • Topic 2 : Content-aware visual information processing
  • Topic 3 : Visual recognition and learning of objects and activity classes (e.g. in human-computer interfaces)
  • Topic 4 : Vision-based decision and control (e.g. in inspection or surveillance)

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

  • Topic 1 : Benchmark definition and solver selection for fluid and solid mechanics applied to physiological flows
  • Topic 2 : Multiscale multiphysics coupling, fluid-structure interaction
  • Topic 3 : Vessel-axis-based medical image processing for Computational BioFluid Dynamics
  • Topic 4 : Mesh adaptation and error estimation

WG: Software Engineering for Resilient Systems (SERENE)

  • Topic 1 : Software engineering techniques/methods that can be considered (Softwares/Systems Architecture, Model Transformation/Model Driven Engineering, Reuse, Testing, Requirement Engineering, Web systems, Mobility in Communication Systems, high availability syste
  • Topic 2 : Specific industry sectors of interest (financial & insurance, telecommunications, avionics, automotive, eGovernment)
  • Topic 3 : Specific application domains (Web systems, ambient systems, e-Health, mobility in communication systems, high availability systems, embedded systems)

WG: Security and Trust Management

  • Topic 1 : Rigorous semantics and computational models for security and trust
  • Topic 2 : Security and trust management architectures, mechanisms and policies
  • Topic 3 : Networked systems security
  • Topic 4 : Privacy and Identity Management

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

  • Topic 1 : Intelligence and adaptation (user modelling, activity and intention recognition, preferences, decision making, learning systems, context inference)
  • Topic 2 : Privacy issues and methods for sensor-augmented environments
  • Topic 3 : Ambient games in hybrid environments (smart rooms, digitally augmented objects, parallel displays, applied vision techniques, multi-player interaction methods)

WG: Soft Computing

  • Topic 1 : Logical foundations of soft computing
  • Topic 2 : Combined systems (neuro-fuzzy, neuro-genetic and similar)
  • Topic 3 : Computational models for soft computing (including fuzzy control)
  • Topic 4 : Managing of uncertainty in soft computing

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: Maja D\'Hondt
  • Type: ERCIM fellow
  • Institute 1: INRIA Futurs, Lille, France - 2005-10-01 to 2006-06-30
  • Institute 2 : CWI, The Netherlands - 2006-07-01 to 2006-12-31
  • Name: Ellen Van Paesschen
  • Type: ERCIM fellow
  • Institute 1: INRIA Futurs, Lille, France - 2007-01-01 to 2007-09-30
  • Institute 2 : CWI, The Netherlands - 2007-10-01 to 2008-06-30
  • Name: Tom Mens
  • Type: Visiting researcher
  • Institute 1: INRIA Futurs, Lille, France - 2006-12-01 to 2007-09-30
  • Name: Paolo Tonella
  • Type: Visiting researcher
  • Institute 1: Ecole Polytechnique de Montréal (not an ERCIM institute) - 2006-07-31 to 2006-09-02
  • Name: Massimiliano Di Penta
  • Type: Visiting researcher
  • Institute 1: Ecole Polytechnique de Montréal (not an ERCIM institute) - 2006-11-04 to 2006-12-03

WG:

  • Topic 1 : User-adapted and intelligent interfaces
  • Topic 2 : Development of novel interaction techniques and metaphors
  • Topic 3 : Software engineering and programming languages
  • Topic 4 : Usability evaluation

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 (computer vision, intelligent antennas) (design, development, modeling and simulation of such systems)
  • Topic 4 : COTS and Reuse in dependable embedded RT systems

Fellows

  • Name: -----
  • Type: ERCIM fellow
  • Institute 1: - 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: Constraints

  • Topic 1 : Constraint techniques for combinatorial optimization
  • Topic 2 : Constraint programming languages
  • Topic 3 : Constraint solvers
  • Topic 4 : Constraints and visualization

Fellows

  • Name: Andras Kovacs
  • Type: ERCIM fellow
  • Institute 1: 4C Cork University, Ireland - 2006-01-02 to 2006-08-31
  • Institute 2 : INRIA Rocquencourt - 2006-09-01 to 2007-05-31

WG: E-mobility

  • Topic 1 : Mobile applications (eHealth and Medical imaging, mobile multimedia, telematics, location-based / context-aware services and applications)
  • Topic 2 : Middleware
  • Topic 3 : Mobility Management including handover management, roaming, ambient networks and localization
  • Topic 4 : Quality-of-Service and traffic engineering in wireless networks

WG: Models and Logics for Quantitative Analysis

  • Topic 1 : Models and Logics for Discrete Analysis - the interplay between model checking, static analysis and theorem proving
  • Topic 2 : Models and Logics for Stochastic Analysis - methods and techniques for enhancing the analysis of non-deterministic and stochastic systems (including Continuous-time Markov Decision Processes)
  • Topic 3 : Models and Logics for Continuous Analysis - methods and techniques for enhancing the analysis of non-deterministic and stochastic systems (including Hybrid Systems)

Section E: Visibility

WG: Applications of Numerical Mathematics in Science

WG Web Site: http://www.numerical.rl.ac.uk/ercim/WG1index.html

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

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

  • Description: Flyer of the Net-WMS project

Demonstrations

n/a

WG: Control and System Theory

WG Web Site: http://www.ladseb.pd.cnr.it/control/ercim/control.html

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: E-Learning

WG Web Site: http://mats.imk.fraunhofer.de/e-learning/

Articles in ERCIM News

n/a

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: Dependable Software-Intensive Embedded Systems

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

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG:

WG Web Site:

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

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

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG:

WG Web Site:

Articles in ERCIM News

n/a

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: Formal Methods for Industrial Critical Systems

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

Articles in ERCIM News

n/a

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

n/a

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: Soft Computing

WG Web Site: http://www.cs.cas.cz/ercim/

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

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG:

WG Web Site:

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Models and Logics for Quantitative Analysis

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

Articles in ERCIM News

  • Issue: http://ercim-news.ercim.eu/en79/joint-ercim-actions/two-new-ercim-groups-formed
  • Page:
  • Title:

Brochures and other PR material with distribution information

  • Description: http://www.alphagalileo.org/ViewItem.aspx?ItemId=62450&CultureCode=en

Demonstrations

n/a

WG:

WG Web Site:

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG:

WG Web Site:

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Media Technology and Edutainement

WG Web Site: http://wiki.ercim.eu/wg/MTE

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: Applications of Numerical Mathematics in Science

n/a

WG: Computational and Methodological Statistics

n/a

WG: Constraints

Cooperation with Peugeot PSA France, Fiat Italy and KLS Optim in the framework of the Net-WMS FP6 strep project.

WG: Control and System Theory

n/a

WG: E-Learning

n/a

WG: E-mobility

n/a

WG: Dependable Software-Intensive Embedded Systems

Increasing ERCIM visibility (AARIT at European Commission events, industrial events, at exhibitions with DECOS/ARC at governmental industrial fairs) Austrian Research Centers (ARC), founding member of AARIT, attended five major exhibitions on conferences presenting embedded systems technology: 5.-6.10.2006 ITEA2, the large annual conference and exhibition of the EU-ITEA project community, as invited IST-project DECOS. 12.10.2006 Vienna-tec fair and exhibition (with ME\'06 workshop) 18.10.2006 Focus on Vehicle Electronics, Baden-Baden, Germany (Automotive Community: Industry and research)(VDI) 25.-26.10.2006 Autotest, Stuttgart, Germany (Automotive Community: Industry and research)(TU Stuttgart, VDA) 21.-23.11.2006 Annual IST Conference 2006 in Helsinki 30.11.2006 “Reach out for new dimensions�, Kick-off event for EU-FP7, Vienna, National Research Funding Organization The automotive conferences attracted quite a lot of participants from the automotive industrial and research community (about 250 each), the ITEA2 conference about 500 participants from European research, industry and CEC officials and policy makers. The IST 2006 conference was the largest one in the line of IST conferences with more than 4000 participants and many parallel sessions and a large, impressive exhibition. ARC as AARIT board member seized the chance for ERCIM to be presented at all exhibitions associated with the conferences, together with its embedded systems and automotive-related research activities. ERCIM involvement was visible via the roll-up, posters, leaflets and ERCIM News for distribution.

WG:

n/a

WG: Digital Patient

n/a

WG: Security and Trust Management

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG:

n/a

WG: Environmental Modelling

n/a

WG: Formal Methods for Industrial Critical Systems

The Software Engineering Group of the University of Malaga participated in two collaboration projects with the company Cetecom (renamed to AT4Wireless). The main topic of the projects was the use of ITU-T languages and validation tools to develop the stacks of signalling protocols in the access network in cellular systems. See summary in \"Validating Complex Telecommunication Software\" by Sergio Contreras, María del Mar Gallardo, Pedro Merino, David Sanán, Javier Rivas and Joaquín Torrecilla, ERCIM News 66, pag. 62

WG: Image and Video Understanding

n/a

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

n/a

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

n/a

WG: Soft Computing

n/a

WG: Software Evolution

The following commercial companies are official members of our Working Group: ATX Software S.A., contact person: Tareco Fernando, Portugal Microsoft Corp., contact person: Laemmel Ralf, Redmond, USA IMEC, contact person: Wuyts Roel, Belgium Obeo, contact person: Lacrampe Stephane, France Apart from this, many of our working group members have ongoing research projects with industrial partners. I do not know whether more precise information about this is required.

WG:

n/a

WG: Models and Logics for Quantitative Analysis

n/a

WG:

n/a

WG:

n/a

WG: Media Technology and Edutainement

n/a

Section G: Comments

WG: Applications of Numerical Mathematics in Science

The Applications of Numerical Mathematics in Science Working Group activity in 2006 was focused on the re-submission of the ARTDECO project in the Marie-Curie framework. Unfortunately, we passed only the first phase but we were out (lack of funds!!). The project had very good referee reports but this was not enough. After some internal discussion, we decided to decide the future of the WG during the forthcoming conference \\\"Computational Methods with Applications \\\" that will be held in Harrachov (Czech Republic) during the summer of this year and organized by the Academy of Science of the Czech Republic. Several members of the working group will participate and the conference organizers, who are also members of the WG, will allow us to have an internal meeting where the future of the WG will be decided: closure or refocusing of the group on smaller targets. Finally, we decide of not having any 2006 meeting and to concentrate the efforts on the organization of the forthcoming Meeting in Czech Rep.

WG: Computational and Methodological Statistics

The Working Group Computing and Statistics is an evolution of the previous WG Matrix Computations and Statistics which has been established in 2001. The aims and scope of the new group are broader. It comprise a number of specialize tracks within the interface of Computing

WG: Constraints

n/a

WG: Control and System Theory

n/a

WG: E-Learning

n/a

WG: E-mobility

n/a

WG: Dependable Software-Intensive Embedded Systems

The full report including pictures from ERCIM presence and visibility at various events, exhibitions and conferences included, is available from erwin.schoitsch@arcs.ac.at

WG:

n/a

WG: Digital Patient

n/a

WG: Security and Trust Management

The WG is very active and also for 2007 is working on events, project proposals (one with ERCIM as coordinator - named TRUSTQ: Trust, security and QoS for dynamic coalitions - a Marie Curie Initial training Network).

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG:

n/a

WG: Environmental Modelling

From now on the WG has a mailman-based mailing list moderated by Thomas Lux. The address for postings is: ercim_envmod@list.first.fraunhofer.de

WG: Formal Methods for Industrial Critical Systems

Christophe Joubert was granted a one-year post-doc in Malaga, funded by the French Ministry of Foreign Affairs in the framework of the Lavoisier programme (see the site http://www.egide.asso.fr/fr/programmes/bfe/lavoisier/ for details).

WG: Image and Video Understanding

n/a

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

n/a

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

n/a

WG: Soft Computing

The only activity of the working group is the organization of yearly workshops on soft coputing. The 2006 workshop orgainzed jointly with the International conference on the logic of soft computing in Malaga was the fifth - see Sect. E, and was very successful. Contributions are planned to be published in an extravolume, see http://sevein.matap.uma.es/~aciego/ercim-lsc/index.html.

WG: Software Evolution

PhDs obtained in 2006 in the domain of software evolution by members of our WG: - Andrew Le Gear, September 2006, \"Component Reconnexion\": Identifying and encapsulating reuseful components in legacy software systems, Advisor: Jim Buckley, University of Limerick - Pamela O\'Shea, September 2006, \"An investigation of Views and abstractions employed by software engineers during software maintenance: An empirically founded set of guidelines for visualization tools supporting comprehension, Advisor: Chris Exton, University of Limerick

WG:

n/a

WG: Models and Logics for Quantitative Analysis

The next meeting will be as part of FLoC in Edinburgh on July 9'th Please see http://wiki.ercim.eu/wg/MLQA/index.php/July_2010:_MLQA_meeting_at_FLoC_2010%2C_Edinburgh

WG:

n/a

WG:

n/a

WG: Media Technology and Edutainement

n/a