Mark G. Pleszkoch

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