centre universitaire d’informatique activity report 2008

Centre Universitaire d’Informatique

Activity Report2008

UNIVERSITY OF GENEVACentre Universitaire d’InformatiqueBattelle - Bâtiment A7, route de DrizeCH-1227 Carougecui.unige.ch

Foreword

Advanced Systems GroupASGProf. Dimitri Konstantas

Computer Vision and Multimedia LaboratoryCVMLProf. Thierry Pun

Geneva Artificial Intelligence LaboratoryGAILProf. Christian Pellegrini

Information System InterfaceISIProf. Gilles Falquet

Laboratory for the Analysis and Technology of LanguageLATLProf. Eric Wehrli

Geneva Team Database LaboratoryMATISProf. Michel Léonard

MIRALab LaboratoryMIRALABProf. Nadia Magnenat-Thalmann

Software Modelling and VerificationSMVProf. Didier Buchs

Scientific and Parallel ComputingSPCProf. Bastien Chopard

Theoretical Computer ScienceTCS Prof. José Rolim

Administrative Staff

Financial Report

5

9

15

23

27

31

35

41

49

53

57

61

65

4 C e n t r e U n i v e r s i t a i r e d ’ I n f o r m a t i q u e

Foreword

Prof. José RolimDirector of the CUI

University of Geneva

The Centre Universitaire d’ Informatique (CUI), one of the oldest computer re-search centers in the world, is proud to report its activities during 2008. The CUI is a multidisciplinary center dealing with different aspects of computing with members coming from different faculties of the University of Geneva. In particu-lar, the Faculties of Sciences, Economics and Letters provide the CUI with most of its members. This multidisciplinary aspect is also present in this report by means of significant applications, important publications and several projects in areas as far as Humanities and Biotechnology, Wireless Communication and Services Sciences, Virtual Reality and Software Engineering, Multimedia and Computer Vi-sion to cite only a few of them.

The year of 2008 is an important year on our history as the CUI is for the first time in its history completely reunified with all its laboratories at the campus of Battel-le. During this year, the CUI obtained again a record number of important research projects by the new FP7 EU, by the Swiss National Foundation, Hasler Foundation and by different industrial partners. These projects are described in this report. The CUI is proud of the recogniton given by such projects and the consequences are detailed in this report as our main scientific activities.

As director of the CUI it is my pleasure to invite the reader to discover the main scientific and educational activities of our several laboratories and research groups during the past year.

Welcome to the CUI

In th

e ba

ckgr

ound

: «Vo

to p

er la

pag

nott

a» b

y Ra

ndi H

anse

n

asg.

unig

e.ch

ASG

Advanced Systems GroupProf. Dimitri Konstantas

C e n t r e U n i v e r s i t a i r e d ’ I n f o r m a t i q u e10

Advanced Systems GroupProf. Dimitri Konstantas

asg.unige.ch

Team

MembersDr. Jean-Marc Seigneur

Dr. Lemonia Ragia (up to September 2008)Dr. Vincenzo Pallota (since July 2008)

Dr. Jean-Henry Morin (since September 2008)

PhD studentsMichel Deriaz (up to May 2008)

Katarzyna WacAlfredo Villalba

Hikari WatanabeDejan Munjin

Xavier Titi

Domain activities

The main research direction of the group is the study of issues related with autonomous and mobile systems and services, in-cluding geo-localized information management, trust issues and quality of service of mobile networks.More specifically the current research areas of the group are:

Mobile applications and services: location based services • and applications, mobile health applications and mobile services’ context information;Trust for e- and m-services: formalization and implementa-• tion of a model based on the human notion of trust, with concepts such as “recommendations” and uncertainty;Quality of service in mobile networks: user and history • based prediction of wireless networks’ end-to-end obser-ved QoS.

DirectorDimitri Konstantas

Full professor

Mobile device / user

Hovering information

Hovering information (blue) will be capa-ble of moving from one location to another (from pa0 to pa4) jumping across the inter-mediate physical devices (pink)

Hovering information (blue) will be linked to a location and optionally time stamped (pa0,ta). Physically, this information will re-side in neighbouring devices (pink) (MANET, Sensor net)

In the absence of fixed infrastructure, ho-vering information will use all devices in its neighbourhood such as phones, RFIDS, sen-sors, PDAs, laptops, PCs, etc

Fig 1: Hovering information:An overlay for mobile content

A d v a n c e d S y s t e m s G r o u p 11

PhD thesisMichel Deriaz, «GeoVTag - Trusting Virtual Tags», April • 2008

List of publicationsRefereed papers in international journals[1] Giovanna Di Marzo Serugendo, Alfredo A. Villalba Castro

and Dimitri Konstantas, Hovering Information in Works in Progress – Activity Based Computing, IEEE Pervasive Computing Journal, April-June 2008

[2] J.-H. Morin, “Exception Based Enterprise Rights Manage-ment : Towards a Paradigm Shift in Information Security and Policy Management”, International Journal On Ad-vances in Systems and Measurements, issn 1942-261x, vol. 1, no. 1, 2008, pp. 40-49.

Full refereed papers in Conference Proceedings[3] Katarzyna Wac, Mortaza Bargh, Pravin Pawar, Bert-Jan

van Beijnum, Arjan Peddemors, Richard Bults, Power- and Delay-Aware Mobile Application-Data Flow Adap-tation: the MobiHealth System Case Study, 10th IEEE International Conference on e-Health Networking, Ap-plications & Services (HealthCom 2008), July 2008, Sin-gapore, publisher: IEEE Press

[4] Pravin Pawar, Katarzyna Wac, Bert-Jan van Beijnum, Pier-re Maret, Aart van Halteren, Hermie Hermens, Context-Aware Middleware Architecture for Vertical Handover Support to Multi-homed Nomadic Mobile Services, pro-ceedings of the 23rd Annual ACM Symposium on Ap-plied Computing (ACMSAC08), Ceará, Brazil, publisher: ACM Press

[5] Alfredo A. Villalba Castro, Giovanna Di Marzo Serugendo and Dimitri Konstantas, Hovering Information - Self-Or-ganising Information Using Location-Based Caching Po-licies, 2nd ERCIM Workshop on eMobility (in conjunction with WWIC 2008), May 30, 2008 - Tampere, Finland.

[6] A. Villalba Castro, G. Di Marzo Serugendo, D. Konstantas, Hovering Information - Self-Organising Information that Finds its Own Storage, IEEE International Confer-ence on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC’08), Taichung, Taiwan, June 2008

[7] L. Ragia, M. Deriaz and J.-M. Seigneur, Mobile Location Based Services for Trusted Information in Disaster Ma-nagement, Proceedings of the 17th International Confer-ence on Information Systems Development IEEE, 2008.

[8] Michel Deriaz, The Uncertainty of Truth, proceedings of the Sixth Annual Conference on Privacy, Security and Trust, PST2008, October 1-3, 2008, Delta Fredericton, Fre-dericton, New Brunswick, Canada

[9] Elias Kalapanidas, Hikari Watanabe, Costas Davarakis, Hannes Kaufmann, Fernando Fernandez Aranda, Tony Lam, Todor Ganchev and Dimitri Konstantas, PlayMan-cer: A European Serious Gaming 3D Environment, Pro-ceedings of the 2nd International Workshop on e-health Services and Terchnologies - EHST 2008 in Conjustion with ICSOFT 2008, Porto-Portugal, July 2008, pp 51-59 ISBN 978-989-8111-56-2

[10] J. Joo, G. Kim and J.-H. Morin, “How to Manage Business Process as Knowledge Assets based on Ontological Approach: Focusing on Sales Order Process”, in procee-dings of KMIS Spring 2008 Conference, Korea Society of Management Information Systems conference, Seoul, Korea, June 13, 2008. (IBM Korea Best Paper Award).

[11] J.-H. Morin and A. Zeelim-Hovav, “Strategic Value and Drivers behind Organizational Adoption of Enterprise DRM : Setting the Stage”, in proceedings of 7th Annual Security Conference, Las Vegas, NV, USA, June 2-3, 2008.

[12] J.-H. Morin and M. Pawlak, “Exception-Aware Digital Rights Management Architecture Experimentation” in proceedings of 2008 International Conference on In-formation Security and Assurance (ISA 2008), IEEE, April 24-26, 2008, Busan, Korea, pp. 518-526

Books and book chapters[13] Jean-Marc Seigneur, Social Trust of Virtual Identities,

book chapter in Computing with Social Trust and Repu-tation», ISBN 978-1-84800-355-2, Springer, 2008.

[14] Jean-Marc Seigneur, AmbiTrust? Immutable and Context-Aware Trust Fusion book chapter in «Trust Ma-nagement in Virtual Environment», ISBN 81-314-1254-1, Icfai University Press, 2008.

[15] J.-M. Seigneur, L. Moraru and O. Powell, Survivability of Sensors with Key and Trust Management, book chapter in «Handbook of Research on Wireless Security», ISBN 978-1-59904-899-4, IGI Global, 2008.

Research and technical reports[16] Dimitri Konstantas – Jean Marc Seigneur (Eds), Colla-

borative Location Aware Mobile Services, ISBN 978-2-88903-001-9, October 2008, http://asg.unige.ch/publi-cations/TR08

Fig 2 & 3: Virtual Tags tracking with TrackerTag

International and national advisory com-mittees

Dimitri Konstantas: Member of the advisory and scien-• tific committee of the IICREST institute, Sofia, Bulgaria.Dimitri Konstantas: Vice-Chair of the ERCIM eMobility • WG

Conference organization as chair or co-chair

Dimitri Konstantas: Co-Chair of the The Second Interna-• tional Workshop on e-Health Services and Technologies (EHST 2008), Porto, Portugal, July 4, 2008Jean-Marc Seigneur: Organisation and chair of the • trust/reputation track at the ACM SAC 2008.

Member of conference program committeesDimitri Konstantas:

I3E 2008 • ICSOFT 2008 • MobiKUI 2008• I-WEST 2008•

Jean-Marc Seigneur:IFIP Trust Management International Conference 2008• ACM SAC 2008•

Jean-Henry Morin:International Symposium on Collaborative Technolo-• gies and Systems (CTS 2008), May 19-23, 2008, Irvine, California, USAInternational Conference on Collaborative Computing: • Networking, Applications and Worksharing. (Collabora-teCom 2008), November 13-16, 2008, Orlando, FL, USASixth International Workshop On Databases, Informa-• tion Systems and Peer-to-Peer Computing (DBISP2P 2008), Collocated with VLDB 2008, August 23, 2008, Auckland, New ZealandSpecial Session on Security & Privacy in Pervasive Com-• puting environments (SPPC-08), April 24-26, 2008, Busan, Korea, In Conjunction with 2nd International Conference on Information Security and Assurance (ISA 2008)Second International Workshop on Web and Pervasive • Security (WPS 2008), March 17-21, 2008, Hong Kong.

Katarzyna Wac:10th Intl Conference on Human-Computer Interaction • with Mobile Devices and Services MobileHCI 2008 2-5 Sept 2008, Amsterdam, NL2nd Workshop on Adaptive and DependAble Mobile • Ubiquitous Systems ADAMUS 20087th Intl Conference on Mobile Business (MBUSINESS • 2008) held in Barcelona, Spain on July 7-8, 2008


Invited talksDimitri Konstantas: Keynote speaker at the 3rd Interna-• tional Conference on Software and Data Technologies, ICSOFT 2008, User Defined Geo-Referenced Information Management, Porto, Portugal, July 5-8 2008

Funded research projectsParticipation to European projects

PlayMancerA European Serious Gaming 3D EnvironmentFunded by the FP7 programme of the EUParterns: Systema Technologies S.A. (Coordinator, Greece), TXT e-solutions S.p.A. (Italy), Netunion s.a.r.l. (Switzerland), University of Patras - The Wire Communications Laboratory (Greece), Technische Universitaet Wien (Austria), Funda-cio privada institut d’investigacio biomedica de bellvitge (Spain)Period: November 2007 - October 2010Website: http://www.playmancer.eu/

___

PERIMETERUser Centric Paradigm for Seamless Mobility in Future In-ternetFunded by the FP7 programme of the EUPartners: Grupo Corporativo GFI Informatica (GFI), Traffix Systems Ltd (TxS), Université de Genève (UNIGE), Fachochs-chule Vorarlberg GmbH (FHV), Waterford Institute of Tech-nology (WIT), Blekinge Institute of Technology (BTH), Tech-nische Universität Berlin (TUB), Turkcell Iletisim Hizmetleri A.S (TC), Consorzio Nazionale Interuniversitario per le Tele-comunicazioni (CNIT), Telefonica I+D (TID)Period: May 2008 - April 2011WebSite : http://www.ict-perimeter.eu

___

Traffic Monitoring and AnalysisTheory, techniques, tools and applications for the future networksFunded by : COST Action: IC0703Partners : Coordinator Forschungszentrum Telekommunika-tion Wien, AustriaPeriod: April 2008 - March 2012Web Site: http://www.cost-tma.eu/

A d v a n c e d S y s t e m s G r o u p 13

Participation to National projects

Geo-TagsTrusted geo-spatial tags,Funded by CTI, BernPartners: ArxIT SA, Societe Nautique de Geneve / Porto Cen-tralPeriod: May 2007 - April 2009

___

Monitoring and analysis of wireless networks for a QoS-Pre-diction Service design and developmentFunded by SER (Swiss federal secretariat for research and education)Period: November 2008 - October 2011

Technology transferIn the frame of the Geo-Tags project, the results of the PhD thesis of Mr. M. Deriaz have been implemented as a service by ArxIT Consulting.

OthersKatarzyna Wac: • Google Global Community Scholarship for workshop organization at Grace Hopper Celebration of Women in Computing, Colorado, USA, 1-4 October 2008Jean-Marc Seigneur: • International expert reviewer for the review of EU FP6 projects and US Air Force project proposals

• Jean-Henry Morin: IBM Korea Best Paper Award at the Spring 2008 KMIS conference, Korea Society of Mana-gement Information Systems, for the paper “How to Manage Business Process as Knowledge Assets based on Ontological Approach: Focusing on Sales Order Process”, Seoul, South Korea, June 13, 2008.

• Jean-Henry Morin: Appointed Editorial Board Member of the Journal of Service Science (JSS) by the Society of Service Science (SoSS) for a 3 year term Nov 1st, 2008 (http://www.soss.or.kr/)

• Jean-Henry Morin: Co-organizer of the Think Tank on Service Science and Innovation, an initiative of the de-partment of Information Systems, University of Geneva and the Observatoire Technologique, State of Geneva

• Michel Deriaz: 07.05.2008 (fr): Mobile Commerce, L’avertisseur de radars fixes et mobiles collaboratifs FoxyTag, http://www.foxytag.com/press/20080507_Presse-fr.pdf

• Michel Deriaz: 07.05.2008 (fr): Presse-fr, L’anti-radar FoxyTag arrive en France http://www.foxytag.com/press/20080507_Presse-fr.pdf

• Michel Deriaz: 01.05.2008 (fr): L’essentiel du mobile, Les alertes radars sur son téléphone http://www.foxytag.com/press/20080501_LEssentielDuMobile.pdf

• Michel Deriaz: 29.04.2008 (fr): Autodeclics, FoxyTag : un avertisseur de radars sur votre mobile http://www.foxytag.com/press/20080429_Autodeclics.pdf

TeachingInfrastructure de Communications• , Information Sys-tems, Bachelor, 6 ECTS, 56 hours (winter semester), 16 studentsCommunication Multimédia• , Information Systems, Ba-chelor, 6 ECTS, 56 hours (spring Semester) , 20 studentsOutils Internet• , Information Systems, Bachelor, 6 ECTS, 56 hours (spring semester), 54 studentsProgrammation Objet• , Information Systems, Bachelor, 6 ECTS, 56 hours (spring semester), 16 studentsIntroduction to Mobile Systems and Services• , Informa-tion Systems, Master, 6 ECTS, 56 hours (winter semes-ter), 6 studentsProgrammation des systèmes• , Information Systems, Master, 6 ECTS, 56 hours (winter semester), 6 studentsDesign of Multimedia Services• , Information Systems, Master, 6 ECTS, 56 hours (spring semester), 6 studentsAdvanced Seminar on Industrial & Emerging issues in • Information Systems, Master in Information Systems, 3 ECTS, 14 hours, 5 studentsProjet Intra-Master• , Master in Information Systems, 3 ECTS, 14 hours, 6 students

Fig 4: FoxyTag Virtual Tags in the Lausanne Area

visi

on.u

nige

.chCVML

Computer Vision and Multimedia Laboratory

Prof. Thierry Pun


Computer Vision and Multimedia LaboratoryProf. Thierry Pun vision.unige.ch

Domain activities

The Computer Vision and Multimedia Laboratory (CVML, http://cvml.unige.ch), divided into three groups, carries out research in multimedia data pro-cessing, multimedia data management and security, as well as in multimo-dal human-machine interaction. Research applies to media such as text, audio tracks, sounds, images and videos, and to physiological signals.

Content-based Visual Indexing and Retrieval group (Viper, Prof. S. Marchand-Maillet, http://viper.unige.ch): develops strategies for the efficient indexing retrieval and exploration of large multimedia databases. The group studies the complete chain of multimedia management from multimedia proces-sing to content modeling, description and storage and interactive retrieval.

Stochastic Information Processing group (/SIP/, Prof. S. Voloshynovskiy, http://sip.unige.ch): studies various aspects of information theory and sta-tistical (stochastic) visual data analysis and processing. The applications mostly cover high quality image compression, restoration and denoising for medical imaging and neuroscience, classification and data mining in large nonstructured databases of natural randomness originating from various imaging techniques, mass-spectrometry and bioinformatics. A related re-search axis concerns analog and digital watermarking, authentication and tamper proofing of both images and text documents. Current research also concerns brand protection using portable devices and wireless communi-cations. A common basis for these researches is the apparatus of non-sta-tionary statistical modeling, distributed coding and robust hashing.

Multimodal Interaction group (MMI, Prof. T. Pun, http://cvml.unige.ch/MMI): studies various forms of multimodal interaction between humans, computers, and environment. Some considered interaction modalities are haptic, auditory, and based on physiological signals such as EEG’s (elec-troencephalograms), EMG (electromyograms), plethysmograph for blood pressure, GSR (galvanic skin resistance), skin temperature, breathing rate. Current developments concern emotion recognition and its use for interac-tion, brain-computer interfaces, brain imaging, and mobility aids for sight handicapped people.

DirectorsThierry Pun

Full professor

Sviatoslav VoloshynovskiyAssociate professor

Stéphane Marchand-MailletAssistant professor

Team

MembersDr. Eric Bruno

Dr. Joep KierkelsDr. Oleksiy Koval

PhD studentsFokko Beekhof

Guillaume ChanelBenoît Deville

Jana KludasDonn Morrison

Mohammad Soleymani Eniko Szekely

Renato Villan (until May 2008)Taras Holotyak (since December 2008)

The CVML has various specialized equipment and associated software:portable microscope with wireless communications for item identification and authentication; • servers with high storage (overall 3.5Tb, Raid 5) and processing capabilities (1 Transtec Calleo (2 Xeon Dual Core, 12Gb • RAM) and 2 SunFire X4150 (2 QuadCore, 32Gb RAM each), all 64bits architecture). Biosemi Active II EEG acquisition system (http://www.biosemi.com/) with 64+16 electrodes, completed with other phy-• siological sensors to record heart rate, galvanic skin resistance - GSR, skin temperature, breathing rate, blood pressure, and electromyograms - EMG;gTec gMobilab+ mobile physiological signals recording system from Guger Technologies (http://www.gtec.at/);• Eckel C14 audiometric research chamber (http://www.eckel.ca/) with electromagnetic insulation (Faraday cage), 2.16m • x 1.80m x 2.37m;eye gaze-tracker QuickGlance 2 from EyeTech Digital Systems;• head-mounted display Emagin z800;• stereo cameras, e.g. STH-MDCS2 from Videre Design (http://www.videredesign.com/);• micro-PC OQO (http://www.oqo.com/intl/) for portable experimentation.•

C o m p u t e r V i s i o n a n d M u l t i m e d i a L a b o r a t o r y 17

PhD thesisRenato Villán Sebastián, «Authentication of electro¬nic • and printed text documents», May 2008

List of publicationsRefereed papers in international journals[1] G. Bologna, B. Deville, T. Pun, «On the use of the audi-

tory pathway to represent image scenes in real-time», Neurocomputing, 72, 2009, 839-849. Electronic publica-tion: 2008, Article DOI: http://dx.doi.org/10.1016/j.neu-com.2008.06.020.

[2] B. Deville, G. Bologna, M. Vinckenbosch, T. Pun, «See Co-lor: Seeing colours with an orchestra», Springer LNCS, Lecture Notes in Computer Science on Man Machine Interaction, Subm. July 2008, revised Nov. 2008.

[3] S. Voloshynovskiy, O. Koval, F. Perez-Gonzalez, M. Kivanc Mihcak, Informed data-hiding with partial side infor-mation at the decoder, Signal Processing, submitted for publication, 2008.

[4] S. Voloshynovskiy, O. Koval, E. Topak, J.E. Vila Forcen, and P. Comesana Alfaro, Partially Reversible Image Data Hi-ding With Pure Message Communications Over State-Dependent Channel, Signal Processing, submitted for publication, 2008.

[5] S. Voloshynovskiy, O. Koval, R. Villan, F. Beekhof, and T. Pun, Authentication of Biometric Identification Documents via Mobile Devices. Journal of Electronic Imaging, vol. 17, issue 1, p. 011014, 2008.

[6] J. E. Vila-Forcén, S. Voloshynovskiy, O. Koval and F. Pérez-González and T. Pun, Quantization-Based Methods: Ad-ditive Attacks Performance Analysis, LNCS Transactions on Data Hiding and Multimedia Security, LNCS 4920, p. 70-90, 2008.

[7] Bruno, E., Moënne-Loccoz, N., & Marchand-Maillet, S. (2008). Design of multimodal dissimilarity spaces for retrieval of multimedia documents. IEEE Transactions on Pattern Analysis and Machine Intelligence, 30(9), 1520-1533.

[8] Kludas, J., Bruno, E., & Marchand-Maillet, S. (2008). Can Feature Information Interaction help for Information Fusion in Multimedia Problems?. Multimedia Tools and Applications Journal special issue on «Metadata Mining for Image Understanding», DOI: 10.1007/s11042-008-0251-y.

[9] Kosinov, S., Bruno, E., & Marchand-Maillet, S. (2008). Spatially-consistent partial matching for intra- and in-ter-image prototype selection. Signal Processing: Image Communication special issue on «Semantic Analysis for Interactive Multimedia Services», 23, 516-524.

Full refereed papers in Conference Proceedings[10] M. Soleymani, G. Chanel, J. Kierkels, T. Pun, «Affective

characterization of movie scenes based on multime-dia content analysis and user’s physiological emotional responses», ISM2008, IEEE International Symposium on Multimedia, December 15-17, 2008, Berkeley, California, USA, 228-235.

[11] M. Soleymani, G. Chanel, J. Kierkels, T. Pun, «Affective ran-king of movie scenes using physiological signals and content analysis», ACM Multimedia 2008, Workshop on Many Faces of Multimedia Semantics (MS’08), Oct. 27-31, 2008, Vancouver, BC, Canada, 32-39.

[12] J. J. M. Kierkels, T. Pun, «Towards detection of interest during movie scenes», MIAUCE - First Int. Workshop on Multimodal Interactions Analysis of Users in a Control-led Environment, Chania, Crete, Greece, October 24, 2008 (Post-conf. workshop, ICMI 08, 10th Int. Conf. on Multimodal Interfaces, Oct. 20-24, 2008).

[13] B. Deville, G. Bologna, M. Vinckenbosch, T. Pun, «Guiding the focus of attention of blind people with visual salien-cy», European Conference on Computer Vision (ECCV 2008), Oct. 12-18, 2008, Workshop on Computer Vision Applications for the Visually Impaired (CVAVI 08), Mar-seille, France, Oct. 18, 2008.

[14] G. Chanel, C. Rebetez, M. Betrancourt, T. Pun, «Boredom, engagement and anxiety as indicators for adaptation to difficulty in games», 11th MindTrek Conference, Mind-Trek 2008: Entertainment and Media in the Ubiquitous Era, October 7-9, 2008, Tampere, Finland.

[15] M. Soleymani, G. Chanel, J. Kierkels, T. Pun, «Valence-arou-sal representation of movie scenes based on multime-dia content analysis and user’s physiological emotional responses», MLMI 2008, 5th Joint Workshop on Machine Learning and Multimodal Interaction, 8-10 Sept. 2008, Utrecht, The Netherlands (extended abstract and pos-ter).

[16] G. Bologna, B. Deville, and T. Pun, «Pairing colored socks and following a red serpentine with sounds of musical instruments», ICAD 08, Int. Conf. on Auditory Displays, June 24-27, 2008, Paris, France.

[17] G. Bologna, B. Deville, M. Vinckenbosch and T. Pun, «A perceptual interface for vision substitution in a color matching experiment», IEEE IJCNN, Int. Joint Conf. Neu-ral Networks, Part of IEEE World Congress on Computa-tional Intelligence, June 1-6, 2008, Hong Kong.

[18] B. Deville, G. Bologna, M. Vinckenbosch, T. Pun, «Depth-based detection of salient moving objects in sonified vi-deos for blind users», VISAPP 2008, Int. Conf. on Compu-ter Vision Theory and Applications, 22-25 January, 2008, Funchal, Madeira Island, Portugal.

[19] O. Koval, S. Voloshynovskiy and T. Pun, Privacy-Preserving Multimodal Person and Object Identification, In 10th ACM Workshop on Multimedia & Security «MM&Sec 2008», September 22-23, 2008, Oxford, UK.

[20] S. Voloshynovskiy, O. Koval and T. Pun, Multimodal authentication based on random projections and distri-buted coding, In 10th ACM Workshop on Multimedia & Security «MM&Sec 2008», September 22-23, 2008, Ox-ford, UK.

[21] O. Koval, S. Voloshynovskiy and T. Pun, Privacy-Preser-ving Biometric Person Identification, In EUSIPCO 2008, 16th European Signal Processing Conference, Lausanne, Switzerland, August 25-29, 2008.


[22] M. Haroutunian, S. Tonoyan, O. Koval, and S. Voloshynovs-kiy, On Reversible Information Hiding System, 2008 IEEE International Symposium on Information Theory, ISIT 2008, July 6 -July 11, 2008, Toronto, Canada.

[23] S. Voloshynovskiy, O. Koval, F. Beekhof and T. Pun, Unclo-nable identification and authentication based on refe-rence list decoding, In SECSI - Secure Component and System Identification, Berlin, Germany, March 17-18, 2008.

[24] F. Beekhof, O. Koval, R. Villán, S. Voloshynovskiy and E. To-pak, Document Forensics based on Steganographic An-ti-Counterfeiting Markings and Mobile Architectures, In First International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (E-Forensics 2008), Adelaide, Australia, 23 January 2008.

[25] F. Beekhof, S. Voloshynovskiy, O. Koval and R. Villán, Se-cure Surface Identification Codes, In Proceedings of SPIE Photonics West, Electronic Imaging 2008, Security and watermarking of multimedia contents X, San Jose, USA, 2008.

[26] O. Koval, S. Voloshynovskiy, F. Beekhof and T. Pun, Security Analysis of Robust Perceptual Hashing, In Proceedings of SPIE Photonics West, Electronic Imaging 2008, Secu-rity and watermarking of multimedia contents X, San Jose, USA, 2008.

[27] O. Koval, S. Voloshynovskiy, F. Beekhof and T. Pun, Analysis of physical unclonable identification based on referen-ce list decoding, In Proceedings of SPIE Photonics West, Electronic Imaging 2008, Security and watermarking of multimedia contents X, San Jose, USA, 2008.

[28] O. Koval, S. Voloshynovskiy, F. Beekhof and T. Pun, Error exponent analysis of person identification based on fusion of dependent/independent modalities: multiple hypothesis testing case, In Proceedings of SPIE Photo-nics West, Electronic Imaging 2008, Security and water-marking of multimedia contents X, San Jose, USA, 2008.

[29] Kludas, J., Bruno, E., & Marchand-Maillet, S. (2008). Can Feature Information Interaction help for Information Fusion in Multimedia Problems?. In First International Workshop on Metadata Mining for Image Understan-ding, Funchal, Madeira.

[30] Kludas, J., Bruno, E., & Marchand-Maillet, S. (2008). Ex-ploiting Synergistic and Redundant Features for Multi-media Document Classification. In 32nd Annual Confer-ence of the German Classification Society - Advances in Data Analysis, Data Handling and Business Intelligence (GfKl 2008), Hamburg, Germany.

[31] Kludas, J., Marchand-Maillet, S., & Bruno, E. (2008). Ex-ploiting document feature interactions for efficient information fusion in high dimensional spaces. In Pro-ceedings of the First International Workshops on Image Processing Theory, Tools and Applications (IPTA’2008), Sousse, Tunisia.

[32] Morrison, D., Marchand-Maillet, S., & Bruno, E. (2008). Semantic clustering of images using patterns of rele-vance feedback. In Proceedings of the 6th Internatio-nal Workshop on Content-based Multimedia Indexing (CBMI’2008), London, UK.

Books ans book chapters[33] S. Voloshynovskiy, O. Koval and T. Pun, Secure item iden-

tification and authentication system based on unclona-ble features, U.S. Patent Application No 61/038,084, filed 20 March 2008.


T. Pun: Member of the board of GRETSI - Groupe français • de recherche et d’études en traitement du signal et des images (http://www.gretsi.fr).T. Pun: Member of the Steering Committee of the Natio-• nal center of competence in research NCCR-(IM)2 “Inte-ractive Multimodal Information Management”, headed by the IDIAP research institute, Martigny.S. Voloshynovskiy: Management Committee member of • European Network of Excellence Ecrypt (http://www.ecrypt.eu.org/)S. Marchand-Maillet: Member of the Technical Commit-• tee of the National center of competence in research NCCR-(IM)2 “Interactive Multimodal Information Mana-gement”, headed by the IDIAP research institute, Marti-gny.S. Marchand-Maillet: Member of the Technical Board of • the EU STREP MultiMATCH (http://www.multimatch.eu)


ICPR 2008, Int. Conf. on Pattern Recognition, Organizing • Committee, track co-chair, Tampa, Florida, USA

Figure 1: A blindfolded person following a red serpentine line by means of musical sounds only (SeeColor project, Hasler Foundation, with the HES-SO Geneva).


Member of conference program committeesThierry Pun:

ICPR 2008 (Tampa, FL, USA)• Sviatoslav Voloshynovskiy:

Electronic Imaging 2008, Security, Steganography, and • Watermarking of Multimedia Contents X, San Jose, USA, January, 2008.The 9th IASTED International Conference on Signal and • Image Processing SIP2008, Kailua-Kona, USA, August 18-20, 2008 (program committee)ACM2008, Multimedia and Security Workshop 2008, • Oxford, UK, September 2008 (program committee).EUSIPCO2008, 16th European Signal Processing Confe-• rence 2008, Lausanne, Switzerland, August 2008 (tech-nical program committee).IWDW2008, International Workshop on Digital Water-• marking 2008, Busan, Korea, in November 10-12, 2008 (program committee).

Stéphane Marchand-Maillet:ACM SIGIR 2008, Singapore, July 2008 (PC member and • Mentor).ACM-CIVR 2008, Niagara Falls, CA, 2008 (PC and Best • Paper committee member)ICPR 2008 (Tampa, FL, USA)• ACM Multimedia 2008, Vancouver, Canada (PC member • and Full and Short Paper tracks)Adaptive Multimedia Retrieval 2008, Berlin, Germany, • June 2008 VISUAL 2008, • Machine Learning for Multimedia Interaction • MLMI2008, Utrecht, NL, 2008.IEEE International Conference on Image Processing, • ICIP2008, San Diego, CA, 2008 EUSIPCO 2008, 16th European • Signal Processing Conference 2008, Lausanne, Switzerland, August 2008 (technical pro-gram committee).International Workshop on • Content-based Multimedia Indexing, CBMI2008, London, UK, 2008.WWW 2008 (Rich Media • Track), Beijing, China, 2008 (PC member)ACM-Symposium on Applied • Computing (Information Ac-cess and Retrieval track), Ceara, Brazil, 2008 (PC member)International conference on • Semantic and digital Media Technologies, SAMT2008, Koblenz, Germany, 2008 (PC member)

Figure 2: Similarity-based collection browser

Invited talksM. Soleymani and T. Pun, «Affective representation • of movie scenes based on multimedia content ana-lysis and user’s physiological emotional responses», and «Overview of research at the Computer Vision and Multimedia Laboratory, Multimodal Interaction Group», Dec. 15, 2008, NEC Laboratories America, Cu-pertino, CA, USA.S. Voloshynovskiy, O. Koval, T. Pun, “Product security • and anticounterfeiting using mobile devices: art to protect”, U-NICA Group, Liechtenstein, Oct. 2008.J. Dittman and S. Voloshynovskiy, WAVILA* (Water-• marking) overview Lessons learned from 4.5 years of WAVILA, ECRYPT: Challenges and Perspectives for Academia and Industry, Antwerp, Belgium, 27 - 29 May 2008.P. Bas and S. Voloshynovskiy, Theoretical Analysis of • Watermarking Security and Development of Prac-tical Systems, ECRYPT: Challenges and Perspectives for Academia and Industry, Antwerp, Belgium, 27 - 29 May 2008.Kludas, J., Marchand-Maillet, S., & Bruno, E. (2008). • Exploiting document feature interactions for effi-cient information fusion in high dimensional spaces. In Proceedings of the First International Workshops on Image Processing Theory, Tools and Applications (IPTA’2008), Sousse, Tunisia.



MultiMatchMultilingual/MultiMedia Access to Cultural HeritageIST FP6-STREPNo. IST-2006-033104Period: May 2006 – October 2008Website: http://www.multimatch.eu/

___

PetamediaPeer-to-peer Tagged Media, European network of excellence, FP7 ICT-2007.1.5Period: March 2008 - September 2011


Hasler Foundation

SeeColorSeeing colors with an orchestra, No. MMI - 1968.Principal investigators: Dr. G. Bologna and Prof. M. Vincken-bosch, Univ. of Applied Sciences/HES-SO, Geneva.Period: Oct. 2005 – Sept. 2008

___

Swiss National Center of Competence in Research (IM)2 - In-teractive Multimodal Information Management (Leading House: IDIAP Martigny)Period: 2002 - 2009.Website: http://www.im2.ch/

___

FNRS-SNSF, Swiss National Science Foundation:

Emotion-driven personalized content-based multimedia ma-nagementSNSF 200021-113274/1.Period: March 2007 – February 2009

___

SNF Professorship grant “Information-theoretic framework for documents and brands protection based on digital data-hiding”SNSF PP002-114613Period: April 2007 – December 2008

___

Information-theoretic document authentication and self-recovering based on digital data-hidingSNSF 200021-111643Period: September 2006 – August 2008

___

Reliable and secure forensic authentification based on ran-dom projections and distributed codingSNSF 200020-121635Period: September 2008 – August 2010

___

Collection Guide: Large scale multimedia information ma-nagementSNSF 200021-109377Period: October 2006 – September 2008

___

Collection Guide: Large scale multimedia information ma-nagementSNSF 200020-121842Period: October 2008 – Septembre 2008

___

Multimodal fusion for information processing and unders-tandingSNSF 200021-122036Period: November 2008 – August 2010

___

Marie Heim-Vögtlin grant: Fast automatic normalization and computation of muliscale lead-field models for the EEG/MEG inverse problemPMPD2-110193/1Period: October 2005 – September 2008

___

Participation to the NCCR «Affective Sciences»Thierry Pun is an Associate member of this NCCR.

Figure 3: Banknote identification based on unclonable natural randomness of banknote paper


Technology transferSpin-off: Anteleon Imaging S.A.R.L. (founded August 2003, http://www.anteleon.com/), specialized in multimedia documents protection and management, watermarking, authentication and tamper proofing as well as brands pro-tection

CVML team

Figure 4: Watch authentication based on the surface microstructure acquired by a mobile phone (SNF Prof Boursier and ECRYPT projects).

OthersEditorial boards

Eurasip International Journal on Image and Video Pro-• cessing (Hindawi, http:// www.hindawi.com/journals/ijivp/) (T. Pun).Computerized Medical Imaging and Graphics (Elsevier/• Pergamon, http://ees.elsevier.com/cmig/) (T. Pun).Advances in Multimedia (Hindawi, http://www.hin-• dawi.com/journals/am/) (T. Pun).International Journal of Image and Graphics (World Sci-• Net, http://www.worldscinet.com/ijig/mkt/editorial.shtml) (S. Voloshynovskiy)EURASIP Journal on Information Security (Eura-• sip IJS) (http://www.hindawi.com/GetJournal.aspx?journal=IS) (S. Voloshynovskiy)

Special issuesVarious public demonstrations in open days•

Refereeing/reviewingjournals, conferences, national funding organizations • for various countries.


Figure 5: MultiMatch: some results

Teaching

Introduction to computer science• , Pharmaceutical Sciences, 1st year Bachelor, 14h. course and 28h. practical work, approx. 40 students. 2 ECTS.Applied cybernetics• , Computer Science, Master, with Prof. C. Pellegrini and Dr. E. Bruno, 56h. course, 56h prac-tical work, approx. 10 students. This course ends with a Lego Mindstorm robotcup competition which involves participants from several Universities and from the Ge-neva University of Applied Sciences. 8 ECTS.Introduction to computer science• , Biology, 2nd year Ba-chelor, 28h. course et 2 x 56h. practical work, approx. 40 students. 6 ECTS.Digital image processing and synthesis• , Computer Science, 3rd year Bachelor, optional for Master and pos-tgraduate students, 56h. course and 56h. practical work, approx. 15 students. 8 ECTS.Avanced image processing• , Computer Science, Master, postgrades, 28h. course and 28h. practical work, approx. 8 students.Elements of information theory• , Computer Science, 2nd year Bachelor, Master, postgrades, 28h. course and 28h. practical work, approx. 25 students.

Multimedia security• , Computer Science, Master, pos-tgrades, 28h. course and 28h. practical work, approx. 8 students.Multimedia Information Retrieval• , Computer Science, Master, postgrades, 28h. course and 28h. practical work, approx. 14 students.Elements of multiuser information theory and wireless • communications, Science, Master, postgrades, 28h. cour-se and 28h. practical work, approx. 10 students.Data Structures• , Computer Science, 1st year Bachelor, 56h. course and 56h. lab work, approx. 15 students.Hands-on Programming (practical complement to Data • Structures) , 1st year Bachelor. 56h Practical work, 15 stu-dents. Computer Science Project• , Computer Science, 3rd year Bachelor, 28h course and 56h. lab work, approx. 15 stu-dents.Industrial Internships• , Summer Semester (3 months su-pervision), 5 students.Weekly Computer Vision and Multimedia seminars• , graduate students and senior researchers, 1h. per week, about 15 PhD students, post-docs, seniors, visitors.

Geneve Artificial Intelligence LaboratoryProf. Christian Pellegrini

GAILcu

i.uni

ge.ch

/AI-g

roup


Geneva Artificial Intelligence LaboratoryProf. Christian Pellegrini cui.unige.ch/AI-group

Team

MembersDr. Mélanie Hilario, MER

Dr. James Henderson, MERDr. Alexandros Kalousis, MA

AssistantsDr. Adam Woznica, Post doctoral fellow

PhD studentsFrédéric EhrlerJee-Hyub Kim

Huyen DoDina Vishnyakova

Domain activities

The Geneva Artificial Intelligence Laboratory (GAIL) was established in 1980 to conduct research in both theoretical and applied artifi-cial intelligence. Past research projects have dealt with the theory of knowledge representation and reasoning mechanisms, theore-tical aspects of hybrid neuro-symbolic systems, knowledge repre-sentation and interpretation for various artificial neural network (ANN) architectures, new learning algorithms for ANNs, meta-learning for algorithm and model selection, and text mining.

Current research activities focus on advanced machine learning and data mining techniques, including learning for composite re-presentations, learning for structures, kernel methods, and latent variable models. Research results have been applied to two main areas. A team lead by Melanie Hilario investigates various pro-blems in the life sciences (bioinformatics), such as the processing and classification of mass spectra, disease biomarker discovery, and biological text mining for proteomics database annotation. A team lead by James Henderson investigates tasks in natural language processing, including syntactic parsing, joint syntactic-semantic parsing, spoken language understanding, and dialogue system architectures. The latter team collaborates closely with the Laboratoire d’Analyse et de Technologie du Langage (LATL) via the interdisciplinary sub-group Com-putational Learning and Computatio-nal Linguistics (CLCL).

DirectorChristian Pellegrini

Full professor

Figure 1: Clusters of bacteria resistance

profiles

G e n e v a A r t i f i c i a l I n t e l l i g e n c e L a b o r a t o r y 25

PhD Thesis• Ivan Titov, «Kernels and Graphical Models for Structure

Prediction. Application to Natural Language Parsing», January 2008.

• Adam Woznica, «Distance and Kernel Based Learning Over Composite Representations», December 2008.

List of publicationsRefereed papers in international journals[1] J.Henderson, O.Lemon, K.Georgila. Hybrid reinforce-

ment/supervised learning of dialogue policies from fixed data sets. Computational Linguistics, 34(4):487-511, 2008.

[2] M. Hilario, A. Kalousis (2008). Approaches to Dimensio-nality Reduction in Proteomic Biomarker Studies, Brie-fings in Bioinformatics. Volume 9. number 2, pages 102--118.

[3] I. Titov, R. McDonald (2008). A Joint Model of Text and Aspect Ratings for Sentiment Summarization. 46th Meeting of Association for Computational Linguistics (ACL-08). Columbus, OH, USA.

[4] I. Titov, R. McDonald (2008). Modeling Online Reviews with Multi-Grain Topic Models. 17th International World Wide Web Conference (WWW-2008). Beijing, China.

Full refereed papers in Conference Proceedings[5] J.Henderson, P.Merlo, G.Musillo, I.Titov. A Latent Variable

Model of Synchronous Parsing for Syntactic and Seman-tic Dependencies. CoNLL 2008 Shared Task, Conf. on Computational Natural Language Learning (CoNLL-08), Manchester, UK, 2008.

[6] J.Henderson and O.Lemon. Mixture model POMDPs for efficient handling of uncertainty in dialogue manage-ment. In Proc. 46th Annual Meeting of the Association for Computational Linguistics (ACL’08), Columbus, Ohio, 2008.

[7] Alexandros Kalousis, Abraham Bernstein, Melanie Hila-rio, Meta-learning with kernels and similarity functions for planning of data mining workflows. Workshop on Planning to Learning (PlanLearn-08), held in conjunc-tion with ICML 2008, Helsinki, Finland.

[8] Irene Ntoutsi, Alexandros Kalousis, and Yannis Theodori-dis. A general framework for estimating similarity of da-tasets and decision trees: exploring semantic similarity of decision trees. In Proceedings of the SIAM Conference on Data Mining, 2008.

[9] Julien Prados, Alexandros Kalousis, and Melanie Hilario. Feature Selection with the logRatio Kernel. In Procee-dings of the SIAM Conference on Data Mining, 2008.

[10] Julien Prados, Alexandros Kalousis, and Melanie Hilario. logRatio, un Noyau pour la Sélection d’Attribut logRa-tio, a Kernel for Feature Selection. In Proceedings of the Reconnaissance des Formes et Intelligence Artificielle, Amiens, 2008.

Member of conference program committees and reviewing panelsJames Henderson:

Program Committees: ACL-HLT 2008, Columbus, Ohio, • USA. International Conference on Computational Lin-guistics (COLING 2008), Manchester, UK. CoNLL 2008, Manchester, UK. MLMI 2008, Utrecht, the Netherlands. ICTAI 2008, Dayton, Ohio, USA.

Mélanie Hilario:Area Chair, 20th IEEE International Conference on Tools • with Artificial Intelligence (ICTAI-2008), Dayton, Ohio. Program Committees: International Workshop on Com-• bining Intelligent Methods and Applications (CIMA-08), in conjunction with the European Conference on Arti-ficial Intelligence (ECAI-08), Patras, Greece. July 21-25, 2008. 19th Brazilian Symposium on Artificial Intelligence (SBIA-2008), Salvador, Bahia. October 26-30, 2008. Data Mining Applications Track, Brazilian Workshop on Data Mining Algorithms and Applications (WAAMD-2008), in conjunction with SBBD/SBES 2008. Campinas, Brazil. October 13-17, 2008. 7th Conference on Practical Aspects on Knowledge Management (PAKM-2008), Yokohama, Japan.Awards Jury, Swiss Computer Science Challenges • Awards, Informatica 08, sponsored by the Hasler Foun-dation.

Alexandros Kalousis:Program Committees: 20th IEEE International Confe-• rence on Tools with Artificial Intelligence (ICTAI-2008), Dayton, Ohio. European Conference on Machine Lear-ning/Knowledge Discovery in Databases (ECML/PKDD-08), Antwerp, Belgium.

RefereeingJames Henderson: EMNLP 2008, Honolulu, Hawaii, USA.• Mélanie Hilario: Journal of Proteome Research (JPR).• Alexandros Kalousis: ACM Transactions on Knowledge • Discovery from Data, Pattern Analysis And Machine In-telligence. BMC Bioinformatics.

Editorial responsabilitiesMélanie Hilario, Associate Editor of the International • Journal on Artificial Intelligence Tools (IJAIT), World Scientific Publishing. Mélanie Hilario, Member, Editorial Board, Intelligent • Data Analysis (IDA), IOS Press.



An Adaptive Framework for Learning over Composite Repre-sentationsFNRS ProjectPeriod: October 2008 – September 2010

Teaching

Introduction to algorithms• , Computer Science, Bache-lor, 8ECTS, 140 hours.Introduction to Artificial Intelligence• , Computer Scien-ce, Bachelor, 8 ECTS, 112 hours.Christian Pellegrini and Adam Woznica also participate • in the following courses: Applied Cybernetics (prof. T. Pun), Heuristic Methods of Learning and Optimization (prof. B. Chopard and M. Tomassini), Object-Oriented Concepts and Langugages (prof. P. Dugerdil).Data Mining• , Computer Science, Master, 8 ECTS, 52 hours.


DROP-TOPIntegration of DNA, RNA and protein markers in a tool for the prognosis and diagnosis of human diseaseFP6 037739Partners: Progenika (Spain, Coordinator), Institut Curie-CNRS (France), Institut Municipal de Investigacio Medica (Spain), Genewave (France), University of Geneva (Switzerland), Uni-versity Cyril and Methodius-Faculty of Medicine (FYR-Mace-donia), Deutsches Krebsforschungszentrum (Germany)Period: January 2007 – December 2009Website: http://www.progenika.com/eu/index.php?option=com_content&task=view&id=233&Itemid=329&lang=en

___

DebugITDetecting and Eliminating Bacteria UsinG Information Technology Large-scale integrating projectFP7Partners: Agfa HealthCare (Belgium, Coordinator), Empirica (Germany), Gama Sofia Ltd. (Bulgaria), Institut National de la Santé et de la Recherche Médicale (France), IZIP (Czech Re-public), Linköping University (Sweden), Technological Educa-tional Institute of Lamia (Greece), University College London (UK), Hôpital Universitaire de Genève (Switzerland), Univer-sity Medical Center Freiburg (Germany)Period: January 2008 – December 2011Website: http://www.debugit.eu/

___

EuroKUPKidney and Urine Proteomics. Cost Action BM0702Partners: Biomedical Research Foundation, Academy of Athens (Greece, Coordinator), Mario Negri Institute for Phar-macological Research, Bergamo (IT), University of Manches-ter (UK), National Centre for Sensor Research/BioAnalytical Sciences (IE), INSERM U858, Renal and Cardiac Remode-ling, Toulouse (FR), The Linnaeus Centre for Bioinformatics, Uppsala University / SLU, and others from 15 countries that signed the Memorandum of Understanding.Period: May 2008 – April 2011Website: http://www.eurokup.org/

___

CLASSiCComputational Learning in Adaptive Systems for Spoken ConversationSee information under the LATL laboratory

Figure 2: Mining complex data structures

cui.u

nige

.ch/i

siISI

Information System InterfaceProf. Gilles Falquet

Information System InterfacesProf. Gilles Falquet cui.unige.ch/isi

Team

MembersDr. Claudine Métral

Dr. Laurent MoccozetDr. Jacques Guyot

PhD studentsKaveh Bazargan

El Mustapha El AfitiNizar Ghoula

Claire-Lise Mottaz JiangSaïd Radhouani

Mathieu VonlanthenJean-Claude Ziswiler

Domain activities

The main research themes of the ISI group are knowledge representa-tion and knowledge access through various kinds of interfaces. In the knowledge representation area the group is more specifically working on the representation and management of multiple point of views in ontologies, the definition of generic models and operations to manage repositories of heterogeneous knowledge sources (ontologies, termino-logies, thesauri, text corpuses, ...) and the incorporation of new reasoning services (abduction, spatial reasoning, …) in knowledge bases. The work on knowledge access includes knowledge-based information retrieval, models and tools for managing semantic digital libraries, and the visuali-zation of knowledge elements in 3D virtual environments.

The group works on several interdisciplinary projects, in close collabo-ration with researchers in urbanism, geographic information systems, mathematics and architecture. The aims of these projects are mainly to incorporate new knowledge representation, reasoning, and integration techniques in sustainable urban planning and architectural reasoning.

DirectorGilles Falquet

Titular professor


I n f o r m a t i o n S y s t e m I n t e r f a c e s 29

PhD thesisSaïd Radhouani, «Un modèle de Recherche d’Infor-• mation orienté précision fondé sur les dimensions de domaine», July 2008

List of publicationsFull refereed papers in Conference Proceedings[1] Falquet, G., Mottaz Jiang, C.-L., Guyot, J. Un modèle et

une algèbre pour les systèmes de gestion d’ontologies. In proc. EGC08, Sophia Antipolis, Jan 2008.

[2] Guyot, J., Falquet, G., Radhouani, S., Benzineb K. Analy-sis of Word Sense Disambiguation-Based Information Retrieval. In 8th Workshop of the Cross-Language Eva-luation Forum, CLEF 2008, Revised Selected Papers. C. Peters, et al. (Eds.). Lecture Notes in Computer Science, Springer, 2008.

[3] Guyot, J., Falquet, G., Radhouani, S., Benzineb K. Working notes of the UNIGE Experiments on Robust Word Sense Disambiguation. In Proc. CLEF 2008 Workshop, Aarhus, 2008.

[4] Métral C., Falquet G. and Karatzas K. Ontologies for the Integration of Air Quality Models and 3D City Models. In Conceptual Models for Practitioners, J. Teller, C. Tweed, G. Rabino (Eds.), Società Editrice Esculapio, Bologna, pp. 27-42, 2008.

[5] Moccozet, L. Spatialized tags for building 3D shapes taxonomies, , Proceedings SAMT Workshop on Semantic 3D Media, First International Workshop on Semantic 3D Media, S-3D, Koblenz, Germany, pp. 45-52, 2008

[6] Moccozet, L., Cao, A., Milon, A., Droz, P. O., Vernez, D., Bul-liard, J.-L. Sketching expressive visualization of a natural phenomenon: Ultra-Violet individual exposure estima-tion, GMAI08: 3rd International Conference on Geome-tric Modeling and Imaging, London, UK, IEEE Press, pp. 47-52, 2008.

[7] Radhouani, S. Un modèle de Recherche d’Information orienté précision fondé sur les dimensions de domaine. Ph.D. Thesis, University of Geneva, Geneva, Switzerland, Joseph Fourier University, Grenoble, France, July, 2008.

[8] Radhouani, S., Falquet, G. Description Logics-Based Mo-delling for Precise Information Retrieval. In proc. 21st In-ternational Workshop on Description Logics (DL2008), Dresden, April 2008. In CEUR Workshop Proceedings series

[9] Radhouani, S., Falquet, G., Chevallet, J.-P. Description Lo-gic to Model a Domain Specific Information Retrieval System (short paper). In Proc. 19th International Confe-rence on Database and Expert Systems Applications (DEXA ‘08 ), Turin, 2008.

Books and book chapters[10] Falquet, G., Nerima, L., Ziswiler, J.-C. Hyperbooks (book

chapter). In Sebastian Ryszard Kruk, Bill McDaniel (Eds.) Semantic Digital Libraries. Bringing Digital Libraries to the Next Generation of Internet. Springer, Berlin, Ger-many, 2008.

[11] Grin, F. and Falquet, G. Free software, proprietary softwa-re and linguistic justice. Chapter in A. Strowel, A. Gos-serie and A. Marciano (Eds.)Intellectual Property Rights and Theories of Justice, Palgrave, London, 2008.

Research and technical reports[12] Métral, C. Using Ontologies for 3D City Models Semantic

Enrichment. COST C21 STSM Report, June 2008.

International and national advisory com-mittees Gilles Falquet:

Member of the advisory board• International Journal on Information - Interaction – In-• telligence (I3)Membre du comité scientifique de la revue Techniques • et sciences informatiques (TSI)Member of the Management Committee and Working • group leaderEU COST Action C21 - Towntology • Expert Wiener Wissenschaft-, Forschungs- und Techno-• logiefonds, Austria.

Claudine Métral:Proposer and Chairwoman of the EU COST Action • TU0801 “Semantic Enrichment of 3D City Models for Sustainable Urban Development”. Participating coun-tries: Austria, Belgium, Croatia, Denmark, Finland, Fran-ce, Germany, Hungary, Italy, Latvia, Netherlands, Norway, Portugal, Slovak Republic, Slovenia, Spain, Sweden, Swit-zerland, United KindomMember of the Management Committee of the EU • COST Action C21 “Urban Ontologies for an improved communication in UCE projects - Towntology”


Member of conference progam committeesGilles Falquet:

Comité scientifique de la conférence Extraction et Ges-• tion de la Connaissance EGC’08 Comité scientifique des Journées francophones sur les • ontologies. JFO. Lyon, Oct. 2008

Claudine Métral:MDISIS’08, Model Driven Interoperability for Sustai-• nable Information Systems, Montpellier, France, June 2008

Laurent Moccozet:GRAPP 2008, 3rd International Conference on Computer • Graphics Theory and Applications , 22 - 25 January, 2008. Funchal, Madeira - Portugal

Invited talksGilles Falquet: Ontologie Formali e Passaggio, «An Intro-• duction to Formal Ontologies and Ontological Langua-ges», Genova, Italy, 20th, May, 2008Gilles Falquet: 3rd Workshop on Multilingual Ontologies • for Urban Civil Engineering Projects Combining Ontolo-gies: an Algebraic Approach, Saragosa, Spain, 20th, Oc-tober, 2008


Integrating Urban Knowledge into 3D City Models within COST Action C21 «Towntology»Partners: EPF Lausanne, University of Zurich, University of Geneva (geography), Belgium, France, Italy, Spain, Norway, Finland, UK, RomaniaPeriod: 2006 - 2009


Ontology-Based Precise Multilingual Information RetrievalFNSPeriod: 2008 - 2010

___

Construction automatique de mémoires de traduction pour la traduction assistée par ordinateur et la recherche d’infor-mations multilinguesCTI/KTI

___

Formalisation et sens du projet architecturalFNSPartners: interdisciplinaire avec le département de Géogra-phie (requérant principal) et l’institut de Mathématiques de l’Université de GenèvePeriod: 2008 - 2011

Teaching

Programmation de base• , Information Systems, Bachelor course, 6 ECTS, 56 hours, 18 studentsOutils formels pour les systèmes d’information• , Infor-mation Systems, Bachelor course, 6 ECTS, 56 hours, 14 studentsAlgorithmes et structures de données• , Information Sys-tems, Bachelor, 6 ECTS, 56 hours, 12 students Interfaces avancées pour les services• , Information Sys-tems, Master course, 6 ECTS, 56 hours, 6 studentsSystèmes de représentation des connaissances : princi-• pes et applications, Information Systems, Master cour-se, 6 ECTS, 56 hours, 4 studentsInterfaces des systèmes d’information• , Information Systems, Master course, 6 ECTS, 56 hours, 8 studentsModélisation des bases de données spatiales,• Service course Information Systems, Master course, 3 ECTS, 28 hours, 36 studentsProduction de documents web et conception de sites• , Certificat de Formation continue, Information Systems, 1 ECTS, 40 hours, 25 studentsCréation et gestion d’application web interactives• , Cer-tificat de Formation continue, Information Systems, 1 ECTS, 40 hours, 25 studentsSites web dynamiques, bases de données et systèmes • de gestion de contenu, Certificat de Formation conti-nue, Information Systems, 1 ECTS, 40 hours, 25 studentsLa 3D comme outil d’expertise, de décision et de com-• munication, Session de Formation continue, Informa-tion Systems, 0 ECTS, 50 hours, 112 students

ww

w.la

tl.un

ige.

chLATL

Laboratory for the Analysis and Technology of Language

Prof. Eric Wehrli


Laboratory for the Analysis and Technology of LanguageProf. Eric Wehrli www.latl.unige.ch

Team

MembersDr. Paola Merlo

Mr. Luka NerimaDr. Violeta Seretan

Dr. Lonneke van der PlasAndrea Gesmundo

Jean-Philippe GoldmanAlexis Kauffmann

Gloldjihan KatchajevAntonio Leoni de Leon

Athina MichouGabriele Musillo

Lorenza RussoTanja Samardzic

Yves ScherrerSandra Schwab

Domain activities

The LATL develops research, prototypes, and open source software for se-veral facets of natural language processing. The main areas of research are automatic analysis of sentence structure (parsing) and its meaning, and the development of lexicons and dictionaries. Parsing is at the core of several applications: text-to-speech synthesis, terminological extrac-tion, computer-assisted language learning, text mining, and machine translation. This goal is pursued through the two main methodologies available today: the development of large-scale and robust grammar-based systems and the development of adaptive systems that learn from large amounts of data. The systems developed at LATL span several lan-guages: French, English, German, Italian, and other languages are unde-rway (Greek, Spanish, Japanese, Arabic, Czech, Chinese, and Catalan). The LATL group collaborates closely with the AI group in the development of adaptive data-driven systems for several parsing-based tasks, such as in-vestigations of shallow levels of meaning representations and spoken-language understanding for dialogue systems.

DirectorEric Wehrli

Full professor

LATL team

L a b o r a t o r y f o r t h e A n a l y s i s a n d T e c h n o l o g y o f L a n g u a g e 33

PhD thesisLeoni de Léon Jorge Antonio, «Modèle d’analyse lexico-• syntaxique des locutions espagnoles», June 2008Maria-Violeta Seretan, «Collocation Extraction Based • on Syntactic Parsing», August, 2008

List of publicationsRefereed papers in international journals[1] Violeta Seretan and Eric Wehrli, Multilingual collocation

extraction with a syntactic parser, Language Resources and Evaluation, DOI: 10.1007/s10579-008-9075-7 , 2008 (“Online First”)

[2] Schwab, S., Miller, J.L., Grosjean, F. & Mondini, M.. Effect of speaking rate on the identification of word bounda-ries, Phonetica, 65, 173-186, 2008.

Full refereed papers in Conference Proceedings[3] Genest, P.-E., Lapalme, G., Nerima, L., Wehrli, E. Ness: a

Symbolic Summarizer for the Update Task of TAC 2008, in Proceedings of the Text Analysis Conference (TAC 2008), Gaithersburg, MD, November 2008.

[4] Jean-Philippe Goldman, Antoine Auchlin, Mathieu Avan-zi, Anne-Catherine Simon. ProsoReport: an automatic tool for prosodic description. Application to a radio style, Speech Prosody 2008, Campinas, Brasil, May 2008.

[5] Henderson J., Merlo P., Musillo G. A., Titov I., A Latent Va-riable Model of Synchronous Parsing for Syntactic and Semantic Dependencies, Proceedings of the 12th Confe-rence on Computational Natural Language Learning (CoNLL’08), August 2008, Manchester, UK, pp. 178--182.

[6] Leoni de León, J.A., Schwab, S. & Wehrli, E. . Análisis sin-táctico profundo del español: un ejemplo del procesa-miento de secuencias idiomáticas. XXIV Congreso de la SEPLN 2008, Madrid, Spain, pp. 37-44.

[7] Jean-Luc Manguin, Lonneke van der Plas, and Jörg Tie-demann, Le Traitement Automatique : un Moteur pour l’Evolution des Dictionnaires de Synonymes. Procee-dings of the Colloque International Lexicographie et Informatique : Bilan et Perspectives, pp 27-33, January 2008

[8] Merlo P., Musillo G., Semantic Parsing for High-Precision Semantic Role Labelling, Proceedings of the 12th Confe-rence on Computational Natural Language Learning (CoNLL’08), August 2008, Manchester, UK, pp. 1--8.

[9] Musillo G., Merlo P., Unlexicalised Hidden Variable Mo-dels of Split Dependency Grammars, Proceedings of the 46th Annual Meeting of the Association for Computa-tional Linguistic (ACL-HLT’08), June 2008, Columbus, Ohio, pp. 213—216.

[10] Nerima, L., Wehrli E. Generating Bilingual Dictionaries by Transitivity, in Proceedings of the LREC’08 Conferen-ce, Marrakech, May 2008.

[11] Nicolas Obin, Jean-Philippe Goldman, Mathieu Avanzi, Anne Lacheret, Comparaison de trois outils de détection automatique de proéminences en français parlé, Jour-nées d’Etudes sur la Parole 2008, Avignon, France, June 2008.

[12] Scherrer Yves: Transducteurs à fenêtre glissante pour l’induction lexicale. RECITAL 2008, Avignon, France, June 2008.

[13] Scherrer Yves: Part-of-speech tagging with a symbolic full parser: Using the TIGER treebank to evaluate Fips. Workshop on Parsing German, ACL 2008, Columbus, Ohio, USA.

[14] Schwab S., Racine, I. & Goldman, J.-P. Les Vaudois parlent-ils réellement plus lentement que les Parisiens? Un dé-but de réponse. Phonologie du français contemporain: variation, interfaces, cognition. Journées PFC, Paris, De-cember 2008.

[15] Schwab, S. (2008). Relationship between Speech Rate Production and Perception. Workshop on Empirical Ap-proaches to Speech Rhythm, Center for Human Com-munication, UCL, March 2008.

[16] Anne-Catherine Simon, Mathieu Avanzi, Jean-Philippe Goldman, La détection des proéminences syllabiques. Un aller-retour entre l’annotation manuelle et le traite-ment automatique,1er Congrès mondial de la Linguisti-que Française,Paris, France, July 2008

[17] Anne-Catherine Simon, Antoine Auchlin, Mathieu Avan-zi, Jean-Philippe Goldman, Les phonostyles: une descrip-tion prosodique des styles de parole en français, Asso-ciation of French Language Studies, September 2008

[18] Lonneke van der Plas, Jörg Tiedemann, and Jean-Luc Manguin, Extraction de Synonymes à Partir d’un Corpus Multilingue Aligné, Proceedings of the 5èmes Journées de Linguistique de Corpus, September 2008

[19] Lonneke van der Plas, Jörg Tiedemann, Using Lexico-Se-mantic Information for Query Expansion in Passage Re-trieval for Question Answering, Proceedings of the Co-ling 2008 Workshop: Information Retrieval for Question Answering. August 2008.

[20] Wehrli, E., Nerima, L. (2008). Traduction multilingue: le projet MulTra, in Proceedings of the JEP – TALN – RECI-TAL Conference, Avignon, June 2008.

Books ans book chapters[21] Lonneke van der Plas, Automatic Lexico-Semantic Acqui-

sition for Question Answering. Groningen Dissertations in Linguistics, ISBN 978-90-367-3564-3, October 2008


Paola Merlo, Member of the Executive Board for the Eu-• ropean Chapter of the Association for Computational Linguistics, 2006-2008.


V. Seretan, LREC 2008 Workshop «Towards a Shared Task • for Multiword Expressions (MWE 2008)», Marrakech, Morocco, June, 2008V. Seretan, ConsILR 2008 Workshop «Romanian Linguis-• tic Resources and Tools for Natural Language Proces-sing»

Invited talksGabriele Musillo, Unlexicalised Hidden Variable Models • of Split Dependency Grammars, Artificial Intelligence and Information Systems Seminar, University of Illinois at Urbana-Champaign, Illinois, USA, May 2008.Lonneke van der Plas, Automatic Acquisition of Lexico-• semantic Information for Question Answering., ILPS seminar, University of Amsterdam,18 April 2008Eric Wehrli, Assistance syntaxique, assistance termi-• nologique et traitement des collocations, Information Systems Institute research seminar, HEC, University of Lausanne, October 11, 2008.Paola Merlo, Issues in Joint Syntactic and Semantic Par-• sing, LORIA, Nancy, December 2008. Paola Merlo, Semantic Parsing for High-precision Se-• mantic Role Labelling,University of Heidelberg, May 2008Paola Merlo, Joint Syntactic Parsing and Semantic Role • Labelling, University of Gothenborg, May 2008.


CLASSiCComputational Learning in Adaptive Systems for Spoken ConversationPeriod: March 2008 - February 2011. Web Site: http://www.classic-project.org/Partners: University of Edinburgh (coordinator), Cambridge University, Ecole Supérieure d’Eléctricité (Metz), France Tele-com.


MulTraMultiligual Translation Model Based on Object OrientedFNSPeriod: October 2006 – September 2008

___

Développement d’un modèle plurilingue de traitement des langues naturellesSNFS 100012-103999Period: July 2008 – June 2010

___

Learning Verb Meaning with Hidden GrammarsSwiss National Science Foundation, grant no. 11-114044Period: 2006 - 2009

___

Corpus-based Explorations of Cross-Linguistic Syntactic and Semantic ParallelismSwiss NSF, grant no. 11-114044Period: 2008 - 2011

Technology transferLATL.ch is a technology start-up specialized in the develop-ment of linguistic software components. Closely associated with LATL laboratory, LATL.ch develops and commercializes products based on fundamental research conducted in the


university lab. Two companies involved in Speech synthesis use its phonetiser: Acapela Group, a European group, and SVOX, a start-up located in Zürich.

OthersHonours and scientific awards

Scherrer Yves ATALA young researcher award 2008.•

RefereeingACL 2008 – Machine Learning and Semantics Sections; • Journals: Computational Linguistics, Natural Language Engineering“, “Language Resources and Evaluation”

DisseminationLonneke van der Plas’s dissertation was selected by • KennisLink, a media organisation founded by the Dutch Ministry of Education, Culture and Science to be the subject of a web article. http://www.kennislink.nl/web/show?id=213450 Violeta Seretan, Contribution to the book “Les • liaisons fructueuses: des rencontres insolites de disci-plines et d’institutions – l’aventure du Réseau univer-sitaire international de Genève à l’aube du 21e siècle.” (http://www.ruig-gian.org/research/outputs/output.php?ID=417; edited by The Geneva International Aca-demic Network) with a presentation of a past research project. Collaboration to the project EAGL: Engine for question-• answering Genomics Literature. FNS Partners: Medical Service of the Geneva University Hospitals, Swiss-Prot, Swiss Institute of Bioinformatics http://www.natlang.hcuge.ch/Resources/online-tools.html

TeachingDatabases• , Unit of Computer Science for the Humani-ties, Bachelor, 12 ECTS, 112 hours, 15 studentsData Structures and Programming• , Unit of Computer Science for the Humanities, Bachelor, 6 ECTS, 84 hours, 6 studentsObject Oriented Project• , Unit of Computer Science for the Humanities, Bachelor, 6 ECTS, 84 hours, 6 studentsInformation Communication Technologies• , Unit of Computer Science for the Humanities, Bachelor & Mas-ter, 12 ECTS, 140 hours, 16 studentsNatural Language Processing• , Unit of Computer Science for the Humanities, Master, 12 ECTS, 140 hours, 7 stu-dentsInformatique I – Introduction à l’algorithmique et à la • programmation, Unit of Computer Science for the Hu-manities, Bachelor, 12 ECTS, 140 hours, 15 studentsInformatique I – Programmation Web• , Unit of Compu-ter Science for the Humanities, Bachelor, 12 ECTS, 140 hours, 20 studentsEmpirical Methods in Natural Language Processing • : Statistical Machine Translation, Unit of Computer Science for the Humanities, Master, 12 ECTS, 56 hours, 3 students

mat

is.u

nige

.chMATIS

Geneva Team Database LaboratoryProf. Michel Léonard


Geneva Team Database LaboratoryProf. Michel Léonard matis.unige.ch

Team

MembersDr. Jolita Ralyte

Dr. Mehdi SneneDr. Abdelaziz Khadraoui

AssistantsNicolas Arni-Bloch

Wanda OpprechtJorge Pardellas

PhD studentsHammouya Messaoud

Mabel Triguis

Domain activities

The Information System domain through the technological perspectives but not limited to this only aspect is the major theme of the laboratory. Methods are very important in IS pro-ject management: their underlying stakes are underestimated in the research efforts and in the economy because of the lack of maturity of the development of informatics. Evolution is also a major IS aspect : from it, new kinds of IT architecture much more relevant are studied and implemented. Consequently the domain of risk analysis takes a complete dimension taking into account technical aspects, informational aspects and or-ganizational aspects. In fact the IS domain becomes now the core of the Services Sciences which is an emerging and fun-damental domain at the level of any University. For instance, traditional statistics offices will be able to capture new oppor-tunities with a lot of deep transformations, and the footprint of the behaviour will be crucial.

DirectorMichel Léonard

Full professor

G e n e v a T e a m D a t a b a s e L a b o r a t o r y 37

List of publicationsRefereed papers in international journals[1] Snene M., Pardellas Jorge, (2008), New Approach for

in depth E-Business security, Enterprise Information Systems Journal, VOL.3, pp 22-40:

[2] Ralyté J., Lamielle, X., Arni-Bloch N., Léonard, M. (2008) Distributed Information Systems Development: A Framework for Understanding and Managing. Inter-national Journal of Computer Science & Applications, Special issue New Trends in Information System Mo-delling, Vol.5 (3b), pp: 1-24.

[3] Ralyté J., Jeusfeld M. A., Backlund P., Kühn H., Arni-Bloch N.(2008) A Knowledge-based Approach to Manage Information Systems Interoperability. Information Sys-tems, Special issue on Interoperability in Open Infor-mation Systems through Data and Service Integration. Vol.33 (7-8) Nov-Dec 2008, pp: 754-784 http://dx.doi.org/10.1016/j.is.2008.01.008.

Full refereed papers in Conference Proceedings[4] Snene M., Social Information Systems Engineering:

from data to knowledge networks, Proceedings of the 3rd Mediterranean Conference of Information Systems, Hammamet, Tunis, 2008.

[5] Snene M., Pardellas J. Digital Contents and Digital Hack, New challenges for Cyber Defense, Proceedings of CPD-DC08, United Nations, Geneva, Switzerland, 2008.

[6] Arni-Bloch N., Ralyté J., (2008) Service-Oriented Informa-tion Systems Engineering: A Situation-Driven Approach for Service Integration. Proceedings of 20th Internatio-nal Conference on Advanced Information Systems Engi-neering (CAiSE’08), 18-20 June 2008, Montpellier, France. Springer LNCS 5074, pp: 140-143.

[7] Arni-Bloch N., Ralyté J. (2008) MISS: A Metamodel of In-formation System Service. Proceedings of the 17th Inter-national Conference on Information System Develop-ment (ISD), August 25-27 2008, Paphos, Cyprus, Springer. In press.

[8] Ralyté J., Lamielle, X., Arni-Bloch N., Léonard, M. (2008) A Framework for Supporting Management in Distributed Information Systems Development. Proceedings of the 2nd IEEE International Conference on Research Challen-ges in Information Science. Marrakech, June 3-6, Mo-rocco, ISBN: 978-1-4244-1677-6, pp. 401-412.

[9] Henderson-Sellers, B., Gonzalez-Perez, C., Ralyté J. (2008) Comparison of Method Chunks and Method Fragments for Situational Method Engineering. Proceedings of the 19th Australian Software Engineering Conference, 26-28 March 2008, ISBN: 978-0-7695-3100-7, pp: 479 – 488.

[10] Abdelaziz Khadraoui, Wanda Opprecht, Christine Aïdo-nidis, Michel Léonard, “Laws-based ontology for e-Go-vernment services construction. Case study: the spe-cification of services in relationship with the venture creation in Switzerland”, conférence PoEM’2008 (IFIP WG 8.1 Working Conference on The Practice of Enter-prise Modeling: from Business Strategies to Enterprise Architectures), Stockholm, November 12-13, 2008.

[11] Diane-Sibylle Asensio, Abdelaziz Khadraoui, Michel Léonard “Information System engineering for an elec-tricity distribution company», soumis à 10th Interna-tional Conference on Enterprise Information Systems ICEIS2008, Barcelona, Spain, June12 - 16, 2008.

[12] Christine Aïdonidis, Abdelaziz Khadraoui, Michel Wa-rynski, «Enjeux de la cartographie des Systèmes d’Infor-mation pour le développement de l’administration en ligne : le cas de l’État de Genève», International Business Information Management Conference (9th IBIMA) on January 4, 5, and 6, 2008 in Marrakech, Morocco.

[13] M. Léonard, A Framework for Service oriented Teaching Programs, 4TH China-Europe International Symposium on Software Industry Oriented Education (CEISIE2008), 10-11 January 2008, Guangzhou, China.

Books and book chapters[14] Deneckère, R. Ralyté, J. et Kraiem, N. (2008). Modélisation

modulaire de méthode : le méta-modèle COMET. Dans « Ingénierie des méthodes au service des nouvelles ten-dances de développement des applications informati-ques », N. Kraïem & Y. Jamoussi (Eds.), Centre de Publica-tion Universitaire, Tunis, pp :117-149.

[15] Ralyté, J., Deneckère, R. et Jamoussi, Y. (2008). Construc-tion de méthodes par composition. Dans « Ingénierie des méthodes : des nouvelles tendances de développe-ment des applications informatiques », N. Kraïem & Y. Jamoussi (Eds.), Centre de Publication Universitaire, Tu-nis, pp : 217-288.

[16] Sayeb, A., Hassine, L. et Ralyté, J. (2008). Modèle de pro-cessus de ré-ingénierie de méthodes. Dans « Ingénierie des méthodes : des nouvelles tendances de développe-ment des applications informatiques », N. Kraïem & Y. Jamoussi (Eds.), Centre de Publication Universitaire, Tu-nis, pp : 181-216.


Conference organization as chair or co-chair• Michel Léonard, General Chair of CAISE’08 - 20th Inter-

national Conference on Advanced Information Systems Engineering, Montpellier, France, June 16-20, 2008. Jolita Ralyté Tutorials Chair of the 27th International • Conference on Conceptual Modeling – ER’08, Barcelona, Spain, 20-23 October 2008.Jolita Ralyté Track Chair at the Mediterranean Confer-• ence on Information Systems – MCIS-08, 23-26 October 2008, Hammamet, Tunisia. Track «Flexible Information Systems Development».10th Maghrebian Conference on Information Technolo-• gies, 28-30 Avril 2008, Oran, Algérie.International Business Information Management Asso-• ciation (IBIMA’2008), 9th IBIMA Conference on Informa-tion Management in Modern Organization, Marrakech, Morocco 4 - 6 Janvier 2008.

Member of conference program committeesCAISE’08 - 20th International Conference on Advanced • Information Systems Engineering, Montpellier, France, June 16-20, 2008. RCIS 2008 - International Conference on Research Chal-• lenges in Informaiton Science, Marrakech. Morocco, June 3-6, 2008. REFSQ’08 - 14th International Working Conf. on Requi-• rements Engineering: Foundation for Software Quality, Montpellier, France, June 16-17, 2008. EMMSAD’08- 13th International Workshop on Exploring • Modeling Methods in Systems Analysis and Design, Montpellier, France, June 16-17, 2008. ICEIS’08 - 10th International Conference on Enterpri-• se Information Systems, Barcelona, Spain, 12-16, June 2008. ICSOFT 2008 – 3rd International Conference on Softwa-• re and Data Technologies, Porto, Portugal, 5-8 July 2008. BPM’08 – 6th International Conference on Business Pro-• cess Management, 1-4 September 2008 Milan, Italy. PoEM’08 - IFIP WG8.1 Working Conference on The Prac-• tice of Enterprise Modeling: from Business Strategies to Enterprise Architectures, November 12-13, 2008, Stoc-kholm, Sweden. RIGIM’08 - 2nd International Workshop on Require-• ments, Intentions and Goals in Conceptual Modeling, Barcelona, Spain, 20 October 2008. MCIS’08 - Mediterranean Conference on Information • Systems, 23-26 October 2008, Hammamet, Tunisia. 4th China–Europe International Symposium on Softwa-• re Industry oriented Education.IWAISE - International Workshop on Advanced Informa-• tion Systems for Enterprises.


EMISSExecutive Master in Information Services SciencesPeriod: 2008 -Partners: Centre Henri Tudor, University of Skövde, University of Amsterdam (Vrje), University of Porto, University of Paris-Sorbonne, University of Catalognia (2), University of Brno, University of Porto


Computer Aided Situational Method EngineeringFNS (Swiss National Science Foundation) No 200020-111748/1. Period: April 2006 – April 2008

___

Knowledge pattern for distributed information systems de-signFNS No 200020-112153.Period: April 2006 - April 2008

___

Contrat avec le CTI (Centre des technologies de l’Etat de Ge-nève) Domaine du e-gouvernement

Technology transferThrough teaching modules in the MATIS program

OthersRefereeing

Report of PhD Dissertation presented by Miss G. Grau, • Polytechnic University of Catalonia, Barcelona, Spain, July 2008. Title of the disertation : An i*-based Reengi-neering Framework for Requirements Engineering Pro-cesses.Refereeing for International Journals: Journal of Systems • and Software, Journal of Service Science and Manage-ment, Transactions on Software Engineering, Informa-tion Systems and e-Business Management.President of PhD dissertation presented by M. Michel • DERIAZ, « “GeoVTag: Trusting Virtual Tags”, Faculty SES, University of Geneva, April 14, 2008.Report of HDR Dissertation presented by M. François • CHAROY, « Coordination explicite d’activités coopérati-ves », University of Nancy 1, June 23, 2008.Report of HDR Dissertation presented by Mrs Isabelle • Mirbel, « Information system structuration, reuse and flexibillity », University of Nice, June 25, 2008. Report of PhD Dissertation presented by: Mme Helga • DUARTE-AMAYA, ayant pour titre : “Canevas pour la composition de services web avec propriétés transac-tionnelles”, en vue d’obtenir le titre de Docteur de l’Uni-versité Joseph Fourier de Grenoble, discipline : Informa-tique, soutenue le 13 novembre 2007.Report of PhD Dissertation presented by M. Ahmed ZEL-• LOU, « Contribution à la réécriture LAV dans le contexte de WASSIT, un Framework d’intégration de ressources », en vue d’obtenir le titre de Docteur de l’Université Mo-hammedV – Agdal, Rabat, Maroc, discipline Sciences ap-pliquées, 5 avril 2008.Report of PhD Dissertation presented by M. Anis Khed-• haouria, ayant pour titre : «Le management de la créa-tivité en entreprise : Effets de l’utilisation de l’intranet sur la créativité des managers », en vue d’obtenir le titre de Docteur de l’Université de Savoie, soutenue le 26 no-vembre 2007 dans les locaux de l’Institut de Manage-ment de l’Université de Savoie.

Invited lecturesJolita Ralyté: Methods and Method Engineering for In-• formation Systems Development. (12 h, 3 credits ECTS, Master). Polytechnic University of Catalonia, Barcelona, Spain, April 2008.Jolita Ralyté: Assembly-based Method Engineering. (4h, • Master). University of Utrecht, The Netherlands, March 2008.

G e n e v a T e a m D a t a b a s e L a b o r a t o r y 39

Research seminarsJolita Ralyté: Situational Method Engineering for Intero-• perability. Research seminar at the Polytechnic Univer-sity of Catalonia, Barcelona, Spain, April 2008. Jolita Ralyté: A Knowledge-Based Approach to Manage • Information Systems Interoperability. Research seminar at the University of Utrecht, The Netherlands, March 2008.

Institutional projectsThink tank on Services Sciences: 5 meetings• INFORMATICA*08, salon du livre, continuous animation • for the promotion of IS studies, Geneva, Palexpo April 30 – May 4.

TeachingInformation System Project Management• , Information Systems, 6 ECTS, autumn semester, 80 hours, lectures and seminars, Master, 15 students.Evolution and Interoperability of Information Systems• , Information Systems, 6 ECTS, autumn semester, 80 hours, lectures and seminars, Master, 15 students.Knowledge management• , Information Systems, 6 ECTS, spring semester, 80 hours, lectures and seminars, Mas-ter, 15 students.Advanced Information Base• , Information Systems, 6 ECTS, spring semester, 80 hours, lectures and seminars, Master, 15 students.Data bases• , Information Systems, 6 ECTS, spring semes-ter, 80 hours, lectures and seminars, Bachelor, 20 stu-dents.Database design• , Information Systems, 6 ECTS, winter semester, 80 hours, lectures and seminars, Bachelor, 20 students.Information system modelling• , Information Systems, 6 ECTS, spring semester, 80 hours, lectures and seminars, Bachelor, 30 students.Informatics and Information system 1• , Information Sys-tems, 3 ECTS, spring semester, 40 hours, lectures and seminars, Master, 10 students.Certificates in Management and Technologies of Infor-• mation Systems (MATIS) in Continuing Education, 10 ECTS each.

ww

w.m

irala

b.un

ige.

chMIRALab

MIRALab LaboratoryProf. Nadia Magnenat-Thalmann


MIRALab LaboratoryProf. Nadia Magnenat-Thalmann www.miralab.unige.ch

Team

Assistants (PhD students)Lazhari Assassi

Yacine BenmansourUgo Bonanni

Caecilia CharbonnierAlessandro FoniMustafa Kasap

Zerrin KasapBart Kevelham

Christiane LuibleEtienne Lyard

Mélanie MontagnolVincent Muggeo

Jérôme SchmidTristan Whitmarch

Niels NijdamMaher Benmoussa

Senior researchersParag Chaudhuri (Post Doc)

Mingyu Lim (Post Doc)Georgios Papagiannakis (Post Doc)

Dimitris Protopsaltou (Post Doc)Pascal Volino (Post Doc)

Han Seunghyun. (Post Doc)Marlène Arévalo-Poizat

Nedjma Cadi-Yazli

AdministrationGuillaume Eynard

Ghislaine Wharton

Domain activities

MIRALab was founded in 1989 by Professor Nadia Magne-nat-Thalmann and brings together about 25 researchers from different fields, such as computer science, mathema-tics, medical field, design, architecture, fashion design, co-gnitive science, etc. This truly interdisciplinary group works in the field of computer graphics, computer animation and virtual worlds. Since 1992 the team has participated in more than 30 European Projects. In 2008, MIRALab was working on the following projects: 3D ANATOMICAL HUMAN, AIM@

SHAPE, CALVIN, CATCH, CO-ME, EPOCH, FOCUS 3D, FNRS, FRANCOPHONIE, INDIGO, INTERMEDIA, INTUITION, LEAPFROG IP, OPENDANCE, SERVIVE and UNDERSTAN-DING 3D, as well as in Inter-national conferences, often organised in Switzerland by MIRALab.

DirectorNadia Magnenat-Thalmann

Full professor

Fig.1: Calvin

Fig 2: Networks

M I R A L a b L a b o r a t o r y 43

PhD thesisChristiane Luible, «Study of the accuracy of fabric pro-• perties in virtual simulation», September 2008Etienne Lyard, «Motion adaption based on character • shape», September 2008

List of publicationsRefereed papers in international journals[1] G. Papagiannakis, G. Singh, N. Magnenat-Thalmann . A

survey of mobile and wireless technologies for augmen-ted reality systems. Journal of Computer Animation and Virtual Worlds, John Wiley and Sons Ltd, March 2008, (to appear), March 2008.

[2] N. Magnenat-Thalmann, A. Peternier, X. Righetti, M. Lim, G. Papagiannakis, T. Fragopoulos, K. Lambropoulou, P. Barsocchi, D. Thalmann. A virtual 3D mobile guide in the INTERMEDIA project. The Visual Computer, Springer, Vol. 24, No. 7-9, pp. 827-836, July 2008.

[3] U. Bonanni, M. Montagnol, N. Magnenat-Thalmann. Multilayered visuo-haptic hair simulation. The Visual Computer, Springer Berlin / Heidelberg, Vol. 24, No. 10, pp. 901-910, October 2008.

[4] P. Chaudhuri, G. Papagiannakis, N. Magnenat-Thalmann. Self adaptive animation based on user perspective. The Visual Computer, Springer, 24, 7-9, pp. 525-533, July 2008.

[5] E. Lyard, N. Magnenat-Thalmann. Motion Adaptation Based on Character Shape. Computer Animation and Virtual Worlds, John Wiley and Sons Ltd, Vol. 19, No. 3-4, pp. 189-198, September 2008.

Full refereed papers in Conference Proceedings[6] C. Luible, N. Magnenat-Thalmann. The simulation of

cloth using accurate physical parameters. CGIM 2008, Insbruck, Austria, 2008.

[7] N. Magnenat-Thalmann, C. Charbonnier, J. Schmid. Mul-timedia Application to the Simulation of Human Mus-culoskeletal System: A Visual Lower Limb Model from Multimodal Captured Data. Proceedings of the IEEE In-ternational Workshop on Multimedia Signal Processing, Cairns, Australia, pp. 520-525, October 2008.

[8] J. Schmid, N. Magnenat-Thalmann. MRI Bone Segmen-tation using Deformable Models and Shape Priors. MIC-CAI ‘08, Part I. LNCS, Springer Berlin / Heidelberg, 5241, pp. 119-126, September 2008.

[9] N. Magnenat-Thalmann, Z. Kasap and M. Benmoussa. Communicating with a virtual human or a skin-based robot head. 8th IEEE International Conference on Automatic Face and Gesture Recognition, Amsterdam, Netherlands, 2008.

[10] C. Charbonnier, E. Lyard, N. Magnenat-Thalmann. Analy-sis of Extreme Hip Motion in Professional Ballet Dancers. Proceedings of the 10th International Symposium on 3D Analysis of Human Movement, Amsterdam, Netherlan-ds, October 2008.

[11] M. Lim, N. Nijdam, N. Magnenat-Thalmann. A general collaborative platform for mobile multi-user applica-tions. 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2008), IEEE, CD Proceedings (ISBN: 1-4244-1506-3), pp. 1346-1353, September 2008.

[12] D. Vogiatzis, C. Spyropoulos, S. Konstantopoulos, V. Karka-letsis, Z. Kasap, C. Matheson and O. Deroo. An Affective Robot Guide to Museums . Fourth International Works-hop on Human-Computer Conversation, October 2008.

Books and book chapters[13] Z. Kasap and N. Magnenat-Thalmann. Intelligent Virtual

Humans with Autonomy and Personality : State-of-the-Art. New Advances in Virtual Humans (Eds.) Nadia Ma-gnenat-Thalmann, Lakhmi C. Jain, N. Ichalkaranje, Stu-dies in Computational Intelligence, Springer, pp. 43-84, 2008.

[14] N. Magnenat-Thalmann, U. Bonanni. Haptic sensing of virtual textiles. Human Haptic Perception - Basics and Applications, Springer Berlin / Heidelberg, ISBN: 978-3-7643-7611-6, 2008.

[15] N. Magnenat-Thalmann, E. Lyard, M. Kasap, P. Volino. Adaptive Body, Motion and Cloth. Motion in Games, Springer-Verlag, pp. 63-71, 2008.

Research and technical reportsSeveral technical reports for the following projects: 3D ANA-TOMICAL HUMAN, AIM@SHAPE, CALVIN, CATCH, CO-ME, EPOCH, FOCUS 3D, FNRS, FRANCOPHONIE, INDIGO, INTER-MEDIA, INTUITION, LEAPFROG IP, OPENDANCE, SERVIVE and UNDERSTANDING 3D.


2008: President of the Jury of Wiener Wissenschafts-, • Forschungs- und Technologiefonds (WWTF), Vienna, October 20082008: Member of the recruiting committee for School • of Computer Science, Swiss Federal Institute of Techno-logy, Lausanne.2007- 2008: Member of the National Consultation • Group for European Union, under the Seventh Program Framework, NMP, State Secretariat for Education and Research (SER)2007-2009: Independent expert for evaluation and re-• search proposals, European Commission, Information Society and Media, Directorate General, Brussels, Bel-gium.2007-2009: Invited in the Group of User Centric Media, • European Commission, Information Society and Media.2007-2008 Expert in the working group networked • media of the future, European Commission, Brussels, Belgium.2004-2009: Expert to Assess Grants Proposal for Re-• search Grants Council, Hong Kong, China2002- Present: Member of the Strategic Advisory Board • Committee, City University, Hong Kong, China.2003-2009 Expert for National grants, University of • Singapore.2000- Present: Member of the “3ème cycle romand d’in-• formatique”, Conférence universitaire de la Suisse occi-dentale (CUSO), Switzerland.



Dec. 2008: Program Chair of the Workshop on modeli-• sation of the human body, held in Zermatt, December 1-4, 2008October 2008: Worshop and Program Chair of the IN-• TERMEDIA Workshop, held in Geneva, October 14, 2008 Sept. 2008: Program Co-chair, Computer Animation and • Social Agents, CASA’2008, Korea.June 2008: Conference Co-chair, Computer Graphics In-• ternational 2008, CGI 2008, Istanbul, Turkey.

Member of conference program committeesComputer Animation and Social Agents (CASA) 2008, • Seoul, Korea, September 2008.ADVCOMP 2008, The Second International Conference • on Advanced Engineering Computing and Applications in Sciences, Valencia, Spain, October 2008.3IA2007, Athens, Greece, May 2008.• AAMAS08, International Conference on Autonomous • Agents and Multi-Agent Systems, Esturial, Portugal, May 2008.GRAPP 2008, Third International Conference on Com-• puter Graphics Theory and Applications, Madeira Island, Portugal, January 2008.

Invited talksInvited Speech at European Commission ICT event in • Lyon, “Future Media and 3D Internet Task Force – Re-search direction”, Lyon November, 26, 2008Keynote speech on Multimedia Application of the Simu-• lation ofHuman Musculoskeletal System at the International • Workshop on Multimedia Processing, Cairns Australia, October 8, 2008Keynote speaker on Communicating with a virtual hu-• man or a skin-based robot head at the Conference on Automatic Face and Gesture recognition’2008, Amster-dam, September 18, 2008Keynote speaker at the Conference DIMEA’2008 , “Inte-• racting with Virtual and Augmented Worlds», Septem-ber 10, 2008Invited talk at the University of Corfu, “Physics-based si-• mulation of clothes and Virtual Try On” , Tuesday August 26, 2008Invited talk in the framework of the EU project Leapfrog • on Virtual Worlds, Hugo Boss, Metzingen, Germany, July 3rd, 2008Invited speaker at the University of Zuerich under the • cycle of conferences «Klon statt Person? Individualität im 21. Jahrhundert», April 17, 2008Invited speaker at the European Community, Workshop • on Future Media Internet, January 22, 2008.


SERVIVE«SERVice oriented Intelligent Value adding nEtwork for Clo-thing-SMEs embarking in Mass-Customization»Period : September 2008 - August 2011Partners: 15 partners (Adidas AG – Germany, Athens Techno-logy Center – Greece, Customax – Netherlands, Digital Hu-mans – Switzerland, Hohenstein Institute – Germany, Insti-tut français du textile et de l’habillement – France, MIRALab, University of Geneva – Switzerland, National Center of Science and Research «Demokritos» – Greece, Nottingham Trent University - Great Britain, RWTH-Aachen – Germany, Silva & Sistelo SA – Portugal, StudioDemetra – Italy, Team Colours Ltd. – Great Britain, The University of Arts London – Great Britain, Unicatum – Germany)

___

FOCUSK3D«FOster the Comprehension, adoption and USe of Knowled-ge intensive technologies for coding and sharing 3D media content in consolidated and emerging application commu-nities»Period : March 2008 - February 2010Website : http://focusk3d.eu/Partners: 9 partners (C.N.R. – Istituto di Matematica Appli-cata e Tecnologie Informatiche – Dept. Of Genova – Italy, Center for Research and Technology - Thessaly - Laboratory for Information Technology , Systems and Services (LITSS) – Greece, Ecole Polytechnique Féderale de Lausanne, Virtual Reality Laboratory (VRLab) – Switzerland, INRIA – France, Max-Planck-Institutfür Informatik – Germany, MIRALab, Uni-versity of Geneva – Switzerland, Stiftelsen for industriell og teknisk forskning ved Norges Tekniske Høgskole – Norway, Utrecht University – Netherlands)

___

INDIGO«Interaction with Personality and Dialogue Enabled Ro-bots»Period: February 2007- July 2009Website: http://www.ics.forth.gr/indigo/Partners: 9 partners (Acapela Group - Belgium, Albert-Lud-wigs University of Freiburg - Germany, Athens University of Economics and Business - Greece, Foundation for Research & Technology - Hellas Institute of Computer Science - Greece, Foundation of the Hellenic World - Greece, Hanson Robotics - U.S., National Centre for Scientific Research «Demokritos» - Greece, Neobotix / GPS - Germany, University of Edinburgh - United Kingdom

___

FRANCOPHONIE«Accès au patrimoine vestimentaire contemporain et tradi-tionnel francophone»Period: December 2006 - December 2008Type: Fonds Francophone des Inforoutes

___


INTERMEDIA«Interactive Media with Personal Networked Devices»Period: October 2006 – September 2010Website: http://intermedia.miralab.unige.chPartners: 16 partners (MIRALab, Université de Genève - Swit-zerland (coordinator), Interdisciplinair instituut voor Bree-dBandTechnologie VZW - Belgium, Industrial Systems Ins-titute / Integrated Research Information Society - Greece, Lancaster University - United Kingdom, Rheinisch-Westfae-lische Technische Hochschule Aachen - Germany, Università degli Studi di Genova - Italy, Fraunhofer Gesellschaft zur Foerderung der angewandten Forschung e.V. - Germany, Kla-genfurt University - Austria, Ecole Polytechnique Fédérale de Lausanne - Switzerland, Groupe des Ecoles de Télécommuni-cations - France, Information and Communications Univer-sity - Korea, Intracom S.A. Telecom Solutions - Greece, OFFIS e.V. - Germany, Consiglio Nazionale Delle Ricerche - Italy, Te-lefónica Investigación y Desarrollo Sociedad Anónima Uni-personal - Spain, Carleton University - Canada)

___

3D Anatomical Human«3D Anatomical Functional Models for the Human Muscu-loskeletal System»Period : October 2006 – September 2010Website : http://3dah.miralab.unige.ch/ Partners: 8 partners (MIRALab, University of Geneva - Swit-zerland, Istituti Ortopedici Rizzoli – Italy, University College London – Great Britain, Institut National de Recherche en Informatique et Automatique – France , Visual Computing Group, CRS4 - Italy, Ecole Polytechnique Fédérale de Lau-sanne – Switzerland, Vrije Universiteit Brussel – Belgium, Center for Sensory-Motor Interaction, Aalborg University - Denmark)

___

OPENDANCE«Open-editing cooperative platform for web Dance»Period : October 2005 - September 2008Website : www.aegean.gr/culturaltec/CILab

___

LEAPFROG IP«Leadership for European Apparel Production From Research along Original Guidelines (Integrated Project)Period : May 2005 – July 2009Website : www.leapfrog-eu.org/Partners: 38 partners (Euratex – Belgium, ANTEX, Angles Textil – Spain, ATC, Athens Technology Center – Greece, Bekleidungsphysiologisches, Institut Hohenstein – Germany, D’Appolonia – Italy, DITF- ITV – Germany, ENEA – Italy, IFTH, Institut Français Textile Habillement – France, Lectra S.A. – France, Philipp Moll office for modern sewing technology – Germany, TNO – Netherlands, University of Cambridge, Cavendish Laboratory – Great Britain, MIRALab, University of Geneva – Switzerland, DIMEC, Dipartimento di Meccanica e Costruzione delle Macchine - Universita degli Studi di Ge-nova, CENTEXBEL, Wetenschappelijk en Technisch Centrum van de Belgische Textielnijverheid, Grado Zero Espace S.r.l., Angles Textil SA, Ermenegildo Zegna, STAM S.r.l., Universita Politecnica delle Marche, Philipp Moll - office for modern

sewing technology, LECTRA SA, University of Cambridge, Bi-volino.com, Wilhelm Zuleeg GmbH, TXT e-Solutions GmbH, Hugo Boss AG, CSGI - Consorzio per lo Sviluppo dei Sistemi a Grande interfase, Assyst - Gesellschaft fur Automatisierung, Software und Systeme GmbH, KUKA-InnoTec GmbH, Grou-pe Flory SA., Fratelli Piacenza Spa, Browzwear International Ltd., CITEVE - Centro Tecnologico das Industrias Textil e do Vestuario de Portugal, Ten Cate Advanced Textiles bv, COLOR WEB GmbH by Peppermint, ROBOT, European Commission

___

INTUITION«Network of Excellence on Virtual Reality anb Virtual Envi-ronments Applications for Future Workspaces»Period: September 2004 - August 2008Website: www.intuition-eunetwork.net/ Partners: 57 partners (Advanced Realtime Tracking GmbH - Germany, Akademia Ekonomiczna w Poznaniu - Poland, Ale-nia Aeronautica - Italy, ALENIA Spazio S.p.A. - Italy, Associa-tion pour la Recherche et le Développement des Méthodes et Processus Industriels - France, Barco NV - Belgium, C.R.F. Società Consortile per Azioni - Italy, Centre for Research and Technology Hellas / Hellenic Institute of Transport - Gree-ce, Centre Lavallois de Ressources Technologiques - France, Centre National de la Recherche Scientifique - France, Com-misariat à l’Energie Atomique - France, CS Systèmes d’Infor-mation - France, DASSAULT Aviation - France, EADS Space Transportation GmbH, Ecole Nationale d’Ingénieurs de Brest - France, Ecole Polytechnique Féderale de Lausanne - Switzerland, Electricité de France - France, Foundation of the Hellenic World - Greece, France Telecom R & D - France, Frau-nhofer-Gesellschaft zur Förderung der angewandten Fors-chung - Germany, HAPTION S.A. - France, Helsinki University of Technology - Finland, ICIDO Gesellschaft für innovative Informationssysteme mbH - Germany, Institut National de Recherche en Informatique et Automatique - France, Insti-tut National de Recherche et de Sécurité - France, Institute of Communication and Computer Systems - Greece, Institu-te of Computer Science, Foundation for Research and Tech-nology – Hellas - Greece, Italdesign – Giugiaro Spa - Italy, LA-BEIN - Spain, Max Planck Institute for Biological Cybernetics - Germany, MERCURY COMPUTER SYSTEMS SARL, ONDIM - France, OVIDIUS University of Constanta - Romania, Robotics Institute – University of Valencia - Spain, S C N R Tech, S.R.L Brasov - Romania, Scuola Superiore di Studi Universitari e di Perfezionanamento S.ANNA - Italy, Société Nationale des Chemins de Fer Français - France, Space Applications Services NV - Belgium, Swiss Federal Institute of Technology, Zurich - Switzerland, Technische Universität München - Germany, TECNATOM,S.A. - Spain, TILS - Italy, TNO - The Netherlands, Universidad de Málaga - Spain, Universidad Politécnica de Madrid - Spain, University of Basel - Switzerland, University of Cyprus - Cyprus, University of Nottingham - U.K., Univer-sity of Patras - Greece, University of Salford - U.K., University of Sussex - U.K., University of Twente - The Netherlands, Uni-versity of Warwick - U.K., University of West Bohemia - Czech republic, University Transilvania of Brasov - Romania, Volvo Technology Corporation - Sweden, VTT Technical Research Centre of Finland - Finland)

___

EPOCH«European research network on excellence in Processing Open Cultural Heritage»Period : March 2004 - March 2008Website : www.epoch-net.orgPartners: 100 (non exhaustive list: University of Brighton – Great Britain, Ename Centre for Public Archaeology and He-ritage – Belgium, Katholieke Universiteit Leuven – Belgium, MIRALab, University of Geneva – Switzerland, PIN scrl, Servizi didattici e scientifici per l’Università di Firenze – Italy, Tech-nische Universitaet Graz – Austria, Technische Universitaet Wien – Austria)

___

AIM@SHAPE«Advanced and Innovative Models And Tools for the develo-pment of Semantic-based systems for Handling, Acquiring, and Processing knowledge Embedded in multidimensional digital objects.»Period: January 2004 - February 2008Website: www.aim-at-shape.net/ Partners: 12 partners (C.N.R. – Istituto di Matematica Applica-ta e Tecnologie Informatiche – Dept. Of Genova - Italy, Ecole Polytechnique Féderale de Lausanne - Switzerland, Fraunho-fer Institut für Graphische Datenverarbeitung - Germany, In-formatics and Telematics Institut – Center for Research and Technology Hellas - Greece, INRIA - France, Institut National Polytechnique de Grenoble - France, Max-Planck-Institutfür Informatik - Germany, MIRALab, University of Geneva - Swit-zerland, Stiftelsen for industriell og teknisk forskning ved Norges Tekniske Høgskole - Norway, Technion – Israel Insti-tute of Technology - Israel, Utrecht University - Netherlands, Weizmann Institute of Science - Israel)

___

OPENDANCE«Open-editing cooperative platform for web Dance»Period : October 2005 - September 2008Website : www.aegean.gr/culturaltec/CILab


Funded research projectsParticipation to National projects

CO-ME«The Computer Aided and Image Guided Medical Interven-tions»Period: January 2001 - June 2009Website: co-me.chPartners: 3 main partners (Ecole Polytechnique Fédérale de Lausanne - Switzerland, Hôpital Universitaire de Genève (HUGE) - Switzerland, MIRALab, University of Geneva - Swit-zerland)

___

CATCH«CommunicAtion Technologies for Cultural Heritage (e-lear-ning)»Period : January 2006 - July 2008Type : Swiss Virtual CampusWebsite : www.swissvirtualcampus.chPartners: 3 partners (MIRALab, University of Geneva - Swit-zerland, Seminar für Klassische Philologie, University of Ba-sel - Switzerland, TEC-Lab, Università della Svizzera Italiana, Lugano - Switzerland)

___

FNRS 2008«Swiss National Research Foundation Project: Cross-Modal Interaction with Deformable Objects for web publication»Period : October 2008 - September 2010Partner: 4 partners (Ecole Polytechnique Féderale de Lau-sanne, Computer Vision Laboratory (CVLab) – Switzerland, Ecole Polytechnique Féderale de Lausanne, Virtual Reality Laboratory (VRLab) – Switzerland, ETHZ Computer Vision Laboratory – Switzerland, MIRALab, University of Geneva – Switzerland)

___

Calvin«A day in the Life of Jean Calvin»Period : June 2008 - October 2009Partners: International Museum of the Reformation, Gene-va, Switzerland

___

FNRS 2007«Swiss National Research Foundation Project: Haptic Simu-lation of Hair»Period : October 2006 - September 2008Partner: MIRALab, University of Geneva

___

Understanding 3D«Understanding 3D (e-learning)»Period : January 2006 – July 2008Type : Swiss ResearchWebsite : www.swissvirtualcampus.chPartners: 3 partners (MIRALab, University of Geneva - Swit-zerland (coordinator), Computer Graphics Laboratory, ETH Zentrum, Zurich - Switzerland, Departement Informatik, Universität Basel - Switzerland)Fig 3: Virtual try on


OthersHonours and scientific awards

Designated as Visiting Professor at Bournemouth Uni-• versity at the Media School as a recognition of interna-tional standing.

Courses and tutorialsSIGGRAPH-ASIA 2008, tutorial co-organized and given • in «Real-Time Individualized Virtual Humans”, Singapo-re, December 11, 2008CGI’2008, tutorial organized and given on RealTime Vir-• tual Humans, Istanbul, Turkey, 9-11 June 2008

RefereeingJury of Ph.D. thesis for New Zealand, France, Sweden, • Switzerland and Germany.European Union, FP7 Projects, Brussels. • Research Grants Council of Singapore. • Natural Sciences and Engineering Research Council of • Canada. National Science Foundation USA. • Swiss National Research Foundation. • Austrian Research Foundation. • ACM SIGGRAPH, IEEE Transactions on Visualization and • Computer Graphics, IEEE Computer Graphics and Appli-cations, IEEE Computer, Communications of ACM, The Visual Computer, Computer Graphics Forum, Computer Vision, Graphics and Image Processing, Presence, Inter-national Journal of Human-Computer Studies, Com-puters and Graphics, cyberworlds conference, ICAART (International Conference on Agents and Artificial In-telligence), Enactive conference, Multimedia Modelling conference, International Conference on Entertainment Computing (ICEC), International Conference on Signal Processing, Image Processing and Pattern Recognition; GRAPP (“International Conference on Computer Gra-phics Theory and Applications), Conference on Affective Computing and Intelligent Interaction (ACII 2009), EG Workshop on 3D Object Retrieval, IEEE Virtual Reality Conference 2009, • Computer Graphics International, CASA conference, SIGGRAPH/EUROGRAPHICS Symposium on Computer Animation, etc

Editorial responsibilitiesSince 2007, Regional Editor of the Journal “Intelligent • Decision Technologies”, IOS Press.Since 2007, Associate Editor-in-chief of the “Internatio-• nal Journal of Virtual Reality”, IPI Press, USA.

Since January 1, 2000, Editor-in-chief of the Journal “The • Visual Computer” published by Springer Verlag, Ger-many.Since January 2001, Member of the Advisor Board, Inter-• national Journal of Image and Graphics, World Scienti-fic.

Participation in TV and radio programsThe creator of virtual worlds, 20 June 2008, @NTU (Sin-• gapore)Fuchteln nach Formeln, 10 May 2008, Bild der Wissens-• chaft (Germany)MIRALab pilote l’humain virtuel animé, 01 May 2008, • Campus (Switzerland)Die Realität erweitern, 10 January 2008, Swiss Enginee-• ring (Switzerland)

TeachingAnimation et multimédia• , Information Systems, Bache-lor, 6 ECTS, Winter semesterOutils Informatiques• , Information Systems, Bachelor, 6 ECTS, Winter or summer semesterProgrammation de Base• , Information Systems, Bachelor, 6 ECTS, Winter semesterSynthèse d’Image & Réalité Virtuelle• , Information Sys-tems, Bachelor, 6 ECTS, Summer semesterUnderstanding & Simulating Body and Facial Emotions• , Information Systems, Master, 6 ECTS, Summer semes-terVirtual & Augmented Worlds• , Information Systems, Master, 6 ECTS, Winter semester

Fig. 4: Medical

Fig. 5: Facial expression robot

smv.u

nige

.chSMV

Software Modelling and VerificationProf. Didier Buchs


Software Modelling and VerificationProf. Didier Buchs smv.unige.ch

Team

Senior researcherDr. Levi Lúcio (Post Doc)

Assistants (PhD students)Luis PedroAng Chen

Matteo RisoldiSteve HostettlerAlexis MarechalAndrey Berlizev

Domain activities

Developing complex and reliable software systems requires ri-gorous methods for modelling, designing and verifying them. The SMV lab is involved in designing dedicated formalisms that are semantically well described in order to make analysis of system properties possible, to automatically produce code and to select pertinent test cases. A coherent set of tools has been developed in order to apply our methods to software-in-tensive systems.We are currently studying :1. development of techniques for distributed object-oriented and reconfigurable system modelling2. test selection techniques and model checking based on de-cision diagrams3. software prototyping and GUI generation4. model engineering (MDA,UML, model transformation)

DirectorDidier Buchs

Associate professor

Ang Chen, Luis Pedro, Steve Hostettler, Levi Lùcio, Didier Buchs, Matteo Risoldi, Alexis Marechal, Andrey Berlizev

S o f t w a r e M o d e l l i n g a n d V e r i f i c a t i o n 51

PhD ThesisLevi Lucio, SATEL «A Test Intention Language for Object-• Oriented Specifications of Reactive Systems», May 2008.

List of publicationsFull refereed papers in Conference Proceedings[1] M. Risoldi and L. Masetti and D. Buchs and B. Barroca and

V. Amaral, A model-based methodology for control sys-tems GUI design prototyping, Proceedings of the PCA-PAC 2008 conference, http://www.pcapacworkshop.org, 2008.

[2] Luis Pedro, Vasco Amaral, and Didier Buchs. Foundations for a domain specific modeling language prototyping environment: A compositional approach. In Proc. 8th OOPSLA ACM-SIGPLAN Workshop on Domain-Specific Modeling (DSM). University of Jyvaskylan, October 2008.

[3] B. Barroca, V. Amaral, M. Risoldi, M. Caprini, A. Moreira and J. Araújo, Towards the Application of Model Based Design Methodology for Reliable Control Systems on HEP Experiments, 11th IEEE Nuclear Science Symposium, 2008.

[4] Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev. Addres-sing degraded service outcomes and exceptional mo-des of operation in behavioural models, SERENE ‘08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Sys-tems, ACM, November 2008

[5] Andrey Berlizev, Nicolas Guelfi: Correct analysis for em-bedded system modeling: an outcome of east-west scientific cooperation, SEESE ‘08: Proceedings of the 2008 international workshop on Software Engineering in east and south europe, ACM, May 2008

[6] A. Berlizev, N. Guelfi, Fault-tolerance Requirements Ana-lysis using Deviations in the CORRECT development process, Book on Methods Models and Tools for Fault Tolerance, Springer, 2008

Books and book chapters[7] Didier Buchs, Luís Pedro, Levi Lúcio. “Formal Test Gene-

ration from UML Models”, In “Dependable Systems: Software, Computing, Networks – Research Results of the DICS Program”. LNCS 4026, pp.145-171.

Research and technical reports[8] F. Cretton, A. LeCalvé, Generic ontology based User Mo-

del: GenOUM , Technical report 203, Centre Universitaire d’Informatique, Université de Genève, Ed. D.Buchs, No-vember 2008.

[9] G. Falquet, L. Moccozet, K. Bazargan : Semantic Enrich-ment of Scene Graphs for Task Based Adaptation in 3D User Interfaces: A Proposal, Technical report 202, Centre Universitaire d’Informatique, Université de Genève, Ed. D.Buchs, November 2008.

[10] Steve Hostettler, Java decisions diagrams library. Techni-cal report 201, Centre Universitaire d’Informatique, Uni-versité de Genève, Ed. D.Buchs, June 2008.

[11] Didier Buchs, Steve Hostettler, Σ-Decisions Diagrams. Technical report 204, Centre Universitaire d’Informati-que, Université de Genève, Ed. D.Buchs, December 2008. Will be published at TERMGRAPH09, ETAPS09

[12] Levi Lùcio, Steve Hostettler, Multi-Set Decisions Dia-grams. Technical report 205, Centre Universitaire d’In-formatique, Université de Genève, Ed. D.Buchs, Decem-ber 2008.

[13] Didier Buchs and Steve Hostettler. Toward efficient state space generation of algebraic Petri nets. Technical report 206, Centre Universitaire d’Informatique, Univer-sité de Genève, Ed. D.Buchs, December 2008.


Rapporteur PhD jury Slavisa Markovic, Model Refacto-• ring using Transformations, EPFL, february 2008.Rapporteur PhD jury Christophe Pajault, Model Chec-• king parallèle et réparti de réseaux de Petri colorés de haut-niveau. Application à la vérification automatique de Model Checking parallèle et répar ti de réseaux de Pe-tri colorés de haut-niveau: Application à la vérification automatique de programmes Ada concurrents, Paris 6, June 2008.Rapporteur PhD jury Fabrice Mourlin, Thèse d’habilita-• tion, Paris XIII, November 2008.Levi Lùcio, Rapporteur Master Jury, Paving the way from • Requirements to Architecture - From AORA to an impro-ved AspectualACME”, João Marques, UNL (Universidade Nova de Lisboa), 2008.


Testing Business Processes, Battelle - Geneva, December • 2008


The state space of theleader election protocol

Member of conference program committeesProgramming Committee of the Workshop on Petri • Net Tools and Applications, Marseille, march 2008 (PN-TAP’08)Program committee of International Conference on Ap-• plication and theory of Petri Nets and other models of Concurrency, Xian, China, june 2008Program Committee/Steering Committee, Conf. on Ra-• pid System Prototyping, Monterey, USA, June 2008.Program Committee of PNDS’08 International Works-• hop on Petri Nets and Distributed Systems, Xian june 2008.Program Committee of Serene’08, Newcastle 08.• Member of the editorial board TopNoc LNCS series • Springer, 2006-2007-2008-2009Editorial committee ‘réseaux de Petri et algorithmes de • TSI’ 2008

Invited talksDidier Buchs, Systémation des tests: de l’utopie à la • réalité, Software & Systems Quality Conferences 2008, 20th May 2008, Hôtel des Bergues, Genève, SuisseDidier Buchs, Foundations for a DSML Prototyping En-• vironment: A compositional approach Verity Workshop, Newcastle, England, November 2008Levi Lúcio, SATEL – A Test Intention Language for Object • Oriented Specifications of Reactive Systems, UNL (Uni-versidade Nova de Lisboa), Portugal, October 2008


Interreg TestIndusPeriod: May 2008 - December 2009Partners: Univ. Besançon , UniGE, LEIRIOS, CTI, CLIO

___

CORA(sub task of VERITY project)Partners: University of Luxembourg


ISIS – RAIntegrated System Implementation and Specification for Re-liable distributed Applications, FNRS.Period: November 2006 – October 2008

___

ComediaPeriod: July 2007 – December 2009

TeachingSoftware Engineering Course• , Computer Science, Ba-chelor, 4 ECTS, 56 hours, 12 studentsFormal Tools for Modelling Systems• , Computer Science, Bachelor, 4 ECTS, 56 hours, 15 studentsSemantics of Programming Languages• , Compu-

ter Science, Bachelor, 4 ECTS, 56 hours, 15 students

Modeling and Verification• , Computer Science, Bachelor, 4 ECTS, 56 hours, 12 students

Advanced Formal Tools• (Optional), Computer Science, Master, 4 ECTS, 56 hours, 5 stu-dents

Concurrency and Distri-• bution, (Optional), Computer Science, Master, 4 ECTS, 56 hours, 5 students

go1

idle

{0, 1, 2}

msgloosing wait

candidate

go2

wait2loose

absor

b2

absor

b1

2win

x

x

x

x

<s(x), x, 1>

m

<s(x), x, 1>

fst(m) = x ^ snd(m) < x ^ trd(m) = 1

fst(m) = x ^ snd(m) > x ^ trd(m) = 1

m

<s(x), snd(m), 1>

xx

<s(x), snd(m), 1>

m

x = fst(m) ^ snd(m) > x ^ trd(m) = 1

fst(m) = x ^ trd(m) = 1 ^ snd(m) < x

x x

m

fst(m) = x ^ trd(m) = 1 ^ snd(m) < xx

x

m

x

x

<s(x), x, 2>

m

fst(m) = x ^ trd(m) = 1 ^ snd(m) = x

x

The model of the leader election protocol

cluster--{c0}-->ONE

cluster--{c}-->cluster--{c0}-->ONE

message

wait

msg

1

msg proc{msg}

proc proc

ONE

{p0}

state

proc

proc

{p}

{p}

state{1}

loosing

proc

idle

ZERO

ONE

cluster--{c}-->cluster--{c}-->cluster--{c0}-->ONE

message

wait

msg msg proc{msg}

proc

loosing

idle proc

message

wait

proc


message

wait

message

msg

msg proc{msg}

proc


message

wait

msg

msg proc{msg}

proc state state {2}

loosing

message wait

loosing


message


message wait loosing

idle

cluster--{c}-->cluster--{c}-->cluster--{c0}-->ONEmessage


message

wait loosing

idle

message

message


message


message

message

msg

msgmsg proc

{msg}

msg proc{msg}

proc

proc

{p0}

{p}


message

msg

msg msg

proc{msg}msg

proc{msg}

proc

proc proc{p}

{p}

{p0}

message

spc.

unig

e.ch

SPC

Scientific and Parallel ComputingProf. Bastien Chopard


Scientific and Parallel ComputingProf. Bastien Chopard spc.unige.ch

Team

MembersJean-Luc Falcone

Rafik Ouared

AssistantsOlivier Marcou

Andrea ParmigianiBernd Stahl

Daniel LagravaChristophe Charpilloz

PhD studentsKae Tsunematsu

Xin Zhou

Domain activities

One main research activity concerns the study of complex systems, in particular the development of new numerical methods to model and simulate phenomena in natural scien-ces, economics, social systems and bio-medical applications. Cellular automata, Lattice Boltzmann and multi-agent tech-niques are central tools to address theses questions. Parallel programs and algorithms are developed to implement the si-mulation on large PC clusters to discover, explain or reproduce new phenomena.

Another domain of activity is bioinformatics, in collaboration with Swiss Institute of Bioinformatics. New classification methods and algorithm techniques are developed to analyse the coding in protein sequences and to build large phylogene-tic trees.

DirectorBastien Chopard

Associate professor

Application en géophysique: simulation d’un gaz chaud traversant un milieux poreux dans le cadre d’une modélisation du réchauffement des chambres magmatiques. Simulation de A Parmi-

giani en collaboration avec C. Huber (Berkley) et O. Bachmann (University of Washington).

PhD thesisJean-Luc Falcone, «Understanding Signal Sequence with • machine learning», February 2008

List of publicationsRefereed papers in international journals[1] A. Hoekstra, E. Lorenz, J.-L. Falcone and B. Chopard, To-

wards a Complex automata formalism for multuscale modeling, Int. J. Multiscale Multiscale Computational Engineering, Vol 5(6), p 491-502, 2008.

[2] David Evans, PV Lawford, J Gunn, D Walker, DR Hose, RH Smallwood, B Chopard, M Krafczyk, J Bernsdorf, A Hoeks-tra. The Application of Multi-Scale Modelling to the Process of Development and Prevention of Stenosis in a Stented Coronary Artery.} Phil. Trans. Roy. Soc., in press 2008.

[3] D. Alemani, J. Buffle, Z Zhang, J. Galceran and Bastien Chopard, Metal Flux and dynamic speciation at bioin-terface Part III, Environ. Sci. Technol. 2008, 42, 2021-2027

[4] D. Alemani, J. Buffle, Z Zhang, J. Galceran and Bastien Chopard, Metal Flux and dynamic speciation at biointer-face Part IV, Environ. Sci. Technol. 2008, 42, 2028-2033.

[5] B. Chopard, J.-L. Falcone and J. Latt, The lattice Boltzmann advection-diffusion model revisited, European Physical, Journal, 2008.

[6] J. Latt, B. Chopard, O. Malaspinas, M. Deville and A. Mi-chler, Velocity Boundaries in the lattice Boltzmann method, Phys. Rev. E, 77 056703, 2008.

[7] R. Ouared, B. Chopard, B. Stahl, D.A. Rüfenacht, H. Yilmaz and G. Courbebaisse, Thrombosis modeling in intra-cranial aneurysms: a lattice Boltzmann numerical al-gorithm, Computer Physics Communications, In Press, 2008.http://dx.doi.org/10.1016/j.cpc.2008.01.021

[8] Michel Henry, Antonios Polydorou, Noureddine Frid, Pa-tricia Gruffaz, Alain Cavet, Isabelle Henry, Michele Hu-gel, Daniel A. Rufenacht, Luca Augsburger, Matthieu De Beule, Pascal Verdonck, Maurice Bonneau, Chantal Kang, Rafik Ouared, and Bastien Chopard, Treatment of Renal Artery Aneurysm With the Multilayer Stent, J ENDO-VASC THER, 2008, Vol 15 pp. 231-236, www.jevt.org

[9] C. Huber, A Parmigiani, B. Chopard, M. Manga and O. Ba-chmann, Lattice Boltzmann model for maelting with natural convection, Int. J. of Heat and Fluid Flow, pp. 1469--1480, 2008. DOI information: 10.1016/j.ijheatflui-dflow.2008.05.002

[10] A. Parmigiani, B. Chopard, J. Latt, C. Huber, O. Bachmann, Investigating high Prandtl number fluid flows with a Passive Scalar Approach Thermal Lattice Boltzmann Model, European, Physical Journal, 2008

Full refereed papers in Conference Proceedings[11] Alfonso Caiazzo, Jean Luc Falcone, Bastien Chopard and

Alfons G. Hoekstra, Scale-Splitting Error in Complex Automata Models for Reaction-Diffusion Systems. M. Bubak et al. (Eds.): ICCS 2008, Part II, LNCS 5102, pp. 291--300, 2008. Springer-Verlag Berlin Heidelberg 2008

[12] Jan Hegewald, Manfred Krafczyk, Jonas Tölke, Alfons Hoekstra and Bastien Chopard, An agent-based cou-pling platform for complex automata, ICCS 2008, Krakow. Lecture Notes in Computer Science Volume 5102 doi:10.1007/978 3-540-69387-1 pp. 227-233, Sprin-ger-Verlag Berlin Heidelberg 2008.

[13] B. Chopard, J.-L. Falcone, R. Razakanirina, A. Hoekstra and A. Caiazzo, On the collision -propagation and ga-ther-update formulation of a cellular automata rule. H. Umeo et al. (Eds) ACRI 2008, LNCS 5191, p. 144-151, Sprin-ger-Verlag Berlin Heidelberg 2008

[14] Kae Tsunematsu, Jean-Luc Falcone, Costanza Bonadon-na and Bastien Chopard, Applying a Cellular Automata Method for the Study of Transport and Deposition of Volcanic Particles. H. Umeo et al. (Eds) ACRI 2008, LNCS 5191, p. 393-400, Springer-Verlag Berlin Heidelberg 2008

[15] Hoekstra, A.G., Falcone, J.-L., Caiazzo, A., Chopard, B.: Mul-ti-scale modeling with cellular automata: The complex automata approach.H. Umeo et al. (Eds): ACRI 2008, LNCS 5191, pp. 192-199, Springer-Verlag Berlin Heidelberg 2008

[16] Alfonso Caiazzo, Jean-Luc Falcone, Bastien Chopard, Alfons Hoekstra. Error Investigations in Complex Auto-mata Models for Reaction-Diffusion Systems. H. Umeo et al. (Eds): ACRI 2008, LNCS 5191, pp. 260-267, 2008.

[17] Eddy Caron, Bastien Chopard, Philippe Combes and Fre-deric Desprez, Relaxing synchronization in a parallel sys-temC kernel, ISPA 2008, Sydney, 2008.

Books and book chapters[18] B. Chopard, Springer Encyc. of Complex systems, 2008

S c i e n t i f i c a n d P a r a l l e l C o m p u t i n g 55


Bastien Chopard, PhD committee for Vincent Keller EPFL, • Oct 7, 2008Bastien Chopard, PhD committee for Andreas Quant, • SIB, Dec 17, 2008


DSFD 2008, August 2008, Brazil. Co-organization•

Member of conference program committeesDSFD 2008 (August, Brazil)• ACRI 2008 (September, Japan)•

Invited talksRome, March 3-8, 2008 : Advance course on lattice Boltz-• mann techniquesAmsterdam, June 2008: ICCMES 2008•


@neurIST project (IP)Integrated biomedical informatics for the management of cerebral aneurysmsPeriod: January 2006 - December 200928 partnersWeb Site: http://www.aneurist.org

___

COAST project (STREP)Complex Automata: a new framework for the simulation of complex, multiscale systemsPeriod: Sept 2006 - Aug 20095 partnersWeb Site: http://www.complex-automata.org

___

Member of the COST P19 project


Cellular Automata dynamics on irregular topologiesApplication to simple economical modelPeriod: June 2008 - May 2010

___

Numerical simulations of volcanic phenomena by Lattice-Boltzmann methodsPeriod: June 2007 - May 2010

___

Control of irrigation canals : a Lattice Boltzmann ApproachPeriod: November 2007 - April 2009


OthersJournal Editorial board

J. of Cellular Automata• Natural Computing Journal (NACO)• Int. J. Unconv Comp.• Int. J. Mod. Phys. C•

DiversGroupe Leader à l’Inst. Suisse de Bioinformatique (SIB)• Président CIFS, membre COINF• Representant UNIGE de SwiNG (Swiss National Grid • Association)Responsable cours option Dept. Informatique•

TeachingHeuristique et méthode d’optimisation• , Computer Science, Master, 8 ECTS, 112 hours, 10 studentsProgrammation Bioinformatique• , Computer Science, 7 ECTS, 84 hours, 10 studentsParallelisme• , Computer Science, Bachelor, 4 ECTS, 56 hours, 20 studentsAlgorithmique• , Computer Science, Bachelor, 4 ECTS, 56 hours, 20 studentsAlgorithme paralleles• , Computer Science, Master, 4 ECTS, 56 hours, 20 studentsMethodes numériques et simulations en physique• , Computer Science, 4 ECTS, 56 hours, 10 students

tcs.u

nige

.chTCS

Theoretical Computer ScienceProf. José Rolim


Theoretical Computer ScienceProf. José Rolim tcs.unige.ch

Team

MembersDr. Pierre Leone (MER)

Dr. Aubin Jarry (MA)Dr. Eduardo Solana (CC)

Post-docsDr. Taras Holotyak

Dr. Florian Huc

AssistantsMarios Karagiannis

Konstantinos ChantzisTigran Tonoyan

Hakob AslanyanLuminita Moraru

Michael WeissThibaud Guenegou

Pierre RepettoAnthony Gasperin

Domain activities

The TCS-Sensor Lab (theoretical Computer Science and Sensor Networks Lab) main research activities are in large measure concerned with the representation, transformation and com-munication properties of information systems such as ad-hoc, sensor networks and embedded systems. A certain body of knowledge emphasizing the interweaving themes of com-plexity and algorithms represent the research axis of theore-tical computer science. Under complexity one includes ques-tions which tasks can or cannot be performed by information systems of different aspects restricted in several resources such as running time, memory amount, energy dissipation or communication transmission. Under algorithm one includes questions regarding how efficient a task can be performed in term of such resources. These questions are often addressed by developing models of relevant parts of information systems such as processors, their interconnections, their rules of ope-ration, the means of communication, etc, and by the study of properties of such models.

DirectorJosé Rolim

Full professor

Example of a clustered sensor network

PhD thesisEduardo Solana, «Collaborative Domains in Internet En-• vironments», July 2007

List of publicationsRefereed papers in international journals[1] Pierre Leone, Sotiris E. Nikoletseas, José D. P. Rolim: Rando-

mized Energy Balance Algorithms in Sensor Networks. Encyclopedia of Algorithms 2008

[2] Sotiris E. Nikoletseas, José D. P. Rolim: Preface. Theor. Comput. Sci. 402(1): 1 (2008)

[3] Carme Àlvarez, Josep Díaz, Jordi Petit, José D. P. Rolim, Maria J. Serna: High level communication functiona-lities for wireless sensor networks. Theor. Comput. Sci. 406(3): 240-247 (2008)

Full refereed papers in Conference Proceedings[4] Luminita Moraru, Pierre Leone, Sotiris E. Nikoletseas,

José D. P. Rolim: Geographic Routing with Early Obsta-cles Detection and Avoidance in Dense Wireless Sensor Networks. ADHOC-NOW 2008: 148-161

[5] Michael N. Kalochristianakis, Vasileios Gkamas, Georgios Mylonas, Sotiris E. Nikoletseas, José D. P. Rolim, Emma-nouel A. Varvarigos: The Design of an Open and Integra-ted Sensor Network Management Platform. APNOMS 2008: 495-498

[6] Andrei Marculescu, Sotiris E. Nikoletseas, Olivier Powell, José D. P. Rolim: Efficient Tracking of Moving Targets by Passively Handling Traces in Sensor Networks. GLOBE-COM 2008: 271-276

[7] Pierre Leone, Elad M. Schiller: Interacting urn processes: for clustering of large-scale networks of tiny artifacts, SAC 2008: 2046-2051

Books and book chapters[8] Pierre Leone, Sotiris E. Nikoletseas, José D. P. Rolim: Rando-

mized Energy Balance Algorithms in Sensor Networks. Encyclopedia of Algorithms 2008

[9] Ashish Goel, Klaus Jansen, José D. P. Rolim, Ronitt Rubin-feld: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques, 11th Interna-tional Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings Springer 2008

Research and technical reports[10] Andrei Marculescu, Sotiris E. Nikoletseas, Olivier Powell,

José D. P. Rolim: Lighweight Target Tracking Using Passive Traces in Sensor Networks CoRR abs/0803.2219: (2008)


DCOSS 08 IEEE International Conference on Distributed • Computing in Sensor Systems, June 11 - 14, 2008 Santori-ni Island, Greece – chair steering committee: Jose RolimAPPROX 2008 – 11th International Workshop on Approxi-• mation Algorithms for Combinatorial Optimization Pro-blems – MIT , August 2008 - chair steering committee: Jose Rolim

T h e o r e t i c a l C o m p u t e r S c i e n c e 59

RANDOM 2008 - 12th International Workshop on Ran-• domization and Computation –MIT – August 2008 - chair steering committee: Jose RolimWEA 2008 – 7th International Workshop on Experimen-• tal Algorithms –May 30-June 1, 2008Provincetown, Cape Cod, Massachusetts, USA - chair • steering committee: Jose RolimALGOSENSORS 2008 - International Workshop on Algo-• rithmic Aspects of Wireless Sensor Networks -July 6 - 13, 2008 Reykjavik - Iceland.- member steering committee: Jose RolimIPDPS 08 - 22nd IEEE International Parallel & Distribu-• ted Processing Symposium. 14-18 April 2008 , Miami, Florida, USA member steering committee: Jose RolimIFIP - The Swiss IFIP Committee (SIC) - TC1 Foundations • of Computer Science – delegate: Jose RolimSARIT - Swiss Association for Research in Information • Technology – member of the board as the University of Geneva representative – Jose Rolim


DCOSS 08 IEEE International Conference on Distributed • Computing in Sensor Systems, June 11 - 14, 2008 Santori-ni Island, Greece – chair steering committee: Jose RolimAPPROX 2008 – 11th International Workshop on Approxi-• mation Algorithms for Combinatorial Optimization Pro-blems – MIT , August 2008 - chair steering committee: Jose RolimRANDOM 2008 - 12th International Workshop on Ran-• domization and Computation –MIT – August 2008 - chair steering committee: Jose RolimWEA 2008 – 7th International Workshop on Experimen-• tal Algorithms –May 30-June 1, 2008Provincetown, Cape Cod, Massachusetts, USA - chair • steering committee: Jose Rolim

Member of conference program committeesWEA 2008 – 7th International Workshop on Experimen-• tal Algorithms –May 30-June 1, 2008, Provincetown, Cape Cod, Massachusetts, USA - chair steering commit-tee: Jose RolimANR Domaines émergents – INRIA – member of pro-• gram committee – April 2008 – Jose Rolim MSWIM 08- The 12-th ACM International Conference • on Modeling, Analysis and Simulation of Wireless and Mobile Systems October 26-30, 2009 Tenerife, Canary Islands, Spain – Jose RolimSECUREWARE 2008 The second International Confe-• rence on Emerging Security Information, Systems and Technologies, August 25-31, 2008 Cap Esterel, France – Luminita MoraruSENSORCOMM 2008 The second Conference on Sensor • Technologies and Applications, August 25-31, 2008 Cap Esterel, France – Luminita Moraru

Invited talksEarly Obstacle Detection in Wireless Sensor Networks • Routing in Aeolus Workshop, 8-10 September 2008 – Lu-minita Moraru

OthersRefeering

for several journals in 2008 like JPDC (Journal of Paral-• lel and Distributed Computing), TCS (Theoretical Com-puter Science), Information and Computation, Sensor Journal, Discrete Applied Mathematics, Encyclopedia of Algorithms, Journal of Systems and Software, Algo-rithms, Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, Information Scien-ces, among many othersAlgorithms (ISSN 1999-4893; CODEN: ALGOCH), Edito-• rial Board of the journal of computer science, theory, methods and interdisciplinary applications, data and information systems, software engineering, artificial intelligence, automation and control systems. – Pierre Leone

TeachingDistributed Algorithms for Wireless Sensor Networks• , Computer Science, Master, 4 ECTS, 80 hoursLangages Formels• , Computer Science, 3 ECTS, Bachelor, 80 hoursCalculabilité et Complexité• , Computer Science, 4 ECTS, Bachelor, 80 hoursCryptographie• , Computer Science, 4 ECTS, Bachelor, 80 hoursAlgorithmique• , Computer Science, Bachelor, 4 ECTS, 80 hours, in collaboration with Bastien ChopardAlgorithmique pour le web• , Computer Science, 4 ECTS, Master, 80 hoursIntroduction a l’informatique pour les biologistes• , Com-puter Science, 160 hoursElements of multiuser information theory and wireless • communications, Computer Science, 6 ECTS, 120 hours, in collaboration with Sviatoslav Voloshynovskyy and Oleksiy KovalProgrammation des systemes• , Computer Science, 4 ECTS, Bachelor, 80 hoursRéseaux• , Computer Science, 4 ECTS, Bachelor, 160 hoursSeminaire avancé TCSensor• , Computer Science, Docto-ral course, 80 hours


AEOLUSAlgorithmic Principles for Building Efficient Overlay Compu-tersUE6 – 015964Period: September 2005 – August 2009

___

FRONTSFoundations of Adaptive Networked Societies of Tiny Arte-factsUE7 – 215270Period: February 2008 – January 2011

___

WISEBEDWireless Sensor Network TestbedsUE7 – 224460Period: June 2008 – May 2011

___

SER – COST293 – Evolving Graphs for Communication Network Designno C06.001Period: October 2006 – September 2008


Power Aware ComputingFNRS 200020-116084Period: May 2007 – April 2009


Administrative Staff

A d m i n i s t r a t i v e S t a f f63

The administrative staff of CUI is dedicated to serving at its best the community of researchers, teachers and students. Essentially covering four domains :

Administration: Its role is to manage the CUI bud-get, logistics, communication, etc. It also manages the Web site, the production of documents (ac-tivity report, flyers, etc.) as well as the organiza-tion and coordination of public and promotional events such as the book and student fair (Salon du Livre et de l’Etudiant)

Elie Zagury• is direction assistant;

Secretariat: Works at the departments level of CUI. Hiring and contract renewals of doctoral students as well as all the tasks related to CUI operations are handled by the secretariat. It also provides a perfect connection to major University services such as HR, accounting, etc.

Germaine Gusthiot• is administrative assistant;Marie-France Culebras• is secretary;Anne-Isabelle Giuntini• is part-time secretary (50%); Céline Marleix-Bar-• deau is part-time se-cretary (50%).

Nicolas Mayencourt, Marie-France Culebras, Daniel Agulleiro, Céline Marleix-Bardeau, Germaine Gusthiot, Anne-Isabelle Giuntini, Dorothée Hauser, Amélia Bossard, Elie Zagury. Pho-tography by Mélanie Montagnol

IT: Two systems-engineers manage the basic com-puter infrastructure of CUI (data storage, backups, servers, network, etc.) using Linux and Windows. Their help and support is appreciated daily by the whole CUI community. This service works closely with the University IT Division.

Nicolas Mayencourt• is system-engineer;Daniel Agulleiro• is system-engineer;

Library: Provides a loan service to the whole CUI community (students, faculty, researchers). It also handles the library collections.

D o r o t h é e • Hauser is head librarian;

Amélia Bos-• sard is librarian.

2008

Financial Report


Financial Resources State of Geneva and Swiss Confederation

CUI

Computer Science Department, Faculty of sciences

Information Systems Department, Faculty of economic and social sciences

Unit of Computer Science for the Humanities, Faculty of humanities

Staff• Academic• Administrative and Technical• Employer’s social contributionsOperating costs - InvestmentOperating costs - OthersLibraryCUI subtotal

Staff• Academic• Administrative and Technical• Employer’s social contributionsOperating costs - InvestmentOperating costs - OthersDepartment subtotal

Staff• Academic• Administrative and Technical• Employer’s social contributionsOperating costs - InvestmentOperating costs - OthersDepartment subtotal

Staff - Academic, incl. Charges (estimation)Operating costsDepartment subtotal

CHF 968’565CHF 263’848CHF 548’649CHF 156’068CHF 148’955CHF 211’000CHF 47’207CHF 1’375’727

CHF 2’924’565CHF 2’300’424CHF 151’953CHF 472’188CHF 79’166CHF 26’000CHF 3’029’731

CHF 1’849’032CHF 1’507’281CHF 43’182CHF 298’569CHF 12’500CHF 7’000CHF 1’868’532

CHF 751’156CHF 25’000CHF 776’156

Budget

TOTAL BUDGET CHF 7’050’146

F i n a n c i a l R e p o r t 67

External funding obtained by the professors

Computer Science Department, Faculty of sciences

Information Systems Department, Faculty of economic and social sciences

Unit of Computer Science for the Humanities, Faculty of humanities

1 professor position + 1 assistant positionUE-funded ProjectsSwiss-funded ProjectsDepartment subtotal

CHF 284’917CHF 1’258’488CHF 941’968CHF 2’485’373

CHF 1’708’219CHF 854’454CHF 2’562’673

CHF 77’177CHF 330’823CHF 408’000

Credit

UE-funded ProjectsSwiss-funded ProjectsDepartment subtotal

UE-funded ProjectsSwiss-funded ProjectsDepartment subtotal

CHF 5’456’046TOTAL CREDIT

UNIVERSITY OF GENEVACentre Universitaire d’InformatiqueBattelle - Bâtiment A7, route de DrizeCH-1227 Carougecui.unige.ch