Paris / Sao Paulo / Lyon / Grenoble / Scenario / Bath / Rechreche Scientifique / /
Company
IDEX / Thales / Biotronik GmbH / SUD PARIS SUD PARIS SUD PARIS SUD Group / BioInfo / LRI / Personal Information Management Systems / Highly-Trustable Interactive Theorem Proving Systems / ForTesSE / Algo / Web Services / MTV2 / Wireless Self-Organizing Networks / British Telecom / Airbus / Wireless Sensor Networks / Embedded Systems / Testing Software / Testing Systems / Scientific Organisations / Object-Oriented Software / /
Country
Netherlands / France / Canada / Australia / United Kingdom / Germany / Belgique / Belgium / Austria / /
Event
Business Partnership / /
Facility
University of York / University of Poitiers / Indian Institute of Technology / CS Department University of York / RUKIA library / Cambridge University / University of St Petersbourg / University Paris-Sud / Concordia University / /
IndustryTerm
software engineering / hardware systems / self-organized Wireless / free software / Web application / e - business / dichopile algorithm / cache coherence protocols / control-command systems / trustworthy applications / symbolic computing / concurrent systems / multi-core hardware / Web service interfaces / test case generation algorithm / added-value services / transition systems / mutual exclusion algorithms / parallel symbolic computing / uniform random generation algorithms / de communications / /
OperatingSystem
GNU / /
Organization
Panel / CNRS-Royal Society / Cambridge University / Ecole Centrale Paris / Organisation of Conferences and Scientific Events / University of St Petersbourg / European Research Council / TAROT Summer School / PC / U.S. Securities and Exchange Commission / M.-C. Gaudel / European Union / NHS / Indian Institute of Technology / University of Poitiers / Concordia University / University of York / LIP6 Abderrahmane Feliachi / Digicosme Spring School / Research council / Organizing Committee / ANR / Research Grant Council Hong Kong / Steering Committee / Center of Excellence / /
Person
D. Longuet / C. Gaudel / Delphine Longuet / Conférences Abderrahmane Feliachi / Ana Cavalcanti / Sylvain Cochon / Genigraph / Frédéric Tuong / Paulo Salem da Silva / Rania Khefifi / Romain Aissat / Stéphane Maag / Pascal Poizat / Ana C. V. de Melo / F. Zaïdi / Marie-Claude Gaudel / Yacoub Nemouchi / F. Zaidi / B. Wolff / Matthias Krieger / Sandrine Gouraud / B. Wolff Expertise / Aline Carneiro Viana / A. Feliachi / Christian Doppler Forschunggesellchaft / Gwen Salaun / Johan Oudinet / PREM MCF MCFHC / Hernán Ponce de León / Stefan Haar / Huu Nghia Nguyen / Markus Wenzel / Michel de Rougemont / Lina Bentakouk / /
Position
president / PhD symposium chair / member of the board / scientific coordinator / professor / general chair / driver / co-director / organisation chair / assistant professor positions / member of the editorial board / co-chair / assistant professor / Chair / /
ProgrammingLanguage
XML / R / /
PublishedMedium
Elsevier / Formal Aspects of Computing / Lecture Notes in Computer Science / /
RadioStation
FM 2014 / FM 2009 / 2010 WCSI / /
Technology
XML / mutual exclusion algorithms / cache coherence protocols / CAV / dichopile algorithm / Data Technologies / firewall / Simulation / test case generation algorithm / uniform random generation algorithms / /
1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport