 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page