m-NEVER System Summary. - Bill Pase; Sentot Kromodimoeljo (CADE, 1988)

m-EVES: A Tool for Verifying Software. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Andy Neilson; Bill Pase; Mark Saaltink (ICSE, 1988)

EVES: An Overview. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Bill Pase; Mark Saaltink (VDM Europe (1), 1991)

Eves System Description. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Bill Pase; Mark Saaltink (CADE, 1992)

An EVES Data Abstraction Example. - Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels (FME, 1993)

The EVES System. - Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Controlling the Generation of Multiple Counterexamples in LTL Model Checking - Sentot Kromodimoeljo (2014)

Automation of Test Case Generation from Behavior Tree Requirements Models. - Peter A. Lindsay; Sentot Kromodimoeljo; Paul A. Strooper; Mohamed Almorsy (ASWEC, 2015)

Automatic Generation of Minimal Cut Sets. - Sentot Kromodimoeljo; Peter A. Lindsay (ESSS, 2015)