Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Renato Jorge Neves
  • Cluster

    Informática
  • Cargo

    Investigador Auxiliar
  • Desde

    01 janeiro 2014
002
Publicações

2020

Implementing Hybrid Semantics: From Functional to Imperative

Autores
Goncharov, S; Neves, R; Proença, J;

Publicação
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Abstract

2019

An Adequate While-Language for Hybrid Computation

Autores
Goncharov, S; Neves, R;

Publicação
CoRR

Abstract

2019

Limits in Categories of Vietoris Coalgebras

Autores
Hofmann, D; Neves, R; Nora, P;

Publicação
CoRR

Abstract

2018

Languages and models for hybrid automata: A coalgebraic perspective

Autores
Neves, R; Barbosa, LS;

Publicação
THEORETICAL COMPUTER SCIENCE

Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.

2018

Hierarchical Hybrid Logic

Autores
Madeira, A; Neves, R; Martins, MA; Barbosa, LS;

Publicação
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.