| |
Hybrid Systems: Computation and Control (2008), pp. 316-329.
|
| |
Aerospace and Electronic Systems, IEEE Transactions on, Vol. 42, No. 1. (2006), pp. 113-135.
|
| |
|
| |
Signal Processing, IEEE Transactions on, Vol. 42, No. 8. (06 August 2002), pp. 1905-1915.
|
| |
Communications, 2004 IEEE International Conference on, Vol. 7 (2004), pp. 4057-4061 Vol.7.
|
| |
In MobiCom '98: Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking (1998), pp. 181-190.
|
| |
Networking, Sensing and Control, 2004 IEEE International Conference on, Vol. 1 (2004), pp. 468-473 Vol.1.
|
| |
In HANDBOOK OF OPTIMIZATION IN TELECOMMUNICATIONS (February 2006)
|
| |
In SenSys '05: Proceedings of the 3rd international conference on Embedded networked sensor systems (2005), pp. 142-153.
|
| |
In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems (2004), pp. 62-68.
|
| |
In Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking (1998), pp. 85-97.
|
| |
|
| |
|
| |
|
| |
IEEE Internet Computing, Vol. 10, No. 2. (2006), pp. 26-34.
|
| |
In MobiDe '03: Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access (2003), pp. 1-8.
|
| |
In Proc. Hawaaian Int'l Conf. on Systems Science (January 2000)
|
| |
Wireless Networks, Vol. 7, No. 4. (August 2001), pp. 343-358.
|
| |
|
| |
In FOSE '07: 2007 Future of Software Engineering (2007), pp. 171-187.
|
| |
In WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 17-24.
|
| |
Distributed Computing Systems, 2004. Proceedings. 24th International Conference on (2004), pp. 301-310.
|
| |
|
| |
|
| |
|
| |
Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189.
|
| |
|
| |
|
| |
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2007), pp. 245-260.
|
| |
Industrial Electronics, IEEE Transactions on, Vol. 56, No. 3. (27 February 2009), pp. 900-906.
|
| |
|
| |
In Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) (2009), pp. 2186-2191.
|
| |
In PDP '09: Proceedings of the 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing (2009), pp. 210-219.
|
| |
|
| |
In Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems (2008)
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 27, No. 7. (17 June 2008), pp. 1165-1178.
|
| |
|
| |
|
| |
|
| |
|
| |
Software Engineering, 2003. Proceedings. 25th International Conference on In Software Engineering, 2003. Proceedings. 25th International Conference on (28 May 2003), pp. 694-704.
|
| |
Robotics and Automation, IEEE Transactions on, Vol. 8, No. 3. (06 August 2002), pp. 350-361.
|
| |
ACM Trans. Embed. Comput. Syst., Vol. 4, No. 3. (2005), pp. 472-499.
|
| |
|
| |
In CODES '00: Proceedings of the eighth international workshop on Hardware/software codesign (2000), pp. 18-22.
|
| |
Aerospace Conference Proceedings, 2002. IEEE, Vol. 1 (15 April 2003), pp. 1-105-1-113 vol.1.
|
| |
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 93, No. 5. (09 May 2005), pp. 965-979.
|
Search
