BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Germany
1 × Ireland
1 × Switzerland
2 × USA
Collaborated with:
∅ P.Alexander S.G.Elbaum G.Rothermel D.Giannakopoulou J.D.Morgenthaler K.Havelund P.Baraona J.R.Ruthruff N.Ayewah W.Pugh Y.Zhou W.Visser E.Engstrom A.Larson N.Weininger J.Whittle J.V.Baalen J.Schumann P.Robinson T.Pressburger P.Oh M.R.Lowry G.P.Brat
Talks about:
softwar (4) develop (3) architectur (2) synthesi (2) analysi (2) static (2) deduct (2) compon (2) verif (2) warn (2)

♂ Person: John Penix

DBLP DBLP: Penix:John

Facilitated 10 volumes:

MSR 2013PrCo
ASE 2012DemoTrackPrCo
ASE 2012PrCo
ASE 2012ToCo
ASE 2011PrCo
ASE 2010ExpertReviewPa
ASE 2010PrBoard
ASE 2010TuCh
ASE 2003PrCh
CBSE 2002PrCo

Contributed to:

FSE 20142014
ICSE 20122012
ICSE 20082008
PASTE 20072007
ASE 20012001
CBSE 20012001
ICSE 20002000
ASE 19991999
ASE 19971997
KBSE 19951995

Wrote 11 papers:

FSE-2014-ElbaumRP #development #integration #testing
Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
FSE-2014-Penix #case study #developer #experience #tool support
Experiences developing tools for developers (JP), p. 4.
ICSE-2012-Penix #automation #in the cloud #scalability #testing
Large-scale test automation in the cloud (JP), p. 1122.
ICSE-2008-RuthruffPMER #approach #predict #static analysis
Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
PASTE-2007-AyewahPMPZ #fault #static analysis
Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.
ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
CBSE-2001-GiannakopoulouP #certification #component #verification
Component Verification and Certification in NASA Missions (DG, JP), p. 23.
ICSE-2000-PenixVELW #clustering #kernel #verification
Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.
ASE-1999-Penix99a #architecture #deduction #synthesis
Deductive Synthesis of Event-Based Software Architectures (JP), pp. 311–314.
ASE-1997-PenixAH #architecture #declarative #specification
Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.
KBSE-1995-PenixBA #classification #component #retrieval #reuse #semantics #using
Classification and Retrieval of Reusable Components Using Semantic Features (JP, PB, PA), pp. 131–138.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.