Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

I'm a PhD student, under the MAP-i doctoral programme, whose theme is logics and calculi for cyber–physical components.

I'm mainly interested in the foundations of cyber physical systems; coalgebras, proof theory and institutional theory; also, in a myriad of logics, but particularly in modal logics.

I participated in project Mondrian and I'm currently a member of the project Dalí.

Google scholar

DBLP

Contacts : nevrenato at di dot uminho dot pt

My Website gathers all the information about my academical activities.

Interest
Topics
Details

Details

  • Name

    Renato Jorge Neves
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st January 2014
002
Publications

2020

Implementing Hybrid Semantics: From Functional to Imperative

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

Publication
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

Authors
Goncharov, S; Neves, R;

Publication
CoRR

Abstract

2019

Limits in Categories of Vietoris Coalgebras

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

Publication
CoRR

Abstract

2018

Languages and models for hybrid automata: A coalgebraic perspective

Authors
Neves, R; Barbosa, LS;

Publication
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

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

Publication
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.