Sentot Kromodimoeljo

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 2

Top Topics

Multiresolution

Minimal Subsets

Information Systems

Top Venues

Publications

Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy
Automation of Test Case Generation from Behavior Tree Requirements Models. ASWEC (2015)
Sentot Kromodimoeljo, Peter A. Lindsay
Automatic Generation of Minimal Cut Sets. ESSS (2015)
Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. FME (1993)
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. CADE (1992)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. VDM Europe (1) (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. ICSE (1988)
Bill Pase, Sentot Kromodimoeljo
m-NEVER System Summary. CADE (1988)