Luciana Foss

According to our database, Luciana Foss authored at least 51 papers between 2003 and 2023.

Collaborative distances:

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

2023

Fuzzy correlational analysis for dynamic consolidation of virtual machines in cloud computing environment.

Alex Bertei, Luciana Foss, Benjamín R. C. Bedregal, Renata Reiser

Eng. Appl. Artif. Intell., November, 2023

The Brazilian School Computing Standard.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

Formal Specification in Basic Education: What Does It Take?

Braz Araujo da Silva Junior, Simone André da Costa Cavalheiro, Luciana Foss, Júlia Veiga da Silva

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores.

Bruno Cabreira Gonçalves, João Eduardo Seffrin Soares, Placida Oliveira, Jonnhy Marques, Simone André da Costa Cavalheiro, Luciana Foss, André DuBois, Renata Reiser, Clause Piana, Ana Rita Mazzini

Revista Brasileira de Informática na Educ., 2022

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2021

A Graph Transformation System formalism for correctness of Transactional Memory algorithms.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

PACT: A Citizen Science Project for Computing Education.

Braz Araujo da Silva, Simone André da Costa Cavalheiro, Luciana Foss, Ana Marilza Pernas Fleischmann, Andrea Volz Garcez

Proceedings of the IEEE Frontiers in Education Conference, 2021

2019

A Graph Transformation System formalism for Software Transactional Memory Opacity.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Correlation Coefficient of Modal Level Operators: An Application to Medical Diagnosis.

Alex Bertei, Renata H. S. Reiser, Luciana Foss

Proceedings of the 11th International Joint Conference on Computational Intelligence, 2019

Evaluation Rubric for Computational Thinking Concepts.

Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro

Proceedings of the 19th IEEE International Conference on Advanced Learning Technologies, 2019

2017

Theorem proving graph grammars with attributes and negative application conditions.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Theor. Comput. Sci., 2017

Entendendo o Pensamento Computacional.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro

CoRR, 2017

A relational approach of fuzzy graph grammars.

Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser

Proceedings of the 13th International Conference on Natural Computation, 2017

2016

Computação na Educação Básica no Brasil: o Estado da Arte.

Adriana Bordini, Christiano Martino Otero Avila, Yuri Weisshahn, Mônica Marques da Cunha, Simone André da Costa Cavalheiro, Luciana Foss, Marilton S. de Aguiar, Renata Hax Sander Reiser

RITA, 2016

Correlation coefficient analysis based on fuzzy negations and representable automorphisms.

Alex Bertei, Rosana Medina Zanotelli, Wilson Cardoso, Renata Reiser, Luciana Foss, Benjamín R. C. Bedregal

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015

Proof Tactics for Theorem Proving Graph Grammars through Rodin.

Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss

RITA, 2015

Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study.

Renata Reiser, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal

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

Translating Controlled Graph Grammars to Ordinary Graph Grammars.

Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro

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

From UML diagrams to simulink models: a precise and verified translation.

Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards robustness and duality analysis of intuitionistic fuzzy aggregations.

Rosana Medina Zanotelli, Renata Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014

Aproximating static list schedules in dynamic multithreaded applications.

Cícero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss

Clust. Comput., 2014

Aggregating fuzzy implications based on OWA-operators.

Ibero Benitez, Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Adenauer C. Yamin

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions.

Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín René Callejas Bedregal

Proceedings of the XL Latin American Computing Conference, 2014

2013

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.

Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner

RITA, 2013

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling.

Cícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo Homrich Cavalheiro

RITA, 2013

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class.

Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations.

Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Automatic Translation from UML to Simulink CAAM Using Graph Grammars.

Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education.

Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar, Luciana Foss, Ana Marilza Pernas, Renata Reiser

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Correct transformation: From object-based graph grammars to PROMELA.

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss

Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Graph Grammars: A Comparison between Verification Methods.

Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs.

Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Using Graph Grammars to Develop Embedded Systems Based on UML Models.

Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010

Model Checking the Ant Colony Optimisation.

Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Aspects for Graph Grammars.

Rodrigo Machado, Luciana Foss, Leila Ribeiro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Model Transformation Using Graph Transactions.

Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Sistemas de transformação de grafos transacionais.

Luciana Foss

PhD thesis, 2008

Graph Transformation with Dependencies for the Specification of Interactive Systems.

Andrea Corradini, Luciana Foss, Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2007

Modelling, property verification and behavioural equivalence of lactose operon regulation.

Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro

Comput. Biol. Medicine, 2007

2006

Formal Verification of Object-Oriented Graph Grammars Specifications.

Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Towards a Notion of Transaction in Graph Rewriting.

Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Graph Transactions as Processes.

Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Modeling and Property Verification of Lactose Operon Regulation.

Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro

Proceedings of the Advances in Bioinformatics and Computational Biology, 2005

2004

An Environment for the Development of Concurrent Object-Based Applications.

Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Translating Java Code to Graph Transformation Systems.

Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

A Translation from Object-Based Hypergraph Grammars into pi-Calculus.

Luciana Foss, Leila Ribeiro

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Especificação e Verificação Formal de Sistemas Distribuídos.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Verification of Distributed Object-Based Systems.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003