| |
Formal Methods: Foundations and Applications (2009), pp. 204-219.
|
| |
FM 2009: Formal Methods (2009), pp. 757-772.
|
| |
FM 2009: Formal Methods (2009), pp. 483-498.
|
| |
Innovations in Systems and Software Engineering (2009)
|
| |
Journal of Systems and Software (15 August 2009)
|
| |
Journal of Systems Architecture (15 August 2009)
|
| |
Software Testing, Verification, and Validation, 2008 International Conference on In 2009 International Conference on Software Testing Verification and Validation (ICST), Vol. 0 (April 2009), pp. 131-140.
|
| |
Software Testing, Verification, and Validation, 2008 International Conference on, Vol. 0 (2008), pp. 288-297.
|
| |
Journal of Systems and Software, Vol. 82, No. 9. (17 September 2009), pp. 1459-1478.
|
| |
|
| |
10th Brazilian Symposium on Formal Methods (SBMF) (2007), pp. 22-37.
|
| |
|
| |
In MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering (2008), pp. 7-14.
|
| |
|
| |
Software & Systems Modeling
|
| |
|
| |
Improvements in System Safety (2008), pp. 25-41.
|
| |
Automated Technology for Verification and Analysis (2008), pp. 141-155.
|
| |
|
| |
Formal Methods and Software Engineering (2008), pp. 207-225.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 328-337.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on In Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on (2006), pp. 449-457.
|
| |
Objects, Components, Models and Patterns (2008), pp. 278-296.
|
| |
Model Driven Engineering Languages and Systems In MoDELS 2008 (2008), pp. 690-704.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), Vol. 128, No. 6. (23 May 2005), pp. 37-52.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 331-357.
|
| |
Coordination Models and Languages (2008), pp. 169-183.
|
| |
Electronic Notes in Theoretical Computer Science In RV '2003, Run-time Verification (Satellite Workshop of CAV '03), Vol. 89, No. 2. (October 2003), pp. 2-21.
|
| |
Tests and Proofs (2008), pp. 99-115.
|
| |
In ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (2006), pp. 70-80.
|
| |
Electrical and Computer Engineering, 2005. Canadian Conference on (2005), pp. 916-919.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 140-161.
|
| |
Formal Methods and Software Engineering (2004), pp. 162-175.
|
| |
Software Engineering, IEEE Transactions on, Vol. 31, No. 4. (2005), pp. 328-339.
|
| |
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE In 31st IEEE Software Engineering Workshop (SEW 2007) (March 2007), pp. 194-203.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the REFINE 2005 Workshop (REFINE 2005), Vol. 137, No. 2. (21 July 2005), pp. 23-44.
|
| |
Software Engineering Conference, 2006. Australian In Software Engineering Conference, 2006. Australian (2006), 10 pp..
|
| |
First Alloy Workshop (2006)
|
| |
In AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling (2007), pp. 41-48.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Workshop on Formal Methods, Vol. 95 (17 May 2004), pp. 227-243.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 3-21.
|
| |
Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on In Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, Vol. 0 (2005), pp. 121-128.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 21-39.
|
| |
Software and Systems Modeling, Vol. 7, No. 4. (1 October 2008), pp. 443-467.
|
| |
Computer Safety, Reliability, and Security (2007), pp. 252-257.
|
| |
FME 2003: Formal Methods (2003), pp. 678-697.
|
| |
Integrated Formal Methods (2007), pp. 501-517.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 587-601.
|
| |
Model Driven Engineering Languages and Systems (2007), pp. 436-450.
|
| |
Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102.
|
CiteULike
leonardo's CiteULike
Search
Export
