| |
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 224-232.
|
| |
Constraints in Computational Logics: Theory and Applications In Constraint in Computational Logics: Theory and Applications, Vol. 2002/2001 (19.02.2004 2001), 1.
|
| |
Under consideration for publication in Formal Aspects of Computing (2007)
|
| |
|
| |
Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 97-130.
|
| |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices In Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Vol. 3362/2005 (28 January 2005), pp. 49-69.
|
| |
Advances in Computers, Vol. 58 (2003)
|
| |
In TACAs '96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1996), pp. 127-146.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 169-180.
|
| |
Programming and Computer Software, Vol. 29, No. 5. (2003), pp. 245-258.
|
| |
Software and Systems Modeling (April 2004), pp. 32-54.
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, et al.Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
|
| |
Programming and Computer Software, Vol. 26, No. 2. (2000), pp. 61-73.
|
| |
In Software: Practice & Experience, Vol. 34 (September 2004), pp. 1025-1050.
|
| |
ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 2. (1994), pp. 101-130.
|
| |
In Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'00) (8-11 October 2000), pp. 304-316.
|
| |
In International Conference on Software Engineering (1999), pp. 213-224.
|
| |
|
| |
In WSC '02: Proceedings of the 34th conference on Winter simulation (2002), pp. 1289-1296.
|
| |
In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems (2004), pp. 214-226.
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
|
| |
In Workshop on Testing Aspect-Oriented Programs (2005)
|
| |
In Computer Aided Verification, Vol. 4590 (2007), pp. 37-37.
|
| |
Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25.
|
| |
In SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systems (2006), pp. 41-48.
|
| |
In RT '06: Proceedings of the 1st international workshop on Random testing (2006), pp. 36-45.
|
| |
In International Symposium on Software Testing and Analysis 2004 (11-14 July 2004)
|
| |
|
| |
|
| |
Fuzzy Information, 2004. Processing NAFIPS '04. IEEE Annual Meeting of the, Vol. 1 (2004), pp. 259-264 Vol.1.
|
| |
Automated Software Engineering, Vol. 10, No. 2. (1 April 2003), pp. 203-232.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings In Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings, Vol. 2619/2003 (19 February 2003), pp. 553-568.
|
| |
Formal Methods at the Crossroads: From Panacea to Foundational Support In Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. 2757/2003 (2003), pp. 34-48.
|
| |
Software Practice and Experience, Vol. 27, No. 5. (1997), pp. 573-597.
|
| |
|
| |
In ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, Vol. 2072/2001 (2001), pp. 327-355.
|
| |
In Symposium on Testing, Analysis, and Verification (1989), pp. 86-96.
|
| |
In Proceedings of the International Symposium on Software Testing and Analysis (July 2002)
|
| |
|
| |
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 40-48.
|
| |
Instrumentation and Measurement, IEEE Transactions on, Vol. 53, No. 6. (2004), pp. 1517-1525.
|
| |
Industrial Electronics, IEEE Transactions on, Vol. 40, No. 2. (1993), pp. 209-217.
|
| |
Computer, Vol. 25, No. 10. (October 1992), pp. 40-51.
|
| |
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445.
|
| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 236-246.
|
| |
In Object Oriented Software Construction (1997)
|
| |
In A-MOST '05: Proceedings of the 1st international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7.
|
Search
