Data | Título | Autor(es) | Tipo | Acesso |
2023 | Adding records to alloy | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
Jan-2016 | Lightweight specification and analysis of dynamic systems with rich configurations | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |
2022 | Pardinus: a temporal relational model finder | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo | Acesso aberto |
2018 | Proposition of an action layer for electrum | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | Simulation under arbitrary temporal logic constraints | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
Set-2018 | The electrum analyzer: Model checking relational first-order temporal specifications | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | Verifying temporal relational models with Pardinus | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |