| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
Computer Aided Verification (2000), pp. 154-169.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
In In VMCAI (2004), pp. 191-210.
|
| |
In Proc. ASE 2001 (2001), pp. 262-271.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40.
|
| |
Domain Modeling and the Duration Calculus (2007), pp. 119-176.
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 23 (1997), pp. 279-295.
|
| |
25 Years of Model Checking In 25 Years of Model Checking (2008), pp. 1-26.
|
| |
Theoretical Computer Science, Vol. 27, No. 3. (1983), pp. 333-354.
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4260 (2006), pp. 697-716.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
In Proceedings of the International Workshop on Hybrid and Real-Time Systems (1997), pp. 139-153.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In TACAS, Vol. 4963 (2008), pp. 33-47.
|
| |
|
| |
Computational Methods in Systems Biology (2003), pp. 149-162.
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
In CONCUR '97: Proceedings of the 8th International Conference on Concurrency Theory (1997), pp. 135-150.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473.
|
| |
In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I (1999), pp. 173-194.
|
| |
25 Years of Model Checking In 25 Years of Model Checking, Vol. 5000 (2008), pp. 27-45.
|
| |
Journal of the American Statistical Association, Vol. 95, No. 452. (2000), pp. 1127-1142.
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21.
|
| |
Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 351-363.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 5. (September 1994), pp. 1512-1542.
|
| |
International Journal on Software Tools for Technology Transfer, Vol. 9, No. 1. (February 2007), pp. 25-36.
|
| |
Formal Methods in System Design, Vol. 28, No. 1. (January 2006), pp. 57-84.
|
| |
Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 107-116.
|
| |
In Formal Methods for Protocol Engineering and Distributed Systems, FORTE/{PSTV}, 1999, pp. 225-240.
|
| |
Formal Approaches to Software Testing (2005), pp. 110-124.
|
| |
In ICFEM '98: Proceedings of the Second IEEE International Conference on Formal Engineering Methods (1998)
|
| |
Computer and Information Sciences - ISCIS 2004 (2004), pp. 907-916.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48.
|
| |
CONCUR 2003 - Concurrency Theory (2003), pp. 251-265.
|
| |
Artificial Intelligence, Vol. 171, No. 16-17. (November 2007), pp. 1011-1038.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263.
|
| |
In Logic in Computer Science (1991), pp. 406-415.
|
| |
Formal Methods in System Design: An International Journal, Vol. 9, No. 1/2. (August 1996), pp. 105-131.
|
| |
|
| |
SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57.
|
Search
