Search
Search Results
-
Meta-programming Event-B
Transforming models based on their textual representation is a cumbersome task. This is particularly the case for Event-B, where the predominant...
-
Event-B as DSL in Isabelle and HOL Experiences from a Prototype
The proof assistant Isabelle/HOL is made available inside a flexible system framework allowing for logically safe extensions, which comprise both...
-
Formal Modeling and Analysis of Apache Kafka in Alloy 6
Apache Kafka is a distributed, fault-tolerant and highly available open-source technology that utilizes a publish-subscribe communication model to...
-
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
Formal methods play a crucial role in modeling and quality assurance, but to be deployed on real systems, formal specifications need to be translated...
-
A Modeling and Verification Framework for Ethereum Smart Contracts
Blockchain has shown to be a versatile technology with applications ranging from financial services and supply chain management to healthcare,...
-
Real-Time CCSL: Application to the Mechanical Lung Ventilator
This case-study paper reports on our experience in modelling the mechanical lung ventilator using the Clock Constraint Specification Language (CCSL)....
-
Alloy Goes Fuzzy
Humans are good at understanding subjective or vague statements which, however, are hard to express in classical logic. Fuzzy logic is an evolution...
-
Proof Construction and Checking on Evolving Abstract State Machines
Abstract State Machines (ASMs) are widely used in the formalization and verification of the semantics of software or hardware. However, tools for...
-
Transpilation of Petri-nets into B
Petri-nets and their variants (Place/Transition nets, High-Level Petri Nets, etc.) are widely used in the development of safety critical-systems....
-
Right and Wrong: Ten Choices in Language Design
A description of language design choices that have a profound effect on software quality, criticism of how ordinary OO languages addressed them, and...
-
From Procedures, Objects, Actors, Components, Services, to Agents
The objective of this chapter is to propose some retrospective analysis of the evolution of programming abstractions, from procedures, objects,...
-
Some Remarks About Dependent Type Theory
The goal of this chapter is to describe a calculus designed in 1984/1985. This calculus was obtained by applying the ideas introduced by N.G. de...
-
Semantics and Syntax, Between Computer Science and Mathematics
This text recounts my scientific itinerary from the late 1970s up to now, as I view it today, as well as the context in which it took place. The...
-
Multi-label Classification of Mobile Application User Reviews Using Neural Language Models
Mobile application (App) reviews which are provided by users through different App stores are considered as a rich information source for developers...
-
Conditional Objects as Possibilistic Variables
The interpretation of basic conditionals as three-valued objects initiated by de Finetti has been mainly developed and extended by Gilio and...
-
On Identifiability of BN2A Networks
In this paper, we consider two-layer Bayesian networks. The first layer consists of hidden (unobservable) variables and the second layer consists of...
-
An Efficient Non-Bayesian Approach for Interactive Preference Elicitation Under Noisy Preference Models
The development of models that can cope with noisy input preferences is a critical topic in artificial intelligence methods for interactive...
-
Handling Inconsistency in (Numerical) Preferences Using Possibility Theory
Gathering the preferences of a user in order to make correct recommendations becomes a difficult task in case of uncertain answers. Using possibility...
-
Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks
Preferences in abstract argumentation frameworks allow to represent the comparative strength of arguments, or preferences between values that...
-
Hypergraphs in Logic Programming
Heterogeneous data is a significant topic in today’s context, necessitating the development of AI tools. Logic programming is a powerful approach for...