dblp.uni-trier.dewww.uni-trier.de

Charles Lesire Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
5EEAnanda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635
2007
4 Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9
2006
3EECharles Lesire, Catherine Tessier: Estimation and Conflict Detection in Human Controlled Systems. HSCC 2006: 407-420
2EEOlivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier: Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. ICATPN 2006: 391-400
2005
1EECharles Lesire, Catherine Tessier: Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. ICATPN 2005: 329-348

Coauthor Index

1Yasmina Abdeddaïm [4]
2Eugene Asarin [4]
3Ananda Basu [5]
4Saddek Bensalem [5]
5Olivier Bonnet-Torrés [2]
6Patrice Domenech [2]
7Matthieu Gallien [4] [5]
8Félix Ingrand (François Felix Ingrand) [4] [5]
9Thanh-Hung Nguyen [5]
10Joseph Sifakis [5]
11Mihaela Sighireanu [4]
12Catherine Tessier [1] [2] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)