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

“… The specifications are written in the Java Modeling Language (JML) and do not require extensions of that language…”
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

“… In this paper, we explore how large language models (LLMs) can support the synthesis of inline security monitors by generating Java Modeling Language (JML…”
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

A specification language design for the Java Modeling Language (JML) using Java 5 annotations by Taylor, Kristina Boysen

“… The Java Modeling Language (JML) is one such specification language for Java that uses comments to specify contracts…”
Get full text

On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML) by Hamie, A.

“… The Java Modeling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces…”
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…”
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

Formal Specification and Verification of JDK’s Identity Hash Map Implementation by De Boer, Martin, De Gouw, Stijn, Klamroth, Jonas, Jung, Christian, Ulbrich, Mattias, Weigl, Alexander

“… We specified its behavior using the Java Modeling Language (JML) and proved correctness for the main insertion and lookup methods with KeY, a semi-interactive theorem prover for JML-annotated Java programs…”
Get full text

How the design of JML accommodates both runtime assertion checking and formal verification by Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.

“… can potentially contain side effects. The Java Modeling Language, JML, avoids these problems. It uses a side-effect free subset…”
Get full text

Cross-Model Evaluation of LLMs for Generating Formal Specification of Distributed Industrial Control Systems by Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios

“… Inline monitoring using formal annotations like the Java Modeling Language (JML) offers a lightweight yet precise method to detect behavioral anomalies…”
Get full text

An overview of JML tools and applications by Burdy, Lilian, Cheon, Yoonsik, Cok, David R., Ernst, Michael D., Kiniry, Joseph R., Leavens, Gary T., Leino, K. Rustan M., Poll, Erik

“…The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files…”
Get full text

Model variables: cleanly supporting abstraction in design by contract by Cheon, Yoonsik, Leavens, Gary, Sitaraman, Murali, Edwards, Stephen

“…In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and…”
Get full text

Integrating a formal method into a software engineering process with UML and Java by Möller, Michael, Olderog, Ernst-Rüdiger, Rasch, Holger, Wehrheim, Heike

“…We describe how CSP-OZ, a formal method combining the process algebra CSP with the specification language Object-Z, can be integrated into an object-oriented…”
Get full text

Towards an industrial grade IVE for Java and next generation research platform for JML by Chalin, Patrice, Robby, James, Perry R., Lee, Jooyong, Karabotsos, George

“…Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture…”
Get full text

Modular specification of frame properties in JML by Müller, Peter, Poetzsch-Heffter, Arnd, Leavens, Gary T.

“…’, and by modularity rules for dependencies. For concreteness, we adapt this technique to the Java Modeling Language, JML. Copyright © 2003 John Wiley & Sons, Ltd…”
Get full text

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures by Mert Özkaya

“…In this paper, a new software modeling language called SAMP is proposed, which is inspired from UML and enables the general-purpose modeling of software…”
Get full text

QIn: Enabling Formal Methods to Deal with Quantum Circuits by Klamroth, Jonas, Beckert, Bernhard, Scheerer, Max, Denninger, Oliver

“…Quantum computers open up new fields of application for hard-to-compute problems due to potential super-polynomial speedup. The design of quantum algorithms is…”
Get full text