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
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
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
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
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
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)
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: 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: 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: 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
WG: Environmental Modelling
Topic 1 : Environmental risk management, pollution analysis and forecast
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)