Bruno Lopes

23 papers B 1C 1Misc 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ecumenical Propositional Tableau.
Stud Logica
Renato Leme, Marcelo Esteban Coniglio, Bruno Lopes, Giorgio Venturi
2025 J jnl
Towards determinism in PDL: relations and proof theory.
J. Log. Comput.
Mario R. F. Benevides, Leandro Gomes, Bruno Lopes
2024 J jnl
MAESTRO: a lightweight ontology-based framework for composing and analyzing script-based scientific experiments.
Knowl. Inf. Syst.
Luiz Gustavo Dias, Bruno Lopes, Daniel de Oliveira
2023 — conf
MAESTRO: Uma Abordagem para a Composição e Análise de Workflows Baseados em Scripts por Meio de Ontologias.
SBBD
Luiz Gustavo Dias, Bruno Lopes, Daniel de Oliveira
2023 — conf
Twin-Treewidth: A Single-Exponential Logic-Based Approach.
COCOA (2)
Maurício Pires, Uéverton S. Souza, Bruno Lopes
2022 J jnl
A logical framework to reason about Reo circuits.
FLAP
Erick Simas Grilo, Daniel Toledo, Bruno Lopes
2022 — conf
ReLo: a Dynamic Logic to Reason About Reo Circuits.
LSFA
Erick Simas Grilo, Bruno Lopes
2021 J jnl
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic.
ACM Trans. Comput. Log.
Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler
2020 — conf
Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows.
BSB
Luiz Gustavo Dias, Marta Mattoso, Bruno Lopes, Daniel de Oliveira
2020 — conf
Modelling and Certifying Smart Cities in Reo Circuits.
IWSSIP
Erick Simas Grilo, Bruno Lopes
2020 Misc conf
Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.
QUATIC
Bruno Lopes, Daniel de Oliveira
2020 J jnl
Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs.
Future Gener. Comput. Syst.
Pablo Carvalho, Esteban Clua, Aline Paes, Cristiana Bentes, Bruno Lopes, Lúcia Maria de A. Drummond
2019 — ch.
Critical Systems for Smart Cities: Towards Certifying Software.
Smart and Digital Cities
Erick Simas Grilo, Bruno Lopes
2018 B conf
Formalization and Certification of Software for Smart Cities.
IJCNN
Erick Simas Grilo, Bruno Lopes
2018 J jnl
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.
Theor. Comput. Sci.
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2016 C conf
Propositional Dynamic Logic for Petri Nets with Iteration.
ICTAC
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2015 — conf
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.
PAAMS (Special Sessions)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2015 — conf
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.
SBMF
Christiano Braga, Bruno Lopes
2014 — conf
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.
LSFA
Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler
2014 J jnl
Propositional dynamic logic for Petri nets.
Log. J. IGPL
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2013 — conf
Extending Propositional Dynamic Logic for Petri Nets.
LSFA
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2012 J jnl
A new proof of normalization for NS4
CoRR
Bruno Lopes, Cécilia Englander, Fernanda Lobo, Marcela Cruz
2012 — conf
Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis.
ONTOBRAS-MOST
Geiza M. Hamazaki da Silva, Bruno Lopes, Gabriel B. Monteiro Lopes