Project: COST Action IC0906: Wireless Networking for Moving Objects (WiNeMO)
Funding: ESF
Status: Active
Date: 2010-06-01 to 2014-05-30
Contribution:
description:
Participating Organisations:
SARIT / U Bern - type: Research - budget: 0€
U Twente - type: Research - budget: 0€
U Coimbra - type: Research - budget: 0€
CNR - type: Research - budget: 0€
Karlstad U - type: Research - budget: 0€
FORTH - type: Research - budget: 0€
Tampere UT - type: Research - budget: 0€
SPARCIM / UPC - type: Research - budget: 0€
Project: COST Action IC0703: Data Traffic Monitoring and Analysis (TMA)
Funding: ESF
Status: Active
Date: 2008-03-01 to 2012-02-29
Contribution:
description:
Participating Organisations:
U Coimbra - type: Research - budget: 0€
VTT - type: Research - budget: 0€
FORTH - type: Research - budget: 0€
U Twente - type: Research - budget: 0€
SPARCIM / UPC - type: Research - budget: 0€
Project: "Enhanced, Ubiquitous and Dependable Broadband Access using MESH Networks", EU-MESH (FP7 ICT), project no. 215320
Funding: European Commission
Status: Active
Date: 2008-01-01 to 2010-09-30
Contribution: 3000000
description:
EU-MESH's goal is to develop, evaluate, and trial a system of software modules for building dependable multi-radio multi-channel mesh networks with QoS support that provide ubiquitous and ultra-high speed broadband access.
Partners involved: FORTH (GR), and CNR (IT)
Participating Organisations:
FORTH (GR) - type: Research - budget: 0€
CNR (IT) - type: Research - budget: 0€
Project: IC0804 - Energy efficiency in large scale distributed systems
Funding: ESF
Status: Active
Date: 2009-01-23 to 2013-05-04
Contribution:
description:
COST Action
Participating Organisations:
SARIT / U Bern - type: Research - budget: 0€
SPARCIM / UPC - type: Research - budget: 0€
WG: Security and Trust Management
Project: Network of Excellence on Engineering Secure Future Internet Software Services and Systems, NESSOS, IST-256980
Funding: European Commission
Status: Active
Date: 2010-10-01 to 2014-03-31
Contribution: 3,800,000.00
description:
The Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS) aims at constituting and integrating a long lasting research community on engineering secure software-based services and systems.
The NESSoS engineering of secure software services is based on the principle of addressing security concerns from the very beginning in system analysis and design, thus contributing to reduce the amount of system and service vulnerabilities and enabling the systematic treatment of security needs through the engineering process. In light of the unique security requirements the Future Internet will expose, new results will be achieved by
means of an integrated research, as to improve the necessary assurance level and to address risk and cost during the software development cycle in order to prioritize and manage investments. NESSoS will integrate the research labs involved; NESSoS will re-address, integrate, harmonize and foster the research activities in the necessary areas, and will increase and spread the research excellence. NESSoS will also impact training and education activities in Europe to grow a new generation of skilled researchers and practitioners in the area.
NESSoS will collaborate with industrial stakeholders to improve the industry best practices and support a rapid growth of software-based service systems in the Future Internet. The research excellence of NESSoS will contribute to increase the trustworthiness of the Future Internet by
improving the overall security of software services and systems. This will support European competitiveness in this vital area.
WG: Formal Methods for Industrial Critical Systems
Project: EC-MOAN
Funding: EU-FTP7
Status: Active
Date: 2008-02-01 to 2010-01-31
Contribution: 1,498,718
description:
The project research objectives are: 1. To develop an integrated model of the E. coli stress response system, focusing on the metabolic, genetic and signaling modules that regulate nitrogen and carbon source limitations. 2. To develop mathematical methods for system reduction and approximation, in order to deal with large-scale models in which different time scales and many unknown parameter values occur. 3. To develop parallel algorithms and prototype tools for exploring the models, predicting outcomes of experiments, and verifying specific properties at the model. 4. To apply the developed methods and techniques to the E. coli stress response mproperties, and to validate the model, by experimentally testing predicted properties in our laboratories.
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
Project: AYAMA - Open platform for personalised model of aerosol-based drug delivery for distributed bronchial diseases
Funding: proposal in the framework of the FP7-ICT-2009-6 call
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution:
description:
Proposal : 269969
Acronym : AYAMA
Program : FP7
Call : FP7-ICT-2009-6
Funding scheme : Large-scale integrating project - CP-IP
Duration : 48 months
Activity : ICT-6-5.3 - Virtual Physiological Human
AYAMA
AYAMA - Open platform for personalised model of aerosol-based drug delivery for distributed
bronchial diseases
C
Participating Organisations:
1 GEIE ERCIM, France - type: Other - budget: 0€
2 FluidDA NV, Belgium - type: Research - budget: 0€
3 MATERIALISE NV, Belgium - type: Research - budget: 0€
4 La Diffusion Technique Française, France - type: Research - budget: 0€
5 ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS - ARMINES, France - type: Research - budget: 0€
Project: Net-WMS Towards integrating Virtual Reality and optimisation techniques in a new generation of Networked businesses in Warehouse Management Systems under constraints
Funding: FP6
Status: Active
Date: 2006-09-01 to 2009-12-31
Contribution: 2.320,000
description:
The Net-WMS project proposes a software solution enabling the expected new generation of networked businesses WMS. Net-WMS will handle networked communication and co-operation processes through the integration of decision-making technologies, generic 3D placement primitives, virtual reality for 3D visualisation, interactivity to design packing models and knowledge modelling. The added-value and competitiveness increase of the Net-WMS solution will be characterised by shared expertise, easy deployment and maintenance, flexibility, interoperability, better resource handling and access to remote services..
WG: Software Engineering for Resilient Systems (SERENE)
Project: DIAMONDS
Funding: ITEA2
Status: Active
Date: 2010-09-07 to 2011-09-07
Contribution:
description:
DIAMONDS will enable efficient and automated security testing methods of industrial relevance for highly secure systems in multiple domains (incl. e.g. banking, transport or telecommunication). As pointed out by the Software Engineering Institute, US, 2009: "The security of a software-intensive system is directly related to the quality of its software”. In particular, over 90% of software security incidents are caused by attackers exploiting known software defects. DIAMONDS addresses this increasing need for systematic security testing methods by developing techniques and tools that can efficiently be used to secure networked applications in different domains.
Goals
DIAMONDS will leverage systematic, model-based testing and monitoring approaches for security testing to enable highly secure systems by early testing and test automation. Advanced model-based security testing methods will allow the early identification of design vulnerabilities and efficient system/test design targeting security aspects.
top
Innovations
DIAMONDS will introduce four main innovations in the field of security testing methods and technologies:
1. Advanced model-based security testing methods that combine different techniques to obtain improved results applicable to multi-domain security.
2. Development of autonomous testing techniques based on automatic monitoring techniques to improve resilience of dynamically evolving systems.
3. Pre-standardization work on multi-domain security test methodologies and test patterns allowing DIAMONDS to offer interoperable security test techniques and tools.
4. Open source platform for security test tool integration to provide a common platform, which provides the user a single user interface towards various test tools, as well as a single reporting interface to have concise report from the various tools.
These innovations aim at building a pre-standard for model-based security testing targeting heterogeneous and distributed systems and services and represent the enabling technology necessary for the introduction of formal security testing in industry.
top
Expected Results
The four main results of DIAMONDS will be:
1. Security Fault Models
2. Risk-driven Security Test Methology
3. Model-based Security Test Methodology
4. Security Test Patterns Catalogue
Participating Organisations:
Austria: Secure Business Applications, TU Graz - type: Research - budget: 0€
Finland: VTT, Ericsson, Codenomicon, University Oulu, Conformiq, Metso - type: Research - budget: 0€
France: Thales, Gemalto, Montimage, Smartesting, FSCOM, Get IT, Grenoble INP - type: Research - budget: 0€
Luxemburg: itrust, Uni Luxembourg - type: Research - budget: 0€
Norway: SINTEF, Norse Solutions - type: Research - budget: 0€
WG: Software Evolution
Project: "Fundamental Issues in Modelling, Verification and Evolution of Software": MoVES (P6/39) part of the IAP-Phase VI Interuniversity Attraction Poles Programme funded by the
Funding: Belgian State, Belgian Science Policy
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution:
description:
Project: Synchronizing Models and Code (SNF project # 200020_131827)
Funding: Swiss National Science Foundation
Status: Active
Date: 2010-10-01 to 2012-09-30
Contribution: 260000
description:
Project: REMICS: Reuse and Migration of legacy applications to Interoperable Cloud Services
Funding: EU FP7
Status: Active
Date: 2010-09-01 to 2013-08-30
Contribution: 4,5 million
description:
WG: Grids, P2P and Services
Project: COST Action; number IC0805: "Open European Network for High Performance Computing on Complex Environments"
Funding: European Science Foundation
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 500,000
description:
Several partners from the ERCIM WG participating incl. INRIA (project coordinator), Univ. of Westminster, VUA, TU Dortmind, ...
Project: Grid-friendly software licensing for location independent application execution, SmartLM
Funding: EU
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: 3M€
description:
Current software licensing practices are limiting the acceleration of Grid adoption. Indeed, the rapid emergence of service and virtualization environments requires a rapid evolution in licensing models. SmartLM will provide a generic and flexible licensing virtualization technology for new service-oriented business models across organization boundaries.
The motivation for OPTIMIS is the vision that hybrid clouds will become commonplace, realized by private clouds interacting with a rich ecosystem of public and other cloud providers. OPTIMIS is aimed at enabling organizations to automatically externalize services and applications to
trustworthy and auditable cloud providers in the hybrid model. Consequently, OPTIMIS believes its activities will support and facilitate an ecosystem of providers and consumers that will benefit from the optimal operation of services and infrastructures. The optimization covers the full lifecycle of services and their interactions.
Project: Service Level Management for Grids and Clouds, SLA4D-Grid
Funding: German Federal Ministry of Education and Research
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: about 1.5M€
description:
The SLA4D-Grid Project is designing and realising a Service Level Agreement layer for the Germany's national Grid infrastructure D-Grid. The Service Level Agreement layer offers individual users, whole D-Grid communities, and the providers of D-Grid resources service usage under given guarantees, quality-of-service requirements and pre-defined business conditions. For this purpose, service level requests and the corresponding offers are linked by binding Service Level Agreements. By means of the SLA layer and with the assistance of other D-Grid services, such as monitoring and accounting, SLAs can be automatically created, negotiated and their observance
monitored, so that the D-Grid can be used by academic and industrial users in
an economically efficient manner, in accordance with their respective business models.
Project: D-Grid Scheduler Interoperability, DGSI
Funding: German Federal Ministry of Education and Research
Status: Active
Date: 0000-00-00 to 0000-00-00
Contribution: about 1.8M€
description:
"DGSI” is concerned with the conception and development of
an interoperability layer for scheduling in service Grids, allowing the users of a community to distribute the workload among resources within the
management domain of another community. Within this context, it will be important to ensure that the individual, specialised scheduling solutions being run by the communities can to continue to function.
This project will create a self-learning, self-organizing, and goal-oriented robotic ecology, called RUBICON (Robotic UBIquitous COgnitive Network), where a robotic ecology is defined as a network of heterogeneous computational nodes interfaced with sensors, effectors and mobile robot devices. The nodes of a RUBICON ecology mutually support one another’s learning through the ongoing exchange of information.
Enabling robots to seamlessly operate as part of such robotic ecologies is an important and extended challenge for robotics R&D and a key enabler for a range of advanced robotic applications.
The specific requirements for RUBICON have been driven by the need to provide dedicated learning solutions yielding cheaper, more adaptive and more efficient configurations and coordination of robotic ecologies. In particular it is imperative to support open, dynamic, heterogeneous and computationally-constrained systems, in tandem to a wide range of services and end user applications.
The research emphasis of the RUBICON project lies in the concept of self-learning for robotic ecologies.
Specifically, the RUBICON project will investigate:
• How all the participants in a RUBICON ecology (mobile robots, sensors and effectors) can cooperate in using their past experience to improve their performance by autonomously and proactively adjusting their behaviour in response to a changing environment.
• How the system can act as a shared, open, and distributed memory and learning infrastructure by encoding and distributing intelligence across the ecology. Such a system will tolerate the removal of any of its participant elements (graceful degradation), while new participants will be able to automatically benefit from past experiences and abilities learnt within the system.
• How to create a mutually self-learning system, in which the behaviours of the different participants will not only satisfy application objectives set for the whole ecology, but also validate the performances of the ecology and provide the feedback required for distributed learning.
Within this project two memebers of the Sensor WEb group are represened namely those of University College Dublin (UCD) and the University of Pisa.
The initial idea gemerminated from intial discussions between the sensor web members and thereafter UCD undertook the role of Coordinator with the University one of the partmers. A new partner to the Sensor Web group, the University of Ulster constituted a third partner within the consortium. The full consortium is as follows:
University College Dublin (Coordinator)
Universitá di Pisa
Orebro University
Robotnik Automation SSL
Consiglio Nazionale delle Ricerche
Fundación ROBOTIKER
University of Ulster
Pintail Ltd
Fondazione Stella Maris
WG: Social Network Analysis
Project: Building an Experimental FAcility for MObile SOcial Networking Applications (FAMOSO)
The objective of FAMOSO is to build a distributed experimental facility that can be used by the European research and development communities to investigate the characteristics and potentialities of mobile social networks and to test new mobile social networking technologies, services and applications.
FAMOSO unique features are:
- It is open to third parties;
- It is largely based on standards (mostly the RCS suite);
- It is large (thousands of mobile users are envisioned to join the facility);
- It is European and demand-driven: its priority is to be a service for other European projects and research efforts, and to offer services as demanded by FAMOSO users.
Section B: Joint Publications
WG: Computational and Methodological Statistics
Inference for Robust Canonical Variate Analysis
Author: Van Aelst, S., and Willems, G.
year: 2010
Reference information: Advances in Data Analysis and Classification, 4 (2-3),181-197
Type: Journal
Document (link to the URL):
Fast Robust Estimation of Prediction Error Based on Resampling
Author: Khan, J.A., Van Aelst, S., and Zamar, R.H.
year: 2010
Reference information: Computational Statistics and Data Analysis, 54 (12), 3121-3130
Type: Journal
Document (link to the URL):
Robust Principal Component Analysis Based on Pairwise Correlation Estimators
Author: Van Aelst, S., Vandervieren, E., and Willems, G.
year: 2010
Reference information: COMPSTAT 2010: Proceedings in Computational Statistics} (Y. Lechevallier and G. Saporta, Eds.) Heidelberg: Physika-Verlag, 1677-1684
Type: Conference
Document (link to the URL):
Selecting Variables in Two-Group Robust Linear Discriminant Analysis
Author: Van Aelst, S., and Willems, G.
year: 2010
Reference information: COMPSTAT 2010: Proceedings in Computational Statistics} (Y. Lechevallier and G. Saporta, Eds.) Heidelberg: Physika-Verlag, 1677-1684.
Type: Conference
Document (link to the URL):
Optimized U-type designs on flexible regions
Author: D.K.J. Lin, C. Sharpe and P. Winker
year: 2010
Reference information: Computational Statistics and Data Analysis, 54,6, 1505-1515
Type: Journal
Document (link to the URL):
Optimization Heuristics for Determining Internal Rating Grading Scales
Author: M. Lyra, J. Paha, S. Paterlini and P. Winker
year: 2010
Reference information: Computational Statistics and Data Analysis, 54,11, 2693-2706
Type: Journal
Document (link to the URL):
One sample tests for a generalized Fréchet variance of a fuzzy random variable
Author: Ramos-Guajardo, A.B.; Colubi, A.; González-Rodríguez, G.; Gil, M.A.
year: 2010
Reference information: Metrika. Vol. 71, nº 2, pp. 185-202
Type: Journal
Document (link to the URL):
A linear regression model for imprecise response
Author: Ferraro, M.B.; Coppi, R.; González Rodríguez, G.; Colubi, A.
year: 2010
Reference information: International Journal of Approximate Reasoning. Vol. 51(7), pp. 759-770
Type: Journal
Document (link to the URL):
Comments on: Dynamic relations for sparsely sampled Gaussian processes
Author: Colubi, A.; González-Rodríguez, G.
year: 2010
Reference information: Test. Vol. 19, nº 1, pp. 34-36
Type: Journal
Document (link to the URL):
Modelling shallow landslide susceptibility: a new approach in logistic regression by using favourability assessment
Author: Domínguez-Cuesta, M.J.; Jiménez-Sánchez, M.; Colubi, A.; González-Rodríguez, G.
year: 2010
Reference information: International Journal of Earth Sciences. Vol. 99(3), pp. 661-674
Type: Journal
Document (link to the URL):
Nutrient and oxygenation conditions in transitional and coastal waters: Proposing metrics for status assessment
A comparison of point-scoring procedures for species prioritization and allocation of seed collection resources in a mountain region
Author: Jiménez-Alfaro, B., Colubi, A., González-Rodríguez, G.
year: 2010
Reference information: Biodiversity and Conservation 19 (13), pp. 3667-3684
Type: Journal
Document (link to the URL):
The 5th Special Issue on Computational Econometrics
Author: D.A. Belsley, P. Duchesne, G. Kapetanios, E.J. Kontoghiorghes, M. Paolella and H.K. Van Dijk.
year: 2010
Reference information: Computational Statistics Data Analysis, 54(11), 2359
Type: Journal
Document (link to the URL):
An exact least trimmed squares algorithm for a range of coverage values
Author: M. Hofmann, C. Gatu, and E.~J. Kontoghiorghes
year: 2010
Reference information: Computational and Graphical Statistics, 19(1): 191–204
Type: Journal
Document (link to the URL):
Matrix strategies for computing the least trimmed squares estimation of the general linear and SUR models
Author: M. Hofmann and E.J. Kontoghiorghes
year: 2010
Reference information: Computational Statistics and Data Analysis, 54(12): 3392-3403
Type: Journal
Document (link to the URL):
WG: E-mobility
Connecting Remote Sites to the Wired Backbone by Wireless Mesh Access Networks
Author: Thomas Staub, Markus Anwander, Kurt Baumann, Torsten Braun, Marc Brogle, Kirsten Dolfus, Christian Félix, Paul Kim Goode
year: 2010
Reference information: 16th European Wireless Conference, Lucca, Italy, April 12 - 15, 2010, pp. 675 - 682, IEEE Xplore, ISBN 978-1-4244-5999-5
Type: Conference
Document (link to the URL): http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5483454
Wireless Mesh Networks - Connecting Remote Sites
Author: Thomas Staub, Markus Anwander, Kurt Baumann, Torsten Braun, Marc Brogle, Pascal Dornier, Christian Félix and Paul Kim Goode
year: 2010
Reference information: SWITCH Journal, Zurich, Switzerland, March, 2010, pp. 10-12
Type: Journal
Document (link to the URL): http://www.switch.ch/export/sites/default/about/news/journal/_files/SWITCHjournal_March10.pdf
Scheduling strategies for LTE uplink with flow behaviour analysis
Author: D. C. Dimitrova, J. L. van den Berg, G. J. Heijenk, R. Litjens
year: 2010
Reference information: Fourth ERCIM workshop on e-mobility, Lulea, Sweden. pp. 15-26. Lulea Tekniska Universitet. ISBN 978-91-7439-103-9
Type: Conference
Document (link to the URL): http://eprints.eemcs.utwente.nl/18019/01/ercim_cr.pdf
Analysing uplink scheduling in mobile networks - A flow-level perspective
Author: D. C. Dimitrova
year: 2010
Reference information: CTIT Ph.D.-thesis Series No. 10-181, Centre for Telematics and Information Technology, University of Twente, ISSN 1381-3617, ISBN 978-90-365-3090-3, (jointly supervised by J.L. van den Berg (TNO / UTwente) and Geert Heijenk (Utwente)
Type: Other
Document (link to the URL): http://wwwhome.cs.utwente.nl/~dimitrovadc/thesis.pdf
A Framework for Opportunistic Routing in Multi-hop Wireless Networks
Author: N. Gazoni, V. Angelakis, V. Siris, R. Bruno
year: 2010
Reference information: PE-WASUN '10 Proceedings of the 7th ACM workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks, held in conjunction with MSWiM 2010, Bodrum, Turkey, October 2010, pp. 50-57, ISBN: 978-1-4503-0276-0, doi>10.1145/1868589.1868
Type: Conference
Document (link to the URL): http://portal.acm.org/citation.cfm?id=1868600
Automatically configured, optimised and QoS aware wireless mesh networks
Author: E. Tragos, V.A. Siris, R. Bruno, K. Grochla, E. Ancilloti
year: 2010
Reference information: Indoor and Mobile Radio Communications (PIMRC), 2010 IEEE 21st International Symposium on, Istanbul, September 2010, pp. 2081 – 2086, Print ISBN: 978-1-4244-8017-3, Digital Object Identifier: 10.1109/PIMRC.2010.5671649
Type: Conference
Document (link to the URL): http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5671649
WG: Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Author: Stefan Kowalewski, Marco Roveri, eds.
year: 2010
Reference information: 15th International Workshop, FMICS 2010, Antwerp, Belgium, Sept 20-21, 2010, Lecture Notes in Computer Science 6371
Type: Conference
Document (link to the URL): http://www.springerlink.com/content/n60g12216p17/
Special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Author: Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino, eds.
Document (link to the URL): http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%235667%232011%23999239997%232633740%23FLP%23&_cdi=5667&_pubType=J&view=c&_auth=y&_acct=C000031418&_version=1&_urlVersion=0&_userid=8746464&md5=dc031b0eff8b0b5c7e0c15f975326f3b
Formal Methods for Industrial Critical Systems: A Survey of Applications
Author: Stefania Gnesi, Tiziana Margaria, eds.
year: 2011
Reference information: SBN: 978-0-470-87618-3, Wiley-IEEE Computer Society Press
Type: Other
Document (link to the URL): http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470876182.html
WG: Image and Video Understanding
Prototype-based classification in unbalanced biomedical problems
Author: Colantonio S., Little S., Salvetti O., Perner P.
year: 2010
Reference information: In: Successful Case-based Reasoning Applications. Montani Stefania, Jain Lakhmi C. ed. pp. 143 - 163. (Studies in Computational Intelligence, vol. 305). Heidelberg/New York: Springer, 2010.
Type: Conference
Document (link to the URL): http://www.springer.com/engineering/book/978-3-642-14077-8
Evaluation of feature subset selection, feature weighting, and prototype selection for biomedical applications
Author: Little S., Colantonio S., Salvetti O., Perner P.
year: 2010
Reference information: Journal of Software Engineering and Applications, vol. 3 (1) pp. 39 - 49. Knowledge Research Publishing Inc, 2010.
Type: Journal
Document (link to the URL): http://www.scirp.org/journal/home.aspx?IssueID=201&JournalID=45&paperID=1244
Spectral Moment Features Augmented by Low Order Cepstral Coefficients for Robust ASR
Author: Tsiakoulis P., Potamianos A., Dimitriadis D.
year: 2010
Reference information: IEEE Signal Processing Letters, vol. 17, no. 6, pp. 551-554, June 2010
Type: Journal
Document (link to the URL):
Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles
Author: Benedek Cs., Descombes X., Zerubia J.
year: 2010
Reference information: International Conference on Pattern Recognition (ICPR), Istanbul, Turkey, August 23-26, 2010
Type: Conference
Document (link to the URL):
Efficient Building Change Detection in Sparsely Populated Areas Using Coupled Marked Point Processes
Author: Benedek Cs.
year: 2010
Reference information: IEEE International Geoscience and Remote Sensing Symposium (IGARSS), Honolulu, Hawaii, USA, July 25-30, 2010
Type: Conference
Document (link to the URL):
Graph-based Analysis of Textured Images for Hierarchical Segmentation
Author: Gaetano R., Scarpa G., Szirányi T.
year: 2010
Reference information: BMVC 2010: British Machine Vision Conference, UK, Springer Verlag, Paper 318
Type: Conference
Document (link to the URL):
WG: Constraints
Recent Advances in Constraints
Author: Javier Larrosa and Barry O'Sullivan
year: 2010
Reference information: Springer LNAI Volume 6384
Type: Conference
Document (link to the URL): http://www.springer.com/computer/ai/book/978-3-642-19485-6
WG: Software Evolution
Special Issue on Software Evolution
Author: T. Mens, Y.G. Gueheneuc, J. Fernandez-Ramil, M. D'Hondt
Document (link to the URL): http://www.computer.org/portal/web/computingnow/sw-evolution
Special Issue on Evolving Critical Systems
Author: L. Coyle, M. Hinchey, B. Nuseibeh, J. L. Fiadeiro (Guest Editors)
year: 2010
Reference information: IEEE Computer. Vol 43, No 5, May
Type: Journal
Document (link to the URL): http://www.computer.org/portal/web/csdl/doi/10.1109/MC.2010.139
Data-Intensive System Evolution
Author: A. Cleve, T. Mens, J.-L. Hainaut
year: 2010
Reference information: IEEE Computer 43(8): 110-112, August
Type: Journal
Document (link to the URL): http://www.computer.org/portal/web/csdl/doi/10.1109/MC.2010.227
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Author: A. Capiluppi, A. Cleve, N. Moha
year: 2010
Reference information: ACM Digital Library
Type: Conference
Document (link to the URL): http://dx.doi.org/10.1145/1862372.1862374
A Conceptual Approach to Database Applications Evolution
Author: A. Cleve, A.-F. Brogneaux, J.-L. Hainaut
year: 2010
Reference information: In Proceedings of the 29th Internnational Conference on Conceptual Modeling (ER'2010). Volume 6412 of Lecture Notes in Computer Science, pp 132-145. Springer, 2010.
Type: Conference
Document (link to the URL): http://portal.acm.org/citation.cfm?id=1929771&preflayout=tabs
Reverse engineering user interfaces for interactive database conceptual analysis
Author: R. Ramdoyal, A. Cleve, J.-L. Hainaut.
year: 2010
Reference information: In Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE’2010), volume 6051 of Lecture Notes in Computer Science, pages 332–347. Springer, 2010.
Type: Conference
Document (link to the URL): http://portal.acm.org/citation.cfm?id=1883819
Maispion: A Tool for Analysing and Visualizing Open Source Software Developer Communities
Author: F. Stephany, T. Mens, T. Girba
year: 2010
Reference information: Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), p. 50—57, ACM, New York, NY, USA, 2010
Type: Conference
Document (link to the URL): http://portal.acm.org/citation.cfm?doid=1735935.1735944
The Small Project Observatory: Visualizing Software Ecosystems
Author: Mircea Lungu, Michele Lanza, Tudor Gîrba, and Romain Robbes
year: 2010
Reference information: Science of Computer Programming, Elsevier 75(4) p. 264—275, April 2010.
Type: Journal
Document (link to the URL): http://dx.doi.org/10.1016/j.scico.2009.09.004
Workshop on Program Comprehension through Dynamic Analysis (PCODA10)
Author: Abdelwahab Hamou-Lhadj, David Röthlisberger, Andy Zaidman, Orla Greevy
year: 2010
Reference information: WCRE 2010: 279-280
Type: Conference
Document (link to the URL):
WG: Grids, P2P and Services
A framework for autonomic management of multiple non-functional concerns
Author: M. Aldinucci, M. Danelutto, P. Kilpatrick, V. Xhagjika
year: 2010
Reference information: CoreGRID Workshop 2010 (at Europar 2010)
Type: Conference
Document (link to the URL):
First Class Futures: Specification and implementation of Update Strategies
Author: L. Henrio, M. Uzair Khan, N. Ranaldo, and E. Zimeo
year: 2010
Reference information: CoreGRID Workshop 2010 (at Europar 2010)
Type: Conference
Document (link to the URL):
Modeling Stream Communications in Component-based Applications
Author: M. Danelutto, D. Laforenza, N. Tonellotto, M. Vanneschi, and C. Zoccolo
year: 2010
Reference information: Scalable Computing: Practice and Experience, Volume 11 Nr 3, 2010.
Type: Journal
Document (link to the URL):
Monitoring a virtual network infrastructure: An iaas perspective
Reference information: Proceedings of the 2010 11th IEEE/ACM International Conference on Grid Computing : 25-29 October 2010 in Brussels, Belgium. New York, NY [u.a.] : IEEE, 2010, page 233-241
Type: Conference
Document (link to the URL):
A service level agreement layer for the D-Grid infrastructure
Reference information: Cracow Grid Workshop '09 : October 12 - 14, 2009, Cracow, Poland ; proceedings. Cracow : Academic Computer Centre CYFRONET AGH, 2010, S. 96-103
Type: Conference
Document (link to the URL):
Designing Efficient Security Services Infrastructure for Virtualization Oriented Architectures.
Author: Naqvi S.
year: 2010
Reference information: In Pervasive Information Security and Privacy Developments : Trends and Advancements (chapter 11), IGI Global Publisher, USA. ISBN 978-1-61692-000-5 (Hardback) ; ISBN 978-1-61692-001-2 (ebook) - publication planned for 2011.
Type: Other
Document (link to the URL):
RESERVOIR - A European Cloud Computing Project
Author: Naqvi S. and Massonet P.
year: 2010
Reference information: ERCIM News number 83, Special Theme : Cloud Computing - Platform, Software and Applications, October 2010
Type: Journal
Document (link to the URL):
Scalable Service and Resource Virtualisation Infrastructure for Business Applications
Author: Naqvi S. and Massonet P.
year: 2010
Reference information: IEEE/ACM International Conference on Grid Computing 2010 (Grid2010), Brussels - Belgium, 24-27 October 2010.
Type: Conference
Document (link to the URL):
A Monitoring Service for Compliance in a Cloud Architecture
Author: Latanicki J., Massonet P., Rochwerger B., Villari M., Naqvi S.
Protecting Corporate ICT Infrastructures by using Digital Forensics
Author: Naqvi S., Dallons G., Ponsard C.
year: 2010
Reference information: IEEE International Conference on Computer Information Systems and Industrial Management Applications 2010 (IEEE-CISIM’2010), Krakow, Poland, 8-10 October 2010
Type: Conference
Document (link to the URL):
Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models,
Author: De Landtsheer R, Ponsard C, Massonet P.
year: 2010
Reference information: Second International Workshop on Security in Model Driven Architecture, University of Pierre & Marie Curie, Paris, France, June 16th 2010.
Type: Conference
Document (link to the URL):
Ensuring Security of the Future Internet-based Virtualization Infrastructures (Position Paper),
Author: Naqvi S., Dallons G., Ponsard C., Massonet P.
year: 2010
Reference information: IEEE Symposium on Security and Privacy 2010, Oakland, CA, USA, May 16-20, 2010
Type: Conference
Document (link to the URL):
Applying Digital Forensics in the Future Internet Enterprise Systems - European SMEs’ Perspective
Author: Naqvi S., Dallons G., Ponsard C.
year: 2010
Reference information: Fifth International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE), In conjunction with the IEEE Security and Privacy Symposium, Oakland, CA, USA, May 16-20, 2010
Type: Conference
Document (link to the URL):
Scalable Cloud Defenses for Detection, Analysis and Mitigation of DDoS Attacks
Author: Latanicki J., Massonet P., Naqvi S., Rochwerger B. and Villari M.
year: 2010
Reference information: Towards the Future Internet : Emerging Trends from European Research, G. Tselentis et al. (Eds.), pp 127-137, IOS Press Inc, The Netherlands. ISBN 978-1-60750-538-9 (Hardback) ISBN 978-1-60750-539-6 (eBook)
Type: Other
Document (link to the URL):
Assuring Privacy of Medical Records in an Open Collaborative Environment - A Case Study of Walloon region’s eHealth Platform
Author: Naqvi S., Dallons G., Michot A., Ponsard C.
year: 2010
Reference information: LNCS Privacy and Identity Management for Life, Bezzi et al. (Eds.), pp 146-159, Springer Publisher, ISBN 978-3-642-14281-9, 2010
Type: Conference
Document (link to the URL):
Selectivity-based XML query processing in structured peer-to-peer networks
Author: C. Comito, D. Talia, P. Trunfio
year: 2010
Reference information: Proc. Int. Database Engineering and Applications Symposium (IDEAS 2010), Montreal, Canada, pp. 236--244, August 2010. Note: ISBN 978-1-60558-900-8.
Type: Conference
Document (link to the URL):
How Distributed Data Mining Tasks can Thrive as Knowledge Services
Author: D. Talia, P. Trunfio
year: 2010
Reference information: Communications of the ACM, vol. 53, n. 7, pp. 132--137, July 2010
Type: Journal
Document (link to the URL):
Using Social Network and Semantic Overlay Network Approaches to Share Knowledge in Distributed Data Mining Scenarios
Author: S. Saberi, P. Trunfio, D. Talia, M. Fesharaki, K. Badie
year: 2010
Reference information: Proc. of the Int. Conference on High Performance Computing and Simulation (HPCS 2010), Caen, France, pp. 536-544, IEEE Computer Society Press, June 2010. Note: ISBN 978-1-4244-6827-0
Type: Conference
Document (link to the URL):
ERGOT: A Semantic-based System for Service Discovery in Distributed Infrastructures
Author: G. Pirrò, P. Trunfio, D. Talia, P. Missier, C. Goble
year: 2010
Reference information: Proc. of the 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2010), Melbourne, Australia, pp. 263--272, IEEE Computer Society Press, May 2010. Note: ISBN 978-0-7695-4039-9
Type: Conference
Document (link to the URL):
Mining@home: Towards a Public Resource Computing Framework for Distributed Data Mining
Author: C. Lucchese, C. Mastroianni, S. Orlando, D. Talia
year: 2010
Reference information: Concurrency and Computation: Practice and Experience, vol. 22, n. 5, pp. 658-682, Wiley InterScience, April 2010
Type: Journal
Document (link to the URL):
Mobile Data Mining on Small Devices Through Web Services
Author: D. Talia, P. Trunfio
year: 2010
Reference information: Mobile Intelligence: Mobile Computing and Computational Intelligence, L. Yang, A. Waluyo, J. Ma, L. Tan, B. Srinivasan (Editors), John Wiley & Sons, pp. 264--276, 2010. Note: ISBN 978-0-470-19555-0
Type: Other
Document (link to the URL):
A Framework for Distributed Knowledge Management: Design and Implementation
Author: G. Pirrò, C. Mastroianni, D. Talia
year: 2010
Reference information: Future Generation Computer Systems, vol. 26, n. 1, pp. 38-49, January 2010
Type: Journal
Document (link to the URL):
Using Grids for Exploiting the Abundance of Data in Science
Author: E. Cesario, D. Talia
year: 2010
Reference information: Scalable Computing: Practice and Experience, vol. 11, n. 3, pp. 251-262, 2010
Type: Journal
Document (link to the URL):
Grid computing, high-performance and distributed applications
UFOme: An Ontology Mapping System with Strategy Prediction Capabilities
Author: G. Pirrò, D. Talia
year: 2010
Reference information: Data & Knowledge Engineering, vol. 69, n. 5, pp. 444-471, 2010.
Type: Journal
Document (link to the URL):
A Secure and Scalable Grid-based Content Management System
Author: Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo and Silvio Causetti
year: 2010
Reference information: Proceedings of the Fifth International Workshop on Frontiers in Availability, Reliability and Security (FARES 2010), Krakow, Poland, pp. 404-409, IEEE Computer Society, February 2010
Type: Conference
Document (link to the URL):
A Secure and Scalable Grid-based Content Management System
Author: Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo and Silvio Causetti
year: 2010
Reference information: Proceedings of the Fifth International Workshop on Frontiers in Availability, Reliability and Security (FARES 2010), Krakow, Poland, pp. 404-409, IEEE Computer Society, February 2010
Reference information: Proceedings of Pervasive Health 2011. IEEE Press
Type: Conference
Document (link to the URL):
Section C: Organised Events
WG: Computational and Methodological Statistics
3rd International Conference of the ERCIM WG on COMPUTING & STATISTICS (ERCIM'10)
Topic: Computational Statistics
Type: Conference
Date: 2010-12-10 to 2010-12-12
Place: Senate House, University of London, UK
Lecturer: There were over 800 participants (jointly with the CFE10).
KEYNOTE SPEAKERS
Anthony C. Atkinson, London School of Economics, UK
Stanley Azen, CSDA Editor in Chief, University of Southern California, USA
INVITED SESSIONS AND SPEAKERS
# Robust Methods
Victor Yohai, University of Buenos Aires, Argentina
Ruben Zamar, University of British Columbia, Canada
Elvezio Ronchetti University of Geneva, Switzerland.
# Nonparametric Statistics
Oliver Linton, London School of Economics, UK.
Marc Hallin, Universite Libre de Bruxelles, Belgium.
Dag Tjostheim University of Bergen, Norway.
# Fuzzy Sets in Statistics
Thierry Denoeux, University of Technology of Compiegne, France.
Maria Angeles Gil, University of Oviedo, Spain.
Reinhard Viertl Vienna University of Technology, Austria.
# Small Area Estimation
Wayne A. Fuller, lowa State University, USA
Danny Pfeffermann, Hebrew University of Jerusalem and University of Southampton, UK
Jay Breidt Colorado State University, USA
# Heuristic Methods in Statistics
C.J.F. ter Braak, Wageningen University and Research Centre, The Netherlands
Manfred Gilli, University of Geneva, Switzerland
Anthony Brabazon University College Dublin, Ireland
Coverage: The conference is organized within the framework of the working group. All the specialized groups were active (organize sessions, chair teh conference, members of the scientific programme committee, editors of the special issues).
4th CSDA International Conference on Computational and Financial Econometrics (CFE'10)
Topic: Computing, econoemtrics and statistics
Type: Conference
Date: 2010-12-10 to 2010-12-12
Place: Senate House, University of London, UK
Lecturer: There were over 800 participants (jointly with ercim).
KEYNOTE SPEAKERS
Qiwei Yao, London School of Economics, UK
M. Hashem Pesaran, University of Cambridge, UK and USC
Mark Steel, University of Warwick, UK
INVITES SESSIONS AND SPEAKERS
# Econometric models for large multivariate systems
Dick van Dijk, Erasmus University, The Netherlands.
Siem Jan Koopman, VU University Amsterdam, The Netherlands.
David Veredas, Universite libre de Bruxelles, Belgium
# Applied time series econometrics
Christopher Baum, Boston College, USA
Ron Smith, Birkbeck College University of London, UK
George Kapetanios, Queen Mary University of London, UK
# Recent developments in econometrics
Herman van Dijk, Erasmus University Rotterdam, The Netherlands
Chung-Ming Kuan, National Taiwan University
Philip Hans Franses, Erasmus University Rotterdam, The Netherlands
# Factor models
Manfred Deistler, Vienna University of Technology, Austria
Marco Lippi, University of Rome "La Sapienza", Italy
Christian Schumacher Deutsche Bundesbank, Germany
Coverage: The conference is organized by the specialized group (track) of the working group. It covered the areas of computational econometrics and quantitative finance. The meeting is associated the the CSDA Annals of Computational and Financial Econometrics.
Lecturer: Prof. Torsten Braun (University of Bern), Prof. Hans van den Berg (TNO), Dr. Marc Brogle (SAP Research Zürich), Prof. Marilia Curado (University of Coimbra), Prof. Yevgeni Koucheryavy (University of Tampere), Prof. Vasilios A. Siris (FORTH)
Topic: Multi-hop communication: yesterday, today and tomorrow?
Type: Workshop
Date: 2010-05-21 to 2010-05-21
Place: Bern
Lecturer: Prof. Marilia Curado: Multi-hop communication: yesterday, today and tomorrow?
Coverage:
WG: Dependable Software-Intensive Embedded Systems
SAFECOMP 2010, 3rd ERCIM/DECOS/MOGENTES Workshop
Topic: Dependable Embedded Systems
Type: Workshop
Date: 2010-09-14 to 2010-09-14
Place: Vienna, Schönbrunn Palace Conference Centre
Lecturer: Speakers from AIT, NTNU (both ERCIM), MOGENTES Partners from Hungary and Sweden
Coverage: 22 attendees from SAFECOMP from 10 countries
ME 10, Embedded Systems Day
Topic: Embedded Systems (Architecture, Design, Safety, V&V)
Type: Conference
Date: 2010-04-08 to 2010-04-08
Place: Vienna, University of Technology
Lecturer: Daniel Gajski, UC Irvine; Speakers from Austria, Sweden, US, Sweden.
Coverage: About 100 attendees from Austria and neighbouring countries, including students
Euromicro 2010, SEAA, Lille, France
Topic: Special Session on
Type: Conference
Date: 2010-09-01 to 2011-03-03
Place: Lille, France
Lecturer: Prof. Francesca Saglietti, Univ. Erlangen, Germany; Manel Fredj (CEA List), Öyvind Netland (NTNU), Sulzbachner (AIT), He Yi, China.
Coverage: Europe and China, 12 attendees (conference about 250, several parallel sessions)
IDIMT 2010 (Interdisciplinary Information Management talks)
Topic: Dependable Embedded Systems and Infrstructure Protection
Type: Conference
Date: 2010-09-08 to 2010-09-10
Place: Jindrichuv Hradec, Czech Republic
Lecturer: Erwin Schoitsch (ERCIM DES WG, AIT) Keynote on Cyberphysical Systems: The "Systems-of-Systems" Challenge;
Coverage: Academia and Industry from CEE states, Austria, Germany; ca. 50 attendees.
AARIT/ERCIM Convention
Topic: AARIT and ERCIM in the European Research Area
Type: Conference
Date: 2010-11-16 to 2010-11-16
Place: Vienna, TechGate
Lecturer: Prof. Dr. Matthias Jarke, ERCIM-Vizepräsident, Fraunhofer-Institute FIT; M. Wiesmüller (BMVIT-Federal Ministry of Transport, Innovation and Technology); FFG (National Funding Authority), Schönegger (National Scientific Board), Austrian Research Organisations
Coverage: Austrian Research Organisations, Public Authorities), ca. 60 attendees.
Place: Vienna, Schönbrunn Palace Conference Centre
Lecturer: Exhibition Booth, manned by OCG/AARIT
Coverage: 120 attendees from Europe, Asia, North- and South America (21 countries)
AARIT Convention, Exhibition
Topic: ERCIM Booth
Type: Other
Date: 2010-11-16 to 2010-11-16
Place: Vienna, TechGate
Lecturer: Exhibition Booth for ERCIM
Coverage: 60 attendees from Austrian Research organisations and public authorities
WG: Security and Trust Management
6th International Workshop on Security and Trust Management (STM'11)
Topic: Security and Trust Management
Type: Workshop
Date: 2010-09-23 to 2010-09-24
Place: Athens, Greece
Lecturer: * Gustav Kalbe, Deputy Head of Unit - Trust & Security, European Commission
* Udo Helmbrecht, ENISA
* Pierangela Samarati, University of Milan
* Martin Johns, SAP
Coverage: The 6th International Workshop on Security and Trust Management (STM'11) was held in Athens from the 23th to 24th of September 2010. The general chairs of this year event were Giller Barthe from IMDEA Software (Spain) and Alex Pretschner from Fraunhofer IESE (Germany). Jorge Cuellar from Siemens (Germany) and Javier Lopez from the University of Malaga (Spain) serve as program co-chairs.
This year’s program included a number of invited talks, some of them joint talks with the other co-located events with STM’10, CRITIS’10 and EuroPKI’10. Thus, the first of these series of joint talks was on “Data Privacy in Outsourcing Scenarios” and was delivered by Piernagela Samarati as a keynote talk for EuroPKI’10. The Keynote talk for CRITIS’10 was given by Udo Helmbrecht from ENISA who with the talk entitled “Enhancing Europe's Critical Information Infrastructures” gave an overview of the problematic and situations of the protection of Critical Infrastructures in Europe.
Gustav Kalbe, Deputy Head of Unit - Trust & Security, European Commission was invited by STM to deliver a keynote lecture (although also joint with the other co-located events) with the title “Trust and Security - a European policy” where he presented the perspectives from the European Commission for the next calls fow the seventh Work Programme on the area of trust and security. Martin Johns from SAP research was also invited speaker for STM’10 delivering an interesting talk about the situation of web security from the past to the present and towards the future. The title of his talk was “The mess we are in - the past, present, and future of Web Security”.
The PhD Thesis ERCIM award winner of this year, Sara Foresti from the University of Milan presented the results of her PhD thesis entitled “Preserving Privacy in Data Outsourcing”.
The technical program consisted of six sessions focusing on different topics such as Access Control, Trust Management, Information Analysis and Data Control, Security protocols or Privacy Enhancing Technologies, where the 17 accepted papers, out of 40 submissions, were presented.
WG: Formal Methods for Industrial Critical Systems
15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)
Topic: Formal Methods and their Industrial Applications
Type: Workshop
Date: 2010-09-20 to 2010-09-21
Place: Antwerp, Belgium
Lecturer: * Aarti Gupta (NEC Labs, United States of America)
* Axel Simon (Technical University of Munich, Germany)
* Bert van Beek (Technical University of Eindhoven, The Netherlands)
* Stephan Tobies (Microsoft European Innovation Center, Germany)
Coverage: The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.
WG: Constraints
Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming
Topic: Constraint Solving and Constraint Logic Programming
Type: Workshop
Date: 2010-11-25 to 2010-11-26
Place: Fraunhofer FIRST, Berlin, Germany
Lecturer: J. Christopher Beck - University of Toronto: "From Constraint Programming to Logic-Based Benders Decomposition (and back!"
Coverage:
WG: Software Engineering for Resilient Systems (SERENE)
SERENE
Topic: Software Engineering, Resilient Systems
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: London
Lecturer: A 2-days Spring school on resilience and self-* was organized for the first time ahead. An additional event, an evening lecture given by Robin Bloomfield of City University, London, held jointly with BCS-FACS and the UK Safety-Critical Systems Club, was added to the workshop programme and addressed modelling on infrastructure interdependencies and their impact on resilience.
Spring school
We have recorded 30 registered participants in the Spring School. The four speakers (Paola Inverardi, University of L’Aquila, Italy; Jeff Magee, Imperial College London, UK; Aad van Moorsel, University of Newcastle, UK; Mauro Pezzè, University of Lugano, Switzerland, and University of Milano Bicocca, Italy).
Coverage: * Modelling of resilience properties: formal & semi-formal techniques
* Requirements, software engineering & re-engineering for resilience
* Verification and validation of resilient systems
* Resilience prediction and experimental measurement
* Error, fault and exception handling in the software life-cycle
* Frameworks, patterns and software architectures for resilience
* Resilience at run-time: metadata, mechanisms, reasoning and adaptation
* Engineering of self-healing autonomic systems
* CASE tools for developing resilient systems
WG: Software Evolution
IWPSE-EVOL 2010: International Workshop on Principles of Software Evolution
Topic: software evolution
Type: Workshop
Date: 2010-09-20 to 2010-09-21
Place: Antwerp
Lecturer: Andrian Marcus (Wayne State University, USA). Software is Data Too: How Should We Deal With It?
Massimiliano Di Penta (University of Sannio, Italy). Empirical Studies on Software Evolution: Should we (try to) claim Causation?
Coverage:
BENEVOL 2010: Belgian Dutch Workshop on Software Evolution
Topic: software evolution
Type: Workshop
Date: 2010-12-16 to 2010-12-16
Place: Lille, France
Lecturer:
Coverage: http://rmod.lille.inria.fr/benevol/pier
FAMOOSr 2010 - 4th Workshop on FAMIX and Moose in Reengineering
Topic: software re-engineering
Type: Workshop
Date: 2010-09-17 to 2010-09-17
Place: Timisoara, Romania
Lecturer:
Coverage: See http://www.moosetechnology.org/events/famoosr2010
WG: Grids, P2P and Services
CoreGrid workshop on Grids, Clouds and P2P Computing (in conjunction with Europar 2010, Ischia, Naples, Italy)
Topic: Grids, Clouds and P2P Computing
Type: Workshop
Date: 2010-08-31 to 2010-08-31
Place: Ischia, Naples, Italy
Lecturer: S. Newhouse, EGI: The European Grid Infrastructure - Future Challenges
Coverage: about 60 attendees. co-organized by M. Danelutto with A. Steward, F. Desprez and P. Fragopoulou
OCS 2010 – 1st Workshop on Optimising Cloud Services
Topic: Optimising Cloud Services
Type: Workshop
Date: 0000-00-00 to 0000-00-00
Place: Ghent
Lecturer: none, paper presentation
Coverage: 30+ participants, academia + industry
BADS 2010 : 2nd Workshop on Bio-Inspired Algorithms for Distributed Systems
Topic: Self-* and Adaptive Mechanisms
Type: Workshop
Date: 2011-06-11 to 2011-06-11
Place: Washington DC USA
Lecturer:
Coverage: Academia
WG: Data and Information Spaces
2nd ERCIM DIS Workshop
Topic: Planning the future of DIS WG
Type: Workshop
Date: 2010-05-20 to 2010-05-20
Place: CWI Science Park, Amsterdam
Lecturer: Professor Maristella Agosti, University of Padova, Italy
Coverage: The great research challenges for the Digital Library and the DIS communities in the next decade
WG: Sensor Web
WG Sensor Web Meeting
Topic: Security in Sensor Webs
Type: Other
Date: 0000-00-00 to 0000-00-00
Place: Bruno Czech Republic
Lecturer:
Coverage:
WG: Models and Logics for Quantitative Analysis
Workshop at Federated Logic Conference
Topic: Static Analysis versus Model Checking
Type: Workshop
Date: 2010-07-09 to 2010-07-09
Place: Edinburgh, Scotland
Lecturer: Bernhard Steffen. From the How to the What: Static Analysis via Model Checking.
Flemming Nielson. Model Checking is Static Analysis of Modal Logic.
Marta Kwiatkowska. Quantitative Abstraction Refinement.
Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs.
Arie Gurfinkel. Partial Models and Software Model-Checking.
Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.
David Monniaux. Policy iteration for static analysis.
Michael Huth. From validating quantitative models to generating valid ones.
Coverage: The second annual meeting of the working group on Models and Logics for Quantitative Analysis (MLQA) took place on Friday July 9'th 2010 as part of the Federated Logic Conference (FLoC) organized by the School of Informatics at the University of Edinburgh in Scotland. It was attended by more than 30 researchers, from senior researchers to PhD students, and was one of the best attended satellite events taking place at FLoC.
WG: Social Network Analysis
ERCIM Social Network Analysis Working Group
Topic: Algorithmic Aspects of Social Network Analysis
Lecturer: Guest speakers:
1. Krista Gile, Nuffield College, Oxford - Inference for Hidden Populations Based on Network Sampling
2. Santo Fortunato, Institute for Scientific Interchange (ISI) in Turin, Italy - Community Detection Algorithms: A Comparative Analysis
Coverage: The workshop was well attended by several research group from CASL and UCD, Dublin and also included other speakers from Europe.
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: Prof. Edmundo Monteiro
Type: Visiting
Institute 1: University of Bern - 2010-05-16 to 2010-05-28
Name: Prof. Torsten Braun
Type: Visiting
Institute 1: U Coimbra - 2010-06-14 to 2010-06-16
Name: Dr. Kirsten Dolfus
Type: ERCIM
Institute 1: SARIT / U Bern - 2009-07-01 to 2010-03-31
WG: Dependable Software-Intensive Embedded Systems
Topic 1 : same as last year
WG: Formal Methods for Industrial Critical Systems
Topic 1 : Design and integration of formal methods and tools for the specification, computer-aided analysis and automated implementation of reactive systems and distributed algorithms
Topic 2 : Technology transfer of these methods and tools for the industry, including their application to assess safety-critical systems and their connection to computer languages and software engineering techniques already established in industry
Topic 3 : Real time programming, software specification, analysis and testing, distributed and parallel systems
Topic 4 : Interoperability platforms for tool-based analysis, verification and test
WG: Image and Video Understanding
Topic 1 : Stochastic methods in SAR image processing
Fellows
Name: Simon Wilson
Type: Visiting researcher
Institute 1: CNR - Istituto di Scienza e Tecnologie dell'informazione - 2010-06-17 to 2010-06-25
Name: Koray Kayabol
Type: Other
Institute 1: CNR - Istituto di Scienza e Tecnologie dell'informazione - 2008-09-22 to 2010-09-21
Name: Koray Kayabol
Type: ERCIM
Institute 1: INRIA - ARIANA - 2010-11-01 to 2011-07-31
WG: Constraints
Topic 1 : Constraint Programming
Topic 2 : Combinatorial Optimisation
Topic 3 : Constraint Programming Systems
Topic 4 : Applications of Constraint-based Systems
WG: Software Engineering for Resilient Systems (SERENE)
Topic 1 : Formal and semi-formal modelling of resilience properties;Software development processes for resilience;Requirement engineering processes for resilience;Model Driven Engineering of resilient systems
Topic 2 : Verification and validation of resilient systems; Error and fault handling in the software life-cycle
Topic 3 : Atomic actions; Dynamic resilience mechanisms; Resilience prediction; Resilience Frameworks and design patterns for resilience; Software architectures for resilience. Atomic actions; Dynamic resilience mechanisms; Resilience prediction; Resilience metada
Topic 4 : Reasoning and adaptation services for improving and ensuring resilience; Intelligent and adaptive approaches to engineering resilient systems
WG: Software Evolution
Topic 1 : Software quality control and improvement
Topic 2 : Software migration, reverse engineering and maintenance
Topic 3 : Model-driven software evolution
Topic 4 : Runtime evolution and dynamic software adaptation
Fellows
Name: Anthony Cleve
Type: ERCIM
Institute 1: INRIA Lille, France - 2009-12-01 to 2010-11-30
Name: Lile Hattori
Type: Visiting researcher
Institute 1: TU Delft - 0000-00-00 to 0000-00-00
WG: Models and Logics for Quantitative Analysis
Topic 1 : Models and Logics for Discrete Analysis
Topic 2 : Models and Logics for Stochastic Analysis
Topic 3 : Models and Logics for Continuous Analysis
Section E: Visibility
WG: Media Technology and Edutainement
WG Web Site: http://wiki.ercim.eu/wg/MTE
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Social Network Analysis
WG Web Site: http://cliquecluster.org/content/ercim-social-network-analysis-group
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Models and Logics for Quantitative Analysis
WG Web Site: http://wiki.ercim.eu/wg/MLQA/index.php/Main_Page
Articles in ERCIM News
Issue: 83
Page: 6
Title: Static Analysis versus Model Checking
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: Data and Information Spaces
WG Web Site: http://wiki.ercim.org/wg/DIS/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Grids, P2P and Services
WG Web Site: http://www.coregrid.net/mambo/content/view/747/418/
Articles in ERCIM News
Issue: 83 Cloud Computing
Page: 12
Title: Cloud Computing - Introduction to the Special Theme
Issue: 83 Cloud Computing
Page: 16
Title: SLA@SOI - SLAs Empowering a Dependable Service Economy
Issue: 83 Cloud Computing
Page: 20
Title: From XtreemOS Grids to Contrail Clouds
Issue: 83 Cloud Computing
Page: 22
Title: Interoperability between Grids and Clouds
Issue: 83 Cloud Computing
Page: 25
Title: Recent Developments in DIET: From Grid to Cloud
Issue: 83 Cloud Computing
Page: 30
Title: A Semantic Toolkit for Scheduling in Cloud and Grid Platform
Issue: 83 Cloud Computing
Page: 35
Title: RESERVOIR - A European Cloud Computing Project
Issue: 83 Cloud Computing
Page: 41
Title: Managing Virtual Resources: Fly through the Sky
Issue: 83 Cloud Computing
Page: 38
Title: OW2 ProActive Parallel Suite: Building Flexible Enterprise C
Issue: 83 Cloud Computing
Page: 41
Title: Large-Scale Cloud Computing Research: Sky Computing on Futur
Issue: 83 Cloud Computing
Page: 43
Title: elasticLM – Software License Management for Distributed Comp
Issue: 83 Cloud Computing
Page: 44
Title: Enabling Reliable MapReduce Applications in Dynamic Cloud In
Issue: 83 Cloud Computing
Page: 47
Title: Online Gaming in the Cloud
Issue: 83 Cloud Computing
Page: 50
Title: ComCert: Automated Certification of Cloud-based Business Pro
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: 81
Page:
Title: "Future Research Challenges in Software Evolution and Mainte
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: Constraints
WG Web Site: http://wiki.ercim.org/wg/Constraints/index.php/Main_Page
Articles in ERCIM News
Issue: January 2011
Page: 10
Title: CSCLP 2010 - Annual ERCIM Workshop on Constraint Solving and
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
WG Web Site: http://wiki.ercim.org/wg/IM2IM/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Image and Video Understanding
WG Web Site: http://wiki.ercim.eu/wg/MUSCLE/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
WG: Formal Methods for Industrial Critical Systems
WG Web Site: http://fmics.inria.fr
Articles in ERCIM News
Issue: 78
Page: 6
Title: 14th ERCIM Formal Methods for Industrial Critical Systems W
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Environmental Modelling
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: Security and Trust Management
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
Description: ERCIM STM WG 2010 Award for the Best Ph.D. Thesis on Security and Trust Management
Demonstrations
n/a
WG: Dependable Software-Intensive Embedded Systems
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
Issue: 82
Page: 7
Title: SAFECOMP 2010 Announcement, ERCIM-DES WG as co-organizer
Issue: 81
Page: 61
Title: SAFECOMP 2010, DES-WG topics
Issue: 83
Page: 8
Title: ERCIM at SAFCOMP 2010 in Vienna
Brochures and other PR material with distribution information
Description: Exhibition Booths, Posters, Flyers, DES-WG leaflet: see Sections C and G
Demonstrations
n/a
WG: E-mobility
WG Web Site: http://wiki.ercim.org/wg/eMobility/
Articles in ERCIM News
Issue: (81): (2010)
Page: 54-55
Title: Content-Sharing for Mobile Social Networks in the Haggle Pla
Brochures and other PR material with distribution information
n/a
Demonstrations
Event: EWSN 2010
Place: A Testbed Management Architecture for Wireless Sensor Network Testbeds (TARWIS) 2010-02-17
Description: Demo
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 abstratcs of the ercim working group meeting (distributed to approximately 850 participants)
Demonstrations
n/a
Section F: Cooperation with Commercial Companies and Public Services
WG: Media Technology and Edutainement
n/a
WG: Social Network Analysis
During the writing of the FAMOSO proposal in this reporting period, the Coordinator - Consorzio Nazionale Interuniversitario per le Telecomunicazioni, Italy, contacted the following commercial companies (they are now partners in the submitted proposal - results pending):
* Nokia Siemens Networks Italia SpA, Italy
* Polska Telefonia Cyfrowa, Poland
* Colibria AS, Norway
* Movial Applications Inc, Finland
* Movial Romania SRL, Romania
WG: Models and Logics for Quantitative Analysis
n/a
WG: Sensor Web
n/a
WG: Data and Information Spaces
n/a
WG: Grids, P2P and Services
n/a
WG: Software Evolution
n/a
WG: Software Engineering for Resilient Systems (SERENE)
n/a
WG: Constraints
n/a
WG: IM2IM - IT and Mathematics applied to Interventional Medicine
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: Formal Methods for Industrial Critical Systems
n/a
WG: Environmental Modelling
n/a
WG: Digital Patient
n/a
WG: Security and Trust Management
n/a
WG: Dependable Software-Intensive Embedded Systems