• Parametric Ontologies in Formal Software Engineering 

  Brucker, AD; Ait-Sadoune, I; Méric, N; et al. (Elsevier, 16 November 2024)

  Isabelle/DOF is an ontology framework on top of Isabelle/HOL. It allows for the formal development of ontologies and continuous conformity-checking of integrated documents, including the tracing of typed meta-data of ...

• Secure Smart Contracts with Isabelle/Solidity 

  Marmsoler, D; Ahmed, A; Brucker, AD (Springer, 2024)

  Smart contracts are programs stored on the blockchain, often developed in a high-level programming language, the most popular of which is Solidity. Smart contracts are used to automate financial transactions and thus bugs ...

• A deep embedding of Solidity in Isabelle/HOL 

  Marmsoler, D; Brucker, AD (Association for Computing Machinery (ACM), 2024)

  Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of new ...

• Does Every Computer Scientist Need to Know Formal Methods? 

  Broy, M; Brucker, A; Fantechi, A; et al. (Association for Computing Machinery (ACM), 10 June 2024)

  We focus on the integration of Formal Methods as mandatory theme in any Computer Science University curriculum. In particular, when considering the ACM Curriculum for Computer Science, the inclusion of Formal Methods as a ...

• HTEKG: A Human-Trait-Enhanced Literary Knowledge Graph with language model evaluation 

  Kalathil, SS; Li, T; Dong, H; et al. (SciTePress, 2024)

  Knowledge Graphs (KGs) are a crucial component of Artificial Intelligence (AI) systems, enhancing AI’s capabilities in literary analysis. However, traditional KG designs in this field have focused more on events, often ...

View more