Publications related to Model checking

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

Jean-François Molinari, Tobias Brink, Lucas Henri Galilée Frérot

In order to develop predictive wear laws, relevant material parameters and their influence on the wear rate need to be identified. Despite decades of research, there is no agreement on the mathematical form of wear equations and even the simplest models, s ...

2021

Non-Hermitian time evolution: From static to parametric instability

Romain Christophe Rémy Fleury, Aleksi Antoine Bossart

Eigenmode coalescence imparts remarkable properties to non-Hermitian time evolution, culminating in a purely non-Hermitian spectral degeneracy known as an exceptional point (EP). Here, we revisit time evolution around EPs, looking at both static and period ...

2021

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

2019

User Guidance for Efficient Fact Checking

Thanh Trung Huynh, Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

ASSOC COMPUTING MACHINERY2019

The AKLT Model on a Hexagonal Chain is Gapped

Marius Christopher Lemm

In 1987, Affleck, Kennedy, Lieb, and Tasaki introduced the AKLT spin chain and proved that it has a spectral gap above the ground state. Their concurrent conjecture that the two-dimensional AKLT model on the hexagonal lattice is also gapped remains open. I ...

2019

Formal Analysis of Human-Assisted Smart City Emergency Services

The concept of IoT-based Smart Cities has gained momentum in recent years. The research in this domain has focused on modeling key characteristics of future smart cities along with exploring their design and implementation aspects from multiple perspective ...

2019

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Olivier Sauter, Federico Alberto Alfredo Felici, Antoine Pierre Emmanuel Alexis Merle, Mengdi Kong

Triggerless

2/1

neoclassical tearing modes (NTMs), i.e.

2/1

NTMs that originate from unstable safety factor profiles (with positive classical stability index at zero island width, i.e.

\Delta'_0>0

) and saturate neoclassically under the effect of pert ...

IOP2019

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Maryam Kamgarpour, Tony Alan Wood

We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. ...

ACM2018

Coordinate Descent with Bandit Sampling

Patrick Thiran, Laura Elisa Celis, Farnood Salehi

Coordinate descent methods usually minimize a cost function by updating a random decision variable (corresponding to one coordinate) at a time. Ideally, we would update the decision variable that yields the largest decrease in the cost function. However, f ...

NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018

Model checking

Graph Chatbot

Chat with Graph Search

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

Non-Hermitian time evolution: From static to parametric instability

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

The AKLT Model on a Hexagonal Chain is Gapped

Formal Analysis of Human-Assisted Smart City Emergency Services

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Performance Contracts for Software Network Functions

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Coordinate Descent with Bandit Sampling

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Non-Hermitian time evolution: From static to parametric instability

The AKLT Model on a Hexagonal Chain is Gapped

On the triggerless onset of 2/1 neoclassical tearing modes in TCV

Performance Contracts for Software Network Functions

A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact

User Guidance for Efficient Fact Checking

Formal Analysis of Human-Assisted Smart City Emergency Services

Coordinate Descent with Bandit Sampling

User Guidance for Efficient Fact Checking