bookmarks (hide)
- No matching posts.
publications
(hide)83
This list of posts may not be accurate to recent changes. If you want accurate posts, but with limited sorting follow this link.
- (2008)
- Artif. Intell., 171 (10-15): 776-804 (2007)
- Commun. ACM, 53 (9): 76-85 (2010)
- Addison-Wesley, Upper Saddle River, NJ, (2007)
- Tools and Algorithms for the Construction and Analysis of Systems, 2010, volume 6015 of Lecture Notes in Computer Science, page 266-270. Springer, (2010)
- IEEE Trans. Software Eng., 28 (2): 129-145 (2002)
- Springer, Berlin, (2006)
- Prentice Hall International series in computer science Prentice Hall, (1988)
- (Oct 19, 2012)
- IEEE Software 1 (1), (1984)
- ISO/IEC JTC1/SC22 (Programming languages and operating systems) WG21 (C++), (2012)
- QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, page 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
- (2003)
- volume 3472 of Lecture Notes in Computer Science, Springer, (2005)
- Springer, (1994)
- Electr. Notes Theor. Comput. Sci., (2007)
- Java series Addison-Wesley-Longman, (1997)
- Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 525-555. Springer, (2004)
- McGraw-Hill Higher Education, 2nd edition, (2001)
- Formal Methods in System Design, 1 (2/3): 275-288 (1992)
- (2010)
- STTT, 2 (4): 382-393 (2000)
- ASE, page 157-166. IEEE Computer Society, (2006)
- ICSE, page 681-690. ACM, (2011)
- IEEE International Workshop on Rapid System Prototyping, page 105-110. IEEE Computer Society, (2005)
- STTT, 6 (4): 277-301 (2004)
- (2007)
- (2009)
- Karlsruhe Institute of Technology, Germany, (January 2016)
- testing experience, The Magazine for Professional Testers, (September 2010)
- 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2010)
- 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2011)
- Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, page 50-67. Springer, (June 2009)
- OBJEKTspektrum, (2013)
- Methods, Models and Tools for Fault Tolerance, volume 5454 of Lecture Notes in Computer Science, Springer, (2009)
- O'Reilly, 4. A. edition, (1998)
- Addison-Wesley, (2000)
- (1999)
- Addison-Wesley, Menlo Park, CA, (1996)
- Journal of Systems and Software, 38 (3): 235-253 (1997)
- (Oct 27, 2007)
- STTT, 6 (4): 260-276 (2004)JPF.
- volume 179 of LNI, GI, (2010)
- Electr. Notes Theor. Comput. Sci., 242 (2): 43-58 (2009)
- PASTE, page 80--85. ACM, (2001)
- SPIN, volume 1680 of Lecture Notes in Computer Science, page 232-244. Springer, (1999)
- Comput. J., 32 (2): 98-107 (1989)
- Addison-Wesley, Harlow, England, (1999)
- 319433-014. Intel, (August 2012)
- (1999)
