Jim Carciofini

According to our database, Jim Carciofini authored at least 4 papers between 1992 and 2023.

Collaborative distances:

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

2023

Model-driven development for the seL4 microkernel using the HAMR framework.

Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

2014

Reasoner Performance on Ontologies for Operations.

Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso

Proceedings of the KEOD 2014, 2014

1994

ARINC 659 Scheduling: Problem Definition.

Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1992

Managing Disjunction for Practical Temporal Reasoning.

Robert Schrag, Mark Boday, Jim Carciofini

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992