Luciana Foss

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Leila Ribeiro 0001

> Home > Persons > Luciana Foss

Publications

2023
[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
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)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
2015
[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
2012
[j3]
- view
  - electronic edition via DOI (open access)
  - details & 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)
[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
2009
[j2]
- view
  - electronic edition via DOI (open access)
  - details & 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)
[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
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)
2006
[c8]
- view
  - electronic edition via DOI (open access)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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

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.