Mark G. Pleszkoch

According to our database, Mark G. Pleszkoch authored at least 24 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Invariant relations for affine loops.

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili

Acta Informatica, September, 2024

2015

Controlling Combinatorial Complexity in Software and Malware Behavior Computation.

Mark G. Pleszkoch, Rick Linger

Proceedings of the 10th Annual Cyber and Information Security Research Conference, 2015

2013

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Automated vulnerability detection for compiled smart grid software.

Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Automated Behavior Computation for Software Analysis and Validation.

Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Function Extraction Technology: Computing the Behavior of Malware.

Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Behavior computation for smart grid software analysis.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

Computing the behavior of malware.

Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2008

Introducing function extraction into software testing.

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Data Base, 2008

2007

A Semantic Recognizer Infrastructure for Computing Loop Behavior.

Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior.

Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2004

Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.

Mark G. Pleszkoch, Richard C. Linger

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.

Richard C. Linger, Mark G. Pleszkoch

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development.

Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

1998

Classification Using Information.

William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai

Ann. Math. Artif. Intell., 1998

1996

The incremental development process in Cleanroom software engineering.

Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Decis. Support Syst., 1996

1995

Learning via Queries with Teams and Anomalies.

William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann

Fundam. Informaticae, 1995

1994

Classification Using Information.

William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai

Proceedings of the Algorithmic Learning Theory, 1994

1992

Learning vi Queries in [+, <].

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay

J. Symb. Log., 1992

Eliminating non-traversable paths from structured programs.

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Proceedings of the Conference on Software Maintenance, 1992

1990

Using Function Abstraction to Understand Program Behavior.

Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

IEEE Softw., 1990

Learning Via Queries With Teams and Anomilies.

Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith

Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

Learning Via Queries in [+, <].

William I. Gasarch, Mark G. Pleszkoch, Robert Solovay

Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

1989

Learning via Queries to an Oracle.

William I. Gasarch, Mark G. Pleszkoch

Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989