Rance DeLong

According to our database, Rance DeLong authored at least 6 papers between 2011 and 2019.

Collaborative distances:

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

2019

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2019

Cross-CPP - An Ecosystem for Provisioning, Consolidating, and Analysing Big Data from Cyber-Physical Products.

Ana Correia, Christian Wolff, Massimiliano Zanin, Ernestina Menasalvas, Elisa A. Herrmann, Victor Corral, Miriam Kachelmann, Rance DeLong, Pavel Smrz

Proceedings of the 1st Workshop on Cyber-Physical Social Systems co-located with the 9th International Conference on the Internet of Things (IoT 2019), 2019

2018

A Model-based Approach to Certification of Adaptive MILS.

Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

2015

Combining MILS with Contract-Based Design for Safety and Security Requirements.

Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2015

2011

On the (f)utility of untrusted data sanitization.

Ashish Gehani, David Hanz, John Rushby, Grit Denker, Rance DeLong

Proceedings of the MILCOM 2011, 2011