Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Overview and Roadmap of Team Automata
Maurice H. ter Beek, Rolf Hennicker, José Proença +1
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise. Duri…
cs.LO2025
Analyzing Many Simulations of Hybrid Programs in Lince
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and…