This international scientific event will bring together about 150 scientists from all over the world, including biologists, physicians, health professionals, environmental scientists and specialists in mathematical and computational modeling
BEeSy 2015
Perspectives in Environmental and Systems Biology
Perspectives in Environmental and Systems Biology, April 13-15 2015, Grenoble
View online : http://beesy2015.com
Browsing
Sections
-
Verimag
- Members
- Publications
- Tools
- Projects
- Partners
-
Workshops and Conferences
- 20 years of Verimag, September
- PERSYVAL-Lab Summer School on
- ACES’2008 September 29th, (...)
- ADSL 2018
- AlgoTel 2017
- ARCH14
- ARTIST Summer School in (...)
- ARTIST2 Summer School 2008 in
- AVM 2014
- BEeSy 2015
- CAS 2012, January 13, Grenoble
- CAV 2009 June 26 - July (...)
- EMSOFT 2009 October 12 - (...)
- ETAPS 2014
- Euro-Par 2016
- FAC 2014
- FIMCP 2013, May 2nd, Marrakech
- FORMATS 2014
- FORMATS 2015
- GreHack 2016
- GT Verif 2018
- HSB 2014
- HSCC 2012, Apr 17-19, Beijing
- ICDCN 2012, January 3-6, (...)
- IWHSB 2013
- MEMOCODE 2010, July 26-28,
- MEMOCODE 2011, July 11-13,
- MeTRiD 2018
- RESSI 2017
- RTNS 2017
- RV 2018
- SSS’2011, October 10-12, (...)
- SSS’2016
- SynCoP 2014
- Toward Systems Biology (...)
- VECoS 2018
- VVS
- WCET 2013, July 9, 2013, (...)
- WFAC’2008 - October 19th, (...)
- RESSI 2017 : les Rendez-vous
- Seminars
- Documents
- Teams
- Contact
- Site Map
New publications
- Recent Publications
- Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin: Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
- Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled: Generation of Applicative Attacks Scenarios Against Industrial Systems
- Klaus Havelund, Doron Peled, Dogan Ulus: First order temporal logic monitoring with BDDs
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
