Следене
John Penix
John Penix
Потвърден имейл адрес: google.com
Заглавие
Позовавания
Позовавания
Година
Using predicate abstraction to reduce object-oriented programs for model checking
W Visser, SJ Park, J Penix
Proceedings of the third workshop on Formal methods in software practice, 3-182, 2000
20442000
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
6662008
Techniques for improving regression testing in continuous integration development environments
S Elbaum, G Rothermel, J Penix
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
3602014
Evaluating static analysis defect warnings on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
2942007
Formal analysis of a space-craft controller using SPIN
K Havelund, M Lowry, J Penix
IEEE Transactions on Software Engineering 27 (8), 749-765, 2001
2712001
Predicting accurate and actionable static analysis warnings: an experimental approach
JR Ruthruff, J Penix, JD Morgenthaler, S Elbaum, G Rothermel
Proceedings of the 30th international conference on Software engineering …, 2008
1572008
Formal analysis of the remote agent before and after flight
ML Klaus Havelund, SJ Parka
Lfm2000: Fifth NASA Langley Formal Methods Workshop 210100, 163, 2000
1132000
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
991997
Verification of time partitioning in the DEOS scheduler kernel
J Penix, W Visser, E Engstrom, A Larson, N Weininger
Proceedings of the 22nd international conference on Software engineering …, 2000
942000
Verification of time partitioning in the DEOS scheduler kernel
J Penix, W Visser, E Engstrom, A Larson, N Weininger
Proceedings of the 22nd international conference on Software engineering …, 2000
942000
Using findbugs on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007
862007
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
841999
Management of interdependencies in collaborative software development
CRB De Souza, D Redmiles, G Mark, J Penix, M Sierhuis
2003 International Symposium on Empirical Software Engineering, 2003. ISESE …, 2003
492003
Classification and retrieval of reusable components using semantic features
J Penix, P Baraona, P Alexander
Proceedings 1995 10th Knowledge-Based Software Engineering Conference, 131-138, 1995
491995
Verifying time partitioning in the DEOS scheduling kernel
J Penix, W Visser, S Park, C Pasareanu, E Engstrom, A Larson, ...
Formal Methods in System Design 26, 103-135, 2005
462005
Using model checking to validate AI planner domain models
J Penix, C Pecheur, K Havelund
Proceedings of the 23rd Annual Software Engineering Workshop, NASA Goddard, 1998
441998
Design for verification using design patterns to build reliable systems
PC Mehlitz, J Penix
Proc. of 6th Workshop on Component-Based Software Eng, 2003
422003
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
381997
Verification and validation of Al systems that control deep-space spacecraft
M Lowry, K Havelund, J Penix
Lecture notes in computer science 1325, 35-47, 1997
351997
Amphion/NAV: Deductive synthesis of state estimation software
J Whittle, J Van Baalen, J Schumann, P Robinson, T Pressburger, J Penix, ...
Proceedings 16th Annual International Conference on Automated Software …, 2001
342001
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20