 | 2011 |
| 11 |  | Plamen Petrov,
Ugo Buy:
A Systemic Methodology for Software Architecture Analysis and Design.
ITNG 2011: 196-200 |
| 10 |  | Nicholas Wightkin,
Ugo Buy,
Houshang Darabi:
Formal Modeling of Sequential Function Charts With Time Petri Nets.
IEEE Trans. Contr. Sys. Techn. 19(2): 455-464 (2011) |
| 9 |  | Haisheng Wang,
Liviu Grigore,
Ugo Buy,
Mihai Lehene,
Houshang Darabi:
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(3): 522-539 (2011) |
| 2010 |
| 8 |  | Oliviu Ghica,
Goce Trajcevski,
Ouri Wolfson,
Ugo Buy,
Peter Scheuermann,
Fan Zhou,
Dennis Vaccaro:
Trajectory Data Reduction in Wireless Sensor Networks.
IJNGC 1(1): (2010) |
| 2008 |
| 7 |  | Rupa Sampath,
Houshang Darabi,
Ugo Buy,
Liu Jing:
Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications.
IEEE T. Automation Science and Engineering 5(1): 84-100 (2008) |
| 2005 |
| 6 |  | Ugo Buy,
Houshang Darabi,
Mihai Lehene,
Vikram Venepally:
Supervisory Control of Time Petri Nets Using Net Unfolding.
COMPSAC (2) 2005: 97-100 |
| 5 |  | Ugo Buy,
Mihai Lehene,
Houshang Darabi:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.
SEW 2005: 211-218 |
| 4 |  | 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 |  | 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 |  | Carl K. Chang,
Yi-Te Tseng,
Ugo Buy:
Compiling process algebraic specifications into timed automata.
COMPSAC 1997: 338-343 |