- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j5 |      | 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) |
| j4 | | 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) |
| c8 | | Plamen Petrov, Ugo Buy: A Systemic Methodology for Software Architecture Analysis and Design. ITNG 2011: 196-200 |
| c7 | | Plamen Petrov, Ugo Buy, Robert L. Nord: The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. WICSA 2011: 147-156 |
| 2010 | ||
| j3 | | 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 | ||
| j2 | | 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) |
| 2007 | ||
| c6 | | Haisheng Wang, Liviu Grigore, Ugo Buy, Houshang Darabi: Enforcing transition deadlines in time Petri nets. ETFA 2007: 604-611 |
| 2005 | ||
| j1 | | Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyani: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3(3): 281-323 (2005) |
| c5 | | Ugo Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally: Supervisory Control of Time Petri Nets Using Net Unfolding. COMPSAC (2) 2005: 97-100 |
| c4 | | Ugo Buy, Mihai Lehene, Houshang Darabi: Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. SEW 2005: 211-218 |
| 2003 | ||
| c3 | | |
| c2 |  | Jia Zhang, Ugo Buy, Xian Liu: A Framework for the Efficient Production of Web Applications. Modelling and Simulation 2003: 44-49 |
| 1997 | ||
| c1 | | Carl K. Chang, Yi-Te Tseng, Ugo Buy: Compiling process algebraic specifications into timed automata. COMPSAC 1997: 338-343 |
Colors in the list of coauthors
Last update Mon May 20 05:29:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page