Bruno Lopes

According to our database, Bruno Lopes authored at least 25 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MAESTRO: a lightweight ontology-based framework for composing and analyzing script-based scientific experiments.

Luiz Gustavo Dias, Bruno Lopes, Daniel de Oliveira

Knowl. Inf. Syst., October, 2024

2023

MAESTRO: Uma Abordagem para a Composição e Análise de Workflows Baseados em Scripts por Meio de Ontologias.

Luiz Gustavo Dias, Bruno Lopes, Daniel de Oliveira

Proceedings of the 38th Brazilian Symposium on Databases, 2023

Twin-Treewidth: A Single-Exponential Logic-Based Approach.

Maurício Pires, Uéverton S. Souza, Bruno Lopes

Proceedings of the Combinatorial Optimization and Applications, 2023

2022

A logical framework to reason about Reo circuits.

Erick Simas Grilo, Daniel Toledo, Bruno Lopes

FLAP, 2022

ReLo: a Dynamic Logic to Reason About Reo Circuits.

Erick Simas Grilo, Bruno Lopes

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2021

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic.

Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler

ACM Trans. Comput. Log., 2021

2020

Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs.

Pablo Carvalho, Esteban Clua, Aline Paes, Cristiana Bentes, Bruno Lopes, Lúcia Maria de A. Drummond

Future Gener. Comput. Syst., 2020

Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows.

Luiz Gustavo Dias, Marta Mattoso, Bruno Lopes, Daniel de Oliveira

Proceedings of the Advances in Bioinformatics and Computational Biology, 2020

Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.

Bruno Lopes, Daniel de Oliveira

Proceedings of the Quality of Information and Communications Technology, 2020

Modelling and Certifying Smart Cities in Reo Circuits.

Erick Simas Grilo, Bruno Lopes

Proceedings of the 2020 International Conference on Systems, Signals and Image Processing, 2020

2019

Revisiting Counter-model Generation for Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

CoRR, 2019

Critical Systems for Smart Cities: Towards Certifying Software.

Erick Simas Grilo, Bruno Lopes

Proceedings of the Smart and Digital Cities, 2019

2018

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.

Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler

Theor. Comput. Sci., 2018

Formalization and Certification of Software for Smart Cities.

Erick Simas Grilo, Bruno Lopes

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2017

Editorial.

Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira

Computación y Sistemas, 2017

2016

Propositional Dynamic Logic for Petri Nets with Iteration.

Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.

Christiano Braga, Bruno Lopes

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Proceedings of the Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability, 2015

2014

Extensões de lógica Proposicional dinâmica para Redes de Petri.

Bruno Lopes Vieira

PhD thesis, 2014

Propositional dynamic logic for Petri nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Log. J. IGPL, 2014

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.

Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

Extending Propositional Dynamic Logic for Petri Nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012

A new proof of normalization for NS4

Bruno Lopes, Cécilia Englander, Fernanda Lobo, Marcela Cruz

CoRR, 2012

Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis.

Geiza M. Hamazaki da Silva, Bruno Lopes, Gabriel B. Monteiro Lopes

Proceedings of Joint V Seminar on Ontology Research in Brazil and VII International Workshop on Metamodels, 2012