The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexandre Mota: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 CSPZ 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 CSPZ 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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002