Search Results - "Java Modeling Language (JML)"

Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems by Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios

“…Over the past few years, the transition from centralized to distributed industrial control systems (ICS) has introduced new challenges related to coordination,…”
Get full text

Specifying linked data structures in JML for combining formal verification and testing by Gladisch, Christoph, Tyszberowicz, Shmuel

“…We show how to write concise and readable specifications of linked data structures that are applicable for both formal deductive verification and testing. A…”
Get full text

Specifying subtypes in Safety Critical Java programs by Haddad, Ghaith, Leavens, Gary T.

“…SUMMARYReal‐time and safety‐critical code could benefit from the use of design patterns and frameworks that rely on subtyping and dynamic dispatch. However,…”
Get full text

LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS by Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios

“…Industrial Control Systems (ICS) are vulnerable to cybersecurity threats due to their distributed architecture and critical role in infrastructure sectors…”
Get full text

Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench by Raptis, George E., Taimoor Khan, Muhammad, Koulamas, Christos, Serpanos, Dimitrios

“…Industrial Control Systems (ICS) increasingly face cybersecurity threats due to their distributed architecture and critical role in infrastructure operations…”
Get full text

Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems by Saramantas, Ioannis E., Raptis, George E., Khan, Muhammad Taimoor, Fassois, Spilios D., Sakellariou, John S., Koulamas, Christos, Iliopoulos, Ilias A., Serpanos, Dimitrios

“…This paper presents a unified run-time monitoring framework that integrates inline formal verification and sensorlevel anomaly detection for distributed…”
Get full text

Translating B and Event‐B Machines to Java and JML by Cataño, Néstor, Rivera, Víctor, Rueda, Camilo, Wahls, Tim

“…This chapter provides a brief introduction to B, Event‐B and Java Modeling Language (JML). It presents the B2Jml and EventB2Java tools, including descriptions…”
Get full text

A Case Study in JML-Assisted Software Development by Cataño, Néstor, Barraza, Fernando, García, Daniel, Ortega, Pablo, Rueda, Camilo

“…This paper presents a case study in formal software development of a plugin for a Java Desktop project management application using JML. Our goals for the case…”
Get full text