| |
Lecture Notes in Computer Science In In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Vol. 2280 (8-12 April 2002), pp. 67-82.
|
| |
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
Aerospace Conference, 2008 IEEE (20 May 2008), pp. 1-11.
|
| |
|
| |
|
| |
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.
|
| |
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.
|
| |
|
| |
ACM Trans. Embed. Comput. Syst., Vol. 4, No. 3. (2005), pp. 472-499.
|
| |
Aerospace Conference Proceedings, 2002. IEEE, Vol. 1 (15 April 2003), pp. 1-105-1-113 vol.1.
|
| |
Distributed Computing, Vol. 6, No. 3. (16 April 1993), pp. 155-164.
|
| |
|
| |
In DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference (1995), pp. 298-303.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 168-176.
|
| |
In Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming ({ICP}'2000), Utrecht, The Netherlands, Oct.\ 2000 (2000), pp. 73-78.
|
| |
Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on (29 January 2003), pp. 303-308.
|
| |
In 4th International Verification Workshop (2007)
|
| |
In PE-WASUN '07: Proceedings of the 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor,and ubiquitous networks (2007), pp. 1-8.
|
| |
|
| |
Applying Formal Methods: Testing, Performance, and M/E-Commerce (2004), pp. 351-365.
|
| |
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on (16 October 2006), pp. 129-130.
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on (06 June 2005), pp. 410-417.
|
| |
In IEEE Aerospace Conference Proceedings, Vol. 1 (March 2002), pp. 105-113.
|
| |
In Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06) (2006)
|
| |
Discrete Event Systems, 2006 8th International Workshop on (09 July 2007), pp. 473-474.
|
| |
Control Systems Technology, IEEE Transactions on, Vol. 14, No. 5. (07 August 2006), pp. 943-950.
|
| |
ACM Computing Surveys, Vol. 28 (1996), pp. 626-643.
|
| |
|
| |
Proceedings of the IEEE, Vol. 79, No. 9. (1991), pp. 1293-1304.
|
| |
(2004)
by M. Duflot, L. Fribourg, T. Herault, et al.R. Lassaigne, F. Magniette, S. Messika, S. Peyronnet, C. Picaronny, Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne
|
| |
In Proceedings of the 1st International Symposium on Formal Methods for Components and Objects (November 2002)
|
| |
Research, Innovation and Vision for the Future, 2006 International Conference on (18 September 2006), pp. 45-54.
|
| |
In In Proc. of 12th Euromicro Conference on Real-Time Systems (2000), pp. 165-172.
|
| |
Proceedings of the IEEE, Vol. 91, No. 7. (28 July 2003), pp. 986-1001.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 296-303.
|
| |
Information and Computation, Vol. 98, No. 2. (June 1992), pp. 142-170.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
In ASP-DAC '03: Proceedings of the 2003 Asia and South Pacific Design Automation Conference (2003), pp. 308-311.
|
| |
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on (09 September 2009), pp. 164-170.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 92, No. 8. (19 July 2004), pp. 1283-1305.
|
| |
American Control Conference, 2000. Proceedings of the 2000, Vol. 3 (06 August 2002), pp. 1679-1683 vol.3.
|
| |
In Proceedings of IMACS-IEEE "CESA'03, Vol. 6 (2003), pp. 9-12.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 185 (2007), pp. 33-46.
|
