Luciana Foss

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 17

Top Venues

SBLP

FUZZ-IEEE

Electron. Notes Theor. Comput. Sci.

RITA

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil (PHD)

Education History

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

PHD

Publications

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

Luciana Foss.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luciana Foss