2005 |
6 | EE | Ugo Buy,
Houshang Darabi,
Mihai Lehene,
Vikram Venepally:
Supervisory Control of Time Petri Nets Using Net Unfolding.
COMPSAC (2) 2005: 97-100 |
5 | EE | Ugo Buy,
Mihai Lehene,
Houshang Darabi:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.
SEW 2005: 211-218 |
4 | EE | Bharath Sundararaman,
Ugo Buy,
Ajay D. Kshemkalyani:
Clock synchronization for wireless sensor networks: a survey.
Ad Hoc Networks 3(3): 281-323 (2005) |
2003 |
3 | EE | Jia Zhang,
Ugo Buy:
A Framework for the Efficient Production of Web Applications.
ISCC 2003: 419-424 |
2 | | Jia Zhang,
Ugo Buy,
Xian Liu:
A Framework for the Efficient Production of Web Applications.
Modelling and Simulation 2003: 44-49 |
1997 |
1 | EE | Carl K. Chang,
Yi-Te Tseng,
Ugo Buy:
Compiling process algebraic specifications into timed automata.
COMPSAC 1997: 338-343 |