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 …

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 …

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 …

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 …

After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing,
and analyzing distributed algorithms. She directs her book at a wide audience, including …

Abstract Coloured Petri Nets (CPNs) is a language for the modelling and validation of
systems in which concurrency, communication, and synchronisation play a major role …

We summarize several recent results about hybrid automata. Our goal is to demonstrate that
concepts from the theory of discrete concurrent systems can give insights into partly …

We present a general framework for the formal specification and algorithmic analysis of
hybrid systems. A hybrid system consists of a discrete program with an analog environment …