default search action

combined dblp search
author search
venue search
publication search

ask others

Luciana Foss

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b1]
- view
- export record
  dblp key:
  - phd/ndltd/Foss08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Foss08
Luciana Foss:
Sistemas de transformação de grafos transacionais. Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 2008

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/BerteiFBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/BerteiFBR23
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): 107167 (2023)
2022
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rbie/GoncalvesSOMCFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rbie/GoncalvesSOMCFD22
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: 262-291 (2022)
2017
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CavalheiroFR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CavalheiroFR17
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Theorem proving graph grammars with attributes and negative application conditions. Theor. Comput. Sci. 686: 25-77 (2017)
2016
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rita/BordiniAWCCFAR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/BordiniAWCCFAR16
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): 210-238 (2016)
2015
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rita/LemorCF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/LemorCF15
Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss:
Proof Tactics for Theorem Proving Graph Grammars through Rodin. RITA 22(1): 190-241 (2015)
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cluster/CamargoCPCF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cluster/CamargoCPCF14
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): 155-168 (2014)
2013
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rita/FossCBPBW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/FossCBPBW13
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): 102-139 (2013)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rita/CamargoCFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/CamargoCFC13
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): 140-179 (2013)
2012
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RibeiroSDF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RibeiroSDF12
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): 214-246 (2012)
2009
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MachadoFR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MachadoFR09
Rodrigo Machado, Luciana Foss, Leila Ribeiro:
Aspects for Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cbm/PintoFMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cbm/PintoFMR07
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): 134-148 (2007)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/JuniorCFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/JuniorCFS23
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: 1-9
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/0001FCCF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/0001FCCF23
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: 53-58
2022
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoFB22
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. SBLP 2022: 15-23
2021
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/SilvaCFFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/SilvaCFFG21
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: 1-9
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoFB21
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. SBLP 2021: 49-57
2019
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/AvilaFBDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/AvilaFBDC19
Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro:
Evaluation Rubric for Computational Thinking Concepts. ICALT 2019: 279-281
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcci/BerteiRF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcci/BerteiRF19
Alex Bertei, Renata H. S. Reiser, Luciana Foss:
Correlation Coefficient of Modal Level Operators: An Application to Medical Diagnosis. IJCCI 2019: 278-287
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoFB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoFB19
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for Software Transactional Memory Opacity. SBLP 2019: 3-10
2017
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icnc/BerteiFCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnc/BerteiFCR17
Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser:
A relational approach of fuzzy graph grammars. ICNC-FSKD 2017: 1082-1089
2016
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/BerteiZCRFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/BerteiZCRFB16
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: 127-132
2015
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/ZanotelliRCFB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/ZanotelliRCFB15
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: 1-8
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CostaCFR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CostaCFR15
Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
From UML diagrams to simulink models: a precise and verified translation. SAC 2015: 1547-1552
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BerteiFC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BerteiFC16
Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro:
Translating Controlled Graph Grammars to Ordinary Graph Grammars. WEIT 2015: 15-30
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReiserZCFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReiserZCFB16
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. WEIT 2015: 151-164
2014
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/ZanotelliRCFB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/ZanotelliRCFB14
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: 1-8
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/BenitezZRCFY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/BenitezZRCFY14
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: 163-170
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JuniorCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JuniorCF13
Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss:
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. SBMF 2013: 147-162
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/JuniorCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/JuniorCF13
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: 51-58
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/CostaPFCBW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/CostaPFCBW13
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: 59-66
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/MelloFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/MelloFC13
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: 97-104
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/ZanotelliRCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/ZanotelliRCF13
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: 105-110
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/CarvalhoASACAFPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/CarvalhoASACAFPR13
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: 111-115
2012
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CavalheiroFR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CavalheiroFR12
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF 2012: 83-98
2011
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/BisiPFCBW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/BisiPFCBW11
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: 81-87
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/MelloJFC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/MelloJFC11
Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro:
Graph Grammars: A Comparison between Verification Methods. WEIT 2011: 88-94
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/weit/CamargoCFC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weit/CamargoCFC11
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: 95-101
2010
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/DuarteFWH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/DuarteFWH10
Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth:
Model Checking the Ant Colony Optimisation. DIPES/BICC 2010: 221-232
2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/RibeiroFSN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/RibeiroFSN09
Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes:
Model Transformation Using Graph Transactions. ICSR 2009: 95-105
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CorradiniFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CorradiniFR08
Andrea Corradini, Luciana Foss, Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118
2006
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/BaldanCFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BaldanCFG06
Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldanCDFGR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldanCDFGR08
Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerreiraFR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerreiraFR07
Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro:
Formal Verification of Object-Oriented Graph Grammars Specifications. GT-VC@CONCUR 2006: 101-114
2005
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wob/PintoFMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wob/PintoFMR05
Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro:
Modeling and Property Verification of Lactose Operon Regulation. BSB 2005: 95-106
2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/CorradiniDFR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/CorradiniDFR04
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DottiDFRRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DottiDFRRS05
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. GraBaTs 2004: 3-13
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/DottiFRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/DottiFRS03
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/DottiF0S03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/DottiF0S03
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Especificação e Verificação Formal de Sistemas Distribuídos. SBES 2003: 221-236
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FossR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FossR04
Luciana Foss, Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. WMF 2003: 245-267

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RibeiroFC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RibeiroFC17
Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro:
Entendendo o Pensamento Computacional. CoRR abs/1707.00338 (2017)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.