Sentot Kromodimoeljo

According to our database, Sentot Kromodimoeljo authored at least 9 papers between 1988 and 2015.

Collaborative distances:

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

2015

Automatic Generation of Minimal Cut Sets.

Sentot Kromodimoeljo, Peter A. Lindsay

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Automation of Test Case Generation from Behavior Tree Requirements Models.

Peter A. Lindsay, Sentot Kromodimoeljo, Paul A. Strooper, Mohamed Almorsy

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Controlling the Generation of Multiple Counterexamples in LTL Model Checking

Sentot Kromodimoeljo

PhD thesis, 2014

1993

The EVES System.

Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels

Proceedings of the Functional Programming, 1993

An EVES Data Abstraction Example.

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Eves System Description.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the Automated Deduction, 1992

1991

EVES: An Overview.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the VDM '91, 1991

1988

m-EVES: A Tool for Verifying Software.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink

Proceedings of the Proceedings, 1988

m-NEVER System Summary.

Bill Pase, Sentot Kromodimoeljo

Proceedings of the 9th International Conference on Automated Deduction, 1988