This paper gives a review on existing scheduling methodologies developed for process
industries. Above all, the aim of the paper is to focus on the industrial aspects of scheduling …

This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of
timed automata implemented in the tool, to present its interface, and to explain how to use …

A concise and practical introduction to the foundations and engineering principles of self-
adaptation Though it has recently gained significant momentum, the topic of self-adaptation …

Abstract The Visual Object Tracking challenge 2015, VOT2015, aims at comparing short-
term single-object visual trackers that do not apply pre-learned models of object …

A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in
Uppaal family that allows us to reason on networks of complex real-timed systems with a …

Graph theory has been widely studied, resulting in numerous applications across various
felds. Among its many topics, Automata and Graph Grammar have emerged as signifcant …

Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

Abstract Model checking is an automatic technique for verifying finite-state reactive systems,
such as sequential circuit designs and communication protocols. Specifications are …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …