Mark G. Pleszkoch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2015

Controlling Combinatorial Complexity in Software and Malware Behavior ComputationMark G. Pleszkoch, Rick Linger. csiirw 2015: 15 [doi]

2013

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstrationRichard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum. csiirw 2013: 43 [doi]

2012

Automated Behavior Computation for Software Analysis and ValidationMark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns. hicss 2012: 5537-5545 [doi]

Automated vulnerability detection for compiled smart grid softwareStacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger. isgt 2012: 1-5 [doi]

2011

Function Extraction Technology: Computing the Behavior of MalwareRichard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch. hicss 2011: 1-9 [doi]

Behavior computation for smart grid software analysisRichard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre. csiirw 2011: 51 [doi]

2010

Computing the behavior of malwareRichard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly. csiirw 2010: 36 [doi]

2008

Introducing function extraction into software testingMark G. Pleszkoch, Richard C. Linger, Alan R. Hevner. DB, 39(3):41-50, 2008. [doi]

2007

Next-Generation Software Engineering: Function Extraction for Computation of Software BehaviorRichard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton. hicss 2007: 277 [doi]

2004

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance SystemsRichard C. Linger, Mark G. Pleszkoch. hase 2004: 267-268 [doi]

Automated Detection of Injected Faults in a Differential Equation Solver Network Systems DevelopmentRichard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch. hase 2004: 265-266 [doi]

Improving Network System Security with Function Extraction Technology for Automated Calculation of Program BehaviorMark G. Pleszkoch, Richard C. Linger. hicss 2004: [doi]

1998

Classification Using InformationWilliam I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai. AMAI, 23(1-2):147-168, 1998.

1996

The incremental development process in Cleanroom software engineeringCarmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner. dss, 17(1):55-71, 1996. [doi]

1995

Classification Using InformationWilliam I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai. gosler 1995: 162-173

Learning via Queries with Teams and AnomaliesWilliam I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann. FUIN, 23(1):67-89, 1995.

1994

Classification Using InformationWilliam I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai. alt 1994: 290-300

1992

Learning vi Queries in [+, <]William I. Gasarch, Mark G. Pleszkoch, Robert Solovay. JSYML, 57(1):53-81, 1992.

Eliminating non-traversable paths from structured programsMark G. Pleszkoch, Richard C. Linger, Alan R. Hevner. ICSM 1992: 156-164 [doi]

1990

1989

Learning via Queries to an OracleWilliam I. Gasarch, Mark G. Pleszkoch. colt 1989: 214-229 [doi]

Sign in or sign up to see more results.

runs on WebDSL