Luciana Foss

According to our database1, Luciana Foss authored at least 39 papers between 2003 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Theorem proving graph grammars with attributes and negative application conditions.
Theor. Comput. Sci., 2017

A relational approach of fuzzy graph grammars.
Proceedings of the 13th International Conference on Natural Computation, 2017

2016
Computação na Educação Básica no Brasil: o Estado da Arte.
RITA, 2016

Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study.
Electr. Notes Theor. Comput. Sci., 2016

Translating Controlled Graph Grammars to Ordinary Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2016

Correlation coefficient analysis based on fuzzy negations and representable automorphisms.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Proof Tactics for Theorem Proving Graph Grammars through Rodin.
RITA, 2015

From UML diagrams to simulink models: a precise and verified translation.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards robustness and duality analysis of intuitionistic fuzzy aggregations.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014
Aproximating static list schedules in dynamic multithreaded applications.
Cluster Computing, 2014

Aggregating fuzzy implications based on OWA-operators.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions.
Proceedings of the XL Latin American Computing Conference, 2014

2013
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.
RITA, 2013

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling.
RITA, 2013

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Automatic Translation from UML to Simulink CAAM Using Graph Grammars.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012
Correct transformation: From object-based graph grammars to PROMELA.
Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011
Graph Grammars: A Comparison between Verification Methods.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Using Graph Grammars to Develop Embedded Systems Based on UML Models.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010
Model Checking the Ant Colony Optimisation.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009
Aspects for Graph Grammars.
ECEASST, 2009

Model Transformation Using Graph Transactions.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Sistemas de transformação de grafos transacionais.
PhD thesis, 2008

Towards a Notion of Transaction in Graph Rewriting.
Electr. Notes Theor. Comput. Sci., 2008

Graph Transformation with Dependencies for the Specification of Interactive Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2007
Formal Verification of Object-Oriented Graph Grammars Specifications.
Electr. Notes Theor. Comput. Sci., 2007

Modelling, property verification and behavioural equivalence of lactose operon regulation.
Comp. in Bio. and Med., 2007

2006
Graph Transactions as Processes.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
An Environment for the Development of Concurrent Object-Based Applications.
Electr. Notes Theor. Comput. Sci., 2005

Modeling and Property Verification of Lactose Operon Regulation.
Proceedings of the Advances in Bioinformatics and Computational Biology, 2005

2004
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Electr. Notes Theor. Comput. Sci., 2004

Translating Java Code to Graph Transformation Systems.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Verification of Distributed Object-Based Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003


  Loading...