Luciana Foss

52 papers B 7C 4Misc 1Journal 13Unranked 26
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Experience Report on Teaching Computer Science in Elementary School.
Revista Brasileira de Informática na Educ.
Simone André da Costa Cavalheiro, Luciana Foss, André Rauber Du Bois, Ana Marilza Pernas, Clause Fátima de Brum Piana, Renata Hax Sander Reiser
2023 C conf
Formal Specification in Basic Education: What Does It Take?
FIE
Braz Araujo da Silva Junior, Simone André da Costa Cavalheiro, Luciana Foss, Júlia Veiga da Silva
2023 J jnl
Fuzzy correlational analysis for dynamic consolidation of virtual machines in cloud computing environment.
Eng. Appl. Artif. Intell.
Alex Bertei, Luciana Foss, Benjamín R. C. Bedregal, Renata Reiser
2023 — conf
The Brazilian School Computing Standard.
SIGCSE (1)
Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França
2022 — conf
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2022 J jnl
Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores.
Revista Brasileira de Informática na Educ.
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
2021 — conf
A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2021 C conf
PACT: A Citizen Science Project for Computing Education.
FIE
Braz Araujo da Silva, Simone André da Costa Cavalheiro, Luciana Foss, Ana Marilza Pernas Fleischmann, Andrea Volz Garcez
2019 — conf
A Graph Transformation System formalism for Software Transactional Memory Opacity.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2019 C conf
Correlation Coefficient of Modal Level Operators: An Application to Medical Diagnosis.
IJCCI
Alex Bertei, Renata H. S. Reiser, Luciana Foss
2019 B conf
Evaluation Rubric for Computational Thinking Concepts.
ICALT
Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro
2017 — conf
A relational approach of fuzzy graph grammars.
ICNC-FSKD
Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser
2017 J jnl
Entendendo o Pensamento Computacional.
CoRR
Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro
2017 J jnl
Theorem proving graph grammars with attributes and negative application conditions.
Theor. Comput. Sci.
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2016 J jnl
Computação na Educação Básica no Brasil: o Estado da Arte.
RITA
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
2016 B conf
Correlation coefficient analysis based on fuzzy negations and representable automorphisms.
FUZZ-IEEE
Alex Bertei, Rosana Medina Zanotelli, Wilson Cardoso, Renata Reiser, Luciana Foss, Benjamín R. C. Bedregal
2015 Misc conf
From UML diagrams to simulink models: a precise and verified translation.
SAC
Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2015 J jnl
Proof Tactics for Theorem Proving Graph Grammars through Rodin.
RITA
Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss
2015 — conf
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study.
WEIT
Renata Reiser, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal
2015 B conf
Towards robustness and duality analysis of intuitionistic fuzzy aggregations.
FUZZ-IEEE
Rosana Medina Zanotelli, Renata Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal
2015 — conf
Translating Controlled Graph Grammars to Ordinary Graph Grammars.
WEIT
Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro
2014 B conf
Aggregating fuzzy implications based on OWA-operators.
FUZZ-IEEE
Ibero Benitez, Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Adenauer C. Yamin
2014 J jnl
Aproximating static list schedules in dynamic multithreaded applications.
Clust. Comput.
Cícero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss
2014 C conf
Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions.
CLEI
Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín René Callejas Bedregal
2013 J jnl
A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling.
RITA
Cícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo Homrich Cavalheiro
2013 — conf
Automatic Translation from UML to Simulink CAAM Using Graph Grammars.
WEIT
Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner
2013 — conf
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education.
WEIT
Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar, Luciana Foss, Ana Marilza Pernas, Renata Reiser
2013 J jnl
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.
RITA
Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner
2013 — conf
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations.
WEIT
Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro
2013 — conf
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class.
WEIT
Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss
2013 — conf
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.
SBMF
Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
2013 — conf
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.
WEIT
Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
2012 J jnl
Correct transformation: From object-based graph grammars to PROMELA.
Sci. Comput. Program.
Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss
2012 — conf
Specification Patterns for Properties over Reachable States of Graph Grammars.
SBMF
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2011 — conf
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs.
WEIT
Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro
2011 — conf
Graph Grammars: A Comparison between Verification Methods.
WEIT
Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro
2011 — conf
Using Graph Grammars to Develop Embedded Systems Based on UML Models.
WEIT
Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner
2010 — conf
Model Checking the Ant Colony Optimisation.
DIPES/BICC
Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth
2009 J jnl
Aspects for Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rodrigo Machado, Luciana Foss, Leila Ribeiro
2009 B conf
Model Transformation Using Graph Transactions.
ICSR
Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes
2008 — conf
Graph Transformation with Dependencies for the Specification of Interactive Systems.
WADT
Andrea Corradini, Luciana Foss, Leila Ribeiro
2008 — —
Sistemas de transformação de grafos transacionais.
Luciana Foss
2007 J jnl
Modelling, property verification and behavioural equivalence of lactose operon regulation.
Comput. Biol. Medicine
Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro
2006 — conf
Formal Verification of Object-Oriented Graph Grammars Specifications.
GT-VC@CONCUR
Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro
2006 B conf
Graph Transactions as Processes.
ICGT
Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
2006 — conf
Towards a Notion of Transaction in Graph Rewriting.
GT-VMT@ETAPS
Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2005 — conf
Modeling and Property Verification of Lactose Operon Regulation.
BSB
Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro
2004 — conf
An Environment for the Development of Concurrent Object-Based Applications.
GraBaTs
Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos
2004 B conf
Translating Java Code to Graph Transformation Systems.
ICGT
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
2003 — conf
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
WMF
Luciana Foss, Leila Ribeiro
2003 — conf
Especificação e Verificação Formal de Sistemas Distribuídos.
SBES
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
2003 — conf
Verification of Distributed Object-Based Systems.
FMOODS
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos