Saltar para:
Logótipo
Você está em: Início > Publicações > Alloy meets TLA+: An exploratory study > Visualizar Publicações Relacionadas

Publicações com os mesmos autores da publicação Alloy meets TLA+: An exploratory study

Agrupar Por: Ordenação:

Outras Publicações

Sharing and Learning Alloy on the Web
Macedo, N (Autor) (Outra); Cunha, A (Autor) (Outra); Pereira, J (Autor) (Outra); Carvalho, R (Autor) (Outra); Silva, R (Autor) (Outra); Paiva, ACR (Autor) (FEUP); Ramalho, MS (Autor) (Outra); Silva, DC (Autor) (Outra)
2019

Artigo em Revista Científica Internacional

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP)
Validating multiple variants of an automotive light system with Alloy 6
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Liu, C (Autor) (Outra)
Pardinus: A Temporal Relational Model Finder
Macedo, N (Autor) (FEUP); Brunel, J (Autor) (Outra); Chemouil, D (Autor) (Outra); Cunha, A (Autor) (Outra)
Composing Least-change Lenses
Macedo, N (Autor) (Outra); Pacheco, H (Autor) (Outra); Cunha, A (Autor) (Outra); Oliveira, JN (Autor) (Outra)
An ORCID based synchronization framework for a national CRIS ecosystem
Moreira, JM (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
A Feature-Based Classification of Model Repair Approaches
Macedo, N (Autor) (Outra); Tiago, J (Autor) (Outra); Cunha, A (Autor) (Outra)

Artigo em Livro de Atas de Conferência Internacional

Verification of system-wide safety properties of ROS applications
Carvalho, R (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Santos, A (Autor) (Outra)
Verification of railway network models with EVEREST
Martins, J (Autor) (Outra); Fonseca, JM (Autor) (Outra); Costa, R (Autor) (Outra); Campos, JC (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Oliveira, JN (Autor) (Outra)
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
Validating Multiple Variants of an Automotive Light System with Electrum
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Liu, C (Autor) (Outra)
Towards a framework for multidirectional model transformations
Macedo, N (Autor) (Outra); Cunha, A (Autor) (Outra); Pacheco, H (Autor) (Outra)
The electrum analyzer: model checking relational first-order temporal specifications
Brunel, J (Autor) (Outra); Chemouil, D (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Almeida, JB (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra); Pacheco, H (Autor) (Outra); Proenca, J (Autor) (Outra)
Task Model Design and Analysis with Alloy
Cunha, A (Autor) (Outra); Macedo, N (Autor) (FEUP); Kang, E (Autor) (Outra)
Target Oriented Relational Model Finding
Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra); Guimarães, T (Autor) (Outra)
Static-time Extraction and Analysis of the ROS Computation Graph
Santos, A (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
Simulation under Arbitrary Temporal Logic Constraints
Brunel, J (Autor) (Outra); Chemouil, D (Autor) (Outra); Cunha, A (Autor) (Outra); Macedo, N (Autor) (Outra)
Simplifying the Analysis of Software Design Variants with a Colorful Alloy
Liu, C (Autor) (Outra); Macedo, N (Autor) (Outra); Cunha, A (Autor) (Outra)

Registos 1 a 20 de 36

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-19 às 11:19:40 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico