researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

lucianafoss

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Luciana Foss
Foss
L. Foss
Foss, Luciana
Foss, L.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Luciana Foss's Profile

Publications

Unidentified Publications

Publications with a 'Luciana Foss' as author, editor, or advisor:

Specification Patterns for Properties over Reachable States of Graph GrammarsSimone Andre da Costa Cavalheiro, Luciana Foss, Leila Ribeiro. sbmf 2012: 83-98 [doi]
Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructionsRosana Medina Zanotelli, Renata Hax Sander Reiser, Simone Andre da Costa Cavalheiro, Luciana Foss, Benjamín René Callejas Bedregal. clei 2014: 1-8 [doi]
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. mcs 2023: 1-9 [doi]
Using Graph Grammars to Develop Embedded Systems Based on UML ModelsNicolas N. Bisi, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner. weit 2011: 81-87 [doi]
Correlation Coefficient of Modal Level Operators: An Application to Medical DiagnosisAlex Bertei, Renata H. S. Reiser, Luciana Foss. ijcci 2019: 278-287 [doi]
Model Transformation Using Graph TransactionsLeila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro Nunes. icsr 2009: 95-105 [doi]
A Translation from Object-Based Hypergraph Grammars into pi-CalculusLuciana Foss, Leila Ribeiro. ENTCS, 95:245-267, 2004. [doi]
Theorem Proving Graph Grammars: Strategies for Discharging Proof ObligationsLuiz Carlos Lemos Junior, Simone Andre da Costa Cavalheiro, Luciana Foss. sbmf 2013: 147-162 [doi]
Proof Tactics for Theorem Proving Graph Grammars through RodinLuiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss. rita, 22(1):190-241, 2015. [doi]
From UML to SIMULINK CAAM: Formal Specification and Transformation AnalysisLuciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner. rita, 20(1):102-139, 2013. [doi]
Aggregating fuzzy implications based on OWA-operatorsIbero Benitez, Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone Andre da Costa Cavalheiro, Luciana Foss, Adenauer C. Yamin. fuzzIEEE 2014: 163-170 [doi]
Modeling and Property Verification of Lactose Operon RegulationMarcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro. wob 2005: 95-106 [doi]
Towards robustness and duality analysis of intuitionistic fuzzy aggregationsRosana Medina Zanotelli, R. Reiser, S. Costa, Luciana Foss, Benjamín R. C. Bedregal. fuzzIEEE 2015: 1-8 [doi]
Graph Transformation with Dependencies for the Specification of Interactive SystemsAndrea Corradini, Luciana Foss, Leila Ribeiro. WADT 2009: 102-118 [doi]
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through RodinLuiz Carlos Lemos Junior, Simone Andre da Costa Cavalheiro, Luciana Foss. weit 2013: 51-58 [doi]
Evaluation Rubric for Computational Thinking ConceptsChristiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro. icalt 2019: 279-281 [doi]
Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de ProfessoresBruno 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. rbie, 30:262-291, 2022. [doi]
Towards a Notion of Transaction in Graph RewritingPaolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro. ENTCS, 211:39-50, 2008. [doi]
Model Checking the Ant Colony OptimisationLucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth. ifip10-3 2010: 221-232 [doi]
Sensitivity and Dual Constructions on the Fuzzy f-Xor ClassRosana Medina Zanotelli, Renata Hax Sander Reiser, Simone Andre da Costa Cavalheiro, Luciana Foss. weit 2013: 105-110 [doi]
Graph Transactions as ProcessesPaolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci. gg 2006: 199-214 [doi]
Exploring Opacity Software Transactional Memory in Haskell through Graph TransformationDiogo J. Cardoso, Luciana Foss, André Rauber Du Bois. SBLP 2022: 15-23 [doi]
Formal Verification of Object-Oriented Graph Grammars SpecificationsAna Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro. ENTCS, 175(4):101-114, 2007. [doi]
A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task SchedulingCícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo Homrich Cavalheiro. rita, 20(1):140-179, 2013. [doi]
Computação na Educação Básica no Brasil: o Estado da ArteAdriana Bordini, Christiano Martino Otero Avila, Yuri Weisshahn, Mônica Marques da Cunha, Simone André da Costa Cavalheiro, Luciana Foss, Marilton Aguiar, Renata Hax Sander Reiser. rita, 23(2):210-238, 2016. [doi]
Correct transformation: From object-based graph grammars to PROMELALeila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss. SCP, 77(3):214-246, 2012. [doi]
Aspects for Graph GrammarsRodrigo Machado, Luciana Foss, Leila Ribeiro. eceasst, 18, 2009. [doi]
Automatic Translation from UML to Simulink CAAM Using Graph GrammarsAndrei Costa, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner. weit 2013: 59-66 [doi]
Theorem proving graph grammars with attributes and negative application conditionsSimone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro. TCS, 686:25-77, 2017. [doi]
Sistemas de transformação de grafos transacionaisLuciana Foss. PhD thesis, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 2008. [doi]
The Brazilian School Computing StandardLeila Ribeiro 0001, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França. sigcse 2023: 53-58 [doi]
A Graph Transformation System formalism for correctness of Transactional Memory algorithmsDiogo J. Cardoso, Luciana Foss, André Rauber Du Bois. SBLP 2021: 49-57 [doi]
A Graph Transformation System formalism for Software Transactional Memory OpacityDiogo J. Cardoso, Luciana Foss, André Rauber Du Bois. SBLP 2019: 3-10 [doi]
An Environment for the Development of Concurrent Object-Based ApplicationsFernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos. ENTCS, 127(1):3-13, 2005. [doi]
Translating Controlled Graph Grammars to Ordinary Graph GrammarsAlex Bertei, Luciana Foss, Simone André da Costa Cavalheiro. ENTCS, 324:15-30, 2016. [doi]
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case StudyRenata Reiser, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal. ENTCS, 324:151-164, 2016. [doi]
Correlation coefficient analysis based on fuzzy negations and representable automorphismsAlex Bertei, Rosana Medina Zanotelli, Wilson Cardoso, Renata Reiser, Luciana Foss, Benjamín R. C. Bedregal. fuzzIEEE 2016: 127-132 [doi]
Graph Grammars: A Comparison between Verification MethodsAndre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2011: 88-94 [doi]
Translating Java Code to Graph Transformation SystemsAndrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro. gg 2004: 383-398 [doi]
Aproximating static list schedules in dynamic multithreaded applicationsCicero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss. cluster, 17(2):155-168, 2014. [doi]
A relational approach of fuzzy graph grammarsAlex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser. icnc 2017: 1082-1089 [doi]
Graph Grammar Specification for the Populational Level of Multi-agent System OrganizationsAndre Moura de Mello, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2013: 97-104 [doi]
Verification of Distributed Object-Based SystemsFernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos. fmoods 2003: 261-275 [doi]
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded ProgramsCicero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone Andre da Costa Cavalheiro. weit 2011: 95-101 [doi]
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic EducationTaina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone Andre da Costa Cavalheiro, Marilton Aguiar, Luciana Foss, Ana Pernas, Renata Reiser. weit 2013: 111-115 [doi]
Modelling, property verification and behavioural equivalence of lactose operon regulationMarcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro. cbm, 37(2):134-148, 2007. [doi]
Fuzzy correlational analysis for dynamic consolidation of virtual machines in cloud computing environmentAlex Bertei, Luciana Foss, Benjamín R. C. Bedregal, Renata Reiser. eaai, 126(Part D):107167, November 2023. [doi]
PACT: A Citizen Science Project for Computing EducationBraz Araujo da Silva, Simone André da Costa Cavalheiro, Luciana Foss, Ana Marilza Pernas Fleischmann, Andrea Volz Garcez. mcs 2021: 1-9 [doi]
From UML diagrams to simulink models: a precise and verified translationAndrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro. SAC 2015: 1547-1552 [doi]
Especificação e Verificação Formal de Sistemas DistribuídosFernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001, Osmar Marchi dos Santos. sbes 2003: 221-236 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL