Mark G. Pleszkoch

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 1

Top Topics

Malware Detection

Affine Invariance

Weak Perspective

Binary Relations

Top Venues

Acta Informatica

Publications

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili
Invariant relations for affine loops. Acta Informatica 61 (3) (2024)
Mark G. Pleszkoch, Rick Linger
Controlling Combinatorial Complexity in Software and Malware Behavior Computation. CISR (2015)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum
Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. CSIIRW (2013)
Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger
Automated vulnerability detection for compiled smart grid software. ISGT (2012)
Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns
Automated Behavior Computation for Software Analysis and Validation. HICSS (2012)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre
Behavior computation for smart grid software analysis. CSIIRW (2011)
Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch
Function Extraction Technology: Computing the Behavior of Malware. HICSS (2011)
Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly
Computing the behavior of malware. CSIIRW (2010)
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Introducing function extraction into software testing. Data Base 39 (3) (2008)
Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell
A Semantic Recognizer Infrastructure for Computing Loop Behavior. HICSS (2007)
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior. HICSS (2007)
Richard C. Linger, Mark G. Pleszkoch
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. HASE (2004)
Mark G. Pleszkoch, Richard C. Linger
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. HICSS (2004)
Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch
Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. HASE (2004)
William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai
Classification Using Information. Ann. Math. Artif. Intell. 23 (1-2) (1998)
Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
The incremental development process in Cleanroom software engineering. Decis. Support Syst. 17 (1) (1996)
William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann
Learning via Queries with Teams and Anomalies. Fundam. Informaticae 23 (1) (1995)
William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai
Classification Using Information. GOSLER Final Report (1995)
William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai
Classification Using Information. AII/ALT (1994)
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Eliminating non-traversable paths from structured programs. ICSM (1992)
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
Learning vi Queries in [+, <]. J. Symb. Log. 57 (1) (1992)
Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Using Function Abstraction to Understand Program Behavior. IEEE Softw. 7 (1) (1990)
Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith
Learning Via Queries With Teams and Anomilies. COLT (1990)
William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
Learning Via Queries in [+, <]. COLT (1990)
William I. Gasarch, Mark G. Pleszkoch
Learning via Queries to an Oracle. COLT (1989)