ERCIM Working Group Report

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

Section A: Joint Projects

WG: E-mobility

Project: COST Action IC0906: Wireless Networking for Moving Objects (WiNeMO)

  • Funding: ESF
  • Status: Active
  • Date: 2010-06-01 to 2014-05-30
  • Contribution: 0
  • description:

    COST Action

Participating Organisations:
  • SIRA/UBern - type: Research - budget: 0€
  • UTwente - type: Research - budget: 0€
  • UCoimbra - type: Research - budget: 0€
  • CNR - type: Research - budget: 0€
  • U Karlstad - type: Research - budget: 0€
  • FORTH - type: Research - budget: 0€
  • Tampere U - type: Research - budget: 0€
  • SPARCIM / UPC - type: Research - budget: 0€

Project: COST Action IC0804 - Energy efficiency in large scale distributed systems

  • Funding: ESF
  • Status: Active
  • Date: 2009-01-23 to 2013-05-04
  • Contribution: 0
  • description:

    COST Action

Participating Organisations:
  • SIRA/UBern - type: Research - budget: 0€
  • SPARCIM / UPC - type: Research - budget: 0€
  • UCoimbra - type: Research - budget: 0€

Project: Mobile Cloud Networking

  • Funding: EU FP7 IP
  • Status: Active
  • Date: 2012-11-01 to 2015-10-31
  • Contribution: 10M
  • description:

    EU FP7 Integrated Project

Participating Organisations:
  • SIRA/UBern - type: Research - budget: 700€
  • UTwente - type: Research - budget: 500€
  • UCoimbra - type: Research - budget: 500€

WG: Formal Methods for Industrial Critical Systems

Project: SENSATION (Self Energy-Supporting Autonomous Computation), project no. 318490

  • Funding: EC, FP7, ICT-8
  • Status: Active
  • Date: 2012-10-01 to 2015-09-30
  • Contribution:
  • description:

    The main goal of SENSATION is to increase the scale of systems that are self-supporting by balancing energy harvesting and consumption up to the level of complete products. In order to build such Energy Centric Systems, embedded system designers face the quest for optimal performance within acceptable reliability and tight energy bounds. Programming systems that reconfigure themselves in view of changing tasks, resources, errors and available energy is a demanding challenge.

WG: Image and Video Understanding

Project: New PRocessing and analysis techniques for Forensic data, NPRF, 605443

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

    NPRF will develop new multimedia processing techniques for varied multimedia sources. In particular we will focus on speech, video and images, handwriting, and text documents. The new techniques will form a toolkit to be used in law force investigation or in a court of law, to extract information and evidence from different multimedia sources. The toolkit will support a law force user in a way that will lead to standardisation and (semi-) automation in the analysis of forensic data. It will address different standard tasks during forensic preparation for a court of law. As a consequence, our project will help to standardise law court investigations. The developed methods will allow the storage of analysed cases in a database in such a manner that they can easily be retrieved, generalised and comparatively used for other law cases.

Participating Organisations:
  • GEIE ERCIM - type: Other - budget: 759656€
  • Institut für Bildverarbeitung und angewandte Informatik - type: Research - budget: 1623420€
  • CONSIGLIO NAZIONALE DELLE RICERCHE - type: Research - budget: 1192320€
  • UNIVERSIDAD DE GRANADA - type: Research - budget: 806880€
  • Bilkent Üniversitesi - type: Research - budget: 1689000€
  • UNIVERSITA DEGLI STUDI DI CAGLIARI - type: Research - budget: 625803€
  • TELECOMMUNICATION SYSTEMS INSTITUTE - type: Research - budget: 303600€
  • AZIENDA PER LA MOBILITA DEL COMUNE DI ROMA SPA - type: Research - budget: 530101€
  • ImageInterpret GmbH - type: Research - budget: 427201€
  • CENTRE D'EXCELLENCE EN TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION - type: Research - budget: 670046€
  • ALFA IMAGING SA - type: Research - budget: 251682€
  • DATA AND CONTROL SYSTEMS ETAIREIA PERIORISMENIS EFTINIS SISTIMATA KAIMELETES PLIROFORIKIS A - type: Research - budget: 148429€
  • ibai solutions Prof. Petra Perner - type: Research - budget: 382849€
  • TURK TELEKOMUNIKASYON AS - type: Research - budget: 441899€
  • Regiopolitie Amsterdam-Amstelland - type: Research - budget: 495620€
  • Thüringer Polizei - type: Research - budget: 339442€

WG: Software Engineering for Resilient Systems (SERENE)

Project: FP7 DEPLOY

  • Funding: EU
  • Status: Finished
  • Date: 2008-05-01 to 2012-05-01
  • Contribution:
  • description:

    The overall aim of the EC Information and Communication Technologies FP7 DEPLOY Project is to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods. Formal engineering methods enable greater mastery of complexity than found in traditional software engineering processes. It is the central role played by mechanically-analysed formal models throughout the system development flow that enables mastery of complexity. As well as leading to big improvements in system dependability, greater mastery of complexity also leads to greater productivity by reducing the expensive test-debug-rework cycle and by facilitating increased reuse of software. The work of the project will be driven by the tasks of achieving and evaluating industrial take-up, initially by DEPLOY's industrial partners, of DEPLOY's methods and tools, together with the necessary further research on methods and tools.

Participating Organisations:
  • Newcastle - type: Research - budget: 0€
  • Abo Akademi University - type: Research - budget: 0€

Project: MOVERE

  • Funding: FNR Luxembourg
  • Status: Active
  • Date: 2010-05-01 to 2013-04-30
  • Contribution:
  • description:

    Verification and Validation of software have nowadays clear meanings in the context of Model-Driven Development. With test based verification we worry about producing a set of test cases that will, on the one hand find faults in an implementation - also called in the test literature System Under Test (SUT) - and on the other hand increase trust in the final product. With validation we worry about understanding if the model we are using as reference for implementation and for extracting test cases from is sound. Formal validation is often achieved by mechanically proving properties the model should satisfy. For example, dynamic properties could be expressed in a temporal logic and static properties on the system state could be expressed using logical invariants and then verified on the system[ model. In this project we will focus our attention on the application of validation and verification techniques to the Model Driven Engineering of systems where resilience mechanisms are explicitly modelled and implemented according to that model. Resilience corresponds to the fact that a system has the capability to adapt to harmful events and recover to a stable state or at least continue operation in a degraded mode without failing completely. These harmful events might cause the fundamental security properties (confidentiality, integrity and availability) to be violated.With this project we aim at improving the state of the art of the construction of reliable resilient systems by using verification and validation techniques within the context of Model Driven Development (MDD). The current trend of Software Engineering is to increasingly reason about the system being built at the model level by using appropriate Domain Specific Languages (DSL) for each conceptual domain. In this project we will concentrate on resilience and materialize it as a DSL. Model composition techniques can then be used in order to compose resilience features expressed in the resilience DSL with other domains equally defined as DSLs. When the composed model is validated, verification techniques can then be used to insure the resilience properties are well implemented. We will tackle this problem both at a theoretical and a practical level.

Participating Organisations:
  • Luxembourg University - type: Research - budget: 0€
  • Geneva University - type: Research - budget: 0€

WG: Media Technology and Edutainement

Project: SimCITY EU Proposal

  • Funding: EU
  • Status: Proposal
  • Date: 2001-10-13 to 2001-10-15
  • Contribution: British Telecom
  • description:

    Provision of Augmented Reality systems for Mobile communications.

Section B: Joint Publications

WG: Computational and Methodological Statistics

A class of adaptive importance sampling weighted EM algorithms for efficient and robust posterior and predictive simulation Hoogerheide

  • Author: L., Opschoor, A., Van Dijk, H.K
  • year: 2012
  • Reference information: Journal of Econometrics 171 (2) , pp. 101-120
  • Type: Journal
  • Document (link to the URL):

The variance profile

  • Author: Luati, A., Proietti, T., Reale, M.
  • year: 2012
  • Reference information: Journal of the American Statistical Association 107 (498) , pp. 607-621
  • Type: Journal
  • Document (link to the URL):

The median of a random fuzzy number. the 1-norm distance approach

  • Author: Sinova, B., Gil, M.Á., Colubi, A., Van Aelst, S.
  • year: 2012
  • Reference information: Fuzzy Sets and Systems 200 , pp. 99-115
  • Type: Journal
  • Document (link to the URL):

Extended beta regression in R: Shaken, Stirred, Mixed, and partitioned

  • Author: Grün, B., Kosmidis, I., Zeileis, A.
  • year: 2012
  • Reference information: Journal of Statistical Software 48
  • Type: Journal
  • Document (link to the URL):

Presmoothing in functional linear regression

  • Author: Ferraty, F., González-Manteiga, W., Martínez-Calvo, A., Vieu, P.
  • year: 2012
  • Reference information: Statistica Sinica 22 (1) , pp. 69-94
  • Type: Journal
  • Document (link to the URL):

An m-estimator for tail dependence in arbitrary dimensions

  • Author: Einmahl, J.H.J., Krajina, A., Segers, J.
  • year: 2012
  • Reference information: Annals of Statistics 40 (3) , pp. 1764-1793
  • Type: Journal
  • Document (link to the URL):

The 3rd Special Issue on Optimization Heuristics in Estimation and Modelling Problems

  • Author: Maringer, D., Paterlini, S., Winker, P.
  • year: 2012
  • Reference information: Computational Statistics and Data Analysis 56 (10) , pp. 2963-2964
  • Type: Journal
  • Document (link to the URL):

Special issue on fuzzy sets in statistics

  • Author: Colubi, A., Dubois, D.
  • year: 2012
  • Reference information: Computational Statistics and Data Analysis 56 (4) , pp. 892-893
  • Type: Journal
  • Document (link to the URL):

The sixth special issue on computational econometrics

  • Author: Belsley, D.A., Chen, C.W.S., Francq, C., Gallo, G., Khalaf, L., Kontoghiorghes, E.J., Van Dijk, H.K.
  • year: 0
  • Reference information: Computational Statistics and Data Analysis 56 (11), pp. 2991-3808
  • Type: Journal
  • Document (link to the URL):

WG: E-mobility

Analytically modelling the performance of piggybacking on beacons in VANETs.

  • Author: Klein Wolterink, W. and Heijenk, G.J. and van den Berg, J.L.
  • year: 2012
  • Reference information: Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications, VANET '12, 25 Jun 2012, Low Wood Bay, Lake District, UK. pp. 43-52. ACM. ISBN 978-1-4503-1317-9
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

An Analytical Model for the Performance of Geographical Multi-Hop Broadcast.

  • Author: Klein Wolterink, W. and Heijenk, G.J. and van den Berg, J.L.
  • year: 2012
  • Reference information: Proceedings of the 2012 IEEE Vehicular Networking Conference (VNC), 14-16 Nov 2012, Seoul, South Korea. pp. 242-249. IEEE Intelligent Transportation Systems Society. ISSN 2157-9865 ISBN 978-1-4673-4994-9
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Evaluation of CACC String Stability using SUMO, Simulink, and OMNeT++.

  • Author: Lei, C. and van Eenennaam, E.M. and Klein Wolterink, W. and Ploeg, J. and Karagiannis, G. and Heijenk, G.J.
  • year: 2012
  • Reference information: EURASIP Journal on Wireless Communications and Networking, 2012. 116:1-116:12. ISSN 1687-1499
  • Type: Journal
  • Document (link to the URL):

Modeling and Evaluation of LTE in Intelligent Transportation Systems.

  • Author: Trichias, K. and van den Berg, J.L. and Heijenk, G.J. and de Jongh, J. and Litjens, R.
  • year: 2012
  • Reference information: Joint ERCIM eMobility and MobiSense Workshop, 8 Jun 2012, Santorini, Greece. pp. 48-59. University of Bern. ISBN 978-3-9522719-3-3
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Data Filtering and aggregation in a localisation WSN testbed

  • Author: Noppen, I. and Dimitrova, D. C. and Braun, T.
  • year: 2012
  • Reference information: 8th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (Tridentcom) , Thessaloniki, Greece, June 11 - 13, 2012, Springer, LNICST
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Service-Centric Networking Extensions

  • Author: Braun, T. and Mauthe, A. and Siris V.A.
  • year: 2013
  • Reference information: ACM Symposium on Applied Computing (SAC)
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Content-Centric Architectures for Moving Objects, COST Action IC0906 - WiNeMo, White Paper

  • Author: Siris, V.A. and Boldrini, C. and Bruno, R. and Conti, M. and Anastasiades, C. and Braun, T and Curado, M. and Palma, D. and Mendes, P. and Batista, B. and Žarko, I.P. and Pripuži?, K.
  • year: 2012
  • Reference information: COST Action IC0906 - WiNeMo, White Paper http://cost-winemo.org/docs/wp2.pdf
  • Type: Other
  • Document (link to the URL): http://cost-winemo.org/docs/wp2.pdf

WG: Dependable Software-Intensive Embedded Systems

SAFECOMP 2012 Workshop Proceedings, EWICS/ERCIM WS

  • Author: E. Schoitsch,P. Puschner, A. Hanzlik (AARIT), A. Skavhaug (NTNU)
  • year: 2012
  • Reference information: Springer LNCS 7613, ISBN: 978-3-642-33674-4, DOI: 10.1007/978-3-642-33675-1
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://www.springer.com/computer/security+and+cryptology/book/978-3-642-33674-4

WG: Image and Video Understanding

Building Development Monitoring In Multitemporal Remotely Sensed Image Pairs With Stochastic Birth-Death Dynamics

  • Author: Cs. Benedek, X. Decombes and J. Zerubia
  • year: 2012
  • Reference information: IEEE Trans. on Pattern Analysis and Machine Intelligence. Vol: 34, No.: 1. pp. 33-50
  • Type: Journal
  • Document (link to the URL): http://doi.ieeecomputersociety.org/10.1109/TPAMI.2011.94

A Comparison of Texture and Amplitude based Unsupervised SAR Image Classifications for Urban Area Extraction

  • Author: K. Kayabol, J. Zerubia
  • year: 2012
  • Reference information: IEEE International Geoscience and Remote Sensing Symposium, Munich, Germany, July 2012
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://hal.inria.fr/hal-00697172

An hierarchical approach for model-based classification of SAR images

  • Author: K. Kayabol, J. Zerubia
  • year: 2012
  • Reference information: 20th Signal Processing and Communications Applications Conference, Mugla, Turkey, April 2012
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://hal.inria.fr/hal-00686658

Unsupervised amplitude and texture classification of SAR images with multinomial latent model

  • Author: K. Kayabol, J. Zerubia
  • year: 2012
  • Reference information: IEEE Trans. on Image Processing, 2012
  • Type: Journal
  • Document (link to the URL): http://hal.inria.fr/hal-00745387

Unsupervised Classification of SAR Images using Hierarchical Agglomeration and EM

  • Author: K. Kayabol, V. Krylov, J. Zerubia
  • year: 2012
  • Reference information: LNCS 7252
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://link.springer.com/chapter/10.1007/978-3-642-32436-9_5

Computational Intelligence for Multimedia Understanding

  • Author: E. Salerno, A. E. Cetin, O. Salvetti (Eds.)
  • year: 2012
  • Reference information: LNCS 7252
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://www.springer.com/computer/information+systems+and+applications/book/978-3-642-32435-2

Advances in mass data analysis of images and signals in medicine, biotechnology, chemistry and food industry

  • Author: Petra Perner (Ed.)
  • year: 2012
  • Reference information: ibai Publishing, Fockendorf, Germany, ISBN 978-3-942952-15-6
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://www.mda-signals.de/proceedings.php

Remote sensing segmentation benchmark

  • Author: S. Mikes, M. Haindl, G. Scarpa
  • year: 2012
  • Reference information: 2012 IAPR Workshop on Pattern Recognition in Remote Sensing (PRRS)
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://dx.doi.org/10.1109/PPRS.2012.6398320

Mathematical Methods for Signal and Image Analysis and Representation

  • Author: L. Florack, R. Duits, G. Jongbloed, M.-C. van Lieshout, L. Davies (Eds.)
  • year: 2012
  • Reference information: Springer Series: Computational Imaging and Vision, Vol. 41, ISBN 978-1-4471-2352-1
  • Type: Other
  • Document (link to the URL): http://www.springer.com/mathematics/book/978-1-4471-2352-1

AMMIRA: An easy and effective system to manage digital images of artworks

  • Author: E. Salerno, A. Tonazzini, P. Savino, F. Martinelli, F. Debole, F. Bruno, G. Bianco, E. Console
  • year: 2012
  • Reference information: 5-th Intl. Congr. Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin, Cultural Heritage Istanbul 2011, Vol. III, Rome, Italy, Valmar, April 2012, pp. 237-243, ISBN 978-88-905639-8-0.
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://puma.isti.cnr.it/dfdownload.php?ident=/cnr.isti/2012-A2-018&langver=it&scelta=Metadata

Editing metadata to support the content analysis, storage and retrieval of ancient documents

  • Author: F. Debole, E. Salerno, P. Savino, A. Tonazzini
  • year: 2012
  • Reference information: 5-th Intl. Congr. Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin, Cultural Heritage Istanbul 2011, Vol. III, Rome, Italy, Valmar, April 2012, pp. 180-185, ISBN 978-88-905639-8-0.
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://puma.isti.cnr.it/dfdownload.php?ident=/cnr.isti/2012-A2-015&langver=it&scelta=Metadata

Nonlinear model identification and see-through cancelation from recto-verso documents

  • Author: E. Salerno, F. Martinelli, A. Tonazzini
  • year: 2012
  • Reference information: Int. J. Doc. Anal. & Rec., Online first
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1007/s10032-012-0183-y

Nonlinear model and constrained ML for removing back-to-front interferences from recto–verso documents

  • Author: F. Martinelli, E. Salerno, I. Gerace, A. Tonazzini
  • year: 2012
  • Reference information: Pattern Recognition, Vol. 45, pp. 596-605
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.patcog.2011.07.016

WG: Software Engineering for Resilient Systems (SERENE)

Augmenting Event-B modelling with real-time verification.

  • Author: Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala.
  • year: 2012
  • Reference information:
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

WG: Software Evolution

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android

  • Author: Alexandre Bartel; Jacques Klein; Martin Monperrus ; Yves Le Traon
  • year: 2012
  • Reference information: IEEE/ACM International Conference On Automated Software Engineering, Sep 2012, Germany. pp. 274-277
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot

  • Author: Alexandre Bartel; Jacques Klein; Martin Monperrus; Yves Le Traon
  • year: 2012
  • Reference information: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), Jun 2012, Beijing, China. pp. ACM ISBN 978-1-4503-1490-9/12/06
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Clément Quinton; Laurence Duchien ; Patrick Heymans ; Stéphane Mouton; Etienne Charlier

  • Author: Clément Quinton; Laurence Duchien ; Patrick Heymans ; Stéphane Mouton; Etienne Charlier
  • year: 2012
  • Reference information: PLEASE - 3rd International Workshop on Product LinE Approaches in Software Engineering - 2012, Jun 2012, Zurich, Switzerland. pp. 17-20
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Feature Model Differences

  • Author: Mathieu Acher; Patrick Heymans ; Philippe Collet ; Clément Quinton; Philippe Lahire; Philippe Merle
  • year: 2012
  • Reference information: CAiSE - 24th International Conference on Advanced Information Systems Engineering - 2012, Jun 2012, Gda?sk, Poland
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Pairwise testing for software product lines: Comparison of two approaches

  • Author: G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry, and Y. le Traon
  • year: 2012
  • Reference information: Software Quality Journal, Springer, Volume 20, Issue 3 (2012), Page 605-643
  • Type: Journal
  • Document (link to the URL):

Towards Flexible Evolution of Dynamically Adaptive Systems

  • Author: G. Perrouin, B. Morin, F. Chauvel, F. Fleurey, J. Klein, Y. Le Traon, O. Barais, J.-M. Jézéquel
  • year: 2012
  • Reference information: New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE), 2-9 June 2012, Zurich, Switzerland, Page 1353-1356
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

On the variation and specialisation of workload

  • Author: Vasilescu Bogdan, Serebrenik Alexander, Goeminne Mathieu, Mens Tom
  • year: 2013
  • Reference information: Empirical Software Engineering (2013)
  • Type: Journal
  • Document (link to the URL):

Section C: Organised Events

WG: Computational and Methodological Statistics

5th International Conference of the ERCIM WG on COMPUTING & STATISTICS

  • Topic:
  • Type: Conference
  • Date: 2012-12-01 to 2013-02-03
  • Place: Oviedo, Spain
  • Lecturer: Hans-Georg Müller, University of California, Davis, USA Peter Bühlmann, ETH Zürich, Switzerland Esther Ruiz, Carlos III University of Madrid, Spain
  • Coverage: All topics within the Aims and Scope of the ERCIM Working Group Computing & Statistics has been considered for oral and poster presentation. The conference took place jointly with the Sixth International Conference on Computational and Financial Econometrics (CFE 2012). There conference comprised of almost 200 sessions, 5 plenary talks and over 800 presentations. There were closed to 900 participants. http://www.cfe-csda.org/ercim12/

6th CSDA International Conference on Computational and Financial Econometrics (CFE 2012)

  • Topic: Computational and Financial Econometrics
  • Type: Conference
  • Date: 2012-12-01 to 2012-12-03
  • Place: Oviedo, Spain
  • Lecturer: Luc Bauwens, Universite catholique de Louvain, Belgium Stefan Mittnik, Ludwig-Maximilians-University Munich, Germany Esther Ruiz, Carlos III University of Madrid, Spain
  • Coverage: This conference considered oral and poster presentations containing computational or financial econometric components. The conference took place jointly with the Fifth International Conference of the ERCIM Working Group on Computing & Statistics. There conference comprised of almost 200 sessions, 5 plenary talks and over 800 presentations. There were closed to 900 participants. http://www.cfe-csda.org/cfe12

20th International Conference on COMPUTATIONAL STATISTICS (COMPSTAT 2012)

  • Topic: All topics within the broad interface of Computing & Statistics have been considered for oral and poster presentation.
  • Type: Conference
  • Date: 2012-08-27 to 2012-08-31
  • Place: Limassol, Cyprus
  • Lecturer: Elvezio Ronchetti, University of Geneva, Switzerland Stanley P. Azen, University of Southern California, USA Trevor Hastie, Stanford University, USA
  • Coverage: COMPSTAT is one of the most prestigious world conferences in Computational Statistics, regularly attracting hundreds of researchers and practitioners, and has gained a reputation as an ideal forum for presenting top quality theoretical and applied work, promoting interdisciplinary research and establishing contacts amongst researchers with common interests. The conference programme has 40 contributed sessions, 8 invited sessions, 3 Keynote talks, 16 organized sessions and 4 tutorials. There are approximately 350 participants. http://www.compstat2012.org/

7th International Workshop on Parallel Matrix Algorithms and Applications (PMAA 2012)

  • Topic: Parallel computing and matrix algorithms
  • Type: Workshop
  • Date: 2012-06-28 to 2012-06-30
  • Place: Birkbeck University of London, UK
  • Lecturer: Iain Duff, Rutherford Appleton Laboratory, UK. Costas Bekas, IBM Research - Zurich, Switzerland. Bo Kågström, Umeå University, Sweeden
  • Coverage: The Workshop brought together experts and practitioners from diverse disciplines with a common interest in matrix computation. The PMAA’12 programme consists of 21 sessions, 3 plenary talks and about to 90 presentations. There are over 100 participants. Peer reviewed papers presented at the PMAA’12 are considered for publication in special issues of the Parallel Computing journal and the International Journal of Computer Mathematics. http://www.dcs.bbk.ac.uk/pmaa2012

WG: E-mobility

Joint ERCIM eMobility and MobiSense Workshop

  • Topic: Mobile wireless networks
  • Type: Workshop
  • Date: 2012-06-08 to 2012-06-08
  • Place: Santorini
  • Lecturer: Nitin Vaidya
  • Coverage:

20th IWQoS Workshop

  • Topic: Quality of Service
  • Type: Workshop
  • Date: 2012-06-04 to 2012-06-05
  • Place: Coimbra
  • Lecturer: : Prof. Ariel Orda, Technion Department of Electrical Engineering, Israel and Prof. Rui Aguiar, Institute of Telecommunications and University of Aveiro, Portugal
  • Coverage:

WISH – Wireless Integration of Sensor networks in Hybrid architectures

  • Topic: Wireless Sensor Networks
  • Type: Workshop
  • Date: 2012-03-15 to 2012-03-15
  • Place: Bern, Switzerland
  • Lecturer: prof. Jean-Dominique Decotigni (CSEM/EPFL), dr. Jan Beutel (ETHZ)
  • Coverage: Design, Applications and Deployments of Wireless Sensor Networks

WG: Dependable Software-Intensive Embedded Systems

ERCIM/EWICS/DECOS Cyberphysical Systems Workshop at SAFECOMP 2012

  • Topic: Safety-related Embedded Systems
  • Type: Workshop
  • Date: 2012-09-25 to 2012-09-25
  • Place: Magdeburg, Germany
  • Lecturer: E. Schoitsch, A. Skavhaug, F. Skopik, P. Osocha, R. Vigo, O. Ferranto, F. Asplund, A. Hanzlik, P. Puschner, J. Gorski
  • Coverage: European partners in safety-related projects, 24 participants from SAFECOMP, exhibitopn material for 140 participants

IDIMT 2012, ERCIM/DES Session "Reliance on Cyberphysical Systems - Systems-of-Systems" Challenges

  • Topic: Resilient safety related Systems, Cyber-physical (embeded) systems
  • Type: Other
  • Date: 2012-09-12 to 2012-09-14
  • Place: Jindrichuv Hradec, CZ
  • Lecturer: E. Schoitsch, N. Jech, Praher, P. Pawlowsky
  • Coverage: ca. 40 participants from Central Europe, Infornmatics and economics

WG: Security and Trust Management

STM 2012

  • Topic: Security and Trust Management
  • Type: Workshop
  • Date: 2012-09-13 to 2012-09-14
  • Place: Pisa, Italy
  • Lecturer: 1 keynote talk by PhD thesis ERCIM Award winner Carmela Troncoso + presentation of 20 papers
  • Coverage: The 8th International Workshop on Security and Trust Management (STM’12) was held in Pisa (Italy) on 13-14 September 2012. It was co-located with the European Symposium on Research in Security and Privacy (ESORICS 2012). The General Chairs of this year event was Marinella Petrocchi (CNR, Italy). Program Chairs were: Audun Josang (University of Oslo, Norway) and Pierangela Samarati (Universita` degli Studi di Milano, Italy). The event was well attended and successful. In addition to the chairs above, the PC members and reviewers, other people have also contributed to building such successful event, ensuring a smooth organization process. They are: Javier Lopez, Chair of the Security and Trust Management Working Group, who provided support and advices; Fabio Martinelli, who provided support as General Chair of ESORICS; Giovanni Livraga, who took care of publicity and of the workshop web site; the members of the IIT Security Group and IIT Scientific Secretariat, who fulfilled local duties at the workshop; and Sara Foresti helped collating the proceedings volume. In response to the call for papers, 57 papers were submitted to the workshop. These papers were evaluated on the basis of their significance, novelty, and technical quality. As in previous years, reviewing was ``double-blind": the identities of reviewers were not revealed to the authors of the papers and identities of authors were not revealed to the reviewers. The program committee meeting was held electronically, yielding intensive discussion over a period of two weeks. Of the papers submitted, 20 were selected for presentation at the conference, giving an acceptance rate of 35%. The papers were clustered into 7 sessions distributed in the two days of the workshop, spanning different topics: policy enforcement and monitorimg; access control; trust, reputation, and privacy; distributed systems and physical security; authentication; security policy. The workshop also included an invited talk by the PhD thesis ERCIM Award winner by Carmela Troncoso, whose PhD thesis ``Design and analysis methods for privacy technologies" was awarded the 2012 ERCIM WG STM Best Ph.D. Thesis Award. The award was handed to Carmela Troncoso at the workshop, after the invited talk. The award complies with the goal of the ERCIM STM Working Group to promote the scientific growth of young researchers interested in the field of security and trust management, an award for the best Ph.D. Thesis. The main objective of this award is to increase the visibility of the young researchers inside the ERCIM scientific community as well as in the larger European one. The Thesis of Carmela Troncoso was selected by the award committee among sixteen applications, all of excellent quality, which had been received for the 2012 award.

WG: Environmental Modelling

Sessions at 6th International Congress on Environmental Modelling and Software (iEMSs)

  • Topic: integration of data and models
  • Type: Conference
  • Date: 2012-07-01 to 2012-07-05
  • Place: Leipzig
  • Lecturer:
  • Coverage: - Analysis of data of remote sensing data for environmental models - Integration of heterogeneous data and environmental models

WG: Formal Methods for Industrial Critical Systems

FMICS 2012 (17th International Workshop on Formal Methods for Industrial Critical Systems)

  • Topic: formal methods, verification, industrial case-studies
  • Type: Workshop
  • Date: 2012-08-27 to 2012-08-28
  • Place: Paris (France)
  • Lecturer: Dimitra Giannakopoulou (NASA AMES, USA) Hubert Garavel (Inria Grenoble, France)
  • Coverage: The workshop was chaired by Marielle Stoelinga (University of Twente, The Netherlands) and Ralf Pinger (Siemens AG, Germany). It attracted over 30 participants from nine countries, both from academia and industry. Thirty-seven papers were submitted, of which 14 were accepted for presentation at the workshop (a 38% acceptance rate). he proceedings of FMICS'2012 were published by Springer Verlag as volume 7437 in the LNCS series.

ISOLA 2012 - Track on Formal Methods for Intelligent Transportation Systems

  • Topic: intelligent transportation systems
  • Type: Conference
  • Date: 2012-10-15 to 2012-10-18
  • Place: Crete (Greece)
  • Lecturer:
  • Coverage: The track was organized by Alessandro Fantechi (Univ. Firenze), Stefania Gnesi (ISTI-CNR) and Francesco Flammini (Ansaldo Trasporti). The contributions to the track addressed three aspects: (1) general perspective on the introduction of formal methods in the development process of safety-critical systems focusing on model-driven verification techniques, both for functional and non-functional system properties; (2) formal analysis of driverless metros, that integrate several subsystems in complex architectures, which are geographically distributed, featuring strict dependability requirements; (3) railway interlocking systems, where the complexity lies in the geographical layout of the tracks, points and signals that can be found in stations or in railway yards.

WG: Image and Video Understanding

MDA 2012

  • Topic: Mass data analysis
  • Type: Conference
  • Date: 2012-07-13 to 2012-07-20
  • Place: Berlin, Germany
  • Lecturer: Patrick Wang (Northeastern U., Boston), Xiaoqing Ding (Tsinghua U. Beijing), Petra Perner (IBaI, Leipzig)
  • Coverage: The International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Agriculture MDA is held on yearly basis. The aim of the conference is to bring together researchers from all over the world who deal with the automatic analysis of images and signals in medicine, biotechnology, System Biology, chemistry, biometry, drug discovery and information robots in order to discuss the recent status of the research and to direct further developments. Basic research papers as well as application papers are welcome.

WG: Software Engineering for Resilient Systems (SERENE)

SERENE 2012

  • Topic: ERCIM Workshop on Software Engineering for Resilient Systems
  • Type: Workshop
  • Date: 2012-09-25 to 2012-09-28
  • Place: Pisa
  • Lecturer: Nuno Ferreira Neves on "Building Intrusion Tolerance: Challenges and Solutions" and by Andrea Zisman, on "Discovering and Adapting Services", a Discussion Panel on the "Future research in Resilience"
  • Coverage:

SERENE 2012 Autumn Schoo

  • Topic: Software Engineering for Resilient Systems
  • Type: Summer school
  • Date: 2012-09-25 to 2012-09-26
  • Place: Pisa
  • Lecturer: Alessandro Fantechi (University of Florence, IT), Ivan Porres (Abo Akademi University, FI), Michael Butler (Computer Science at Southampton, UK), and Marco Bozzano (Fondazione Bruno Kessler, Trento (Italy).
  • Coverage:

ERCIM WG meeting @ SERENE workshop

  • Topic: Discuss common topics on resilience
  • Type: Other
  • Date: 0000-00-00 to 0000-00-00
  • Place:
  • Lecturer:
  • Coverage:

WG: Software Evolution

BENEVOL 2012

  • Topic: Software Evolution
  • Type: Workshop
  • Date: 2012-12-03 to 2012-12-04
  • Place: Delft University of Technology
  • Lecturer: Prof. Margaret-Anne Storey (University of Victoria, Canada) Prof. Oscar Nierstrasz (University of Berne, Switzerland)
  • Coverage: The goal of BENEVOL is to bring together researchers from Belgium, The Netherlands and the neighboring countries that are working in the field of software evolution. BENEVOL offers a forum to meet and to discuss new ideas, important problems and obtained research results. Themes and topics include: Dynamic adaptation, composition and reconfiguration of software and services Embedded, adaptive and context-aware systems Foundations & paradigms Empirical studies in maintenance Tool support for software evolution Data-intensive systems evolution Process-intensive systems evolution Model-driven software evolution Software evolution for emerging paradigms Managerial aspects and process models for software evolution Software analysis and visualization techniques to support software evolution Data and process analysis techniques to support software evolution

SATToSE 2012 / SoTeSoLa 2012

  • Topic: Tools for Software Evolution
  • Type: Summer school
  • Date: 2012-08-19 to 2012-08-23
  • Place: Koblenz, Germany
  • Lecturer: Jean Bézivin: Model-driven engineering beyond software development Darius Blasband, RainCode: A short history of everything “this company” Jácome Cunha and João Paulo Fernando's, University of Minho: Model-based spreadsheet engineering Davide Di Ruscio, University of L’Aquila: Co-evolution in model-driven engineering Ivan Kurtev, University of Twente: Technological spaces: past, present, and future Andreas Winter, Carl von Ossietzky University Oldenburg: Model-driven Reengineering for a Blue Planet
  • Coverage: Summer school on Software Technologies and Software Languages / Seminar on Advances Tools and Techniques on Software Evolution

SOS-Evol 2012

  • Topic: open source software evolution
  • Type: Workshop
  • Date: 2012-02-03 to 2012-02-03
  • Place: Brussels, Belgium
  • Lecturer:
  • Coverage: SOS Evol 2012 is an informal international meeting gathering researchers interested in studying the evolution of libre and open source software. See http://informatique.umons.ac.be/genlog/SOS-Evol/SOS-Evol2012.html

Software Product Line Day

  • Topic: Software Product Lines
  • Type: Workshop
  • Date: 2012-11-06 to 2012-11-06
  • Place: Lille, France
  • Lecturer: Roberto Di Cosmo, Université Paris Diderot / INRIA
  • Coverage: La Journée Lignes de Produits est une initiative de la communauté industrielle et académique francophone pour discuter des défis et partager les retours d'expérience et derniers avancements autour des lignes de produits comme nouveau paradigme de production.

WG: Grids, P2P and Services

CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing

  • Topic: CGWS
  • Type: Workshop
  • Date: 2012-08-27 to 2012-08-27
  • Place: Rhodes, Greece
  • Lecturer: Frédéric Suter Dimensionning through Simulation with SimGrid
  • Coverage:

WG: Models and Logics for Quantitative Analysis

MLQA Annual Meeting

  • Topic: Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
  • Type: Workshop
  • Date: 2012-09-08 to 2012-09-08
  • Place: Edinburgh
  • Lecturer: Pedro D'Argenio, FaMAF, Universidad Nacional de Cordoba Security analysis in probabilistic distributed protocols via bounded reachability Andrea Marin, Universita di Venezia Compositional model specifications and analyses via product-forms Jaco van de Pol, University of Twente Symbolic manipulation of markov automata Mirco Tribastone, Ludwig-Maximilians-Universität München Exact aggregation for fluid process algebra models
  • Coverage: The workshop combines the Fourth annual meeting of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) with a SICSA Modelling and Abstraction Theme event. The theme of the workshop is Compositional Modelling and Analysis of Quantitative Systems. Compositionality is a key concept in both the modeling and analysis of computer systems. It is only by decomposing large complex system into smaller pieces, we can build and analyse these systems. The aim of the workshop is to bring together researchers working on quantitative modelling and analysis of computer systems focusing on research using compositional techniques. The workshop hopes to encourage interaction and collaboration between the attendees in developing compositional approaches. The workshop will bring together MLQA participants from across Europe with contributors to the SICSA theme of 'Modelling and Abstraction'. However, participation from outside MLQA and the SICSA theme are also welcome. The workshop will take place immediately following the CONCUR International Conference taking place in Newcastle-upon-Tyne 4-7th September 2012.

WG: Media Technology and Edutainement

WG Meeting

  • Topic: Annual WG Meeting
  • Type: Workshop
  • Date: 2012-10-15 to 2012-10-17
  • Place: Sophia Antipoulis
  • Lecturer:
  • Coverage: General discussion on status of WG from various partners' prespective. Plan for EU proposal.

Section D: Mobility

WG: Image and Video Understanding

  • Topic 1 : Stochastic methods in SAR image processing

Fellows

  • Name: Koray Kayabol
  • Type: ERCIM fellow
  • Institute 1: CWI - 2011-08-01 to 2012-04-30

WG: Models and Logics for Quantitative Analysis

  • Topic 1 : models and logics
  • Topic 2 : quantitative analysis
  • Topic 3 : cyber-physical systems

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 and Big Data

WG: E-mobility

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

Fellows

  • Name: Vitor Bernardo, U Coimbra
  • Type: Visiting researcher
  • Institute 1: U Bern - 2012-02-13 to 2012-03-30
  • Institute 2 : U Bern - 2012-08-24 to 2012-09-14
  • Name: Carlos Anastasiades, U Bern
  • Type: Visiting researcher
  • Institute 1: DUTH - 2012-06-03 to 2012-06-16
  • Name: Vasilios Siris, FORTH
  • Type: Visiting researcher
  • Institute 1: U Bern - 2012-06-19 to 2012-06-30

WG: Computational and Methodological Statistics

  • Topic 1 : Matrix computations and statistics
  • Topic 2 : Computational Econometrics
  • Topic 3 : Computational intensive methods in statistics
  • Topic 4 : Statistical data mining

WG: Dependable Software-Intensive Embedded Systems

  • Topic 1 : dependable embedded systems
  • Topic 2 : Dependability analysis and evaluation of software-intensive (embedded) systems
  • Topic 3 : Product assurance and Validation and Verification Lab for (critical) software-intensive (embedded) systems
  • Topic 4 : COTS and Reuse in dependable embedded RT systems

Fellows

  • Name: Eduard Santamaria
  • Type: Visiting researcher
  • Institute 1: AIT DSS (Safety & Security Department) - 2012-11-26 to 2012-11-30
  • Institute 2 : Fraunhofer IOSB - 2012-05-06 to 0000-00-00

Section E: Visibility

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

  • Description: Book of abstracts CFE-ERCIM 2012, ISBN: 978-84-937822-2-1, c 2012 – ERCIM WG on Computing & Statistics
  • Description: Book of Abstracts Parallel Matrix Algorithms and Applications (PMAA’12),ERCIM WG on Computing & StatisticsI

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

  • Issue: EN88
  • Page: 61
  • Title: ERCIM/EWICS/DECOS dependable Cyber-physical Systems Workshop
  • Issue: EN88
  • Page: 65
  • Title: ERCIM Dependable Embedded Systems Workshop at SAFECOMP 2012
  • Issue: EN89
  • Page: 53-54
  • Title: ERCIM/EWICS/DECOS Cyberphysical Systems Workshop at SAFECOMP
  • Issue: EN89
  • Page: 54
  • Title: ERCIM Dependable Embedded Systems Working Group Session at I
  • Issue: EN89
  • Page: 59
  • Title: SAFECOMP ERCIM WG (list of WG events)

Brochures and other PR material with distribution information

  • Description: ERCIM News, WG Descriptions, at various Workshops and events
  • Description: ERCIM News at TechGate Tower Event Centre "The Stage" (permanent)wer Event c

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

  • Issue: 89
  • Page: 45
  • Title: Region-based unsupervised classification of SAR images
  • Issue: 89
  • Page: 7
  • Title: International Workshop on Computational Intelligence for Mul
  • Issue: 91
  • Page: 6
  • Title: MUSCLE working group co-organised mass data analysis confere

Brochures and other PR material with distribution information

  • Description: MUSCLE Workshop Proceedings announcement, Ercim News, No. 91, p. 6
  • Description: Comment on MDA'2012. Mass data analysis of images and signals, http://www.mda-signals.de/comments_mda2012.php
  • Description: Book review, MUSCLE Workshop Proceedings, http://www.almanacco.cnr.it/reader/cw_usr_view_recensione?id_articolo=3747&giornale=3726

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

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

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: 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: Software Evolution

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

Articles in ERCIM News

  • Issue: ERCIM News, January 2012, Volume 88
  • Page: all pages
  • Title: Special Theme Issue on Evolving Software

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Grids, P2P and Services

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

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Sensor Web

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

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Models and Logics for Quantitative Analysis

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

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

  • Event: Launch of SoFWIReD
  • Place: University of Southampton 0000-00-00
  • Description: Southampton Fraunhofer Web & Internet Resaerch & Development Project

Section F: Cooperation with Commercial Companies and Public Services

WG: Computational and Methodological Statistics

n/a

WG: E-mobility

Collaboration U Twente and TNO Collaboration UBern and HP Switzerland

WG: Dependable Software-Intensive Embedded Systems

n/a

WG: Security and Trust Management

n/a

WG: Digital Patient

n/a

WG: Environmental Modelling

n/a

WG: Formal Methods for Industrial Critical Systems

n/a

WG: Image and Video Understanding

The group is collaborating closely with ibai-publishing (www.ibai-publishing.org) that provides open-access journals in the fields of Data Mining, Case-Based Reasoning, and Mass Data Analysis of Signals and Images. Muscle members provide publication and scientific services to the International Worldcongress Frontiers in Signal and Data Analysis (www.worldcongressdsa.com), which combines three international conferences, MLDM, ICDM, MDA, and workshops.

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

n/a

WG: Constraints

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG: Software Evolution

n/a

WG: Grids, P2P and Services

n/a

WG: Sensor Web

n/a

WG: Models and Logics for Quantitative Analysis

n/a

WG: Media Technology and Edutainement

n/a

Section G: Comments

WG: Computational and Methodological Statistics

The annual meeting of the working group has been quite successful. It has attracted 870 participants. New specialised groups have been added to the WG. The working group is organizing through with a specialised group the meeting Computational and Financial Econometrics which is associated with the journal of Computational Statistics and Data Analysis. The Working Group had a number of exchange research visits among its members (too many in order to be listed). From 2013 the WG has changed its name to Computational and Methodological Statistics. The new web site www.CMStatistics.org is under development and will be ready by the end of February 2013. Furthermore the CFEnetwork (Computational and Financial Econometrics Network) has been spin off from the WG. Its web page WWW.CFEntework.org will also be available by the end of February 2013.

WG: E-mobility

There are several joint Ph.D. students and mutual representation in Ph.D. exam juries, in particular among U Coimbra, U Bern, Karstad, U, FORTH, U Twente

WG: Dependable Software-Intensive Embedded Systems

ERCIM visibility at national (OCG, FFG, Future Net events) and international events (ARTEMIS, EPoSS, SAFECOMP, IDIMT etc.) by displaying ERCIM News; ERCIM referenced in ARTEMIS and FP7 proposals and Technical Annexes as community to be addresssed and included in dissemination, exploitation.

WG: Security and Trust Management

n/a

WG: Digital Patient

n/a

WG: Environmental Modelling

Organisation of sessions at iEMSs 2012, 1 - 5 July 2012, Leipzig, Germany Organizers: Isabelle Herlin, Roberto San José, Steffen Unger, Dan Zachary

WG: Formal Methods for Industrial Critical Systems

n/a

WG: Image and Video Understanding

MUSCLE groups from CNR (coordinator), Bilkent, TEA, IBAI, UGR, AUTH, INESC, UTIA, and ARMINES submitted an FP7 STREP proposal titled "ANCIENT COINS DIGITIZATION-ANALYSIS AND CONTEXTUALIZATION", ACDC 601220, to call FP7-ICT-2011-9. This proposal has passed the evaluation thresholds but has not been funded.

MUSCLE groups Bilkent and CNR participate in the FP7 IP proposal "Improved Wildland Fire Preparedness and Management to Minimize Adverse Impact", Wildfire 607125, call FP7-SEC-2013-1.

A working group meeting has been held during the Mass Data Analysis Conference 2012.

The MUSCLE steering committee members for 2012 have been Enis Cetin (Bilkent), Rafael Molina (UGR), Montse Pardas (UPC), Petra Perner (IBAI), Ioannis Pitas (AUTH), Cristina Ribeiro (INESC), Sanni Siltanen (VTT), Simon Wilson (TCD).

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

The small IM2IM WG mainly aimed at working on european FP VPH proposal did not have any activity this year, as we did not find any suitable window despite call monitoring

WG: Constraints

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG: Software Evolution

In 2012 we did not use any ERCIM funding for our organised events since there was no such funding possible. We hope that in 2013 we will be able to benefit from ERCIM funding for organising our annual meeting.

WG: Grids, P2P and Services

n/a

WG: Sensor Web

n/a

WG: Models and Logics for Quantitative Analysis

The next meeting will be on March 24 as part of ETAPS 2013 in Rome at which point the future of MLQA will be discussed.

WG: Media Technology and Edutainement

Aiming to set-up Southampton as a first ERCIM centre in the UK within next two months.