| |
|
| |
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 225-259.
|
| |
|
| |
|
| |
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 571-579.
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
Queue, Vol. 3, No. 1. (February 2005), pp. 30-37.
|
| |
In International Conference on Software Testing, Verification, and Validation (9-11 April 2008)
|
| |
IEEE Trans. Softw. Eng., Vol. 27, No. 2. (2001), pp. 144-155.
|
| |
In SELMAS '06: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (2006), pp. 83-90.
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 236-246.
|
| |
In PASTE '04: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2004), pp. 49-51.
|
| |
Verification: Theory and Practice (2004), pp. 192-193.
|
| |
In SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML (2001), pp. 379-402.
|
| |
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
|
| |
|
| |
Artificial Intelligence, Vol. 128, No. 1-2. (May 2001), pp. 99-141.
|
| |
|
| |
Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006), pp. 420-435.
|
| |
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.
|
| |
Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25.
|
| |
Programming and Computer Software, Vol. 29, No. 5. (2003), pp. 245-258.
|
| |
In RT '06: Proceedings of the 1st international workshop on Random testing (2006), pp. 36-45.
|
| |
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 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.
|
| |
|
| |
In AST '07: Proceedings of the Second International Workshop on Automation of Software Test (2007), 2.
|
| |
Lecture Notes In Computer Science (1996), pp. 429-528.
|
| |
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
|
| |
In 18th International Conference on Software Engineering (25-30 March 1996), pp. 71-80.
|
| |
In SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering (1998), pp. 231-244.
|
| |
|
| |
In Workshop on Testing Aspect-Oriented Programs (2005)
|
| |
In Computer Aided Verification, Vol. 4590 (2007), pp. 37-37.
|
| |
In SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systems (2006), pp. 41-48.
|
| |
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 40-48.
|
| |
|
Search
