Search the dblp DataBase

Publications of Author

1. Alexandre Mota, Augusto Sampaio
   Model-Checking CSP-Z. [Citation Graph (0, 0)][DBLP]
   FASE, 1998, pp:205-220 [Conf]
   
2. Alexandre Mota, Paulo Borba, Augusto Sampaio
   Mechanical Abstraction of CSP_Z Processes. [Citation Graph (0, 0)][DBLP]
   FME, 2002, pp:163-183 [Conf]
   
3. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
   A Semantics for UML-RT Active Classes via Mapping into Circus. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2005, pp:99-114 [Conf]
   
4. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
   Transformation Laws for UML-RT. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:123-137 [Conf]
   
5. Adalberto Farias, Alexandre Mota, Augusto Sampaio
   Efficient CSP_Z Data Abstraction. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:108-127 [Conf]
   
6. Alexandre Mota, Arnaldo V. Moura
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:1-2 [Journal]
   
7. Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
   Class and Capsule Refinement in UML for Real Time. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:23-51 [Journal]
   
8. Alexandre Mota, Augusto Sampaio
   Model-checking CSP-Z: strategy, tool support and industrial application. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2001, v:40, n:1, pp:59-96 [Journal]
   
9. Ana Antunes, Fernando Morgado Dias, José Vieira, Alexandre Mota
   Delay Compensator: an Approach to Reduce the Variable Sampling to Actuation Delay Effect in Distributed Real-time Control Systems. [Citation Graph (0, 0)][DBLP]
   ETFA, 2006, pp:531-536 [Conf]
   
10. Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
    Towards Property Oriented Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:3-19 [Journal]
    
11. 
    Systematic Development of Trustworthy Component Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    A Neural Model for Delay Correction in a Distributed Control System. [Citation Graph (, )][DBLP]
    
    
13. 
    Compositional Verification of Input-Output Conformance via CSP Refinement Checking. [Citation Graph (, )][DBLP]
    
    
14. 
    Guided Test Generation from CSP Models. [Citation Graph (, )][DBLP]
    
    
15. 
    Framework composition conformance via refinement checking. [Citation Graph (, )][DBLP]
    
    
16. 
    Evolving a Safe System Design Iteratively. [Citation Graph (, )][DBLP]
    
    
17. 
    Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. [Citation Graph (, )][DBLP]
    
    
18. 
    A neuro-fuzzy delay compensator for distributed control systems. [Citation Graph (, )][DBLP]
    
    
19. 
    A neural network delay compensator for networked control systems. [Citation Graph (, )][DBLP]
    
    
20. 
    B-Live - A Home Automation System for Disabled and Elderly People. [Citation Graph (, )][DBLP]
    
    
21. 
    An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. [Citation Graph (, )][DBLP]
    
    
22. 
    GUI Testing Techniques Evaluation by Designed Experiments. [Citation Graph (, )][DBLP]
    
    
23. 
    Using Refinement Checking as System Testing. [Citation Graph (, )][DBLP]
    
    
24. 
    Unifying Models of Test Cases and Requirements. [Citation Graph (, )][DBLP]
    
    
25. 
    Formalisation and Analysis of Objects as CSP Processes. [Citation Graph (, )][DBLP]
    
    
26. 
    A Mechanized Strategy for Safe Abstraction of CSP Specifications. [Citation Graph (, )][DBLP]
    
    
27. 
    Viewing CSP Specifications with UML-RT Diagrams. [Citation Graph (, )][DBLP]
    
    
28. 
    Checking Z Data Refinements Using Traces Refinement. [Citation Graph (, )][DBLP]