![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luciana Foss
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]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) - [c38]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]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
- [j10]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) - [c36]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]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]Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. SBLP 2021: 49-57
2010 – 2019
- 2019
- [c33]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]Alex Bertei, Renata H. S. Reiser, Luciana Foss:
Correlation Coefficient of Modal Level Operators: An Application to Medical Diagnosis. IJCCI 2019: 278-287 - [c31]Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for Software Transactional Memory Opacity. SBLP 2019: 3-10 - 2017
- [j9]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) - [c30]Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser
:
A relational approach of fuzzy graph grammars. ICNC-FSKD 2017: 1082-1089 - [i1]Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro:
Entendendo o Pensamento Computacional. CoRR abs/1707.00338 (2017) - 2016
- [j8]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) - [c29]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
- [j7]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) - [c28]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]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]Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro:
Translating Controlled Graph Grammars to Ordinary Graph Grammars. WEIT 2015: 15-30 - [c25]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
- [j6]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) - [c24]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]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
- [j5]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]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) - [c22]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]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]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]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]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]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
- [j3]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) - [c16]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]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]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]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]Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth:
Model Checking the Ant Colony Optimisation. DIPES/BICC 2010: 221-232
2000 – 2009
- 2009
- [j2]Rodrigo Machado, Luciana Foss, Leila Ribeiro:
Aspects for Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [c11]Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes:
Model Transformation Using Graph Transactions. ICSR 2009: 95-105 - 2008
- [b1]Luciana Foss:
Sistemas de transformação de grafos transacionais. Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 2008 - [c10]Andrea Corradini
, Luciana Foss, Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118 - 2007
- [j1]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) - 2006
- [c9]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c8]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]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]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]Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 - [c4]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]Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275 - [c2]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]Luciana Foss, Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. WMF 2003: 245-267
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint