Lawrence Yelowitz

15 papers A* 2A 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
1984 — conf
Practical Experience with an Ada-Based Formal Specification/Language on a Large Project.
S&P
Lawrence Yelowitz
1982 — conf
Modeling a Network Protocol in AFFIRM and Ada.
PSTV
Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn
1981 J jnl
FACC activities/positions in methodology, verification, and trusted systems.
ACM SIGSOFT Softw. Eng. Notes
Lawrence Yelowitz
1979 A* conf
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.
ICALP
Arthur G. Duncan, Lawrence Yelowitz
1978 A conf
A project approach to structure and correctness in Pitt's second computer science course.
SIGCSE
Lawrence Yelowitz
1978 J jnl
Arthur G. Duncan: Data Structures and Program Correctness: Bridging the Gap.
Comput. Lang.
Lawrence Yelowitz
1978 J jnl
Notes on "A note on the transitive closure of a boolean matrix".
SIGACT News
Lawrence Yelowitz
1977 — conf
Abstractions, instantiations, and proofs of marking algorithms.
Artificial Intelligence and Programming Languages
Lawrence Yelowitz, Arthur G. Duncan
1976 J jnl
An Efficient Algorithm for Constructing Hierarchical Graphs.
IEEE Trans. Syst. Man Cybern.
Lawrence Yelowitz
1976 A* conf
Control Structure Abstractions of the Backtracking Programming Technique (Abstract).
ICSE
Susan L. Gerhart, Lawrence Yelowitz
1976 J jnl
Control Structure Abstractions of the Backtracking Programming Technique.
IEEE Trans. Software Eng.
Susan L. Gerhart, Lawrence Yelowitz
1976 J jnl
New Results and Techniques in Resolution Theory.
IEEE Trans. Computers
Lawrence Yelowitz, Abraham Kandel
1976 J jnl
Observations of Fallibility in Applications of Modern Programming Methodologies.
IEEE Trans. Software Eng.
Susan L. Gerhart, Lawrence Yelowitz
1975 J jnl
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts.
J. ACM
Lawrence Yelowitz
1975 J jnl
Loop Unravelling: A Practical Tool in Proving Program Correctness.
Inf. Process. Lett.
Arthur G. Duncan, Lawrence Yelowitz
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski