Search the dblp DataBase

Publications of Author

1. Luís Gomes, Anikó Costa
   On Lifting of Statechart Structuring Mechanisms. [Citation Graph (0, 0)][DBLP]
   ACSD, 2003, pp:206-215 [Conf]
   
2. Luís Gomes, Anikó Costa
   From Use Cases to System Implementation: Statechart Based Co-design. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2003, pp:24-33 [Conf]
   
3. Luís Gomes, Anikó Costa
   Remote Laboratory Support for an Introductory Microprocessor Course. [Citation Graph (0, 0)][DBLP]
   MSE, 2005, pp:21-22 [Conf]
   
4. Luís Gomes, Anikó Costa
   Teaching Formal Methods Within System-on-a-Programmable-Chip Design. [Citation Graph (0, 0)][DBLP]
   MSE, 2005, pp:105-106 [Conf]
   
5. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
   Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Citation Graph (0, 0)][DBLP]
   ReCoSoC, 2005, pp:143-150 [Conf]
   
6. Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Lazar Laszlo
   Implementation of a remote and virtual laboratory in the field of home appliance systems. [Citation Graph (0, 0)][DBLP]
   VIRTUAL-LAB, 2004, pp:60-68 [Conf]
   
7. Luís Gomes, Anikó Costa
   Embedded Systems Introductory Course supported by remote experiments. [Citation Graph (0, 0)][DBLP]
   VIRTUAL-LAB, 2004, pp:89-98 [Conf]
   
8. Luís Gomes, Anikó Costa
   Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. [Citation Graph (0, 0)][DBLP]
   ETFA, 2006, pp:1230-1237 [Conf]
   
9. Anikó Costa, Luís Gomes
   Partitioning of Petri net models amenable for Distributed Execution. [Citation Graph (0, 0)][DBLP]
   ETFA, 2006, pp:1129-1132 [Conf]
   
10. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
    Towards usage of formal methods within embedded systems co-design. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]
    
11. 
    Semantic Equations for Formal Models in the Model-Driven Architecture. [Citation Graph (, )][DBLP]
    
    
12. 
    Properties Preservation in Distributed Execution of Petri Nets Models. [Citation Graph (, )][DBLP]
    
    
13. 
    Module Composition within Petri Nets Model-based Development. [Citation Graph (, )][DBLP]