Bruno Lopes

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Topics

Failure Prediction

Top Venues

Future Gener. Comput. Syst.

Publications

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